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-3378233-1305463961/watcher-3378233-1305463961 -o /tmp/evaluation-result-3378233-1305463961/solver-3378233-1305463961 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378233-1305463961.cnf -seed 2137459982 -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: 8.08 8.08 6.79 5/384 7785
/proc/meminfo: memFree=16990464/32950928 swapFree=67111348/67111528
[pid=7785] ppid=7783 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/7785/stat : 7785 (python) R 7783 7785 7291 0 -1 4202496 902 0 0 0 0 0 0 0 25 0 1 0 657995770 16154624 783 33554432000 4194304 5683644 140733685531648 18446744073709551615 4426576 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/7785/statm: 3944 783 345 364 0 431 0
[startup+0.038821 s]
/proc/loadavg: 8.08 8.08 6.79 5/384 7785
/proc/meminfo: memFree=16990464/32950928 swapFree=67111348/67111528
[pid=7785] ppid=7783 vsize=18884 CPUtime=0.02 cores=0,2,4,6
/proc/7785/stat : 7785 (python) R 7783 7785 7291 0 -1 4202496 1288 0 0 0 2 0 0 0 25 0 1 0 657995770 19337216 1141 33554432000 4194304 5683644 140733685531648 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7785/statm: 4721 1141 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.101343 s]
/proc/loadavg: 8.08 8.08 6.79 5/384 7785
/proc/meminfo: memFree=16990464/32950928 swapFree=67111348/67111528
[pid=7785] ppid=7783 vsize=104616 CPUtime=0.06 cores=0,2,4,6
/proc/7785/stat : 7785 (python) S 7783 7785 7291 0 -1 4202496 3099 0 0 0 5 1 0 0 25 0 1 0 657995770 107126784 2779 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699215550 0 0 17 6 0 0 0
/proc/7785/statm: 26154 2779 847 364 0 1902 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 104616
[startup+0.300777 s]
/proc/loadavg: 8.08 8.08 6.79 5/384 7785
/proc/meminfo: memFree=16990464/32950928 swapFree=67111348/67111528
[pid=7785] ppid=7783 vsize=194416 CPUtime=0.23 cores=0,2,4,6
/proc/7785/stat : 7785 (python) R 7783 7785 7291 0 -1 4202496 6899 938 1 0 17 6 0 0 25 0 1 0 657995770 199081984 4953 33554432000 4194304 5683644 140733685531648 18446744073709551615 274469045712 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/7785/statm: 48604 4953 1427 364 0 3723 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 194416
[startup+0.700701 s]
/proc/loadavg: 8.08 8.08 6.79 5/384 7785
/proc/meminfo: memFree=16990464/32950928 swapFree=67111348/67111528
[pid=7785] ppid=7783 vsize=282456 CPUtime=0.6 cores=0,2,4,6
/proc/7785/stat : 7785 (python) R 7783 7785 7291 0 -1 4202496 10986 938 1 0 52 8 0 0 25 0 1 0 657995770 289234944 7999 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473627287 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/7785/statm: 70614 7999 1826 364 0 6538 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 282456
[startup+1.50056 s]
/proc/loadavg: 8.08 8.08 6.79 6/385 7790
/proc/meminfo: memFree=16962248/32950928 swapFree=67111348/67111528
[pid=7785] ppid=7783 vsize=321920 CPUtime=1.2 cores=0,2,4,6
/proc/7785/stat : 7785 (python) S 7783 7785 7291 0 -1 4202496 13902 938 1 0 111 9 0 0 25 0 5 0 657995770 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485794251 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7785/statm: 80480 7694 1881 364 0 16389 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 321920
[startup+3.10128 s]
/proc/loadavg: 8.08 8.08 6.79 9/397 7802
/proc/meminfo: memFree=16886264/32950928 swapFree=67111348/67111528
[pid=7785] ppid=7783 vsize=321920 CPUtime=1.2 cores=0,2,4,6
/proc/7785/stat : 7785 (python) S 7783 7785 7291 0 -1 4202496 13902 938 1 0 111 9 0 0 25 0 5 0 657995770 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485794251 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7785/statm: 80480 7694 1881 364 0 16389 0
[pid=7791] ppid=7785 vsize=280756 CPUtime=0 cores=0,2,4,6
/proc/7791/stat : 7791 (python) S 7785 7785 7291 0 -1 4202560 718 0 0 0 0 0 0 0 18 0 1 0 657995898 287494144 6128 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987599 0 0 16781312 514 4086823426965078273 0 0 17 4 0 0 0
/proc/7791/statm: 70189 6128 354 364 0 6107 0
[pid=7793] ppid=7791 vsize=268424 CPUtime=1.81 cores=0,2,4,6
/proc/7793/stat : 7793 (hybridGM3) R 7791 7793 7793 0 -1 4202496 5234 0 0 0 181 0 0 0 25 0 1 0 657995898 274866176 4971 33554432000 134512640 135204385 4293898800 18446744073709551615 134545837 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/7793/statm: 67106 4971 64 169 0 66936 0
[pid=7794] ppid=7785 vsize=291164 CPUtime=0 cores=0,2,4,6
/proc/7794/stat : 7794 (python) S 7785 7785 7291 0 -1 4202560 730 0 0 0 0 0 0 0 18 0 1 0 657995899 298151936 6149 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 6454919685031854079 0 0 17 6 0 0 0
/proc/7794/statm: 72791 6149 348 364 0 8706 0
[pid=7796] ppid=7794 vsize=456732 CPUtime=1.8 cores=0,2,4,6
/proc/7796/stat : 7796 (TNM) R 7794 7796 7796 0 -1 4202496 1164 0 0 0 180 0 0 0 25 0 1 0 657995899 467693568 902 33554432000 134512640 135008748 4287166560 18446744073709551615 134527760 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/7796/statm: 114183 902 46 122 0 113083 0
[pid=7797] ppid=7785 vsize=301420 CPUtime=0 cores=0,2,4,6
/proc/7797/stat : 7797 (python) S 7785 7785 7291 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 657995900 308654080 6153 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 4165838730583572740 0 0 17 2 0 0 0
/proc/7797/statm: 75355 6153 348 364 0 11267 0
[pid=7799] ppid=7797 vsize=268428 CPUtime=1.79 cores=0,2,4,6
/proc/7799/stat : 7799 (hybridGM3) R 7797 7799 7799 0 -1 4202496 5229 0 0 0 179 0 0 0 25 0 1 0 657995900 274870272 4968 33554432000 134512640 135204385 4289099488 18446744073709551615 134536986 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/7799/statm: 67107 4968 64 169 0 66937 0
[pid=7800] ppid=7785 vsize=311676 CPUtime=0 cores=0,2,4,6
/proc/7800/stat : 7800 (python) S 7785 7785 7291 0 -1 4202560 746 0 0 0 0 0 0 0 18 0 1 0 657995901 319156224 6157 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 4483865322092200195 0 0 17 6 0 0 0
/proc/7800/statm: 77919 6157 348 364 0 13828 0
[pid=7802] ppid=7800 vsize=268428 CPUtime=1.77 cores=0,2,4,6
/proc/7802/stat : 7802 (hybridGM3) R 7800 7802 7802 0 -1 4202496 5232 0 0 0 177 0 0 0 25 0 1 0 657995901 274870272 4970 33554432000 134512640 135204385 4289669392 18446744073709551615 134536977 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/7802/statm: 67107 4970 64 169 0 66937 0
[pid=7785/tid=7792] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7792/stat : 7792 (python) S 7783 7785 7291 0 -1 4202560 24 938 0 0 0 0 0 0 25 0 5 0 657995898 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 4 0 0 0
[pid=7785/tid=7795] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7795/stat : 7795 (python) S 7783 7785 7291 0 -1 4202560 27 938 0 0 0 0 0 0 25 0 5 0 657995899 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 6 0 0 0
[pid=7785/tid=7798] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7798/stat : 7798 (python) S 7783 7785 7291 0 -1 4202560 23 938 0 0 0 0 0 0 25 0 5 0 657995900 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 2 0 0 0
[pid=7785/tid=7801] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7801/stat : 7801 (python) S 7783 7785 7291 0 -1 4202560 25 938 0 0 0 0 0 0 25 0 5 0 657995901 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.37
Current children cumulated vsize (KiB) 2768948
[startup+6.30072 s]
/proc/loadavg: 8.15 8.09 6.80 9/397 7802
/proc/meminfo: memFree=16884892/32950928 swapFree=67111348/67111528
[pid=7785] ppid=7783 vsize=321920 CPUtime=1.2 cores=0,2,4,6
/proc/7785/stat : 7785 (python) S 7783 7785 7291 0 -1 4202496 13902 938 1 0 111 9 0 0 25 0 5 0 657995770 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485794251 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7785/statm: 80480 7694 1881 364 0 16389 0
[pid=7791] ppid=7785 vsize=280756 CPUtime=0.01 cores=0,2,4,6
/proc/7791/stat : 7791 (python) S 7785 7785 7291 0 -1 4202560 874 0 0 0 0 1 0 0 18 0 1 0 657995898 287494144 6151 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987599 0 0 16781312 514 4086823426965078273 0 0 17 4 0 0 0
/proc/7791/statm: 70189 6151 377 364 0 6107 0
[pid=7793] ppid=7791 vsize=268424 CPUtime=5.01 cores=0,2,4,6
/proc/7793/stat : 7793 (hybridGM3) R 7791 7793 7793 0 -1 4202496 5234 0 0 0 501 0 0 0 25 0 1 0 657995898 274866176 4971 33554432000 134512640 135204385 4293898800 18446744073709551615 134536898 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/7793/statm: 67106 4971 64 169 0 66936 0
[pid=7794] ppid=7785 vsize=291164 CPUtime=0 cores=0,2,4,6
/proc/7794/stat : 7794 (python) S 7785 7785 7291 0 -1 4202560 905 0 0 0 0 0 0 0 18 0 1 0 657995899 298151936 6171 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 6454919685031821570 0 0 17 6 0 0 0
/proc/7794/statm: 72791 6171 370 364 0 8706 0
[pid=7796] ppid=7794 vsize=456732 CPUtime=4.98 cores=0,2,4,6
/proc/7796/stat : 7796 (TNM) R 7794 7796 7796 0 -1 4202496 1164 0 0 0 498 0 0 0 25 0 1 0 657995899 467693568 902 33554432000 134512640 135008748 4287166560 18446744073709551615 134527750 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/7796/statm: 114183 902 46 122 0 113083 0
[pid=7797] ppid=7785 vsize=301420 CPUtime=0 cores=0,2,4,6
/proc/7797/stat : 7797 (python) S 7785 7785 7291 0 -1 4202560 899 0 0 0 0 0 0 0 18 0 1 0 657995900 308654080 6176 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 4165838730583572740 0 0 17 2 0 0 0
/proc/7797/statm: 75355 6176 371 364 0 11267 0
[pid=7799] ppid=7797 vsize=268428 CPUtime=4.98 cores=0,2,4,6
/proc/7799/stat : 7799 (hybridGM3) R 7797 7799 7799 0 -1 4202496 5230 0 0 0 498 0 0 0 25 0 1 0 657995900 274870272 4969 33554432000 134512640 135204385 4289099488 18446744073709551615 134546086 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/7799/statm: 67107 4969 64 169 0 66937 0
[pid=7800] ppid=7785 vsize=311676 CPUtime=0 cores=0,2,4,6
/proc/7800/stat : 7800 (python) S 7785 7785 7291 0 -1 4202560 918 0 0 0 0 0 0 0 18 0 1 0 657995901 319156224 6180 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 4483865322092200195 0 0 17 6 0 0 0
/proc/7800/statm: 77919 6180 371 364 0 13828 0
[pid=7802] ppid=7800 vsize=268428 CPUtime=4.9 cores=0,2,4,6
/proc/7802/stat : 7802 (hybridGM3) R 7800 7802 7802 0 -1 4202496 5232 0 0 0 490 0 0 0 25 0 1 0 657995901 274870272 4970 33554432000 134512640 135204385 4289669392 18446744073709551615 134536744 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/7802/statm: 67107 4970 64 169 0 66937 0
[pid=7785/tid=7792] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7792/stat : 7792 (python) S 7783 7785 7291 0 -1 4202560 24 938 0 0 0 0 0 0 25 0 5 0 657995898 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 4 0 0 0
[pid=7785/tid=7795] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7795/stat : 7795 (python) S 7783 7785 7291 0 -1 4202560 27 938 0 0 0 0 0 0 25 0 5 0 657995899 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 6 0 0 0
[pid=7785/tid=7798] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7798/stat : 7798 (python) S 7783 7785 7291 0 -1 4202560 23 938 0 0 0 0 0 0 25 0 5 0 657995900 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 2 0 0 0
[pid=7785/tid=7801] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7801/stat : 7801 (python) S 7783 7785 7291 0 -1 4202560 25 938 0 0 0 0 0 0 25 0 5 0 657995901 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 21.08
Current children cumulated vsize (KiB) 2768948
[startup+12.7006 s]
/proc/loadavg: 8.14 8.09 6.81 9/397 7802
/proc/meminfo: memFree=16883824/32950928 swapFree=67111348/67111528
[pid=7785] ppid=7783 vsize=321920 CPUtime=1.2 cores=0,2,4,6
/proc/7785/stat : 7785 (python) S 7783 7785 7291 0 -1 4202496 13902 938 1 0 111 9 0 0 25 0 5 0 657995770 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485794251 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7785/statm: 80480 7694 1881 364 0 16389 0
[pid=7791] ppid=7785 vsize=280756 CPUtime=0.03 cores=0,2,4,6
/proc/7791/stat : 7791 (python) S 7785 7785 7291 0 -1 4202560 877 0 0 0 1 2 0 0 18 0 1 0 657995898 287494144 6151 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987599 0 0 16781312 514 13179678756383457537 0 0 17 4 0 0 0
/proc/7791/statm: 70189 6151 377 364 0 6107 0
[pid=7793] ppid=7791 vsize=268424 CPUtime=11.41 cores=0,2,4,6
/proc/7793/stat : 7793 (hybridGM3) R 7791 7793 7793 0 -1 4202496 5234 0 0 0 1141 0 0 0 25 0 1 0 657995898 274866176 4971 33554432000 134512640 135204385 4293898800 18446744073709551615 134537292 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/7793/statm: 67106 4971 64 169 0 66936 0
[pid=7794] ppid=7785 vsize=291164 CPUtime=0.02 cores=0,2,4,6
/proc/7794/stat : 7794 (python) S 7785 7785 7291 0 -1 4202560 908 0 0 0 1 1 0 0 18 0 1 0 657995899 298151936 6171 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 13179678756383457538 0 0 17 6 0 0 0
/proc/7794/statm: 72791 6171 370 364 0 8706 0
[pid=7796] ppid=7794 vsize=456732 CPUtime=11.36 cores=0,2,4,6
/proc/7796/stat : 7796 (TNM) R 7794 7796 7796 0 -1 4202496 1164 0 0 0 1136 0 0 0 25 0 1 0 657995899 467693568 902 33554432000 134512640 135008748 4287166560 18446744073709551615 134529338 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/7796/statm: 114183 902 46 122 0 113083 0
[pid=7797] ppid=7785 vsize=301420 CPUtime=0.02 cores=0,2,4,6
/proc/7797/stat : 7797 (python) S 7785 7785 7291 0 -1 4202560 902 0 0 0 1 1 0 0 18 0 1 0 657995900 308654080 6176 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 13179678756383457540 0 0 17 2 0 0 0
/proc/7797/statm: 75355 6176 371 364 0 11267 0
[pid=7799] ppid=7797 vsize=268428 CPUtime=11.36 cores=0,2,4,6
/proc/7799/stat : 7799 (hybridGM3) R 7797 7799 7799 0 -1 4202496 5230 0 0 0 1136 0 0 0 25 0 1 0 657995900 274870272 4969 33554432000 134512640 135204385 4289099488 18446744073709551615 134536993 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/7799/statm: 67107 4969 64 169 0 66937 0
[pid=7800] ppid=7785 vsize=311676 CPUtime=0.02 cores=0,2,4,6
/proc/7800/stat : 7800 (python) S 7785 7785 7291 0 -1 4202560 922 0 0 0 1 1 0 0 18 0 1 0 657995901 319156224 6180 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 13179678756383457539 0 0 17 6 0 0 0
/proc/7800/statm: 77919 6180 371 364 0 13828 0
[pid=7802] ppid=7800 vsize=268428 CPUtime=11.19 cores=0,2,4,6
/proc/7802/stat : 7802 (hybridGM3) R 7800 7802 7802 0 -1 4202496 5232 0 0 0 1119 0 0 0 25 0 1 0 657995901 274870272 4970 33554432000 134512640 135204385 4289669392 18446744073709551615 134537322 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/7802/statm: 67107 4970 64 169 0 66937 0
[pid=7785/tid=7792] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7792/stat : 7792 (python) S 7783 7785 7291 0 -1 4202560 24 938 0 0 0 0 0 0 25 0 5 0 657995898 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 4 0 0 0
[pid=7785/tid=7795] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7795/stat : 7795 (python) S 7783 7785 7291 0 -1 4202560 27 938 0 0 0 0 0 0 25 0 5 0 657995899 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 6 0 0 0
[pid=7785/tid=7798] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7798/stat : 7798 (python) S 7783 7785 7291 0 -1 4202560 23 938 0 0 0 0 0 0 25 0 5 0 657995900 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 2 0 0 0
[pid=7785/tid=7801] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7801/stat : 7801 (python) S 7783 7785 7291 0 -1 4202560 25 938 0 0 0 0 0 0 25 0 5 0 657995901 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 46.61
Current children cumulated vsize (KiB) 2768948
[startup+25.5013 s]
/proc/loadavg: 8.11 8.08 6.83 9/397 7803
/proc/meminfo: memFree=16883948/32950928 swapFree=67111348/67111528
[pid=7785] ppid=7783 vsize=321920 CPUtime=1.2 cores=0,2,4,6
################
# More data... #
################
[pid=7785/tid=7801] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7801/stat : 7801 (python) S 7783 7785 7291 0 -1 4202560 25 938 0 0 0 0 0 0 25 0 5 0 657995901 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 199.75
Current children cumulated vsize (KiB) 2768948
Solver just ended. Dumping a history of the last processes samples
[startup+51.9007 s]
/proc/loadavg: 8.31 8.13 6.87 9/397 7803
/proc/meminfo: memFree=16883600/32950928 swapFree=67111348/67111528
[pid=7785] ppid=7783 vsize=321920 CPUtime=1.2 cores=0,2,4,6
/proc/7785/stat : 7785 (python) S 7783 7785 7291 0 -1 4202496 13902 938 1 0 111 9 0 0 25 0 5 0 657995770 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485794251 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7785/statm: 80480 7694 1881 364 0 16389 0
[pid=7791] ppid=7785 vsize=280756 CPUtime=0.11 cores=0,2,4,6
/proc/7791/stat : 7791 (python) S 7785 7785 7291 0 -1 4202560 893 0 0 0 6 5 0 0 18 0 1 0 657995898 287494144 6151 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987599 0 0 16781312 514 13179678756383457537 0 0 17 4 0 0 0
/proc/7791/statm: 70189 6151 377 364 0 6107 0
[pid=7793] ppid=7791 vsize=268424 CPUtime=50.62 cores=0,2,4,6
/proc/7793/stat : 7793 (hybridGM3) R 7791 7793 7793 0 -1 4202496 5234 0 0 0 5061 1 0 0 25 0 1 0 657995898 274866176 4971 33554432000 134512640 135204385 4293898800 18446744073709551615 134546073 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/7793/statm: 67106 4971 64 169 0 66936 0
[pid=7794] ppid=7785 vsize=291164 CPUtime=0.12 cores=0,2,4,6
/proc/7794/stat : 7794 (python) S 7785 7785 7291 0 -1 4202560 924 0 0 0 6 6 0 0 18 0 1 0 657995899 298151936 6172 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 13179678756383457538 0 0 17 6 0 0 0
/proc/7794/statm: 72791 6172 371 364 0 8706 0
[pid=7796] ppid=7794 vsize=456732 CPUtime=50.46 cores=0,2,4,6
/proc/7796/stat : 7796 (TNM) R 7794 7796 7796 0 -1 4202496 1164 0 0 0 5046 0 0 0 25 0 1 0 657995899 467693568 902 33554432000 134512640 135008748 4287166560 18446744073709551615 134527444 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/7796/statm: 114183 902 46 122 0 113083 0
[pid=7797] ppid=7785 vsize=301420 CPUtime=0.12 cores=0,2,4,6
/proc/7797/stat : 7797 (python) S 7785 7785 7291 0 -1 4202560 913 0 0 0 7 5 0 0 18 0 1 0 657995900 308654080 6176 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 13179678756383457540 0 0 17 2 0 0 0
/proc/7797/statm: 75355 6176 371 364 0 11267 0
[pid=7799] ppid=7797 vsize=268428 CPUtime=50.46 cores=0,2,4,6
/proc/7799/stat : 7799 (hybridGM3) R 7797 7799 7799 0 -1 4202496 5230 0 0 0 5046 0 0 0 25 0 1 0 657995900 274870272 4969 33554432000 134512640 135204385 4289099488 18446744073709551615 134545744 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/7799/statm: 67107 4969 64 169 0 66937 0
[pid=7800] ppid=7785 vsize=311676 CPUtime=0.12 cores=0,2,4,6
/proc/7800/stat : 7800 (python) S 7785 7785 7291 0 -1 4202560 933 0 0 0 6 6 0 0 18 0 1 0 657995901 319156224 6180 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 13179678756383457539 0 0 17 6 0 0 0
/proc/7800/statm: 77919 6180 371 364 0 13828 0
[pid=7802] ppid=7800 vsize=268428 CPUtime=49.72 cores=0,2,4,6
/proc/7802/stat : 7802 (hybridGM3) R 7800 7802 7802 0 -1 4202496 5232 0 0 0 4972 0 0 0 25 0 1 0 657995901 274870272 4970 33554432000 134512640 135204385 4289669392 18446744073709551615 134536993 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/7802/statm: 67107 4970 64 169 0 66937 0
[pid=7785/tid=7792] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7792/stat : 7792 (python) S 7783 7785 7291 0 -1 4202560 24 938 0 0 0 0 0 0 25 0 5 0 657995898 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 4 0 0 0
[pid=7785/tid=7795] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7795/stat : 7795 (python) S 7783 7785 7291 0 -1 4202560 27 938 0 0 0 0 0 0 25 0 5 0 657995899 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 6 0 0 0
[pid=7785/tid=7798] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7798/stat : 7798 (python) S 7783 7785 7291 0 -1 4202560 23 938 0 0 0 0 0 0 25 0 5 0 657995900 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 2 0 0 0
[pid=7785/tid=7801] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7801/stat : 7801 (python) S 7783 7785 7291 0 -1 4202560 25 938 0 0 0 0 0 0 25 0 5 0 657995901 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 202.93
Current children cumulated vsize (KiB) 2768948
[startup+52.7006 s]
/proc/loadavg: 8.31 8.13 6.87 9/397 7803
/proc/meminfo: memFree=16883600/32950928 swapFree=67111348/67111528
[pid=7785] ppid=7783 vsize=321920 CPUtime=1.2 cores=0,2,4,6
/proc/7785/stat : 7785 (python) S 7783 7785 7291 0 -1 4202496 13902 938 1 0 111 9 0 0 25 0 5 0 657995770 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485794251 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7785/statm: 80480 7694 1881 364 0 16389 0
[pid=7791] ppid=7785 vsize=280756 CPUtime=0.11 cores=0,2,4,6
/proc/7791/stat : 7791 (python) S 7785 7785 7291 0 -1 4202560 893 0 0 0 6 5 0 0 18 0 1 0 657995898 287494144 6151 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987599 0 0 16781312 514 13179678756383457537 0 0 17 4 0 0 0
/proc/7791/statm: 70189 6151 377 364 0 6107 0
[pid=7793] ppid=7791 vsize=268424 CPUtime=51.42 cores=0,2,4,6
/proc/7793/stat : 7793 (hybridGM3) R 7791 7793 7793 0 -1 4202496 5234 0 0 0 5141 1 0 0 25 0 1 0 657995898 274866176 4971 33554432000 134512640 135204385 4293898800 18446744073709551615 134537253 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/7793/statm: 67106 4971 64 169 0 66936 0
[pid=7794] ppid=7785 vsize=291164 CPUtime=0.14 cores=0,2,4,6
/proc/7794/stat : 7794 (python) S 7785 7785 7291 0 -1 4202560 927 0 0 0 7 7 0 0 18 0 1 0 657995899 298151936 6172 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 13179678756383457538 0 0 17 6 0 0 0
/proc/7794/statm: 72791 6172 371 364 0 8706 0
[pid=7796] ppid=7794 vsize=456732 CPUtime=51.27 cores=0,2,4,6
/proc/7796/stat : 7796 (TNM) R 7794 7796 7796 0 -1 4202496 1164 0 0 0 5127 0 0 0 25 0 1 0 657995899 467693568 902 33554432000 134512640 135008748 4287166560 18446744073709551615 134529509 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/7796/statm: 114183 902 46 122 0 113083 0
[pid=7797] ppid=7785 vsize=301420 CPUtime=0.12 cores=0,2,4,6
/proc/7797/stat : 7797 (python) S 7785 7785 7291 0 -1 4202560 913 0 0 0 7 5 0 0 18 0 1 0 657995900 308654080 6176 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 13179678756383457540 0 0 17 2 0 0 0
/proc/7797/statm: 75355 6176 371 364 0 11267 0
[pid=7799] ppid=7797 vsize=268428 CPUtime=51.27 cores=0,2,4,6
/proc/7799/stat : 7799 (hybridGM3) R 7797 7799 7799 0 -1 4202496 5230 0 0 0 5127 0 0 0 25 0 1 0 657995900 274870272 4969 33554432000 134512640 135204385 4289099488 18446744073709551615 134536986 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/7799/statm: 67107 4969 64 169 0 66937 0
[pid=7800] ppid=7785 vsize=311676 CPUtime=0.14 cores=0,2,4,6
/proc/7800/stat : 7800 (python) S 7785 7785 7291 0 -1 4202560 935 0 0 0 7 7 0 0 18 0 1 0 657995901 319156224 6180 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 13179678756383457539 0 0 17 6 0 0 0
/proc/7800/statm: 77919 6180 371 364 0 13828 0
[pid=7802] ppid=7800 vsize=268428 CPUtime=50.49 cores=0,2,4,6
/proc/7802/stat : 7802 (hybridGM3) R 7800 7802 7802 0 -1 4202496 5232 0 0 0 5049 0 0 0 25 0 1 0 657995901 274870272 4970 33554432000 134512640 135204385 4289669392 18446744073709551615 134536843 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/7802/statm: 67107 4970 64 169 0 66937 0
[pid=7785/tid=7792] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7792/stat : 7792 (python) S 7783 7785 7291 0 -1 4202560 24 938 0 0 0 0 0 0 25 0 5 0 657995898 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 4 0 0 0
[pid=7785/tid=7795] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7795/stat : 7795 (python) S 7783 7785 7291 0 -1 4202560 27 938 0 0 0 0 0 0 25 0 5 0 657995899 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 6 0 0 0
[pid=7785/tid=7798] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7798/stat : 7798 (python) S 7783 7785 7291 0 -1 4202560 23 938 0 0 0 0 0 0 25 0 5 0 657995900 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 2 0 0 0
[pid=7785/tid=7801] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7801/stat : 7801 (python) S 7783 7785 7291 0 -1 4202560 25 938 0 0 0 0 0 0 25 0 5 0 657995901 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 206.16
Current children cumulated vsize (KiB) 2768948
[startup+52.9005 s]
/proc/loadavg: 8.31 8.13 6.87 9/397 7803
/proc/meminfo: memFree=16883600/32950928 swapFree=67111348/67111528
[pid=7785] ppid=7783 vsize=321920 CPUtime=1.2 cores=0,2,4,6
/proc/7785/stat : 7785 (python) S 7783 7785 7291 0 -1 4202496 13902 938 1 0 111 9 0 0 25 0 5 0 657995770 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485794251 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7785/statm: 80480 7694 1881 364 0 16389 0
[pid=7791] ppid=7785 vsize=280756 CPUtime=0.11 cores=0,2,4,6
/proc/7791/stat : 7791 (python) S 7785 7785 7291 0 -1 4202560 893 0 0 0 6 5 0 0 18 0 1 0 657995898 287494144 6151 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987599 0 0 16781312 514 13179678756383457537 0 0 17 4 0 0 0
/proc/7791/statm: 70189 6151 377 364 0 6107 0
[pid=7793] ppid=7791 vsize=268424 CPUtime=51.62 cores=0,2,4,6
/proc/7793/stat : 7793 (hybridGM3) R 7791 7793 7793 0 -1 4202496 5234 0 0 0 5161 1 0 0 25 0 1 0 657995898 274866176 4971 33554432000 134512640 135204385 4293898800 18446744073709551615 134536929 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/7793/statm: 67106 4971 64 169 0 66936 0
[pid=7794] ppid=7785 vsize=291164 CPUtime=0.14 cores=0,2,4,6
/proc/7794/stat : 7794 (python) S 7785 7785 7291 0 -1 4202560 927 0 0 0 7 7 0 0 18 0 1 0 657995899 298151936 6172 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 13179678756383457538 0 0 17 6 0 0 0
/proc/7794/statm: 72791 6172 371 364 0 8706 0
[pid=7796] ppid=7794 vsize=456732 CPUtime=51.46 cores=0,2,4,6
/proc/7796/stat : 7796 (TNM) R 7794 7796 7796 0 -1 4202496 1164 0 0 0 5146 0 0 0 25 0 1 0 657995899 467693568 902 33554432000 134512640 135008748 4287166560 18446744073709551615 134527542 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/7796/statm: 114183 902 46 122 0 113083 0
[pid=7797] ppid=7785 vsize=301420 CPUtime=0.12 cores=0,2,4,6
/proc/7797/stat : 7797 (python) S 7785 7785 7291 0 -1 4202560 913 0 0 0 7 5 0 0 18 0 1 0 657995900 308654080 6176 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 13179678756383457540 0 0 17 2 0 0 0
/proc/7797/statm: 75355 6176 371 364 0 11267 0
[pid=7799] ppid=7797 vsize=268428 CPUtime=51.46 cores=0,2,4,6
/proc/7799/stat : 7799 (hybridGM3) R 7797 7799 7799 0 -1 4202496 5230 0 0 0 5146 0 0 0 25 0 1 0 657995900 274870272 4969 33554432000 134512640 135204385 4289099488 18446744073709551615 134537143 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/7799/statm: 67107 4969 64 169 0 66937 0
[pid=7800] ppid=7785 vsize=311676 CPUtime=0.14 cores=0,2,4,6
/proc/7800/stat : 7800 (python) S 7785 7785 7291 0 -1 4202560 935 0 0 0 7 7 0 0 18 0 1 0 657995901 319156224 6180 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 13179678756383457539 0 0 17 6 0 0 0
/proc/7800/statm: 77919 6180 371 364 0 13828 0
[pid=7802] ppid=7800 vsize=268428 CPUtime=50.68 cores=0,2,4,6
/proc/7802/stat : 7802 (hybridGM3) R 7800 7802 7802 0 -1 4202496 5232 0 0 0 5068 0 0 0 25 0 1 0 657995901 274870272 4970 33554432000 134512640 135204385 4289669392 18446744073709551615 134536747 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/7802/statm: 67107 4970 64 169 0 66937 0
[pid=7785/tid=7792] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7792/stat : 7792 (python) S 7783 7785 7291 0 -1 4202560 24 938 0 0 0 0 0 0 25 0 5 0 657995898 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 4 0 0 0
[pid=7785/tid=7795] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7795/stat : 7795 (python) S 7783 7785 7291 0 -1 4202560 27 938 0 0 0 0 0 0 25 0 5 0 657995899 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 6 0 0 0
[pid=7785/tid=7798] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7798/stat : 7798 (python) S 7783 7785 7291 0 -1 4202560 23 938 0 0 0 0 0 0 25 0 5 0 657995900 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 2 0 0 0
[pid=7785/tid=7801] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7801/stat : 7801 (python) S 7783 7785 7291 0 -1 4202560 25 938 0 0 0 0 0 0 25 0 5 0 657995901 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 206.93
Current children cumulated vsize (KiB) 2768948
[startup+53.0005 s]
/proc/loadavg: 8.31 8.13 6.87 9/397 7803
/proc/meminfo: memFree=16883600/32950928 swapFree=67111348/67111528
[pid=7785] ppid=7783 vsize=321920 CPUtime=1.2 cores=0,2,4,6
/proc/7785/stat : 7785 (python) S 7783 7785 7291 0 -1 4202496 13902 938 1 0 111 9 0 0 25 0 5 0 657995770 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485794251 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/7785/statm: 80480 7694 1881 364 0 16389 0
[pid=7791] ppid=7785 vsize=280756 CPUtime=0.11 cores=0,2,4,6
/proc/7791/stat : 7791 (python) S 7785 7785 7291 0 -1 4202560 893 0 0 0 6 5 0 0 18 0 1 0 657995898 287494144 6151 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987599 0 0 16781312 514 13179678756383457537 0 0 17 4 0 0 0
/proc/7791/statm: 70189 6151 377 364 0 6107 0
[pid=7793] ppid=7791 vsize=268424 CPUtime=51.72 cores=0,2,4,6
/proc/7793/stat : 7793 (hybridGM3) R 7791 7793 7793 0 -1 4202496 5234 0 0 0 5171 1 0 0 25 0 1 0 657995898 274866176 4971 33554432000 134512640 135204385 4293898800 18446744073709551615 134546102 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/7793/statm: 67106 4971 64 169 0 66936 0
[pid=7794] ppid=7785 vsize=291164 CPUtime=0.14 cores=0,2,4,6
/proc/7794/stat : 7794 (python) S 7785 7785 7291 0 -1 4202560 927 0 0 0 7 7 0 0 18 0 1 0 657995899 298151936 6172 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 13179678756383457538 0 0 17 6 0 0 0
/proc/7794/statm: 72791 6172 371 364 0 8706 0
[pid=7796] ppid=7794 vsize=456732 CPUtime=51.56 cores=0,2,4,6
/proc/7796/stat : 7796 (TNM) R 7794 7796 7796 0 -1 4202496 1164 0 0 0 5156 0 0 0 25 0 1 0 657995899 467693568 902 33554432000 134512640 135008748 4287166560 18446744073709551615 134529483 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/7796/statm: 114183 902 46 122 0 113083 0
[pid=7797] ppid=7785 vsize=301420 CPUtime=0.12 cores=0,2,4,6
/proc/7797/stat : 7797 (python) S 7785 7785 7291 0 -1 4202560 913 0 0 0 7 5 0 0 18 0 1 0 657995900 308654080 6176 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 13179678756383457540 0 0 17 2 0 0 0
/proc/7797/statm: 75355 6176 371 364 0 11267 0
[pid=7799] ppid=7797 vsize=268428 CPUtime=51.56 cores=0,2,4,6
/proc/7799/stat : 7799 (hybridGM3) R 7797 7799 7799 0 -1 4202496 5230 0 0 0 5156 0 0 0 25 0 1 0 657995900 274870272 4969 33554432000 134512640 135204385 4289099488 18446744073709551615 134546059 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/7799/statm: 67107 4969 64 169 0 66937 0
[pid=7800] ppid=7785 vsize=311676 CPUtime=0.14 cores=0,2,4,6
/proc/7800/stat : 7800 (python) S 7785 7785 7291 0 -1 4202560 935 0 0 0 7 7 0 0 18 0 1 0 657995901 319156224 6180 33554432000 4194304 5683644 140733685531648 18446744073709551615 274473987654 0 0 16781312 514 13179678756383457539 0 0 17 6 0 0 0
/proc/7800/statm: 77919 6180 371 364 0 13828 0
[pid=7802] ppid=7800 vsize=268428 CPUtime=50.78 cores=0,2,4,6
/proc/7802/stat : 7802 (hybridGM3) R 7800 7802 7802 0 -1 4202496 5232 0 0 0 5078 0 0 0 25 0 1 0 657995901 274870272 4970 33554432000 134512640 135204385 4289669392 18446744073709551615 134537455 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/7802/statm: 67107 4970 64 169 0 66937 0
[pid=7785/tid=7792] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7792/stat : 7792 (python) S 7783 7785 7291 0 -1 4202560 24 938 0 0 0 0 0 0 25 0 5 0 657995898 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 4 0 0 0
[pid=7785/tid=7795] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7795/stat : 7795 (python) S 7783 7785 7291 0 -1 4202560 27 938 0 0 0 0 0 0 25 0 5 0 657995899 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 6 0 0 0
[pid=7785/tid=7798] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7798/stat : 7798 (python) S 7783 7785 7291 0 -1 4202560 23 938 0 0 0 0 0 0 25 0 5 0 657995900 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 2 0 0 0
[pid=7785/tid=7801] ppid=7783 vsize=321920 CPUtime=0 cores=0,2,4,6
/proc/7785/task/7801/stat : 7801 (python) S 7783 7785 7291 0 -1 4202560 25 938 0 0 0 0 0 0 25 0 5 0 657995901 329646080 7694 33554432000 4194304 5683644 140733685531648 18446744073709551615 274485791153 0 0 16781312 2 18446604449906484480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 207.33
Current children cumulated vsize (KiB) 2768948
Child status: 0
Real time (s): 53.0994
CPU time (s): 207.743
CPU user time (s): 207.335
CPU system time (s): 0.407937
CPU usage (%): 391.235
Max. virtual memory (cumulated for all children) (KiB): 2768952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 207.335
system time used= 0.407937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40989
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= 1647
involuntary context switches= 1491
runsolver used 0.198969 second user time and 0.440932 second system time
The end