runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3378117-1305462765/watcher-3378117-1305462765 -o /tmp/evaluation-result-3378117-1305462765/solver-3378117-1305462765 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378117-1305462765.cnf -seed 1414120998 -budget 4800 -cores 4 

running on 4 cores: 0,2,4,6

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: 1.29 2.43 3.27 3/255 25866
/proc/meminfo: memFree=20636336/32951124 swapFree=67056788/67111528
[pid=25866] ppid=25862 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/25866/stat : 25866 (python) S 25862 25866 25829 0 -1 4202496 794 0 0 0 0 0 0 0 17 0 1 0 657874397 15749120 681 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550535680 0 2147483391 16781312 2 18446744071699469502 0 0 17 2 0 0 0
/proc/25866/statm: 3845 681 322 364 0 332 0

[startup+0.0986201 s]
/proc/loadavg: 1.29 2.43 3.27 3/255 25866
/proc/meminfo: memFree=20636336/32951124 swapFree=67056788/67111528
[pid=25866] ppid=25862 vsize=50012 CPUtime=0.05 cores=0,2,4,6
/proc/25866/stat : 25866 (python) D 25862 25866 25829 0 -1 4202496 1963 0 0 0 3 2 0 0 17 0 1 0 657874397 51212288 1726 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550535680 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25866/statm: 12503 1726 476 364 0 1203 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50012

[startup+0.100651 s]
/proc/loadavg: 1.29 2.43 3.27 3/255 25866
/proc/meminfo: memFree=20636336/32951124 swapFree=67056788/67111528
[pid=25866] ppid=25862 vsize=50012 CPUtime=0.05 cores=0,2,4,6
/proc/25866/stat : 25866 (python) R 25862 25866 25829 0 -1 4202496 1977 0 0 0 3 2 0 0 17 0 1 0 657874397 51212288 1738 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550535680 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25866/statm: 12503 1738 480 364 0 1203 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50012

[startup+0.300602 s]
/proc/loadavg: 1.29 2.43 3.27 3/255 25866
/proc/meminfo: memFree=20636336/32951124 swapFree=67056788/67111528
[pid=25866] ppid=25862 vsize=131296 CPUtime=0.19 cores=0,2,4,6
/proc/25866/stat : 25866 (python) R 25862 25866 25829 0 -1 4202496 5707 933 1 0 12 7 0 0 17 0 1 0 657874397 134447104 4099 33554432000 4194304 5683644 140733759976272 18446744073709551615 4509415 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25866/statm: 32824 4099 1015 364 0 3085 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 131296

[startup+0.700551 s]
/proc/loadavg: 1.29 2.43 3.27 3/255 25866
/proc/meminfo: memFree=20636336/32951124 swapFree=67056788/67111528
[pid=25866] ppid=25862 vsize=135748 CPUtime=0.29 cores=0,2,4,6
/proc/25866/stat : 25866 (python) R 25862 25866 25829 0 -1 4202496 5987 933 1 0 18 11 0 0 15 0 1 0 657874397 139005952 4161 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550580871 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25866/statm: 33937 4161 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 135748

[startup+1.50035 s]
/proc/loadavg: 1.29 2.43 3.27 4/257 25876
/proc/meminfo: memFree=20590424/32951124 swapFree=67056788/67111528
[pid=25866] ppid=25862 vsize=321024 CPUtime=0.9 cores=0,2,4,6
/proc/25866/stat : 25866 (python) S 25862 25866 25829 0 -1 4202496 12812 933 1 0 73 17 0 0 22 0 5 0 657874397 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562364363 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 80256 7453 1881 364 0 16165 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 321024

[startup+3.10102 s]
/proc/loadavg: 1.29 2.43 3.27 7/269 25888
/proc/meminfo: memFree=20509728/32951124 swapFree=67056788/67111528
[pid=25866] ppid=25862 vsize=321024 CPUtime=0.9 cores=0,2,4,6
/proc/25866/stat : 25866 (python) S 25862 25866 25829 0 -1 4202496 12812 933 1 0 73 17 0 0 22 0 5 0 657874397 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562364363 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 80256 7453 1881 364 0 16165 0
[pid=25877] ppid=25866 vsize=279340 CPUtime=0 cores=0,2,4,6
/proc/25877/stat : 25877 (python) S 25866 25866 25829 0 -1 4202560 718 0 0 0 0 0 0 0 18 0 1 0 657874535 286044160 5774 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557711 0 0 16781312 514 4432289430656483585 0 0 17 6 0 0 0
/proc/25877/statm: 69835 5774 354 364 0 5753 0
[pid=25879] ppid=25877 vsize=268420 CPUtime=1.69 cores=0,2,4,6
/proc/25879/stat : 25879 (hybridGM3) R 25877 25879 25879 0 -1 4202496 4990 0 0 0 169 0 0 0 25 0 1 0 657874536 274862080 4728 33554432000 134512640 135204385 4294250720 18446744073709551615 134536617 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/25879/statm: 67105 4728 64 169 0 66935 0
[pid=25880] ppid=25866 vsize=290136 CPUtime=0 cores=0,2,4,6
/proc/25880/stat : 25880 (python) S 25866 25866 25829 0 -1 4202560 732 0 0 0 0 0 0 0 18 0 1 0 657874536 297099264 5891 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4310707084124487679 0 0 17 2 0 0 0
/proc/25880/statm: 72534 5891 348 364 0 8449 0
[pid=25882] ppid=25880 vsize=455676 CPUtime=1.69 cores=0,2,4,6
/proc/25882/stat : 25882 (TNM) R 25880 25882 25882 0 -1 4202496 757 0 0 0 169 0 0 0 24 0 1 0 657874537 466612224 498 33554432000 134512640 135008748 4287114560 18446744073709551615 134527729 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/25882/statm: 113919 498 46 122 0 112819 0
[pid=25883] ppid=25866 vsize=300524 CPUtime=0 cores=0,2,4,6
/proc/25883/stat : 25883 (python) S 25866 25866 25829 0 -1 4202560 732 0 0 0 0 0 0 0 18 0 1 0 657874537 307736576 5912 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4457235975101186307 0 0 17 2 0 0 0
/proc/25883/statm: 75131 5912 348 364 0 11043 0
[pid=25887] ppid=25883 vsize=268420 CPUtime=1.67 cores=0,2,4,6
/proc/25887/stat : 25887 (hybridGM3) R 25883 25887 25887 0 -1 4202496 4991 0 0 0 167 0 0 0 25 0 1 0 657874539 274862080 4729 33554432000 134512640 135204385 4291812752 18446744073709551615 134547728 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25887/statm: 67105 4729 64 169 0 66935 0
[pid=25885] ppid=25866 vsize=310780 CPUtime=0 cores=0,2,4,6
/proc/25885/stat : 25885 (python) S 25866 25866 25829 0 -1 4202560 745 0 0 0 0 0 0 0 18 0 1 0 657874538 318238720 5916 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4179763770471448834 0 0 17 4 0 0 0
/proc/25885/statm: 77695 5916 348 364 0 13604 0
[pid=25888] ppid=25885 vsize=268772 CPUtime=1.67 cores=0,2,4,6
/proc/25888/stat : 25888 (hybridGM3) R 25885 25888 25888 0 -1 4202496 5663 0 0 0 167 0 0 0 25 0 1 0 657874539 275222528 5101 33554432000 134512640 135204385 4288829280 18446744073709551615 134537290 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/25888/statm: 67193 5101 85 169 0 67023 0
[pid=25866/tid=25878] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25878/stat : 25878 (python) S 25862 25866 25829 0 -1 4202560 24 933 0 0 0 0 0 0 18 0 5 0 657874536 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25881] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25881/stat : 25881 (python) S 25862 25866 25829 0 -1 4202560 25 933 0 0 0 0 0 0 19 0 5 0 657874537 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25884] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25884/stat : 25884 (python) S 25862 25866 25829 0 -1 4202560 38 933 0 0 0 0 0 0 21 0 5 0 657874538 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25886] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25886/stat : 25886 (python) S 25862 25866 25829 0 -1 4202560 22 933 0 0 0 0 0 0 23 0 5 0 657874539 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 2763092

[startup+6.30144 s]
/proc/loadavg: 1.82 2.52 3.30 10/281 25900
/proc/meminfo: memFree=20479108/32951124 swapFree=67056788/67111528
[pid=25866] ppid=25862 vsize=321024 CPUtime=0.9 cores=0,2,4,6
/proc/25866/stat : 25866 (python) S 25862 25866 25829 0 -1 4202496 12812 933 1 0 73 17 0 0 22 0 5 0 657874397 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562364363 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 80256 7453 1881 364 0 16165 0
[pid=25877] ppid=25866 vsize=279340 CPUtime=0 cores=0,2,4,6
/proc/25877/stat : 25877 (python) S 25866 25866 25829 0 -1 4202560 870 0 0 0 0 0 0 0 18 0 1 0 657874535 286044160 5797 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557711 0 0 16781312 514 4432289430656483585 0 0 17 6 0 0 0
/proc/25877/statm: 69835 5797 377 364 0 5753 0
[pid=25879] ppid=25877 vsize=268420 CPUtime=4.85 cores=0,2,4,6
/proc/25879/stat : 25879 (hybridGM3) R 25877 25879 25879 0 -1 4202496 4990 0 0 0 485 0 0 0 25 0 1 0 657874536 274862080 4728 33554432000 134512640 135204385 4294250720 18446744073709551615 134536676 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/25879/statm: 67105 4728 64 169 0 66935 0
[pid=25880] ppid=25866 vsize=290136 CPUtime=0 cores=0,2,4,6
/proc/25880/stat : 25880 (python) S 25866 25866 25829 0 -1 4202560 892 0 0 0 0 0 0 0 18 0 1 0 657874536 297099264 5913 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4310707084124455169 0 0 17 2 0 0 0
/proc/25880/statm: 72534 5913 370 364 0 8449 0
[pid=25882] ppid=25880 vsize=455676 CPUtime=4.89 cores=0,2,4,6
/proc/25882/stat : 25882 (TNM) R 25880 25882 25882 0 -1 4202496 757 0 0 0 489 0 0 0 25 0 1 0 657874537 466612224 498 33554432000 134512640 135008748 4287114560 18446744073709551615 134536495 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/25882/statm: 113919 498 46 122 0 112819 0
[pid=25883] ppid=25866 vsize=300524 CPUtime=0.01 cores=0,2,4,6
/proc/25883/stat : 25883 (python) S 25866 25866 25829 0 -1 4202560 889 0 0 0 1 0 0 0 18 0 1 0 657874537 307736576 5935 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4457235975101186307 0 0 17 2 0 0 0
/proc/25883/statm: 75131 5935 371 364 0 11043 0
[pid=25887] ppid=25883 vsize=268420 CPUtime=4.83 cores=0,2,4,6
/proc/25887/stat : 25887 (hybridGM3) R 25883 25887 25887 0 -1 4202496 4991 0 0 0 483 0 0 0 25 0 1 0 657874539 274862080 4729 33554432000 134512640 135204385 4291812752 18446744073709551615 134537483 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25887/statm: 67105 4729 64 169 0 66935 0
[pid=25885] ppid=25866 vsize=310780 CPUtime=0 cores=0,2,4,6
/proc/25885/stat : 25885 (python) S 25866 25866 25829 0 -1 4202560 904 0 0 0 0 0 0 0 18 0 1 0 657874538 318238720 5939 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4179763770471448834 0 0 17 4 0 0 0
/proc/25885/statm: 77695 5939 371 364 0 13604 0
[pid=25888] ppid=25885 vsize=268772 CPUtime=4.86 cores=0,2,4,6
/proc/25888/stat : 25888 (hybridGM3) R 25885 25888 25888 0 -1 4202496 5663 0 0 0 486 0 0 0 25 0 1 0 657874539 275222528 5101 33554432000 134512640 135204385 4288829280 18446744073709551615 134547392 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/25888/statm: 67193 5101 85 169 0 67023 0
[pid=25866/tid=25878] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25878/stat : 25878 (python) S 25862 25866 25829 0 -1 4202560 24 933 0 0 0 0 0 0 18 0 5 0 657874536 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25881] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25881/stat : 25881 (python) S 25862 25866 25829 0 -1 4202560 25 933 0 0 0 0 0 0 19 0 5 0 657874537 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25884] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25884/stat : 25884 (python) S 25862 25866 25829 0 -1 4202560 38 933 0 0 0 0 0 0 21 0 5 0 657874538 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25886] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25886/stat : 25886 (python) S 25862 25866 25829 0 -1 4202560 22 933 0 0 0 0 0 0 23 0 5 0 657874539 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20.34
Current children cumulated vsize (KiB) 2763092

Solver just ended. Dumping a history of the last processes samples

[startup+7.10129 s]
/proc/loadavg: 1.82 2.52 3.30 10/281 25900
/proc/meminfo: memFree=20478616/32951124 swapFree=67056788/67111528
[pid=25866] ppid=25862 vsize=321024 CPUtime=0.9 cores=0,2,4,6
/proc/25866/stat : 25866 (python) S 25862 25866 25829 0 -1 4202496 12812 933 1 0 73 17 0 0 22 0 5 0 657874397 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562364363 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 80256 7453 1881 364 0 16165 0
[pid=25877] ppid=25866 vsize=279340 CPUtime=0 cores=0,2,4,6
/proc/25877/stat : 25877 (python) S 25866 25866 25829 0 -1 4202560 870 0 0 0 0 0 0 0 18 0 1 0 657874535 286044160 5797 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557711 0 0 16781312 514 4432289430656483585 0 0 17 6 0 0 0
/proc/25877/statm: 69835 5797 377 364 0 5753 0
[pid=25879] ppid=25877 vsize=268420 CPUtime=5.64 cores=0,2,4,6
/proc/25879/stat : 25879 (hybridGM3) R 25877 25879 25879 0 -1 4202496 4990 0 0 0 564 0 0 0 25 0 1 0 657874536 274862080 4728 33554432000 134512640 135204385 4294250720 18446744073709551615 134537249 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/25879/statm: 67105 4728 64 169 0 66935 0
[pid=25880] ppid=25866 vsize=290136 CPUtime=0 cores=0,2,4,6
/proc/25880/stat : 25880 (python) S 25866 25866 25829 0 -1 4202560 892 0 0 0 0 0 0 0 18 0 1 0 657874536 297099264 5913 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4310707084124455169 0 0 17 2 0 0 0
/proc/25880/statm: 72534 5913 370 364 0 8449 0
[pid=25882] ppid=25880 vsize=455676 CPUtime=5.69 cores=0,2,4,6
/proc/25882/stat : 25882 (TNM) R 25880 25882 25882 0 -1 4202496 757 0 0 0 569 0 0 0 25 0 1 0 657874537 466612224 498 33554432000 134512640 135008748 4287114560 18446744073709551615 134527503 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/25882/statm: 113919 498 46 122 0 112819 0
[pid=25883] ppid=25866 vsize=300524 CPUtime=0.01 cores=0,2,4,6
/proc/25883/stat : 25883 (python) S 25866 25866 25829 0 -1 4202560 889 0 0 0 1 0 0 0 18 0 1 0 657874537 307736576 5935 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4457235975101186307 0 0 17 2 0 0 0
/proc/25883/statm: 75131 5935 371 364 0 11043 0
[pid=25887] ppid=25883 vsize=268420 CPUtime=5.63 cores=0,2,4,6
/proc/25887/stat : 25887 (hybridGM3) R 25883 25887 25887 0 -1 4202496 4991 0 0 0 563 0 0 0 25 0 1 0 657874539 274862080 4729 33554432000 134512640 135204385 4291812752 18446744073709551615 134537272 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25887/statm: 67105 4729 64 169 0 66935 0
[pid=25885] ppid=25866 vsize=310780 CPUtime=0 cores=0,2,4,6
/proc/25885/stat : 25885 (python) S 25866 25866 25829 0 -1 4202560 904 0 0 0 0 0 0 0 18 0 1 0 657874538 318238720 5939 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4179763770471448834 0 0 17 4 0 0 0
/proc/25885/statm: 77695 5939 371 364 0 13604 0
[pid=25888] ppid=25885 vsize=268772 CPUtime=5.66 cores=0,2,4,6
/proc/25888/stat : 25888 (hybridGM3) R 25885 25888 25888 0 -1 4202496 5663 0 0 0 566 0 0 0 25 0 1 0 657874539 275222528 5101 33554432000 134512640 135204385 4288829280 18446744073709551615 134660112 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/25888/statm: 67193 5101 85 169 0 67023 0
[pid=25866/tid=25878] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25878/stat : 25878 (python) S 25862 25866 25829 0 -1 4202560 24 933 0 0 0 0 0 0 18 0 5 0 657874536 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25881] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25881/stat : 25881 (python) S 25862 25866 25829 0 -1 4202560 25 933 0 0 0 0 0 0 19 0 5 0 657874537 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25884] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25884/stat : 25884 (python) S 25862 25866 25829 0 -1 4202560 38 933 0 0 0 0 0 0 21 0 5 0 657874538 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25886] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25886/stat : 25886 (python) S 25862 25866 25829 0 -1 4202560 22 933 0 0 0 0 0 0 23 0 5 0 657874539 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.53
Current children cumulated vsize (KiB) 2763092

[startup+7.90115 s]
/proc/loadavg: 1.82 2.52 3.30 12/281 25900
/proc/meminfo: memFree=20497092/32951124 swapFree=67056788/67111528
[pid=25866] ppid=25862 vsize=321024 CPUtime=0.9 cores=0,2,4,6
/proc/25866/stat : 25866 (python) S 25862 25866 25829 0 -1 4202496 12812 933 1 0 73 17 0 0 22 0 5 0 657874397 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562364363 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 80256 7453 1881 364 0 16165 0
[pid=25877] ppid=25866 vsize=279340 CPUtime=0.5 cores=0,2,4,6
/proc/25877/stat : 25877 (python) R 25866 25866 25829 0 -1 4202560 882 0 0 0 43 7 0 0 18 0 1 0 657874535 286044160 5797 33554432000 4194304 5683644 140733759976272 18446744073709551615 4870067 0 0 16781312 514 0 0 0 17 6 0 0 0
/proc/25877/statm: 69835 5797 377 364 0 5753 0
[pid=25879] ppid=25877 vsize=0 CPUtime=5.93 cores=0,2,4,6
/proc/25879/stat : 25879 (hybridGM3) R 25877 25879 25879 0 -1 4202500 5959 0 0 0 593 0 0 0 25 0 1 0 657874536 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/25879/statm: 0 0 0 0 0 0 0
[pid=25880] ppid=25866 vsize=290136 CPUtime=0 cores=0,2,4,6
/proc/25880/stat : 25880 (python) S 25866 25866 25829 0 -1 4202560 892 0 0 0 0 0 0 0 18 0 1 0 657874536 297099264 5913 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4310707084124455169 0 0 17 2 0 0 0
/proc/25880/statm: 72534 5913 370 364 0 8449 0
[pid=25882] ppid=25880 vsize=455676 CPUtime=6.49 cores=0,2,4,6
/proc/25882/stat : 25882 (TNM) R 25880 25882 25882 0 -1 4202496 757 0 0 0 649 0 0 0 25 0 1 0 657874537 466612224 498 33554432000 134512640 135008748 4287114560 18446744073709551615 134527795 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/25882/statm: 113919 498 46 122 0 112819 0
[pid=25883] ppid=25866 vsize=300524 CPUtime=0.01 cores=0,2,4,6
/proc/25883/stat : 25883 (python) S 25866 25866 25829 0 -1 4202560 889 0 0 0 1 0 0 0 18 0 1 0 657874537 307736576 5935 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4457235975101186307 0 0 17 2 0 0 0
/proc/25883/statm: 75131 5935 371 364 0 11043 0
[pid=25887] ppid=25883 vsize=268420 CPUtime=6.43 cores=0,2,4,6
/proc/25887/stat : 25887 (hybridGM3) R 25883 25887 25887 0 -1 4202496 4991 0 0 0 643 0 0 0 25 0 1 0 657874539 274862080 4729 33554432000 134512640 135204385 4291812752 18446744073709551615 134537363 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25887/statm: 67105 4729 64 169 0 66935 0
[pid=25885] ppid=25866 vsize=310780 CPUtime=0 cores=0,2,4,6
/proc/25885/stat : 25885 (python) S 25866 25866 25829 0 -1 4202560 904 0 0 0 0 0 0 0 18 0 1 0 657874538 318238720 5939 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4179763770471448834 0 0 17 4 0 0 0
/proc/25885/statm: 77695 5939 371 364 0 13604 0
[pid=25888] ppid=25885 vsize=268772 CPUtime=6.46 cores=0,2,4,6
/proc/25888/stat : 25888 (hybridGM3) R 25885 25888 25888 0 -1 4202496 5663 0 0 0 646 0 0 0 25 0 1 0 657874539 275222528 5101 33554432000 134512640 135204385 4288829280 18446744073709551615 134536986 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/25888/statm: 67193 5101 85 169 0 67023 0
[pid=25866/tid=25878] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25878/stat : 25878 (python) S 25862 25866 25829 0 -1 4202560 24 933 0 0 0 0 0 0 18 0 5 0 657874536 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25881] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25881/stat : 25881 (python) S 25862 25866 25829 0 -1 4202560 25 933 0 0 0 0 0 0 19 0 5 0 657874537 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25884] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25884/stat : 25884 (python) S 25862 25866 25829 0 -1 4202560 38 933 0 0 0 0 0 0 21 0 5 0 657874538 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25886] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25886/stat : 25886 (python) S 25862 25866 25829 0 -1 4202560 22 933 0 0 0 0 0 0 23 0 5 0 657874539 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 26.72
Current children cumulated vsize (KiB) 2494672

[startup+8.10111 s]
/proc/loadavg: 1.82 2.52 3.30 12/281 25900
/proc/meminfo: memFree=20497092/32951124 swapFree=67056788/67111528
[pid=25866] ppid=25862 vsize=321024 CPUtime=0.9 cores=0,2,4,6
/proc/25866/stat : 25866 (python) S 25862 25866 25829 0 -1 4202496 12812 933 1 0 73 17 0 0 22 0 5 0 657874397 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562364363 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 80256 7453 1881 364 0 16165 0
[pid=25877] ppid=25866 vsize=279340 CPUtime=0.7 cores=0,2,4,6
/proc/25877/stat : 25877 (python) R 25866 25866 25829 0 -1 4202560 882 0 0 0 61 9 0 0 18 0 1 0 657874535 286044160 5797 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557711 0 0 16781312 514 0 0 0 17 6 0 0 0
/proc/25877/statm: 69835 5797 377 364 0 5753 0
[pid=25879] ppid=25877 vsize=0 CPUtime=5.93 cores=0,2,4,6
/proc/25879/stat : 25879 (hybridGM3) R 25877 25879 25879 0 -1 4202500 5959 0 0 0 593 0 0 0 25 0 1 0 657874536 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/25879/statm: 0 0 0 0 0 0 0
[pid=25880] ppid=25866 vsize=290136 CPUtime=0 cores=0,2,4,6
/proc/25880/stat : 25880 (python) S 25866 25866 25829 0 -1 4202560 892 0 0 0 0 0 0 0 18 0 1 0 657874536 297099264 5913 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4310707084124455169 0 0 17 2 0 0 0
/proc/25880/statm: 72534 5913 370 364 0 8449 0
[pid=25882] ppid=25880 vsize=455676 CPUtime=6.69 cores=0,2,4,6
/proc/25882/stat : 25882 (TNM) R 25880 25882 25882 0 -1 4202496 757 0 0 0 669 0 0 0 25 0 1 0 657874537 466612224 498 33554432000 134512640 135008748 4287114560 18446744073709551615 134527126 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/25882/statm: 113919 498 46 122 0 112819 0
[pid=25883] ppid=25866 vsize=300524 CPUtime=0.01 cores=0,2,4,6
/proc/25883/stat : 25883 (python) S 25866 25866 25829 0 -1 4202560 889 0 0 0 1 0 0 0 18 0 1 0 657874537 307736576 5935 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4457235975101186307 0 0 17 2 0 0 0
/proc/25883/statm: 75131 5935 371 364 0 11043 0
[pid=25887] ppid=25883 vsize=268420 CPUtime=6.63 cores=0,2,4,6
/proc/25887/stat : 25887 (hybridGM3) R 25883 25887 25887 0 -1 4202496 4991 0 0 0 663 0 0 0 25 0 1 0 657874539 274862080 4729 33554432000 134512640 135204385 4291812752 18446744073709551615 134536744 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25887/statm: 67105 4729 64 169 0 66935 0
[pid=25885] ppid=25866 vsize=310780 CPUtime=0 cores=0,2,4,6
/proc/25885/stat : 25885 (python) S 25866 25866 25829 0 -1 4202560 904 0 0 0 0 0 0 0 18 0 1 0 657874538 318238720 5939 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4179763770471448834 0 0 17 4 0 0 0
/proc/25885/statm: 77695 5939 371 364 0 13604 0
[pid=25888] ppid=25885 vsize=268772 CPUtime=6.66 cores=0,2,4,6
/proc/25888/stat : 25888 (hybridGM3) R 25885 25888 25888 0 -1 4202496 5663 0 0 0 666 0 0 0 25 0 1 0 657874539 275222528 5101 33554432000 134512640 135204385 4288829280 18446744073709551615 134537573 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/25888/statm: 67193 5101 85 169 0 67023 0
[pid=25866/tid=25878] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25878/stat : 25878 (python) S 25862 25866 25829 0 -1 4202560 24 933 0 0 0 0 0 0 18 0 5 0 657874536 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25881] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25881/stat : 25881 (python) S 25862 25866 25829 0 -1 4202560 25 933 0 0 0 0 0 0 19 0 5 0 657874537 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25884] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25884/stat : 25884 (python) S 25862 25866 25829 0 -1 4202560 38 933 0 0 0 0 0 0 21 0 5 0 657874538 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25886] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25886/stat : 25886 (python) S 25862 25866 25829 0 -1 4202560 22 933 0 0 0 0 0 0 23 0 5 0 657874539 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 27.52
Current children cumulated vsize (KiB) 2494672

[startup+8.20109 s]
/proc/loadavg: 1.82 2.52 3.30 12/281 25900
/proc/meminfo: memFree=20497092/32951124 swapFree=67056788/67111528
[pid=25866] ppid=25862 vsize=321024 CPUtime=0.9 cores=0,2,4,6
/proc/25866/stat : 25866 (python) S 25862 25866 25829 0 -1 4202496 12812 933 1 0 73 17 0 0 22 0 5 0 657874397 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562364363 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 80256 7453 1881 364 0 16165 0
[pid=25877] ppid=25866 vsize=279340 CPUtime=0.8 cores=0,2,4,6
/proc/25877/stat : 25877 (python) R 25866 25866 25829 0 -1 4202560 882 0 0 0 70 10 0 0 18 0 1 0 657874535 286044160 5797 33554432000 4194304 5683644 140733759976272 18446744073709551615 4870067 0 0 16781312 514 0 0 0 17 6 0 0 0
/proc/25877/statm: 69835 5797 377 364 0 5753 0
[pid=25879] ppid=25877 vsize=0 CPUtime=5.93 cores=0,2,4,6
/proc/25879/stat : 25879 (hybridGM3) R 25877 25879 25879 0 -1 4202500 5959 0 0 0 593 0 0 0 25 0 1 0 657874536 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/25879/statm: 0 0 0 0 0 0 0
[pid=25880] ppid=25866 vsize=290136 CPUtime=0 cores=0,2,4,6
/proc/25880/stat : 25880 (python) S 25866 25866 25829 0 -1 4202560 892 0 0 0 0 0 0 0 18 0 1 0 657874536 297099264 5913 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4310707084124455169 0 0 17 2 0 0 0
/proc/25880/statm: 72534 5913 370 364 0 8449 0
[pid=25882] ppid=25880 vsize=455676 CPUtime=6.79 cores=0,2,4,6
/proc/25882/stat : 25882 (TNM) R 25880 25882 25882 0 -1 4202496 757 0 0 0 679 0 0 0 25 0 1 0 657874537 466612224 498 33554432000 134512640 135008748 4287114560 18446744073709551615 134527524 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/25882/statm: 113919 498 46 122 0 112819 0
[pid=25883] ppid=25866 vsize=300524 CPUtime=0.01 cores=0,2,4,6
/proc/25883/stat : 25883 (python) S 25866 25866 25829 0 -1 4202560 889 0 0 0 1 0 0 0 18 0 1 0 657874537 307736576 5935 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4457235975101186307 0 0 17 2 0 0 0
/proc/25883/statm: 75131 5935 371 364 0 11043 0
[pid=25887] ppid=25883 vsize=268420 CPUtime=6.73 cores=0,2,4,6
/proc/25887/stat : 25887 (hybridGM3) R 25883 25887 25887 0 -1 4202496 4991 0 0 0 673 0 0 0 25 0 1 0 657874539 274862080 4729 33554432000 134512640 135204385 4291812752 18446744073709551615 134545823 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25887/statm: 67105 4729 64 169 0 66935 0
[pid=25885] ppid=25866 vsize=310780 CPUtime=0 cores=0,2,4,6
/proc/25885/stat : 25885 (python) S 25866 25866 25829 0 -1 4202560 904 0 0 0 0 0 0 0 18 0 1 0 657874538 318238720 5939 33554432000 4194304 5683644 140733759976272 18446744073709551615 271550557766 0 0 16781312 514 4179763770471448834 0 0 17 4 0 0 0
/proc/25885/statm: 77695 5939 371 364 0 13604 0
[pid=25888] ppid=25885 vsize=268772 CPUtime=6.76 cores=0,2,4,6
/proc/25888/stat : 25888 (hybridGM3) R 25885 25888 25888 0 -1 4202496 5663 0 0 0 676 0 0 0 25 0 1 0 657874539 275222528 5101 33554432000 134512640 135204385 4288829280 18446744073709551615 134536843 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/25888/statm: 67193 5101 85 169 0 67023 0
[pid=25866/tid=25878] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25878/stat : 25878 (python) S 25862 25866 25829 0 -1 4202560 24 933 0 0 0 0 0 0 18 0 5 0 657874536 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25881] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25881/stat : 25881 (python) S 25862 25866 25829 0 -1 4202560 25 933 0 0 0 0 0 0 19 0 5 0 657874537 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25884] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25884/stat : 25884 (python) S 25862 25866 25829 0 -1 4202560 38 933 0 0 0 0 0 0 21 0 5 0 657874538 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
[pid=25866/tid=25886] ppid=25862 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25886/stat : 25886 (python) S 25862 25866 25829 0 -1 4202560 22 933 0 0 0 0 0 0 23 0 5 0 657874539 328728576 7453 33554432000 4194304 5683644 140733759976272 18446744073709551615 271562361265 0 0 16781312 2 18446604448633836864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 27.92
Current children cumulated vsize (KiB) 2494672

Child status: 0
Real time (s): 8.24705
CPU time (s): 28.1267
CPU user time (s): 27.7848
CPU system time (s): 0.341948
CPU usage (%): 341.052
Max. virtual memory (cumulated for all children) (KiB): 2763096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.7848
system time used= 0.341948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39869
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= 13101
involuntary context switches= 356

runsolver used 0.016997 second user time and 0.056991 second system time

The end