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-3378262-1305464352/watcher-3378262-1305464352 -o /tmp/evaluation-result-3378262-1305464352/solver-3378262-1305464352 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378262-1305464352.cnf -seed 766718278 -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: 11.27 10.72 8.98 9/489 17727
/proc/meminfo: memFree=24554348/32951124 swapFree=53501244/67111528
[pid=17727] ppid=17725 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/17727/stat : 17727 (python) R 17725 17727 16982 0 -1 4202496 1035 0 0 0 0 0 0 0 25 0 1 0 658037876 16629760 908 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634176197 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17727/statm: 4060 908 380 364 0 547 0

[startup+0.027793 s]
/proc/loadavg: 11.27 10.72 8.98 9/489 17727
/proc/meminfo: memFree=24554348/32951124 swapFree=53501244/67111528
[pid=17727] ppid=17725 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/17727/stat : 17727 (python) R 17725 17727 16982 0 -1 4202496 1116 0 0 0 1 0 0 0 25 0 1 0 658037876 16789504 985 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634511205 0 2147483391 16781312 2 0 0 0 17 6 0 0 0
/proc/17727/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396

[startup+0.100781 s]
/proc/loadavg: 11.27 10.72 8.98 9/489 17727
/proc/meminfo: memFree=24554348/32951124 swapFree=53501244/67111528
[pid=17727] ppid=17725 vsize=93960 CPUtime=0.06 cores=0,2,4,6
/proc/17727/stat : 17727 (python) S 17725 17727 16982 0 -1 4202496 2691 0 0 0 5 1 0 0 25 0 1 0 658037876 96215040 2407 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634511205 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/17727/statm: 23490 2407 764 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 93960

[startup+0.300747 s]
/proc/loadavg: 11.27 10.72 8.98 9/489 17727
/proc/meminfo: memFree=24554348/32951124 swapFree=53501244/67111528
[pid=17727] ppid=17725 vsize=135748 CPUtime=0.17 cores=0,2,4,6
/proc/17727/stat : 17727 (python) S 17725 17727 16982 0 -1 4202496 5966 933 1 0 14 3 0 0 25 0 1 0 658037876 139005952 4151 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634511365 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/17727/statm: 33937 4151 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 135748

[startup+0.700674 s]
/proc/loadavg: 11.27 10.72 8.98 9/489 17727
/proc/meminfo: memFree=24554348/32951124 swapFree=53501244/67111528
[pid=17727] ppid=17725 vsize=280540 CPUtime=0.41 cores=0,2,4,6
/proc/17727/stat : 17727 (python) R 17725 17727 16982 0 -1 4202496 9853 933 1 0 35 6 0 0 25 0 1 0 658037876 287272960 7520 33554432000 4194304 5683644 140736321939024 18446744073709551615 5003306 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/17727/statm: 70135 7520 1826 364 0 6059 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 280540

[startup+1.50053 s]
/proc/loadavg: 11.27 10.72 8.98 9/490 17732
/proc/meminfo: memFree=24529356/32951124 swapFree=53501244/67111528
[pid=17727] ppid=17725 vsize=321024 CPUtime=0.77 cores=0,2,4,6
/proc/17727/stat : 17727 (python) S 17725 17727 16982 0 -1 4202496 12698 933 1 0 70 7 0 0 25 0 5 0 658037876 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646342091 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17727/statm: 80256 7453 1881 364 0 16165 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 321024

[startup+3.10125 s]
/proc/loadavg: 11.27 10.72 8.98 12/502 17744
/proc/meminfo: memFree=24458084/32951124 swapFree=53501244/67111528
[pid=17727] ppid=17725 vsize=321024 CPUtime=0.77 cores=0,2,4,6
/proc/17727/stat : 17727 (python) S 17725 17727 16982 0 -1 4202496 12698 933 1 0 70 7 0 0 25 0 5 0 658037876 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646342091 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17727/statm: 80256 7453 1881 364 0 16165 0
[pid=17733] ppid=17727 vsize=279336 CPUtime=0 cores=0,2,4,6
/proc/17733/stat : 17733 (python) S 17727 17727 16982 0 -1 4202560 719 0 0 0 0 0 0 0 18 0 1 0 658037979 286040064 5741 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535439 0 0 16781312 514 1248500405436907779 0 0 17 0 0 0 0
/proc/17733/statm: 69834 5741 354 364 0 5752 0
[pid=17735] ppid=17733 vsize=268424 CPUtime=2.06 cores=0,2,4,6
/proc/17735/stat : 17735 (hybridGM3) R 17733 17735 17735 0 -1 4202496 4993 0 0 0 206 0 0 0 25 0 1 0 658037979 274866176 4729 33554432000 134512640 135204385 4286871600 18446744073709551615 134547453 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17735/statm: 67106 4729 64 169 0 66936 0
[pid=17736] ppid=17727 vsize=290132 CPUtime=0 cores=0,2,4,6
/proc/17736/stat : 17736 (python) S 17727 17727 16982 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 658037980 297095168 5891 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 4602455622607143171 0 0 17 6 0 0 0
/proc/17736/statm: 72533 5891 348 364 0 8448 0
[pid=17740] ppid=17736 vsize=451844 CPUtime=1.02 cores=0,2,4,6
/proc/17740/stat : 17740 (TNM) R 17736 17740 17740 0 -1 4202496 759 0 0 0 102 0 0 0 25 0 1 0 658037981 462688256 498 33554432000 134512640 135008748 4292411536 18446744073709551615 134527526 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17740/statm: 112961 498 46 122 0 111861 0
[pid=17738] ppid=17727 vsize=300388 CPUtime=0 cores=0,2,4,6
/proc/17738/stat : 17738 (python) S 17727 17727 16982 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 658037981 307597312 5895 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 6729574665993289987 0 0 17 6 0 0 0
/proc/17738/statm: 75097 5895 348 364 0 11009 0
[pid=17741] ppid=17738 vsize=268428 CPUtime=0.95 cores=0,2,4,6
/proc/17741/stat : 17741 (hybridGM3) R 17738 17741 17741 0 -1 4202496 4990 0 0 0 95 0 0 0 25 0 1 0 658037981 274870272 4727 33554432000 134512640 135204385 4290426800 18446744073709551615 134537583 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17741/statm: 67107 4727 64 169 0 66937 0
[pid=17742] ppid=17727 vsize=310780 CPUtime=0 cores=0,2,4,6
/proc/17742/stat : 17742 (python) S 17727 17727 16982 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 658037982 318238720 5916 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 1427324976578396417 0 0 17 6 0 0 0
/proc/17742/statm: 77695 5916 348 364 0 13604 0
[pid=17744] ppid=17742 vsize=268420 CPUtime=2.01 cores=0,2,4,6
/proc/17744/stat : 17744 (hybridGM3) R 17742 17744 17744 0 -1 4202496 4991 0 0 0 201 0 0 0 25 0 1 0 658037982 274862080 4728 33554432000 134512640 135204385 4290761760 18446744073709551615 134536986 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17744/statm: 67105 4728 64 169 0 66935 0
[pid=17727/tid=17734] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17734/stat : 17734 (python) S 17725 17727 16982 0 -1 4202560 23 933 0 0 0 0 0 0 25 0 5 0 658037979 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 0 0 0 0
[pid=17727/tid=17737] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17737/stat : 17737 (python) S 17725 17727 16982 0 -1 4202560 40 933 0 0 0 0 0 0 25 0 5 0 658037980 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
[pid=17727/tid=17739] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17739/stat : 17739 (python) S 17725 17727 16982 0 -1 4202560 20 933 0 0 0 0 0 0 25 0 5 0 658037981 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
[pid=17727/tid=17743] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17743/stat : 17743 (python) S 17725 17727 16982 0 -1 4202560 27 933 0 0 0 0 0 0 25 0 5 0 658037982 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.81
Current children cumulated vsize (KiB) 2758776

[startup+6.30069 s]
/proc/loadavg: 11.25 10.72 8.99 12/502 17744
/proc/meminfo: memFree=24453512/32951124 swapFree=53501244/67111528
[pid=17727] ppid=17725 vsize=321024 CPUtime=0.77 cores=0,2,4,6
/proc/17727/stat : 17727 (python) S 17725 17727 16982 0 -1 4202496 12698 933 1 0 70 7 0 0 25 0 5 0 658037876 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646342091 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17727/statm: 80256 7453 1881 364 0 16165 0
[pid=17733] ppid=17727 vsize=279336 CPUtime=0.01 cores=0,2,4,6
/proc/17733/stat : 17733 (python) S 17727 17727 16982 0 -1 4202560 878 0 0 0 1 0 0 0 18 0 1 0 658037979 286040064 5764 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535439 0 0 16781312 514 1248500405436907779 0 0 17 0 0 0 0
/proc/17733/statm: 69834 5764 377 364 0 5752 0
[pid=17735] ppid=17733 vsize=268904 CPUtime=5.24 cores=0,2,4,6
/proc/17735/stat : 17735 (hybridGM3) R 17733 17735 17735 0 -1 4202496 5961 0 0 0 523 1 0 0 25 0 1 0 658037979 275357696 5113 33554432000 134512640 135204385 4286871600 18446744073709551615 134537249 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17735/statm: 67226 5113 85 169 0 67056 0
[pid=17736] ppid=17727 vsize=290132 CPUtime=0.02 cores=0,2,4,6
/proc/17736/stat : 17736 (python) S 17727 17727 16982 0 -1 4202560 892 0 0 0 1 1 0 0 18 0 1 0 658037980 297095168 5914 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 4602455622607143171 0 0 17 6 0 0 0
/proc/17736/statm: 72533 5914 371 364 0 8448 0
[pid=17740] ppid=17736 vsize=455676 CPUtime=2.62 cores=0,2,4,6
/proc/17740/stat : 17740 (TNM) R 17736 17740 17740 0 -1 4202496 760 0 0 0 262 0 0 0 25 0 1 0 658037981 466612224 499 33554432000 134512640 135008748 4292411536 18446744073709551615 134529176 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17740/statm: 113919 499 46 122 0 112819 0
[pid=17738] ppid=17727 vsize=300388 CPUtime=0.01 cores=0,2,4,6
/proc/17738/stat : 17738 (python) S 17727 17727 16982 0 -1 4202560 904 0 0 0 1 0 0 0 18 0 1 0 658037981 307597312 5918 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 6729574665993289987 0 0 17 6 0 0 0
/proc/17738/statm: 75097 5918 371 364 0 11009 0
[pid=17741] ppid=17738 vsize=268428 CPUtime=2.55 cores=0,2,4,6
/proc/17741/stat : 17741 (hybridGM3) R 17738 17741 17741 0 -1 4202496 4991 0 0 0 255 0 0 0 25 0 1 0 658037981 274870272 4728 33554432000 134512640 135204385 4290426800 18446744073709551615 134546061 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17741/statm: 67107 4728 64 169 0 66937 0
[pid=17742] ppid=17727 vsize=310780 CPUtime=0.02 cores=0,2,4,6
/proc/17742/stat : 17742 (python) S 17727 17727 16982 0 -1 4202560 906 0 0 0 1 1 0 0 18 0 1 0 658037982 318238720 5939 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 1427324976578396417 0 0 17 6 0 0 0
/proc/17742/statm: 77695 5939 371 364 0 13604 0
[pid=17744] ppid=17742 vsize=268420 CPUtime=5.09 cores=0,2,4,6
/proc/17744/stat : 17744 (hybridGM3) R 17742 17744 17744 0 -1 4202496 4991 0 0 0 509 0 0 0 25 0 1 0 658037982 274862080 4728 33554432000 134512640 135204385 4290761760 18446744073709551615 134536744 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17744/statm: 67105 4728 64 169 0 66935 0
[pid=17727/tid=17734] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17734/stat : 17734 (python) S 17725 17727 16982 0 -1 4202560 23 933 0 0 0 0 0 0 25 0 5 0 658037979 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 0 0 0 0
[pid=17727/tid=17737] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17737/stat : 17737 (python) S 17725 17727 16982 0 -1 4202560 40 933 0 0 0 0 0 0 25 0 5 0 658037980 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
[pid=17727/tid=17739] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17739/stat : 17739 (python) S 17725 17727 16982 0 -1 4202560 20 933 0 0 0 0 0 0 25 0 5 0 658037981 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
[pid=17727/tid=17743] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17743/stat : 17743 (python) S 17725 17727 16982 0 -1 4202560 27 933 0 0 0 0 0 0 25 0 5 0 658037982 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 16.33
Current children cumulated vsize (KiB) 2763088

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

[startup+7.10054 s]
/proc/loadavg: 11.25 10.72 8.99 12/502 17744
/proc/meminfo: memFree=24453320/32951124 swapFree=53501244/67111528
[pid=17727] ppid=17725 vsize=321024 CPUtime=0.77 cores=0,2,4,6
/proc/17727/stat : 17727 (python) S 17725 17727 16982 0 -1 4202496 12698 933 1 0 70 7 0 0 25 0 5 0 658037876 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646342091 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17727/statm: 80256 7453 1881 364 0 16165 0
[pid=17733] ppid=17727 vsize=279336 CPUtime=0.01 cores=0,2,4,6
/proc/17733/stat : 17733 (python) S 17727 17727 16982 0 -1 4202560 878 0 0 0 1 0 0 0 18 0 1 0 658037979 286040064 5764 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535439 0 0 16781312 514 1248500405436907779 0 0 17 0 0 0 0
/proc/17733/statm: 69834 5764 377 364 0 5752 0
[pid=17735] ppid=17733 vsize=268904 CPUtime=6.04 cores=0,2,4,6
/proc/17735/stat : 17735 (hybridGM3) R 17733 17735 17735 0 -1 4202496 5961 0 0 0 603 1 0 0 25 0 1 0 658037979 275357696 5113 33554432000 134512640 135204385 4286871600 18446744073709551615 134537548 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17735/statm: 67226 5113 85 169 0 67056 0
[pid=17736] ppid=17727 vsize=290132 CPUtime=0.02 cores=0,2,4,6
/proc/17736/stat : 17736 (python) S 17727 17727 16982 0 -1 4202560 892 0 0 0 1 1 0 0 18 0 1 0 658037980 297095168 5914 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 4602455622607143171 0 0 17 6 0 0 0
/proc/17736/statm: 72533 5914 371 364 0 8448 0
[pid=17740] ppid=17736 vsize=455676 CPUtime=3.02 cores=0,2,4,6
/proc/17740/stat : 17740 (TNM) R 17736 17740 17740 0 -1 4202496 760 0 0 0 302 0 0 0 25 0 1 0 658037981 466612224 499 33554432000 134512640 135008748 4292411536 18446744073709551615 134527729 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17740/statm: 113919 499 46 122 0 112819 0
[pid=17738] ppid=17727 vsize=300388 CPUtime=0.01 cores=0,2,4,6
/proc/17738/stat : 17738 (python) S 17727 17727 16982 0 -1 4202560 904 0 0 0 1 0 0 0 18 0 1 0 658037981 307597312 5918 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 6729574665993289987 0 0 17 6 0 0 0
/proc/17738/statm: 75097 5918 371 364 0 11009 0
[pid=17741] ppid=17738 vsize=268428 CPUtime=2.95 cores=0,2,4,6
/proc/17741/stat : 17741 (hybridGM3) R 17738 17741 17741 0 -1 4202496 4991 0 0 0 295 0 0 0 25 0 1 0 658037981 274870272 4728 33554432000 134512640 135204385 4290426800 18446744073709551615 134537363 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17741/statm: 67107 4728 64 169 0 66937 0
[pid=17742] ppid=17727 vsize=310780 CPUtime=0.02 cores=0,2,4,6
/proc/17742/stat : 17742 (python) S 17727 17727 16982 0 -1 4202560 906 0 0 0 1 1 0 0 18 0 1 0 658037982 318238720 5939 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 1427324976578396417 0 0 17 6 0 0 0
/proc/17742/statm: 77695 5939 371 364 0 13604 0
[pid=17744] ppid=17742 vsize=268420 CPUtime=5.88 cores=0,2,4,6
/proc/17744/stat : 17744 (hybridGM3) R 17742 17744 17744 0 -1 4202496 4991 0 0 0 588 0 0 0 25 0 1 0 658037982 274862080 4728 33554432000 134512640 135204385 4290761760 18446744073709551615 134545960 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17744/statm: 67105 4728 64 169 0 66935 0
[pid=17727/tid=17734] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17734/stat : 17734 (python) S 17725 17727 16982 0 -1 4202560 23 933 0 0 0 0 0 0 25 0 5 0 658037979 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 0 0 0 0
[pid=17727/tid=17737] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17737/stat : 17737 (python) S 17725 17727 16982 0 -1 4202560 40 933 0 0 0 0 0 0 25 0 5 0 658037980 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
[pid=17727/tid=17739] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17739/stat : 17739 (python) S 17725 17727 16982 0 -1 4202560 20 933 0 0 0 0 0 0 25 0 5 0 658037981 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
[pid=17727/tid=17743] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17743/stat : 17743 (python) S 17725 17727 16982 0 -1 4202560 27 933 0 0 0 0 0 0 25 0 5 0 658037982 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 18.72
Current children cumulated vsize (KiB) 2763088

[startup+7.9014 s]
/proc/loadavg: 11.25 10.72 8.99 12/502 17744
/proc/meminfo: memFree=24451336/32951124 swapFree=53501244/67111528
[pid=17727] ppid=17725 vsize=321024 CPUtime=0.77 cores=0,2,4,6
/proc/17727/stat : 17727 (python) S 17725 17727 16982 0 -1 4202496 12698 933 1 0 70 7 0 0 25 0 5 0 658037876 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646342091 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17727/statm: 80256 7453 1881 364 0 16165 0
[pid=17733] ppid=17727 vsize=279336 CPUtime=0.01 cores=0,2,4,6
/proc/17733/stat : 17733 (python) S 17727 17727 16982 0 -1 4202560 878 0 0 0 1 0 0 0 18 0 1 0 658037979 286040064 5764 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535439 0 0 16781312 514 1248500405436907779 0 0 17 0 0 0 0
/proc/17733/statm: 69834 5764 377 364 0 5752 0
[pid=17735] ppid=17733 vsize=268904 CPUtime=6.84 cores=0,2,4,6
/proc/17735/stat : 17735 (hybridGM3) R 17733 17735 17735 0 -1 4202496 5961 0 0 0 683 1 0 0 25 0 1 0 658037979 275357696 5113 33554432000 134512640 135204385 4286871600 18446744073709551615 134536843 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17735/statm: 67226 5113 85 169 0 67056 0
[pid=17736] ppid=17727 vsize=290132 CPUtime=0.02 cores=0,2,4,6
/proc/17736/stat : 17736 (python) S 17727 17727 16982 0 -1 4202560 892 0 0 0 1 1 0 0 18 0 1 0 658037980 297095168 5914 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 4602455622607143171 0 0 17 6 0 0 0
/proc/17736/statm: 72533 5914 371 364 0 8448 0
[pid=17740] ppid=17736 vsize=455676 CPUtime=3.42 cores=0,2,4,6
/proc/17740/stat : 17740 (TNM) R 17736 17740 17740 0 -1 4202496 760 0 0 0 342 0 0 0 25 0 1 0 658037981 466612224 499 33554432000 134512640 135008748 4292411536 18446744073709551615 134527513 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17740/statm: 113919 499 46 122 0 112819 0
[pid=17738] ppid=17727 vsize=300388 CPUtime=0.01 cores=0,2,4,6
/proc/17738/stat : 17738 (python) S 17727 17727 16982 0 -1 4202560 904 0 0 0 1 0 0 0 18 0 1 0 658037981 307597312 5918 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 6729574665993289987 0 0 17 6 0 0 0
/proc/17738/statm: 75097 5918 371 364 0 11009 0
[pid=17741] ppid=17738 vsize=268428 CPUtime=3.35 cores=0,2,4,6
/proc/17741/stat : 17741 (hybridGM3) R 17738 17741 17741 0 -1 4202496 4991 0 0 0 335 0 0 0 25 0 1 0 658037981 274870272 4728 33554432000 134512640 135204385 4290426800 18446744073709551615 134547418 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17741/statm: 67107 4728 64 169 0 66937 0
[pid=17742] ppid=17727 vsize=310780 CPUtime=0.02 cores=0,2,4,6
/proc/17742/stat : 17742 (python) S 17727 17727 16982 0 -1 4202560 906 0 0 0 1 1 0 0 18 0 1 0 658037982 318238720 5939 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 1427324976578396417 0 0 17 6 0 0 0
/proc/17742/statm: 77695 5939 371 364 0 13604 0
[pid=17744] ppid=17742 vsize=268880 CPUtime=6.66 cores=0,2,4,6
/proc/17744/stat : 17744 (hybridGM3) R 17742 17744 17744 0 -1 4202496 5963 0 0 0 666 0 0 0 25 0 1 0 658037982 275333120 5113 33554432000 134512640 135204385 4290761760 18446744073709551615 134537224 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17744/statm: 67220 5113 85 169 0 67050 0
[pid=17727/tid=17734] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17734/stat : 17734 (python) S 17725 17727 16982 0 -1 4202560 23 933 0 0 0 0 0 0 25 0 5 0 658037979 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 0 0 0 0
[pid=17727/tid=17737] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17737/stat : 17737 (python) S 17725 17727 16982 0 -1 4202560 40 933 0 0 0 0 0 0 25 0 5 0 658037980 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
[pid=17727/tid=17739] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17739/stat : 17739 (python) S 17725 17727 16982 0 -1 4202560 20 933 0 0 0 0 0 0 25 0 5 0 658037981 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
[pid=17727/tid=17743] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17743/stat : 17743 (python) S 17725 17727 16982 0 -1 4202560 27 933 0 0 0 0 0 0 25 0 5 0 658037982 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 21.1
Current children cumulated vsize (KiB) 2763548

[startup+8.10137 s]
/proc/loadavg: 11.25 10.72 8.99 12/502 17744
/proc/meminfo: memFree=24451336/32951124 swapFree=53501244/67111528
[pid=17727] ppid=17725 vsize=321024 CPUtime=0.77 cores=0,2,4,6
/proc/17727/stat : 17727 (python) S 17725 17727 16982 0 -1 4202496 12698 933 1 0 70 7 0 0 25 0 5 0 658037876 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646342091 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17727/statm: 80256 7453 1881 364 0 16165 0
[pid=17733] ppid=17727 vsize=279336 CPUtime=0.01 cores=0,2,4,6
/proc/17733/stat : 17733 (python) S 17727 17727 16982 0 -1 4202560 878 0 0 0 1 0 0 0 18 0 1 0 658037979 286040064 5764 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535439 0 0 16781312 514 1248500405436907779 0 0 17 0 0 0 0
/proc/17733/statm: 69834 5764 377 364 0 5752 0
[pid=17735] ppid=17733 vsize=269640 CPUtime=7.04 cores=0,2,4,6
/proc/17735/stat : 17735 (hybridGM3) R 17733 17735 17735 0 -1 4202496 6254 0 0 0 703 1 0 0 25 0 1 0 658037979 276111360 5230 33554432000 134512640 135204385 4286871600 18446744073709551615 134537272 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17735/statm: 67410 5230 85 169 0 67240 0
[pid=17736] ppid=17727 vsize=290132 CPUtime=0.02 cores=0,2,4,6
/proc/17736/stat : 17736 (python) S 17727 17727 16982 0 -1 4202560 892 0 0 0 1 1 0 0 18 0 1 0 658037980 297095168 5914 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 4602455622607143171 0 0 17 6 0 0 0
/proc/17736/statm: 72533 5914 371 364 0 8448 0
[pid=17740] ppid=17736 vsize=455676 CPUtime=3.52 cores=0,2,4,6
/proc/17740/stat : 17740 (TNM) R 17736 17740 17740 0 -1 4202496 760 0 0 0 352 0 0 0 25 0 1 0 658037981 466612224 499 33554432000 134512640 135008748 4292411536 18446744073709551615 134529125 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17740/statm: 113919 499 46 122 0 112819 0
[pid=17738] ppid=17727 vsize=300388 CPUtime=0.01 cores=0,2,4,6
/proc/17738/stat : 17738 (python) S 17727 17727 16982 0 -1 4202560 904 0 0 0 1 0 0 0 18 0 1 0 658037981 307597312 5918 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 6729574665993289987 0 0 17 6 0 0 0
/proc/17738/statm: 75097 5918 371 364 0 11009 0
[pid=17741] ppid=17738 vsize=268428 CPUtime=3.45 cores=0,2,4,6
/proc/17741/stat : 17741 (hybridGM3) R 17738 17741 17741 0 -1 4202496 4991 0 0 0 345 0 0 0 25 0 1 0 658037981 274870272 4728 33554432000 134512640 135204385 4290426800 18446744073709551615 134537272 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17741/statm: 67107 4728 64 169 0 66937 0
[pid=17742] ppid=17727 vsize=310780 CPUtime=0.02 cores=0,2,4,6
/proc/17742/stat : 17742 (python) S 17727 17727 16982 0 -1 4202560 906 0 0 0 1 1 0 0 18 0 1 0 658037982 318238720 5939 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 1427324976578396417 0 0 17 6 0 0 0
/proc/17742/statm: 77695 5939 371 364 0 13604 0
[pid=17744] ppid=17742 vsize=268880 CPUtime=6.86 cores=0,2,4,6
/proc/17744/stat : 17744 (hybridGM3) R 17742 17744 17744 0 -1 4202496 5963 0 0 0 686 0 0 0 25 0 1 0 658037982 275333120 5113 33554432000 134512640 135204385 4290761760 18446744073709551615 134547459 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17744/statm: 67220 5113 85 169 0 67050 0
[pid=17727/tid=17734] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17734/stat : 17734 (python) S 17725 17727 16982 0 -1 4202560 23 933 0 0 0 0 0 0 25 0 5 0 658037979 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 0 0 0 0
[pid=17727/tid=17737] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17737/stat : 17737 (python) S 17725 17727 16982 0 -1 4202560 40 933 0 0 0 0 0 0 25 0 5 0 658037980 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
[pid=17727/tid=17739] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17739/stat : 17739 (python) S 17725 17727 16982 0 -1 4202560 20 933 0 0 0 0 0 0 25 0 5 0 658037981 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
[pid=17727/tid=17743] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17743/stat : 17743 (python) S 17725 17727 16982 0 -1 4202560 27 933 0 0 0 0 0 0 25 0 5 0 658037982 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 21.7
Current children cumulated vsize (KiB) 2764284

[startup+8.20135 s]
/proc/loadavg: 11.25 10.72 8.99 12/502 17744
/proc/meminfo: memFree=24451336/32951124 swapFree=53501244/67111528
[pid=17727] ppid=17725 vsize=321024 CPUtime=0.77 cores=0,2,4,6
/proc/17727/stat : 17727 (python) S 17725 17727 16982 0 -1 4202496 12698 933 1 0 70 7 0 0 25 0 5 0 658037876 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646342091 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17727/statm: 80256 7453 1881 364 0 16165 0
[pid=17733] ppid=17727 vsize=279336 CPUtime=0.01 cores=0,2,4,6
/proc/17733/stat : 17733 (python) S 17727 17727 16982 0 -1 4202560 878 0 0 0 1 0 0 0 18 0 1 0 658037979 286040064 5764 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535439 0 0 16781312 514 1248500405436907779 0 0 17 0 0 0 0
/proc/17733/statm: 69834 5764 377 364 0 5752 0
[pid=17735] ppid=17733 vsize=269640 CPUtime=7.14 cores=0,2,4,6
/proc/17735/stat : 17735 (hybridGM3) R 17733 17735 17735 0 -1 4202496 6254 0 0 0 713 1 0 0 25 0 1 0 658037979 276111360 5230 33554432000 134512640 135204385 4286871600 18446744073709551615 134546082 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17735/statm: 67410 5230 85 169 0 67240 0
[pid=17736] ppid=17727 vsize=290132 CPUtime=0.02 cores=0,2,4,6
/proc/17736/stat : 17736 (python) S 17727 17727 16982 0 -1 4202560 892 0 0 0 1 1 0 0 18 0 1 0 658037980 297095168 5914 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 4602455622607143171 0 0 17 6 0 0 0
/proc/17736/statm: 72533 5914 371 364 0 8448 0
[pid=17740] ppid=17736 vsize=455676 CPUtime=3.54 cores=0,2,4,6
/proc/17740/stat : 17740 (TNM) R 17736 17740 17740 0 -1 4202496 760 0 0 0 354 0 0 0 25 0 1 0 658037981 466612224 499 33554432000 134512640 135008748 4292411536 18446744073709551615 134527339 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17740/statm: 113919 499 46 122 0 112819 0
[pid=17738] ppid=17727 vsize=300388 CPUtime=0.01 cores=0,2,4,6
/proc/17738/stat : 17738 (python) S 17727 17727 16982 0 -1 4202560 904 0 0 0 1 0 0 0 18 0 1 0 658037981 307597312 5918 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 6729574665993289987 0 0 17 6 0 0 0
/proc/17738/statm: 75097 5918 371 364 0 11009 0
[pid=17741] ppid=17738 vsize=268428 CPUtime=3.49 cores=0,2,4,6
/proc/17741/stat : 17741 (hybridGM3) R 17738 17741 17741 0 -1 4202496 4991 0 0 0 349 0 0 0 25 0 1 0 658037981 274870272 4728 33554432000 134512640 135204385 4290426800 18446744073709551615 134547669 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17741/statm: 67107 4728 64 169 0 66937 0
[pid=17742] ppid=17727 vsize=310780 CPUtime=0.02 cores=0,2,4,6
/proc/17742/stat : 17742 (python) S 17727 17727 16982 0 -1 4202560 906 0 0 0 1 1 0 0 18 0 1 0 658037982 318238720 5939 33554432000 4194304 5683644 140736321939024 18446744073709551615 216634535494 0 0 16781312 514 1427324976578396417 0 0 17 6 0 0 0
/proc/17742/statm: 77695 5939 371 364 0 13604 0
[pid=17744] ppid=17742 vsize=268880 CPUtime=6.96 cores=0,2,4,6
/proc/17744/stat : 17744 (hybridGM3) R 17742 17744 17744 0 -1 4202496 5963 0 0 0 696 0 0 0 25 0 1 0 658037982 275333120 5113 33554432000 134512640 135204385 4290761760 18446744073709551615 134537249 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17744/statm: 67220 5113 85 169 0 67050 0
[pid=17727/tid=17734] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17734/stat : 17734 (python) S 17725 17727 16982 0 -1 4202560 23 933 0 0 0 0 0 0 25 0 5 0 658037979 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 0 0 0 0
[pid=17727/tid=17737] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17737/stat : 17737 (python) S 17725 17727 16982 0 -1 4202560 40 933 0 0 0 0 0 0 25 0 5 0 658037980 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
[pid=17727/tid=17739] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17739/stat : 17739 (python) S 17725 17727 16982 0 -1 4202560 20 933 0 0 0 0 0 0 25 0 5 0 658037981 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
[pid=17727/tid=17743] ppid=17725 vsize=321024 CPUtime=0 cores=0,2,4,6
/proc/17727/task/17743/stat : 17743 (python) S 17725 17727 16982 0 -1 4202560 27 933 0 0 0 0 0 0 25 0 5 0 658037982 328728576 7453 33554432000 4194304 5683644 140736321939024 18446744073709551615 216646338993 0 0 16781312 2 18446604441099385856 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 21.96
Current children cumulated vsize (KiB) 2764284

Child status: 0
Real time (s): 8.27091
CPU time (s): 22.1766
CPU user time (s): 22.0257
CPU system time (s): 0.150977
CPU usage (%): 268.128
Max. virtual memory (cumulated for all children) (KiB): 2764332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.0257
system time used= 0.150977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40412
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= 3020
involuntary context switches= 284

runsolver used 0.032994 second user time and 0.104984 second system time

The end