runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3317403-1304269474/watcher-3317403-1304269474 -o /tmp/evaluation-result-3317403-1304269474/solver-3317403-1304269474 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317403-1304269474.cnf -seed 1902894133 -budget 4800 -cores 4
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.07 8.44 7.64 5/246 2488
/proc/meminfo: memFree=29023588/32950928 swapFree=67111448/67111528
[pid=2488] ppid=2486 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/2488/stat : 2488 (python) S 2486 2488 1708 0 -1 4202496 727 0 0 0 0 0 0 0 25 0 1 0 538546079 15548416 616 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814238208 0 2147483391 16781312 2 18446744071699215550 0 0 17 5 0 0 0
/proc/2488/statm: 3796 616 322 364 0 283 0
[startup+0.0352409 s]
/proc/loadavg: 8.07 8.44 7.64 5/246 2488
/proc/meminfo: memFree=29023588/32950928 swapFree=67111448/67111528
[pid=2488] ppid=2486 vsize=16808 CPUtime=0.01 cores=1,3,5,7
/proc/2488/stat : 2488 (python) S 2486 2488 1708 0 -1 4202496 1228 0 0 0 1 0 0 0 25 0 1 0 538546079 17211392 1085 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814238208 0 2147483391 16781312 2 18446744071699215550 0 0 17 5 0 0 0
/proc/2488/statm: 4202 1086 418 364 0 689 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16808
[startup+0.10023 s]
/proc/loadavg: 8.07 8.44 7.64 5/246 2488
/proc/meminfo: memFree=29023588/32950928 swapFree=67111448/67111528
[pid=2488] ppid=2486 vsize=89764 CPUtime=0.06 cores=1,3,5,7
/proc/2488/stat : 2488 (python) R 2486 2488 1708 0 -1 4202496 2672 0 0 0 4 2 0 0 25 0 1 0 538546079 91918336 2387 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814238208 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/2488/statm: 22441 2387 750 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 89764
[startup+0.300198 s]
/proc/loadavg: 8.07 8.44 7.64 5/246 2488
/proc/meminfo: memFree=29023588/32950928 swapFree=67111448/67111528
[pid=2488] ppid=2486 vsize=135748 CPUtime=0.19 cores=1,3,5,7
/proc/2488/stat : 2488 (python) S 2486 2488 1708 0 -1 4202496 5963 935 1 0 14 5 0 0 25 0 1 0 538546079 139005952 4150 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814236165 0 2147483391 16781312 2 18446744071699215550 0 0 17 5 0 0 0
/proc/2488/statm: 33937 4150 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135748
[startup+0.700127 s]
/proc/loadavg: 8.07 8.44 7.64 5/246 2488
/proc/meminfo: memFree=29023588/32950928 swapFree=67111448/67111528
[pid=2488] ppid=2486 vsize=278472 CPUtime=0.46 cores=1,3,5,7
/proc/2488/stat : 2488 (python) R 2486 2488 1708 0 -1 4202496 9355 935 1 0 34 12 0 0 25 0 1 0 538546079 285155328 7028 33554432000 4194304 5683644 140734693879312 18446744073709551615 4540638 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2488/statm: 69618 7028 1826 364 0 5542 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 278472
[startup+1.50099 s]
/proc/loadavg: 8.07 8.44 7.64 10/259 2505
/proc/meminfo: memFree=28981324/32950928 swapFree=67111448/67111528
[pid=2488] ppid=2486 vsize=320312 CPUtime=0.64 cores=1,3,5,7
/proc/2488/stat : 2488 (python) S 2486 2488 1708 0 -1 4202496 12350 935 1 0 52 12 0 0 25 0 5 0 538546079 327999488 7275 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826066891 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2488/statm: 80078 7275 1881 364 0 15987 0
[pid=2494] ppid=2488 vsize=278640 CPUtime=0 cores=1,3,5,7
/proc/2494/stat : 2494 (python) S 2488 2488 1708 0 -1 4202560 734 0 0 0 0 0 0 0 25 0 1 0 538546159 285327360 5586 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260239 0 0 16781312 514 12567571566524628991 0 0 17 7 0 0 0
/proc/2494/statm: 69660 5586 354 364 0 5578 0
[pid=2496] ppid=2494 vsize=1017940 CPUtime=0.69 cores=1,3,5,7
/proc/2496/stat : 2496 (gnovelty+2) R 2494 2496 2496 0 -1 4202496 452 0 0 0 69 0 0 0 25 0 1 0 538546159 1042370560 191 33554432000 134512640 135663704 4293299024 18446744073709551615 134544183 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/2496/statm: 254485 191 113 282 0 254201 0
[pid=2497] ppid=2488 vsize=289388 CPUtime=0 cores=1,3,5,7
/proc/2497/stat : 2497 (python) S 2488 2488 1708 0 -1 4202560 749 0 0 0 0 0 0 0 19 0 1 0 538546162 296333312 5705 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260294 0 0 16781312 514 1201401175593681159 0 0 17 7 0 0 0
/proc/2497/statm: 72347 5705 348 364 0 8262 0
[pid=2499] ppid=2497 vsize=2704 CPUtime=0.65 cores=1,3,5,7
/proc/2499/stat : 2499 (march_hi) R 2497 2499 2499 0 -1 4202496 720 0 0 0 65 0 0 0 25 0 1 0 538546162 2768896 459 33554432000 4194304 4955518 140733571320784 18446744073709551615 4238469 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/2499/statm: 676 459 104 186 0 489 0
[pid=2500] ppid=2488 vsize=299272 CPUtime=0 cores=1,3,5,7
/proc/2500/stat : 2500 (python) S 2488 2488 1708 0 -1 4202560 739 0 0 0 0 0 0 0 25 0 1 0 538546165 306454528 5612 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260294 0 0 16781312 514 4328728079703736319 0 0 17 3 0 0 0
/proc/2500/statm: 74818 5612 348 364 0 10730 0
[pid=2502] ppid=2500 vsize=1017940 CPUtime=0.63 cores=1,3,5,7
/proc/2502/stat : 2502 (gnovelty+2) R 2500 2502 2502 0 -1 4202496 456 0 0 0 63 0 0 0 25 0 1 0 538546165 1042370560 192 33554432000 134512640 135663704 4288808048 18446744073709551615 134525222 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/2502/statm: 254485 192 113 282 0 254201 0
[pid=2503] ppid=2488 vsize=310068 CPUtime=0 cores=1,3,5,7
/proc/2503/stat : 2503 (python) S 2488 2488 1708 0 -1 4202560 767 0 0 0 0 0 0 0 21 0 1 0 538546168 317509632 5738 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260294 0 0 16781312 514 5584129290699505927 0 0 17 5 0 0 0
/proc/2503/statm: 77517 5738 348 364 0 13426 0
[pid=2505] ppid=2503 vsize=2704 CPUtime=0.6 cores=1,3,5,7
/proc/2505/stat : 2505 (march_hi) R 2503 2505 2505 0 -1 4202496 720 0 0 0 60 0 0 0 25 0 1 0 538546168 2768896 457 33554432000 4194304 4955518 140737192375424 18446744073709551615 4238710 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/2505/statm: 676 457 104 186 0 489 0
[pid=2488/tid=2495] ppid=2486 vsize=320312 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2495/stat : 2495 (python) S 2486 2488 1708 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 5 0 538546159 327999488 7275 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 1 0 0 0
[pid=2488/tid=2498] ppid=2486 vsize=320312 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2498/stat : 2498 (python) S 2486 2488 1708 0 -1 4202560 20 935 0 0 0 0 0 0 25 0 5 0 538546162 327999488 7275 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
[pid=2488/tid=2501] ppid=2486 vsize=320312 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2501/stat : 2501 (python) S 2486 2488 1708 0 -1 4202560 20 935 0 0 0 0 0 0 25 0 5 0 538546165 327999488 7275 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 3 0 0 0
[pid=2488/tid=2504] ppid=2486 vsize=320312 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2504/stat : 2504 (python) S 2486 2488 1708 0 -1 4202560 30 935 0 0 0 0 0 0 25 0 5 0 538546168 327999488 7275 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 3538968
[startup+3.10072 s]
/proc/loadavg: 8.07 8.44 7.64 9/259 2505
/proc/meminfo: memFree=28979836/32950928 swapFree=67111448/67111528
[pid=2488] ppid=2486 vsize=320312 CPUtime=0.64 cores=1,3,5,7
/proc/2488/stat : 2488 (python) S 2486 2488 1708 0 -1 4202496 12350 935 1 0 52 12 0 0 25 0 5 0 538546079 327999488 7275 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826066891 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2488/statm: 80078 7275 1881 364 0 15987 0
[pid=2494] ppid=2488 vsize=278640 CPUtime=0 cores=1,3,5,7
/proc/2494/stat : 2494 (python) S 2488 2488 1708 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 538546159 285327360 5586 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260239 0 0 16781312 514 12567571566524596488 0 0 17 7 0 0 0
/proc/2494/statm: 69660 5586 354 364 0 5578 0
[pid=2496] ppid=2494 vsize=1017940 CPUtime=2.29 cores=1,3,5,7
/proc/2496/stat : 2496 (gnovelty+2) R 2494 2496 2496 0 -1 4202496 452 0 0 0 229 0 0 0 25 0 1 0 538546159 1042370560 191 33554432000 134512640 135663704 4293299024 18446744073709551615 134524684 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/2496/statm: 254485 191 113 282 0 254201 0
[pid=2497] ppid=2488 vsize=289388 CPUtime=0 cores=1,3,5,7
/proc/2497/stat : 2497 (python) S 2488 2488 1708 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 538546162 296333312 5705 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260294 0 0 16781312 514 1201401175593681159 0 0 17 7 0 0 0
/proc/2497/statm: 72347 5705 348 364 0 8262 0
[pid=2499] ppid=2497 vsize=3068 CPUtime=2.24 cores=1,3,5,7
/proc/2499/stat : 2499 (march_hi) R 2497 2499 2499 0 -1 4202496 834 0 0 0 224 0 0 0 25 0 1 0 538546162 3141632 554 33554432000 4194304 4955518 140733571320784 18446744073709551615 4311850 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/2499/statm: 767 554 104 186 0 580 0
[pid=2500] ppid=2488 vsize=299272 CPUtime=0 cores=1,3,5,7
/proc/2500/stat : 2500 (python) S 2488 2488 1708 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 538546165 306454528 5612 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260294 0 0 16781312 514 4328728079703703813 0 0 17 3 0 0 0
/proc/2500/statm: 74818 5612 348 364 0 10730 0
[pid=2502] ppid=2500 vsize=1017940 CPUtime=2.23 cores=1,3,5,7
/proc/2502/stat : 2502 (gnovelty+2) R 2500 2502 2502 0 -1 4202496 456 0 0 0 223 0 0 0 25 0 1 0 538546165 1042370560 192 33554432000 134512640 135663704 4288808048 18446744073709551615 134545598 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/2502/statm: 254485 192 113 282 0 254201 0
[pid=2503] ppid=2488 vsize=310068 CPUtime=0 cores=1,3,5,7
/proc/2503/stat : 2503 (python) S 2488 2488 1708 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 1 0 538546168 317509632 5738 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260294 0 0 16781312 514 5584129290699505927 0 0 17 5 0 0 0
/proc/2503/statm: 77517 5738 348 364 0 13426 0
[pid=2505] ppid=2503 vsize=3068 CPUtime=2.2 cores=1,3,5,7
/proc/2505/stat : 2505 (march_hi) R 2503 2505 2505 0 -1 4202496 836 0 0 0 220 0 0 0 25 0 1 0 538546168 3141632 554 33554432000 4194304 4955518 140737192375424 18446744073709551615 4224693 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/2505/statm: 767 554 104 186 0 580 0
[pid=2488/tid=2495] ppid=2486 vsize=320312 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2495/stat : 2495 (python) S 2486 2488 1708 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 5 0 538546159 327999488 7275 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 1 0 0 0
[pid=2488/tid=2498] ppid=2486 vsize=320312 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2498/stat : 2498 (python) S 2486 2488 1708 0 -1 4202560 20 935 0 0 0 0 0 0 25 0 5 0 538546162 327999488 7275 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
[pid=2488/tid=2501] ppid=2486 vsize=320312 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2501/stat : 2501 (python) S 2486 2488 1708 0 -1 4202560 20 935 0 0 0 0 0 0 25 0 5 0 538546165 327999488 7275 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 3 0 0 0
[pid=2488/tid=2504] ppid=2486 vsize=320312 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2504/stat : 2504 (python) S 2486 2488 1708 0 -1 4202560 30 935 0 0 0 0 0 0 25 0 5 0 538546168 327999488 7275 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 9.6
Current children cumulated vsize (KiB) 3539696
[startup+6.30118 s]
/proc/loadavg: 8.06 8.43 7.64 9/259 2506
/proc/meminfo: memFree=28975848/32950928 swapFree=67111448/67111528
[pid=2488] ppid=2486 vsize=320312 CPUtime=0.64 cores=1,3,5,7
/proc/2488/stat : 2488 (python) S 2486 2488 1708 0 -1 4202496 12350 935 1 0 52 12 0 0 25 0 5 0 538546079 327999488 7275 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826066891 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2488/statm: 80078 7275 1881 364 0 15987 0
[pid=2494] ppid=2488 vsize=278640 CPUtime=0 cores=1,3,5,7
/proc/2494/stat : 2494 (python) S 2488 2488 1708 0 -1 4202560 889 0 0 0 0 0 0 0 18 0 1 0 538546159 285327360 5608 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260239 0 0 16781312 514 12567571566524596488 0 0 17 7 0 0 0
/proc/2494/statm: 69660 5608 376 364 0 5578 0
[pid=2496] ppid=2494 vsize=1017940 CPUtime=5.49 cores=1,3,5,7
/proc/2496/stat : 2496 (gnovelty+2) R 2494 2496 2496 0 -1 4202496 452 0 0 0 549 0 0 0 25 0 1 0 538546159 1042370560 191 33554432000 134512640 135663704 4293299024 18446744073709551615 134525255 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/2496/statm: 254485 191 113 282 0 254201 0
[pid=2497] ppid=2488 vsize=289388 CPUtime=0 cores=1,3,5,7
/proc/2497/stat : 2497 (python) S 2488 2488 1708 0 -1 4202560 893 0 0 0 0 0 0 0 15 0 1 0 538546162 296333312 5728 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260294 0 0 16781312 514 1201401175593681159 0 0 17 7 0 0 0
/proc/2497/statm: 72347 5728 371 364 0 8262 0
[pid=2499] ppid=2497 vsize=3784 CPUtime=5.4 cores=1,3,5,7
/proc/2499/stat : 2499 (march_hi) R 2497 2499 2499 0 -1 4202496 974 0 0 0 540 0 0 0 25 0 1 0 538546162 3874816 694 33554432000 4194304 4955518 140733571320784 18446744073709551615 4224768 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/2499/statm: 946 694 104 186 0 759 0
[pid=2500] ppid=2488 vsize=299272 CPUtime=0 cores=1,3,5,7
/proc/2500/stat : 2500 (python) S 2488 2488 1708 0 -1 4202560 893 0 0 0 0 0 0 0 18 0 1 0 538546165 306454528 5635 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260294 0 0 16781312 514 4328728079703703813 0 0 17 3 0 0 0
/proc/2500/statm: 74818 5635 371 364 0 10730 0
[pid=2502] ppid=2500 vsize=1017940 CPUtime=5.42 cores=1,3,5,7
/proc/2502/stat : 2502 (gnovelty+2) R 2500 2502 2502 0 -1 4202496 456 0 0 0 542 0 0 0 25 0 1 0 538546165 1042370560 192 33554432000 134512640 135663704 4288808048 18446744073709551615 134524882 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/2502/statm: 254485 192 113 282 0 254201 0
[pid=2503] ppid=2488 vsize=310068 CPUtime=0 cores=1,3,5,7
/proc/2503/stat : 2503 (python) S 2488 2488 1708 0 -1 4202560 928 0 0 0 0 0 0 0 15 0 1 0 538546168 317509632 5761 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260294 0 0 16781312 514 5584129290699505927 0 0 17 5 0 0 0
/proc/2503/statm: 77517 5761 371 364 0 13426 0
[pid=2505] ppid=2503 vsize=3784 CPUtime=5.39 cores=1,3,5,7
/proc/2505/stat : 2505 (march_hi) R 2503 2505 2505 0 -1 4202496 978 0 0 0 539 0 0 0 25 0 1 0 538546168 3874816 696 33554432000 4194304 4955518 140737192375424 18446744073709551615 4209672 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/2505/statm: 946 696 104 186 0 759 0
[pid=2488/tid=2495] ppid=2486 vsize=320312 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2495/stat : 2495 (python) S 2486 2488 1708 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 5 0 538546159 327999488 7275 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 1 0 0 0
[pid=2488/tid=2498] ppid=2486 vsize=320312 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2498/stat : 2498 (python) S 2486 2488 1708 0 -1 4202560 20 935 0 0 0 0 0 0 25 0 5 0 538546162 327999488 7275 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
[pid=2488/tid=2501] ppid=2486 vsize=320312 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2501/stat : 2501 (python) S 2486 2488 1708 0 -1 4202560 20 935 0 0 0 0 0 0 25 0 5 0 538546165 327999488 7275 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 3 0 0 0
[pid=2488/tid=2504] ppid=2486 vsize=320312 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2504/stat : 2504 (python) S 2486 2488 1708 0 -1 4202560 30 935 0 0 0 0 0 0 25 0 5 0 538546168 327999488 7275 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 22.34
Current children cumulated vsize (KiB) 3541128
[startup+12.7011 s]
/proc/loadavg: 8.06 8.42 7.64 9/259 2506
/proc/meminfo: memFree=28969640/32950928 swapFree=67111448/67111528
[pid=2488] ppid=2486 vsize=320312 CPUtime=0.64 cores=1,3,5,7
/proc/2488/stat : 2488 (python) S 2486 2488 1708 0 -1 4202496 12350 935 1 0 52 12 0 0 25 0 5 0 538546079 327999488 7275 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826066891 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2488/statm: 80078 7275 1881 364 0 15987 0
[pid=2494] ppid=2488 vsize=278640 CPUtime=0.01 cores=1,3,5,7
/proc/2494/stat : 2494 (python) S 2488 2488 1708 0 -1 4202560 892 0 0 0 1 0 0 0 18 0 1 0 538546159 285327360 5609 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260239 0 0 16781312 514 4634661413401362696 0 0 17 7 0 0 0
/proc/2494/statm: 69660 5609 377 364 0 5578 0
[pid=2496] ppid=2494 vsize=1017940 CPUtime=11.89 cores=1,3,5,7
/proc/2496/stat : 2496 (gnovelty+2) R 2494 2496 2496 0 -1 4202496 452 0 0 0 1189 0 0 0 25 0 1 0 538546159 1042370560 191 33554432000 134512640 135663704 4293299024 18446744073709551615 134524503 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/2496/statm: 254485 191 113 282 0 254201 0
[pid=2497] ppid=2488 vsize=289388 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
[pid=2513] ppid=2488 vsize=320324 CPUtime=1.17 cores=1,3,5,7
/proc/2513/stat : 2513 (python) S 2488 2488 1708 0 -1 4202560 1166 0 0 0 58 59 0 0 15 0 2 0 538556077 328011776 5795 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826066891 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/2513/statm: 80081 5795 400 364 0 15987 0
[pid=2515] ppid=2513 vsize=110248 CPUtime=680.39 cores=1,3,5,7
/proc/2515/stat : 2515 (march_hi) T 2513 2515 2515 0 -1 4202496 24045 0 0 0 68034 5 0 0 25 0 1 0 538556078 112893952 23756 33554432000 4194304 4955518 140737289660832 18446744073709551615 4263701 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/2515/statm: 27562 23756 104 186 0 27375 0
[pid=2513/tid=2636] ppid=2488 vsize=320324 CPUtime=0 cores=1,3,5,7
/proc/2513/task/2636/stat : 2636 (python) S 2488 2488 1708 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 538604768 328011776 5795 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 514 18446604455129833920 0 0 -1 5 0 0 0
[pid=2517] ppid=2488 vsize=330196 CPUtime=1.34 cores=1,3,5,7
/proc/2517/stat : 2517 (python) S 2488 2488 1708 0 -1 4202560 1166 0 0 0 69 65 0 0 15 0 2 0 538556185 338120704 5719 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826066891 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/2517/statm: 82549 5719 400 364 0 18452 0
[pid=2519] ppid=2517 vsize=129080 CPUtime=777.93 cores=1,3,5,7
/proc/2519/stat : 2519 (march_hi) T 2517 2519 2519 0 -1 4202496 27206 0 0 0 77789 4 0 0 25 0 1 0 538556185 132177920 26923 33554432000 4194304 4955518 140733571386016 18446744073709551615 4314250 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/2519/statm: 32270 26923 104 186 0 32083 0
[pid=2517/tid=2637] ppid=2488 vsize=330196 CPUtime=0 cores=1,3,5,7
/proc/2517/task/2637/stat : 2637 (python) S 2488 2488 1708 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 538605509 338120704 5719 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 514 18446604455129836608 0 0 -1 7 0 0 0
[pid=2641] ppid=2488 vsize=340992 CPUtime=0.88 cores=1,3,5,7
/proc/2641/stat : 2641 (python) S 2488 2488 1708 0 -1 4202560 1217 0 0 0 45 43 0 0 15 0 2 0 538614946 349175808 5871 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260294 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/2641/statm: 85248 5871 406 364 0 21148 0
[pid=2643] ppid=2641 vsize=80780 CPUtime=508.61 cores=1,3,5,7
/proc/2643/stat : 2643 (march_hi) R 2641 2643 2643 0 -1 4202496 18379 0 0 0 50857 4 0 0 25 0 1 0 538614947 82718720 18090 33554432000 4194304 4955518 140734678462208 18446744073709551615 4224615 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/2643/statm: 20195 18090 104 186 0 20008 0
[pid=2641/tid=2665] ppid=2488 vsize=340992 CPUtime=0 cores=1,3,5,7
/proc/2641/task/2665/stat : 2665 (python) S 2488 2488 1708 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 538664325 349175808 5871 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 514 18446604471120757888 0 0 -1 5 0 0 0
[pid=2647] ppid=2488 vsize=351416 CPUtime=0.69 cores=1,3,5,7
/proc/2647/stat : 2647 (python) S 2488 2488 1708 0 -1 4202560 1040 0 0 0 36 33 0 0 18 0 1 0 538624214 359849984 5864 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260294 0 0 16781312 514 4634661413401362695 0 0 17 5 0 0 0
/proc/2647/statm: 87854 5864 377 364 0 23751 0
[pid=2649] ppid=2647 vsize=182584 CPUtime=422.31 cores=1,3,5,7
/proc/2649/stat : 2649 (kcnfs-2006) R 2647 2649 2649 0 -1 4202496 652 0 0 0 42231 0 0 0 25 0 1 0 538624215 186966016 388 33554432000 134512640 135163436 4289537968 18446744073709551615 134572167 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/2649/statm: 45646 388 77 159 0 45486 0
[pid=2654] ppid=2488 vsize=361672 CPUtime=0.56 cores=1,3,5,7
/proc/2654/stat : 2654 (python) S 2488 2488 1708 0 -1 4202560 1034 0 0 0 30 26 0 0 15 0 1 0 538633834 370352128 5869 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260294 0 0 16781312 514 4634661413401362695 0 0 17 5 0 0 0
/proc/2654/statm: 90418 5869 371 364 0 26312 0
[pid=2656] ppid=2654 vsize=51584 CPUtime=323.71 cores=1,3,5,7
/proc/2656/stat : 2656 (march_hi) R 2654 2656 2656 0 -1 4202496 12324 0 0 0 32368 3 0 0 25 0 1 0 538633835 52822016 12038 33554432000 4194304 4955518 140734102437120 18446744073709551615 4290789 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/2656/statm: 12896 12038 104 186 0 12709 0
[pid=2488/tid=2495] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2495/stat : 2495 (python) S 2486 2488 1708 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 10 0 538546159 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 1 0 0 0
[pid=2488/tid=2498] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2498/stat : 2498 (python) S 2486 2488 1708 0 -1 4202560 28 935 0 0 0 0 0 0 18 0 10 0 538546162 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
[pid=2488/tid=2501] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2501/stat : 2501 (python) S 2486 2488 1708 0 -1 4202560 20 935 0 0 0 0 0 0 25 0 10 0 538546165 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 3 0 0 0
[pid=2488/tid=2504] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2504/stat : 2504 (python) S 2486 2488 1708 0 -1 4202560 40 935 0 0 0 0 0 0 15 0 10 0 538546168 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 7 0 0 0
[pid=2488/tid=2514] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2514/stat : 2514 (python) S 2486 2488 1708 0 -1 4202560 34 935 0 0 0 0 0 0 18 0 10 0 538556078 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
[pid=2488/tid=2518] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2518/stat : 2518 (python) S 2486 2488 1708 0 -1 4202560 34 935 0 0 0 0 0 0 18 0 10 0 538556185 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
[pid=2488/tid=2642] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2642/stat : 2642 (python) S 2486 2488 1708 0 -1 4202560 36 935 0 0 0 0 0 0 18 0 10 0 538614947 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
[pid=2488/tid=2648] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2648/stat : 2648 (python) S 2486 2488 1708 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 10 0 538624214 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
[pid=2488/tid=2655] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2655/stat : 2655 (python) S 2486 2488 1708 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 10 0 538633835 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 6200844
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1203.7 s]
/proc/loadavg: 4.10 4.71 6.06 5/263 2665
/proc/meminfo: memFree=28355880/32950928 swapFree=67111448/67111528
[pid=2488] ppid=2486 vsize=371916 CPUtime=1.2 cores=1,3,5,7
/proc/2488/stat : 2488 (python) S 2486 2488 1708 0 -1 4202496 17646 935 1 0 107 13 0 0 18 0 10 0 538546079 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826066891 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2488/statm: 92979 7394 1892 364 0 28873 0
[pid=2494] ppid=2488 vsize=288884 CPUtime=0.14 cores=1,3,5,7
/proc/2494/stat : 2494 (python) S 2488 2488 1708 0 -1 4202560 1076 0 0 0 8 6 0 0 19 0 2 0 538546159 295817216 5647 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826066891 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/2494/statm: 72221 5647 410 364 0 8139 0
[pid=2496] ppid=2494 vsize=1017940 CPUtime=99.14 cores=1,3,5,7
/proc/2496/stat : 2496 (gnovelty+2) T 2494 2496 2496 0 -1 4202496 452 0 0 0 9914 0 0 0 25 0 1 0 538546159 1042370560 191 33554432000 134512640 135663704 4293299024 18446744073709551615 134524755 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/2496/statm: 254485 191 113 282 0 254201 0
[pid=2494/tid=2512] ppid=2488 vsize=288884 CPUtime=0 cores=1,3,5,7
/proc/2494/task/2512/stat : 2512 (python) S 2488 2488 1708 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538556074 295817216 5647 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 514 18446604455838809024 0 0 -1 7 0 0 0
[pid=2497] ppid=2488 vsize=289388 CPUtime=1.73 cores=1,3,5,7
/proc/2497/stat : 2497 (python) S 2488 2488 1708 0 -1 4202560 1151 0 0 0 91 82 0 0 15 0 2 0 538546162 296333312 5758 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260294 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/2497/statm: 72347 5758 400 364 0 8262 0
[pid=2499] ppid=2497 vsize=173280 CPUtime=1003.42 cores=1,3,5,7
/proc/2499/stat : 2499 (march_hi) R 2497 2499 2499 0 -1 4202496 34742 0 0 0 100335 7 0 0 25 0 1 0 538546162 177438720 34462 33554432000 4194304 4955518 140733571320784 18446744073709551615 4224707 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/2499/statm: 43320 34462 104 186 0 43133 0
[pid=2497/tid=2526] ppid=2488 vsize=289388 CPUtime=0 cores=1,3,5,7
/proc/2497/task/2526/stat : 2526 (python) S 2488 2488 1708 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 538566159 296333312 5758 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 514 18446604471100422080 0 0 -1 5 0 0 0
[pid=2500] ppid=2488 vsize=299272 CPUtime=0.15 cores=1,3,5,7
/proc/2500/stat : 2500 (python) S 2488 2488 1708 0 -1 4202560 1081 0 0 0 8 7 0 0 19 0 2 0 538546165 306454528 5665 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826066891 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/2500/statm: 74818 5665 400 364 0 10730 0
[pid=2502] ppid=2500 vsize=1017940 CPUtime=100 cores=1,3,5,7
/proc/2502/stat : 2502 (gnovelty+2) T 2500 2502 2502 0 -1 4202496 456 0 0 0 10000 0 0 0 25 0 1 0 538546165 1042370560 192 33554432000 134512640 135663704 4288808048 18446744073709551615 134525213 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/2502/statm: 254485 192 113 282 0 254201 0
[pid=2500/tid=2516] ppid=2488 vsize=299272 CPUtime=0 cores=1,3,5,7
/proc/2500/task/2516/stat : 2516 (python) S 2488 2488 1708 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 538556182 306454528 5665 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 514 18446604471100422976 0 0 -1 3 0 0 0
[pid=2503] ppid=2488 vsize=310068 CPUtime=1.49 cores=1,3,5,7
/proc/2503/stat : 2503 (python) S 2488 2488 1708 0 -1 4202560 1168 0 0 0 75 74 0 0 15 0 2 0 538546168 317509632 5791 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826066891 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/2503/statm: 77517 5791 400 364 0 13426 0
[pid=2505] ppid=2503 vsize=173280 CPUtime=875.27 cores=1,3,5,7
/proc/2505/stat : 2505 (march_hi) T 2503 2505 2505 0 -1 4202496 30414 0 0 0 87520 7 0 0 25 0 1 0 538546168 177438720 30132 33554432000 4194304 4955518 140737192375424 18446744073709551615 4224687 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/2505/statm: 43320 30132 104 186 0 43133 0
[pid=2503/tid=2537] ppid=2488 vsize=310068 CPUtime=0 cores=1,3,5,7
/proc/2503/task/2537/stat : 2537 (python) S 2488 2488 1708 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 538585292 317509632 5791 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 514 18446604471100421184 0 0 -1 5 0 0 0
[pid=2513] ppid=2488 vsize=320324 CPUtime=1.17 cores=1,3,5,7
/proc/2513/stat : 2513 (python) S 2488 2488 1708 0 -1 4202560 1166 0 0 0 58 59 0 0 15 0 2 0 538556077 328011776 5795 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826066891 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/2513/statm: 80081 5795 400 364 0 15987 0
[pid=2515] ppid=2513 vsize=110248 CPUtime=680.39 cores=1,3,5,7
/proc/2515/stat : 2515 (march_hi) T 2513 2515 2515 0 -1 4202496 24045 0 0 0 68034 5 0 0 25 0 1 0 538556078 112893952 23756 33554432000 4194304 4955518 140737289660832 18446744073709551615 4263701 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/2515/statm: 27562 23756 104 186 0 27375 0
[pid=2513/tid=2636] ppid=2488 vsize=320324 CPUtime=0 cores=1,3,5,7
/proc/2513/task/2636/stat : 2636 (python) S 2488 2488 1708 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 538604768 328011776 5795 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 514 18446604455129833920 0 0 -1 5 0 0 0
[pid=2517] ppid=2488 vsize=330196 CPUtime=1.34 cores=1,3,5,7
/proc/2517/stat : 2517 (python) S 2488 2488 1708 0 -1 4202560 1166 0 0 0 69 65 0 0 15 0 2 0 538556185 338120704 5719 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826066891 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/2517/statm: 82549 5719 400 364 0 18452 0
[pid=2519] ppid=2517 vsize=129080 CPUtime=777.93 cores=1,3,5,7
/proc/2519/stat : 2519 (march_hi) T 2517 2519 2519 0 -1 4202496 27206 0 0 0 77789 4 0 0 25 0 1 0 538556185 132177920 26923 33554432000 4194304 4955518 140733571386016 18446744073709551615 4314250 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/2519/statm: 32270 26923 104 186 0 32083 0
[pid=2517/tid=2637] ppid=2488 vsize=330196 CPUtime=0 cores=1,3,5,7
/proc/2517/task/2637/stat : 2637 (python) S 2488 2488 1708 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 538605509 338120704 5719 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 514 18446604455129836608 0 0 -1 7 0 0 0
[pid=2641] ppid=2488 vsize=340992 CPUtime=0.88 cores=1,3,5,7
/proc/2641/stat : 2641 (python) S 2488 2488 1708 0 -1 4202560 1217 0 0 0 45 43 0 0 15 0 2 0 538614946 349175808 5871 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260294 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/2641/statm: 85248 5871 406 364 0 21148 0
[pid=2643] ppid=2641 vsize=80780 CPUtime=508.61 cores=1,3,5,7
/proc/2643/stat : 2643 (march_hi) R 2641 2643 2643 0 -1 4202496 18379 0 0 0 50857 4 0 0 25 0 1 0 538614947 82718720 18090 33554432000 4194304 4955518 140734678462208 18446744073709551615 4224615 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/2643/statm: 20195 18090 104 186 0 20008 0
[pid=2641/tid=2665] ppid=2488 vsize=340992 CPUtime=0 cores=1,3,5,7
/proc/2641/task/2665/stat : 2665 (python) S 2488 2488 1708 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 538664325 349175808 5871 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 514 18446604471120757888 0 0 -1 5 0 0 0
[pid=2647] ppid=2488 vsize=351416 CPUtime=0.69 cores=1,3,5,7
/proc/2647/stat : 2647 (python) S 2488 2488 1708 0 -1 4202560 1040 0 0 0 36 33 0 0 18 0 1 0 538624214 359849984 5864 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260294 0 0 16781312 514 4634661413401362695 0 0 17 5 0 0 0
/proc/2647/statm: 87854 5864 377 364 0 23751 0
[pid=2649] ppid=2647 vsize=182584 CPUtime=422.31 cores=1,3,5,7
/proc/2649/stat : 2649 (kcnfs-2006) R 2647 2649 2649 0 -1 4202496 652 0 0 0 42231 0 0 0 25 0 1 0 538624215 186966016 388 33554432000 134512640 135163436 4289537968 18446744073709551615 134572167 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/2649/statm: 45646 388 77 159 0 45486 0
[pid=2654] ppid=2488 vsize=361672 CPUtime=0.56 cores=1,3,5,7
/proc/2654/stat : 2654 (python) S 2488 2488 1708 0 -1 4202560 1034 0 0 0 30 26 0 0 15 0 1 0 538633834 370352128 5869 33554432000 4194304 5683644 140734693879312 18446744073709551615 251814260294 0 0 16781312 514 4634661413401362695 0 0 17 5 0 0 0
/proc/2654/statm: 90418 5869 371 364 0 26312 0
[pid=2656] ppid=2654 vsize=51584 CPUtime=323.71 cores=1,3,5,7
/proc/2656/stat : 2656 (march_hi) R 2654 2656 2656 0 -1 4202496 12324 0 0 0 32368 3 0 0 25 0 1 0 538633835 52822016 12038 33554432000 4194304 4955518 140734102437120 18446744073709551615 4290789 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/2656/statm: 12896 12038 104 186 0 12709 0
[pid=2488/tid=2495] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2495/stat : 2495 (python) S 2486 2488 1708 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 10 0 538546159 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 1 0 0 0
[pid=2488/tid=2498] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2498/stat : 2498 (python) S 2486 2488 1708 0 -1 4202560 28 935 0 0 0 0 0 0 18 0 10 0 538546162 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
[pid=2488/tid=2501] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2501/stat : 2501 (python) S 2486 2488 1708 0 -1 4202560 20 935 0 0 0 0 0 0 25 0 10 0 538546165 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 3 0 0 0
[pid=2488/tid=2504] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2504/stat : 2504 (python) S 2486 2488 1708 0 -1 4202560 40 935 0 0 0 0 0 0 15 0 10 0 538546168 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 7 0 0 0
[pid=2488/tid=2514] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2514/stat : 2514 (python) S 2486 2488 1708 0 -1 4202560 34 935 0 0 0 0 0 0 18 0 10 0 538556078 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
[pid=2488/tid=2518] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2518/stat : 2518 (python) S 2486 2488 1708 0 -1 4202560 34 935 0 0 0 0 0 0 18 0 10 0 538556185 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
[pid=2488/tid=2642] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2642/stat : 2642 (python) S 2486 2488 1708 0 -1 4202560 36 935 0 0 0 0 0 0 18 0 10 0 538614947 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
[pid=2488/tid=2648] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2648/stat : 2648 (python) S 2486 2488 1708 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 10 0 538624214 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
[pid=2488/tid=2655] ppid=2486 vsize=371916 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2655/stat : 2655 (python) S 2486 2488 1708 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 10 0 538633835 380841984 7394 33554432000 4194304 5683644 140734693879312 18446744073709551615 251826063793 0 0 16781312 2 18446604471133497472 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 6200844
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2488 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=91834
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=143978
# CPU time returned by wait4() is 1.23581
# while last known CPU time is 4800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1203.76
CPU time (s): 4800.13
CPU user time (s): 4795.75
CPU system time (s): 4.38
CPU usage (%): 398.76
Max. virtual memory (cumulated for all children) (KiB): 6200848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.09183
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18616
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3019
involuntary context switches= 39
runsolver used 3.49647 second user time and 8.25774 second system time
The end