runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inescp-1.0/rande4fcd8.cudf.difficult.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/difficult//rande4fcd8.cudf /home/misc2010/tmp/201007051419/inescp-1.0/rande4fcd8.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.05 1.05 1.07 2/95 6442 /proc/meminfo: memFree=1243084/2097152 swapFree=2055620/2097144 [pid=6442] ppid=6441 vsize=2384 CPUtime=0 /proc/6442/stat : 6442 (inescp-1.0) S 6441 6442 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 24 0 1 0 418968200 2441216 259 1283457024 134512640 135191968 4286773440 18446744073709551615 4159122062 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6442/statm: 596 259 221 166 0 28 0 [pid=6443] ppid=6442 vsize=1456 CPUtime=0 /proc/6443/stat : 6443 (cudf-solver.py) R 6442 6442 13759 34823 13904 4194304 105 0 0 0 0 0 0 0 25 0 1 0 418968201 1490944 45 1283457024 134512640 135539072 4291874224 18446744073709551615 4159787140 0 0 0 0 0 0 0 17 1 0 0 0 /proc/6443/statm: 403 49 32 251 0 14 0 [startup+0.189873 s] /proc/loadavg: 1.05 1.05 1.07 2/95 6442 /proc/meminfo: memFree=1243084/2097152 swapFree=2055620/2097144 [pid=6442] ppid=6441 vsize=2384 CPUtime=0 /proc/6442/stat : 6442 (inescp-1.0) S 6441 6442 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 24 0 1 0 418968200 2441216 259 1283457024 134512640 135191968 4286773440 18446744073709551615 4159122062 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6442/statm: 596 259 221 166 0 28 0 [pid=6443] ppid=6442 vsize=3724 CPUtime=0 /proc/6443/stat : 6443 (cudf-solver.py) S 6442 6442 13759 34823 13904 4202496 609 0 0 0 0 0 0 0 24 0 1 0 418968201 3813376 509 1283457024 134512640 135539072 4291874224 18446744073709551615 4158843694 0 2147483391 16781312 2 18446744071697298955 0 0 17 0 0 0 0 /proc/6443/statm: 931 509 304 251 0 232 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6108 [startup+0.205896 s] /proc/loadavg: 1.05 1.05 1.07 2/95 6442 /proc/meminfo: memFree=1243084/2097152 swapFree=2055620/2097144 [pid=6442] ppid=6441 vsize=2384 CPUtime=0 /proc/6442/stat : 6442 (inescp-1.0) S 6441 6442 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 24 0 1 0 418968200 2441216 259 1283457024 134512640 135191968 4286773440 18446744073709551615 4159122062 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6442/statm: 596 259 221 166 0 28 0 [pid=6443] ppid=6442 vsize=3724 CPUtime=0 /proc/6443/stat : 6443 (cudf-solver.py) S 6442 6442 13759 34823 13904 4202496 609 0 0 0 0 0 0 0 24 0 1 0 418968201 3813376 509 1283457024 134512640 135539072 4291874224 18446744073709551615 4158843694 0 2147483391 16781312 2 18446744071697298955 0 0 17 0 0 0 0 /proc/6443/statm: 931 509 304 251 0 232 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6108 [startup+0.305838 s] /proc/loadavg: 1.05 1.05 1.07 2/95 6442 /proc/meminfo: memFree=1243084/2097152 swapFree=2055620/2097144 [pid=6442] ppid=6441 vsize=2384 CPUtime=0 /proc/6442/stat : 6442 (inescp-1.0) S 6441 6442 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 24 0 1 0 418968200 2441216 259 1283457024 134512640 135191968 4286773440 18446744073709551615 4159122062 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6442/statm: 596 259 221 166 0 28 0 [pid=6443] ppid=6442 vsize=3724 CPUtime=0 /proc/6443/stat : 6443 (cudf-solver.py) S 6442 6442 13759 34823 13904 4202496 637 0 0 0 0 0 0 0 23 0 1 0 418968201 3813376 533 1283457024 134512640 135539072 4291874224 18446744073709551615 4158843694 0 2147483391 16781312 2 18446744071697298955 0 0 17 0 0 0 0 /proc/6443/statm: 931 533 326 251 0 232 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6108 [startup+0.705952 s] /proc/loadavg: 1.05 1.05 1.07 2/95 6442 /proc/meminfo: memFree=1243084/2097152 swapFree=2055620/2097144 [pid=6442] ppid=6441 vsize=2384 CPUtime=0 /proc/6442/stat : 6442 (inescp-1.0) S 6441 6442 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 24 0 1 0 418968200 2441216 259 1283457024 134512640 135191968 4286773440 18446744073709551615 4159122062 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6442/statm: 596 259 221 166 0 28 0 [pid=6443] ppid=6442 vsize=4000 CPUtime=0 /proc/6443/stat : 6443 (cudf-solver.py) S 6442 6442 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 22 0 1 0 418968201 4096000 642 1283457024 134512640 135539072 4291874224 18446744073709551615 4158687886 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6443/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+1.51391 s] /proc/loadavg: 1.05 1.05 1.07 2/109 6457 /proc/meminfo: memFree=1221520/2097152 swapFree=2055620/2097144 [pid=6442] ppid=6441 vsize=2384 CPUtime=0 /proc/6442/stat : 6442 (inescp-1.0) S 6441 6442 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 24 0 1 0 418968200 2441216 259 1283457024 134512640 135191968 4286773440 18446744073709551615 4159122062 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6442/statm: 596 259 221 166 0 28 0 [pid=6443] ppid=6442 vsize=4000 CPUtime=0 /proc/6443/stat : 6443 (cudf-solver.py) S 6442 6442 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 22 0 1 0 418968201 4096000 642 1283457024 134512640 135539072 4291874224 18446744073709551615 4158687886 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6443/statm: 1000 642 346 251 0 301 0 [pid=6445] ppid=6443 vsize=872784 CPUtime=1.2 /proc/6445/stat : 6445 (java) S 6443 6442 13759 34823 13904 4202496 13720 0 0 0 104 16 0 0 15 0 12 0 418968236 893730816 10861 1283457024 134512640 134550932 4287455424 18446744073709551615 4160205970 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6445/statm: 218196 10861 1736 10 0 215283 0 [pid=6445/tid=6447] ppid=6443 vsize=872784 CPUtime=0.47 /proc/6445/task/6447/stat : 6447 (java) R 6443 6442 13759 34823 13904 4202560 4100 0 0 0 42 5 0 0 16 0 12 0 418968260 893730816 10861 1283457024 134512640 134550932 4287455424 18446744073709551615 4160230769 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6445/tid=6448] ppid=6443 vsize=872784 CPUtime=0.01 /proc/6445/task/6448/stat : 6448 (java) S 6443 6442 13759 34823 13904 4202560 1207 0 0 0 1 0 0 0 15 0 12 0 418968264 893730816 10861 1283457024 134512640 134550932 4287455424 18446744073709551615 4160219376 0 4 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=6445/tid=6449] ppid=6443 vsize=872784 CPUtime=0.02 /proc/6445/task/6449/stat : 6449 (java) S 6443 6442 13759 34823 13904 4202560 556 0 0 0 2 0 0 0 15 0 12 0 418968264 893730816 10861 1283457024 134512640 134550932 4287455424 18446744073709551615 4160219376 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=6445/tid=6450] ppid=6443 vsize=872784 CPUtime=0.16 /proc/6445/task/6450/stat : 6450 (java) S 6443 6442 13759 34823 13904 4202560 7 0 0 0 8 8 0 0 16 0 12 0 418968265 893730816 10861 1283457024 134512640 134550932 4287455424 18446744073709551615 4160220168 0 0 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=6445/tid=6451] ppid=6443 vsize=872784 CPUtime=0 /proc/6445/task/6451/stat : 6451 (java) S 6443 6442 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 16 0 12 0 418968266 893730816 10861 1283457024 134512640 134550932 4287455424 18446744073709551615 4160219376 0 4 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=6445/tid=6452] ppid=6443 vsize=872784 CPUtime=0 /proc/6445/task/6452/stat : 6452 (java) S 6443 6442 13759 34823 13904 4202560 4 0 0 0 0 0 0 0 21 0 12 0 418968266 893730816 10861 1283457024 134512640 134550932 4287455424 18446744073709551615 4160219376 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=6445/tid=6453] ppid=6443 vsize=872784 CPUtime=0 /proc/6445/task/6453/stat : 6453 (java) S 6443 6442 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 22 0 12 0 418968269 893730816 10861 1283457024 134512640 134550932 4287455424 18446744073709551615 4160227664 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=6445/tid=6454] ppid=6443 vsize=872784 CPUtime=0.02 /proc/6445/task/6454/stat : 6454 (java) R 6443 6442 13759 34823 13904 4202560 204 0 0 0 2 0 0 0 20 0 12 0 418968269 893730816 10861 1283457024 134512640 134550932 4287455424 18446744073709551615 4160230087 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6445/tid=6455] ppid=6443 vsize=872784 CPUtime=0.5 /proc/6445/task/6455/stat : 6455 (java) R 6443 6442 13759 34823 13904 4202560 6240 0 0 0 48 2 0 0 17 0 12 0 418968269 893730816 10861 1283457024 134512640 134550932 4287455424 18446744073709551615 4149508784 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6445/tid=6456] ppid=6443 vsize=872784 CPUtime=0 /proc/6445/task/6456/stat : 6456 (java) S 6443 6442 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 24 0 12 0 418968269 893730816 10861 1283457024 134512640 134550932 4287455424 18446744073709551615 4160219376 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=6445/tid=6457] ppid=6443 vsize=872784 CPUtime=0 /proc/6445/task/6457/stat : 6457 (java) R 6443 6442 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 18 0 12 0 418968269 893730816 10861 1283457024 134512640 134550932 4287455424 18446744073709551615 4160220168 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.2 Current children cumulated vsize (KiB) 879168 [startup+3.11798 s] /proc/loadavg: 1.29 1.10 1.08 4/109 6457 /proc/meminfo: memFree=1184940/2097152 swapFree=2055620/2097144 [pid=6442] ppid=6441 vsize=2384 CPUtime=0 /proc/6442/stat : 6442 (inescp-1.0) S 6441 6442 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 24 0 1 0 418968200 2441216 259 1283457024 134512640 135191968 4286773440 18446744073709551615 4159122062 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6442/statm: 596 259 221 166 0 28 0 [pid=6443] ppid=6442 vsize=4000 CPUtime=0 /proc/6443/stat : 6443 (cudf-solver.py) S 6442 6442 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 22 0 1 0 418968201 4096000 642 1283457024 134512640 135539072 4291874224 18446744073709551615 4158687886 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/6443/statm: 1000 642 346 251 0 301 0 [pid=6445] ppid=6443 vsize=872644 CPUtime=3.7 /proc/6445/stat : 6445 (java) S 6443 6442 13759 34823 13904 4202496 45236 0 0 0 324 46 0 0 15 0 12 0 418968236 893587456 36692 1283457024 134512640 134550932 4287455424 18446744073709551615 4160205970 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6445/statm: 218161 36692 1744 10 0 215248 0 [pid=6445/tid=6447] ppid=6443 vsize=872644 CPUtime=1.38 /proc/6445/task/6447/stat : 6447 (java) S 6443 6442 13759 34823 13904 4202560 14528 0 0 0 128 10 0 0 16 0 12 0 418968260 893587456 36692 1283457024 134512640 134550932 4287455424 18446744073709551615 4160219376 0 4 0 16800975 18446612134440493184 0 0 -1 1 0 0 0 [pid=6445/tid=6448] ppid=6443 vsize=872644 CPUtime=0.25 /proc/6445/task/6448/stat : 6448 (java) S 6443 6442 13759 34823 13904 4202560 10040 0 0 0 21 4 0 0 16 0 12 0 418968264 893587456 36692 1283457024 134512640 134550932 4287455424 18446744073709551615 4160219376 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=6445/tid=6449] ppid=6443 vsize=872644 CPUtime=0.23 /proc/6445/task/6449/stat : 6449 (java) S 6443 6442 13759 34823 13904 4202560 9203 0 0 0 20 3 0 0 16 0 12 0 418968264 893587456 36692 1283457024 134512640 134550932 4287455424 18446744073709551615 4160219376 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=6445/tid=6450] ppid=6443 vsize=872644 CPUtime=0.57 /proc/6445/task/6450/stat : 6450 (java) R 6443 6442 13759 34823 13904 4202560 118 0 0 0 33 24 0 0 15 0 12 0 418968265 893587456 36692 1283457024 134512640 134550932 4287455424 18446744073709551615 4149365037 0 0 0 16800975 0 0 0 -1 1 0 0 0 [pid=6445/tid=6451] ppid=6443 vsize=872644 CPUtime=0 /proc/6445/task/6451/stat : 6451 (java) S 6443 6442 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 15 0 12 0 418968266 893587456 36692 1283457024 134512640 134550932 4287455424 18446744073709551615 4160219376 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=6445/tid=6452] ppid=6443 vsize=872644 CPUtime=0 /proc/6445/task/6452/stat : 6452 (java) S 6443 6442 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 18 0 12 0 418968266 893587456 36692 1283457024 134512640 134550932 4287455424 18446744073709551615 4160219376 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=6445/tid=6453] ppid=6443 vsize=872644 CPUtime=0 /proc/6445/task/6453/stat : 6453 (java) S 6443 6442 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 22 0 12 0 418968269 893587456 36692 1283457024 134512640 134550932 4287455424 18446744073709551615 4160227664 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=6445/tid=6454] ppid=6443 vsize=872644 CPUtime=0.04 /proc/6445/task/6454/stat : 6454 (java) S 6443 6442 13759 34823 13904 4202560 208 0 0 0 4 0 0 0 15 0 12 0 418968269 893587456 36692 1283457024 134512640 134550932 4287455424 18446744073709551615 4160219376 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=6445/tid=6455] ppid=6443 vsize=872644 CPUtime=1.18 /proc/6445/task/6455/stat : 6455 (java) S 6443 6442 13759 34823 13904 4202560 9732 0 0 0 116 2 0 0 15 0 12 0 418968269 893587456 36692 1283457024 134512640 134550932 4287455424 18446744073709551615 4160219376 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=6445/tid=6456] ppid=6443 vsize=872644 CPUtime=0 /proc/6445/task/6456/stat : 6456 (java) S 6443 6442 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 24 0 12 0 418968269 893587456 36692 1283457024 134512640 134550932 4287455424 18446744073709551615 4160219376 0 4 0 16800975 18446612134440493184 0 0 -1 0 0 0 0 [pid=6445/tid=6457] ppid=6443 vsize=872644 CPUtime=0 /proc/6445/task/6457/stat : 6457 (java) R 6443 6442 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418968269 893587456 36692 1283457024 134512640 134550932 4287455424 18446744073709551615 4160220168 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.7 Current children cumulated vsize (KiB) 879028 [startup+6.3061 s] /proc/loadavg: 1.29 1.10 1.08 2/99 6462 /proc/meminfo: memFree=1224196/2097152 swapFree=2055620/2097144 [pid=6442] ppid=6441 vsize=2384 CPUtime=0 /proc/6442/stat : 6442 (inescp-1.0) S 6441 6442 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 24 0 1 0 418968200 2441216 259 1283457024 134512640 135191968 4286773440 18446744073709551615 4159122062 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6442/statm: 596 259 221 166 0 28 0 [pid=6443] ppid=6442 vsize=4000 CPUtime=6.78 /proc/6443/stat : 6443 (cudf-solver.py) S 6442 6442 13759 34823 13904 4202496 813 56252 0 0 0 0 618 60 15 0 1 0 418968201 4096000 642 1283457024 134512640 135539072 4291874224 18446744073709551615 4158687886 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/6443/statm: 1000 642 346 251 0 301 0 [pid=6461] ppid=6443 vsize=2884 CPUtime=0 /proc/6461/stat : 6461 (sh) S 6443 6442 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418968739 2953216 320 1283457024 134512640 135191968 4292912912 18446744073709551615 4158700174 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6461/statm: 721 320 219 166 0 153 0 [pid=6462] ppid=6461 vsize=15156 CPUtime=0.91 /proc/6462/stat : 6462 (msuncore) R 6461 6442 13759 34823 13904 4202496 16720 0 0 0 86 5 0 0 20 0 1 0 418968739 15519744 3557 1283457024 134512640 135858300 4292542160 18446744073709551615 135358863 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/6462/statm: 3789 3557 134 329 0 3458 0 Current children cumulated CPU time (s) 7.69 Current children cumulated vsize (KiB) 24424 Solver just ended. Dumping a history of the last processes samples [startup+9.30624 s] /proc/loadavg: 1.26 1.09 1.08 2/99 6462 /proc/meminfo: memFree=1204108/2097152 swapFree=2055620/2097144 [pid=6442] ppid=6441 vsize=2384 CPUtime=0 /proc/6442/stat : 6442 (inescp-1.0) S 6441 6442 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 24 0 1 0 418968200 2441216 259 1283457024 134512640 135191968 4286773440 18446744073709551615 4159122062 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6442/statm: 596 259 221 166 0 28 0 [pid=6443] ppid=6442 vsize=4000 CPUtime=6.78 /proc/6443/stat : 6443 (cudf-solver.py) S 6442 6442 13759 34823 13904 4202496 813 56252 0 0 0 0 618 60 15 0 1 0 418968201 4096000 642 1283457024 134512640 135539072 4291874224 18446744073709551615 4158687886 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/6443/statm: 1000 642 346 251 0 301 0 [pid=6461] ppid=6443 vsize=2884 CPUtime=0 /proc/6461/stat : 6461 (sh) S 6443 6442 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418968739 2953216 320 1283457024 134512640 135191968 4292912912 18446744073709551615 4158700174 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6461/statm: 721 320 219 166 0 153 0 [pid=6462] ppid=6461 vsize=35140 CPUtime=3.9 /proc/6462/stat : 6462 (msuncore) R 6461 6442 13759 34823 13904 4202496 21709 0 0 0 384 6 0 0 25 0 1 0 418968739 35983360 8546 1283457024 134512640 135858300 4292542160 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/6462/statm: 8785 8546 137 329 0 8454 0 Current children cumulated CPU time (s) 10.68 Current children cumulated vsize (KiB) 44408 [startup+10.9063 s] /proc/loadavg: 1.26 1.09 1.08 2/99 6462 /proc/meminfo: memFree=1204116/2097152 swapFree=2055620/2097144 [pid=6442] ppid=6441 vsize=2384 CPUtime=0 /proc/6442/stat : 6442 (inescp-1.0) S 6441 6442 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 24 0 1 0 418968200 2441216 259 1283457024 134512640 135191968 4286773440 18446744073709551615 4159122062 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6442/statm: 596 259 221 166 0 28 0 [pid=6443] ppid=6442 vsize=4000 CPUtime=6.78 /proc/6443/stat : 6443 (cudf-solver.py) S 6442 6442 13759 34823 13904 4202496 813 56252 0 0 0 0 618 60 15 0 1 0 418968201 4096000 642 1283457024 134512640 135539072 4291874224 18446744073709551615 4158687886 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/6443/statm: 1000 642 346 251 0 301 0 [pid=6461] ppid=6443 vsize=2884 CPUtime=0 /proc/6461/stat : 6461 (sh) S 6443 6442 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418968739 2953216 320 1283457024 134512640 135191968 4292912912 18446744073709551615 4158700174 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6461/statm: 721 320 219 166 0 153 0 [pid=6462] ppid=6461 vsize=35140 CPUtime=5.5 /proc/6462/stat : 6462 (msuncore) R 6461 6442 13759 34823 13904 4202496 21709 0 0 0 544 6 0 0 25 0 1 0 418968739 35983360 8546 1283457024 134512640 135858300 4292542160 18446744073709551615 134658892 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/6462/statm: 8785 8546 137 329 0 8454 0 Current children cumulated CPU time (s) 12.28 Current children cumulated vsize (KiB) 44408 [startup+11.7064 s] /proc/loadavg: 1.26 1.09 1.08 2/99 6462 /proc/meminfo: memFree=1204116/2097152 swapFree=2055620/2097144 [pid=6442] ppid=6441 vsize=2384 CPUtime=0 /proc/6442/stat : 6442 (inescp-1.0) S 6441 6442 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 24 0 1 0 418968200 2441216 259 1283457024 134512640 135191968 4286773440 18446744073709551615 4159122062 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6442/statm: 596 259 221 166 0 28 0 [pid=6443] ppid=6442 vsize=4000 CPUtime=6.78 /proc/6443/stat : 6443 (cudf-solver.py) S 6442 6442 13759 34823 13904 4202496 813 56252 0 0 0 0 618 60 15 0 1 0 418968201 4096000 642 1283457024 134512640 135539072 4291874224 18446744073709551615 4158687886 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/6443/statm: 1000 642 346 251 0 301 0 [pid=6461] ppid=6443 vsize=2884 CPUtime=0 /proc/6461/stat : 6461 (sh) S 6443 6442 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418968739 2953216 320 1283457024 134512640 135191968 4292912912 18446744073709551615 4158700174 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6461/statm: 721 320 219 166 0 153 0 [pid=6462] ppid=6461 vsize=35140 CPUtime=6.3 /proc/6462/stat : 6462 (msuncore) R 6461 6442 13759 34823 13904 4202496 21709 0 0 0 624 6 0 0 25 0 1 0 418968739 35983360 8546 1283457024 134512640 135858300 4292542160 18446744073709551615 134652762 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/6462/statm: 8785 8546 137 329 0 8454 0 Current children cumulated CPU time (s) 13.08 Current children cumulated vsize (KiB) 44408 [startup+11.9104 s] /proc/loadavg: 1.24 1.09 1.08 2/97 6462 /proc/meminfo: memFree=1235520/2097152 swapFree=2055620/2097144 [pid=6442] ppid=6441 vsize=2384 CPUtime=0 /proc/6442/stat : 6442 (inescp-1.0) S 6441 6442 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 24 0 1 0 418968200 2441216 259 1283457024 134512640 135191968 4286773440 18446744073709551615 4159122062 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6442/statm: 596 259 221 166 0 28 0 [pid=6443] ppid=6442 vsize=7188 CPUtime=13.22 /proc/6443/stat : 6443 (cudf-solver.py) S 6442 6442 13759 34823 13904 4202496 1787 78341 0 0 8 1 1246 67 15 0 1 0 418968201 7360512 1421 1283457024 134512640 135539072 4291874224 18446744073709551615 4158687886 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/6443/statm: 1797 1421 346 251 0 1098 0 Current children cumulated CPU time (s) 13.22 Current children cumulated vsize (KiB) 9572 [startup+12.0064 s] /proc/loadavg: 1.24 1.09 1.08 2/97 6462 /proc/meminfo: memFree=1235520/2097152 swapFree=2055620/2097144 [pid=6442] ppid=6441 vsize=2384 CPUtime=0 /proc/6442/stat : 6442 (inescp-1.0) S 6441 6442 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 24 0 1 0 418968200 2441216 259 1283457024 134512640 135191968 4286773440 18446744073709551615 4159122062 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6442/statm: 596 259 221 166 0 28 0 [pid=6443] ppid=6442 vsize=7188 CPUtime=13.22 /proc/6443/stat : 6443 (cudf-solver.py) S 6442 6442 13759 34823 13904 4202496 1787 78341 0 0 8 1 1246 67 15 0 1 0 418968201 7360512 1421 1283457024 134512640 135539072 4291874224 18446744073709551615 4158687886 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/6443/statm: 1797 1421 346 251 0 1098 0 Current children cumulated CPU time (s) 13.22 Current children cumulated vsize (KiB) 9572 Child status: 0 Real time (s): 12.0271 CPU time (s): 13.2488 CPU user time (s): 12.5568 CPU system time (s): 0.692043 CPU usage (%): 110.158 Max. virtual memory (cumulated for all children) (KiB): 888440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.5568 system time used= 0.692043 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81757 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 644 involuntary context switches= 356 runsolver used 0.008 second user time and 0.008 second system time The end