runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3741150-1338721324/watcher-3741150-1338721324 -o /tmp/evaluation-result-3741150-1338721324/solver-3741150-1338721324 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3741150-1338721324.opb -seed 451535155 -budget 1800 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 3.79 2.68 2.55 1/181 1433
/proc/meminfo: memFree=13935040/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=15016 CPUtime=0 cores=1,3,5,7
/proc/1433/stat : 1433 (python) R 1431 1433 27000 0 -1 4202496 593 0 0 0 0 0 0 0 20 0 1 0 338260093 15376384 488 33554432000 4194304 5683644 140735552102944 140735552089720 4681245 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1433/statm: 3754 495 294 364 0 196 0

[startup+0.045912 s]
/proc/loadavg: 3.79 2.68 2.55 1/181 1433
/proc/meminfo: memFree=13935040/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=16432 CPUtime=0 cores=1,3,5,7
/proc/1433/stat : 1433 (python) R 1431 1433 27000 0 -1 4202496 1055 0 0 0 0 0 0 0 20 0 1 0 338260093 16826368 883 33554432000 4194304 5683644 140735552102944 140735552031944 4867292 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/1433/statm: 4108 883 379 364 0 550 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16432

[startup+0.100209 s]
/proc/loadavg: 3.79 2.68 2.55 1/181 1433
/proc/meminfo: memFree=13935040/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=19080 CPUtime=0.02 cores=1,3,5,7
/proc/1433/stat : 1433 (python) R 1431 1433 27000 0 -1 4202496 1394 0 0 0 2 0 0 0 20 0 1 0 338260093 19537920 1149 33554432000 4194304 5683644 140735552102944 140735552033448 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/1433/statm: 4770 1149 430 364 0 694 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19080

[startup+0.300247 s]
/proc/loadavg: 3.79 2.68 2.55 1/181 1433
/proc/meminfo: memFree=13935040/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=83684 CPUtime=0.06 cores=1,3,5,7
/proc/1433/stat : 1433 (python) D 1431 1433 27000 0 -1 4202496 2838 0 0 0 4 2 0 0 20 0 1 0 338260093 85692416 2369 33554432000 4194304 5683644 140735552102944 140735552084312 219513968487 0 0 16781312 2 18446744071579943789 0 0 17 1 0 0 0 0 0
/proc/1433/statm: 20921 2369 738 364 0 1549 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83684

[startup+0.700243 s]
/proc/loadavg: 3.79 2.68 2.55 1/181 1433
/proc/meminfo: memFree=13935040/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=83684 CPUtime=0.06 cores=1,3,5,7
/proc/1433/stat : 1433 (python) D 1431 1433 27000 0 -1 4202496 2838 0 0 0 4 2 0 0 20 0 1 0 338260093 85692416 2369 33554432000 4194304 5683644 140735552102944 140735552084312 219513968487 0 0 16781312 2 18446744071579943789 0 0 17 1 0 0 0 0 0
/proc/1433/statm: 20921 2369 738 364 0 1549 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83684

[startup+1.50025 s]
/proc/loadavg: 3.89 2.72 2.56 1/182 1434
/proc/meminfo: memFree=13928236/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=83688 CPUtime=0.06 cores=1,3,5,7
/proc/1433/stat : 1433 (python) D 1431 1433 27000 0 -1 4202496 2846 0 0 0 4 2 0 0 20 0 1 0 338260093 85696512 2375 33554432000 4194304 5683644 140735552102944 140735552070568 219513968487 0 0 16781312 2 18446744071579943789 0 0 17 1 0 0 83 0 0
/proc/1433/statm: 20922 2375 743 364 0 1550 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83688

[startup+3.10019 s]
/proc/loadavg: 3.89 2.72 2.56 1/182 1434
/proc/meminfo: memFree=13927608/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=122068 CPUtime=0.17 cores=1,3,5,7
/proc/1433/stat : 1433 (python) D 1431 1433 27000 0 -1 4202496 5885 1011 1 0 12 5 0 0 20 0 1 0 338260093 124997632 3800 33554432000 4194304 5683644 140735552102944 140735552047992 219513962325 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 255 0 0
/proc/1433/statm: 30517 3800 1015 364 0 2760 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 122068
heavy processes:
  %CPU=27 pid=1389 uid=0 cmd=

[startup+6.30018 s]
/proc/loadavg: 3.89 2.72 2.56 2/182 1438
/proc/meminfo: memFree=13972752/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=293552 CPUtime=2.88 cores=1,3,5,7
/proc/1433/stat : 1433 (python) R 1431 1433 27000 0 -1 4202496 15260 1011 1 0 276 12 0 0 20 0 1 0 338260093 300597248 10183 33554432000 4194304 5683644 140735552102944 140735552097272 4874131 0 0 16781312 33554434 0 0 0 17 1 0 0 255 0 0
/proc/1433/statm: 73388 10183 1892 364 0 8614 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 293552
heavy processes:
  %CPU=25 pid=1389 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 1387 11 506 18446744073709551615 

[startup+12.7004 s]
/proc/loadavg: 4.13 2.81 2.59 2/184 1441
/proc/meminfo: memFree=13646144/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=369340 CPUtime=3.9 cores=1,3,5,7
/proc/1433/stat : 1433 (python) S 1431 1433 27000 0 -1 4202496 15473 1011 1 0 378 12 0 0 20 0 2 0 338260093 378204160 10197 33554432000 4194304 5683644 140735552102944 140735552097776 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 255 0 0
/proc/1433/statm: 92335 10197 1901 364 0 27558 0
[pid=1439] ppid=1433 vsize=293560 CPUtime=0 cores=1,3,5,7
/proc/1439/stat : 1439 (python) S 1433 1433 27000 0 -1 4202560 879 0 0 0 0 0 0 0 20 0 1 0 338260825 300605440 8647 33554432000 4194304 5683644 140735552102944 140735552094032 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/1439/statm: 73390 8647 357 364 0 8613 0
[pid=1441] ppid=1439 vsize=353312 CPUtime=5.37 cores=1,3,5,7
/proc/1441/stat : 1441 (minion) R 1439 1441 1441 0 -1 4202496 76379 0 0 0 526 11 0 0 20 0 1 0 338260826 361791488 81029 33554432000 134512640 165565024 4292612608 4292609840 159737071 0 0 16781312 8396802 0 0 0 17 1 0 0 0 0 0
/proc/1441/statm: 88328 81029 358 7582 0 80743 0
[pid=1433/tid=1440] ppid=1431 vsize=369340 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1440/stat : 1440 (python) S 1431 1433 27000 0 -1 4202560 26 1011 0 0 0 0 0 0 20 0 2 0 338260826 378204160 10197 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 9.27
Current children cumulated vsize (KiB) 1016212
heavy processes:
  %CPU=23 pid=1389 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 1387 11 506 18446744073709551615 

[startup+25.5004 s]
/proc/loadavg: 4.27 2.88 2.62 2/184 1441
/proc/meminfo: memFree=13646576/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=369340 CPUtime=3.9 cores=1,3,5,7
/proc/1433/stat : 1433 (python) S 1431 1433 27000 0 -1 4202496 15473 1011 1 0 378 12 0 0 20 0 2 0 338260093 378204160 10197 33554432000 4194304 5683644 140735552102944 140735552097776 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 255 0 0
/proc/1433/statm: 92335 10197 1901 364 0 27558 0
[pid=1439] ppid=1433 vsize=293560 CPUtime=0.01 cores=1,3,5,7
/proc/1439/stat : 1439 (python) S 1433 1433 27000 0 -1 4202560 891 0 0 0 1 0 0 0 20 0 1 0 338260825 300605440 8647 33554432000 4194304 5683644 140735552102944 140735552094032 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/1439/statm: 73390 8647 357 364 0 8613 0
[pid=1441] ppid=1439 vsize=353312 CPUtime=18.16 cores=1,3,5,7
/proc/1441/stat : 1441 (minion) R 1439 1441 1441 0 -1 4202496 76379 0 0 0 1805 11 0 0 20 0 1 0 338260826 361791488 81029 33554432000 134512640 165565024 4292612608 4292609840 159737071 0 0 16781312 8396802 0 0 0 17 1 0 0 0 0 0
/proc/1441/statm: 88328 81029 358 7582 0 80743 0
[pid=1433/tid=1440] ppid=1431 vsize=369340 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1440/stat : 1440 (python) S 1431 1433 27000 0 -1 4202560 26 1011 0 0 0 0 0 0 20 0 2 0 338260826 378204160 10197 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 22.07
Current children cumulated vsize (KiB) 1016212

[startup+51.1004 s]
/proc/loadavg: 4.55 3.08 2.69 2/184 1441
/proc/meminfo: memFree=13647676/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=369340 CPUtime=3.9 cores=1,3,5,7
/proc/1433/stat : 1433 (python) S 1431 1433 27000 0 -1 4202496 15473 1011 1 0 378 12 0 0 20 0 2 0 338260093 378204160 10197 33554432000 4194304 5683644 140735552102944 140735552097776 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 255 0 0
/proc/1433/statm: 92335 10197 1901 364 0 27558 0
[pid=1439] ppid=1433 vsize=293560 CPUtime=0.06 cores=1,3,5,7
/proc/1439/stat : 1439 (python) S 1433 1433 27000 0 -1 4202560 1000 0 0 0 4 2 0 0 20 0 1 0 338260825 300605440 8652 33554432000 4194304 5683644 140735552102944 140735552094032 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/1439/statm: 73390 8652 362 364 0 8613 0
[pid=1441] ppid=1439 vsize=353312 CPUtime=43.76 cores=1,3,5,7
/proc/1441/stat : 1441 (minion) R 1439 1441 1441 0 -1 4202496 76379 0 0 0 4365 11 0 0 20 0 1 0 338260826 361791488 81029 33554432000 134512640 165565024 4292612608 4292609936 158645717 0 0 16781312 8396802 0 0 0 17 1 0 0 0 0 0
/proc/1441/statm: 88328 81029 358 7582 0 80743 0
[pid=1433/tid=1440] ppid=1431 vsize=369340 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1440/stat : 1440 (python) S 1431 1433 27000 0 -1 4202560 26 1011 0 0 0 0 0 0 20 0 2 0 338260826 378204160 10197 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 47.72
Current children cumulated vsize (KiB) 1016212

[startup+102.307 s]
/proc/loadavg: 4.80 3.38 2.81 2/188 1453
/proc/meminfo: memFree=13624456/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=445132 CPUtime=3.92 cores=1,3,5,7
/proc/1433/stat : 1433 (python) S 1431 1433 27000 0 -1 4202496 16421 1011 1 0 380 12 0 0 20 0 3 0 338260093 455815168 10206 33554432000 4194304 5683644 140735552102944 140735552097776 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 255 0 0
/proc/1433/statm: 111283 10206 1904 364 0 46503 0
[pid=1439] ppid=1433 vsize=369340 CPUtime=0.07 cores=1,3,5,7
/proc/1439/stat : 1439 (python) S 1433 1433 27000 0 -1 4202560 1140 0 0 0 5 2 0 0 20 0 2 0 338260825 378204160 8693 33554432000 4194304 5683644 140735552102944 140735552094592 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1439/statm: 92335 8693 396 364 0 27558 0
[pid=1441] ppid=1439 vsize=353312 CPUtime=47.86 cores=1,3,5,7
/proc/1441/stat : 1441 (minion) T 1439 1441 1441 0 -1 4202496 76379 0 0 0 4775 11 0 0 20 0 1 0 338260826 361791488 81029 33554432000 134512640 165565024 4292612608 4292609856 159737071 0 0 16781312 8396802 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/1441/statm: 88328 81029 358 7582 0 80743 0
[pid=1439/tid=1442] ppid=1433 vsize=369340 CPUtime=0 cores=1,3,5,7
/proc/1439/task/1442/stat : 1442 (python) S 1433 1433 27000 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 338265614 378204160 8693 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1451] ppid=1433 vsize=369352 CPUtime=0.07 cores=1,3,5,7
/proc/1451/stat : 1451 (python) S 1433 1433 27000 0 -1 4202560 908 0 0 0 4 3 0 0 20 0 1 0 338265616 378216448 8654 33554432000 4194304 5683644 140735552102944 140735552094032 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/1451/statm: 92338 8654 358 364 0 27558 0
[pid=1453] ppid=1451 vsize=20236 CPUtime=47.06 cores=1,3,5,7
/proc/1453/stat : 1453 (clasp-1.3.7-x86) R 1451 1453 1453 0 -1 4202496 5114 0 0 0 4705 1 0 0 20 0 1 0 338265616 20721664 4724 33554432000 134512640 136139019 4286611904 4286610768 134608381 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/1453/statm: 5059 4724 183 398 0 4659 0
[pid=1433/tid=1440] ppid=1431 vsize=445132 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1440/stat : 1440 (python) S 1431 1433 27000 0 -1 4202560 26 1011 0 0 0 0 0 0 20 0 3 0 338260826 455815168 10206 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1433/tid=1452] ppid=1431 vsize=445132 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1452/stat : 1452 (python) S 1431 1433 27000 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 3 0 338265616 455815168 10206 33554432000 4194304 5683644 140735552102944 140161409946160 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 98.98
Current children cumulated vsize (KiB) 1557372

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

[startup+103.901 s]
/proc/loadavg: 4.80 3.38 2.81 2/192 1458
/proc/meminfo: memFree=13614380/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=520924 CPUtime=3.95 cores=1,3,5,7
/proc/1433/stat : 1433 (python) S 1431 1433 27000 0 -1 4202496 17331 1011 1 0 382 13 0 0 20 0 4 0 338260093 533426176 10214 33554432000 4194304 5683644 140735552102944 140735552097776 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 255 0 0
/proc/1433/statm: 130231 10214 1906 364 0 65448 0
[pid=1439] ppid=1433 vsize=369340 CPUtime=0.07 cores=1,3,5,7
/proc/1439/stat : 1439 (python) S 1433 1433 27000 0 -1 4202560 1140 0 0 0 5 2 0 0 20 0 2 0 338260825 378204160 8693 33554432000 4194304 5683644 140735552102944 140735552094592 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1439/statm: 92335 8693 396 364 0 27558 0
[pid=1441] ppid=1439 vsize=353312 CPUtime=47.86 cores=1,3,5,7
/proc/1441/stat : 1441 (minion) T 1439 1441 1441 0 -1 4202496 76379 0 0 0 4775 11 0 0 20 0 1 0 338260826 361791488 81029 33554432000 134512640 165565024 4292612608 4292609856 159737071 0 0 16781312 8396802 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/1441/statm: 88328 81029 358 7582 0 80743 0
[pid=1439/tid=1442] ppid=1433 vsize=369340 CPUtime=0 cores=1,3,5,7
/proc/1439/task/1442/stat : 1442 (python) S 1433 1433 27000 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 338265614 378204160 8693 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1451] ppid=1433 vsize=369352 CPUtime=0.07 cores=1,3,5,7
/proc/1451/stat : 1451 (python) S 1433 1433 27000 0 -1 4202560 1064 0 0 0 4 3 0 0 20 0 2 0 338265616 378216448 8680 33554432000 4194304 5683644 140735552102944 140735552094592 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1451/statm: 92338 8680 383 364 0 27558 0
[pid=1453] ppid=1451 vsize=20236 CPUtime=47.12 cores=1,3,5,7
/proc/1453/stat : 1453 (clasp-1.3.7-x86) T 1451 1453 1453 0 -1 4202496 5114 0 0 0 4711 1 0 0 20 0 1 0 338265616 20721664 4724 33554432000 134512640 136139019 4286611904 4286610876 134831712 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/1453/statm: 5059 4724 183 398 0 4659 0
[pid=1451/tid=1454] ppid=1433 vsize=369352 CPUtime=0 cores=1,3,5,7
/proc/1451/task/1454/stat : 1454 (python) S 1433 1433 27000 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338270330 378216448 8680 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1455] ppid=1433 vsize=445144 CPUtime=0 cores=1,3,5,7
/proc/1455/stat : 1455 (python) S 1433 1433 27000 0 -1 4202560 797 0 0 0 0 0 0 0 20 0 1 0 338270332 455827456 8637 33554432000 4194304 5683644 140735552102944 140735552094032 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/1455/statm: 111286 8637 335 364 0 46503 0
[pid=1458] ppid=1455 vsize=9888 CPUtime=1.5 cores=1,3,5,7
/proc/1458/stat : 1458 (wbo1.4a) R 1455 1458 1458 0 -1 4202496 2703 0 0 0 146 4 0 0 20 0 1 0 338270332 10125312 1991 33554432000 134512640 135751879 4290729392 4290727644 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0 0 0
/proc/1458/statm: 2472 1991 143 303 0 2167 0
[pid=1433/tid=1440] ppid=1431 vsize=520924 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1440/stat : 1440 (python) S 1431 1433 27000 0 -1 4202560 26 1011 0 0 0 0 0 0 20 0 4 0 338260826 533426176 10214 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1433/tid=1452] ppid=1431 vsize=520924 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1452/stat : 1452 (python) S 1431 1433 27000 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 4 0 338265616 533426176 10214 33554432000 4194304 5683644 140735552102944 140161409946160 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1433/tid=1456] ppid=1431 vsize=520924 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1456/stat : 1456 (python) S 1431 1433 27000 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 4 0 338270332 533426176 10214 33554432000 4194304 5683644 140735552102944 140161399456304 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 100.57
Current children cumulated vsize (KiB) 2088196

[startup+105.501 s]
/proc/loadavg: 4.82 3.40 2.82 2/192 1458
/proc/meminfo: memFree=13609784/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=520924 CPUtime=3.95 cores=1,3,5,7
/proc/1433/stat : 1433 (python) S 1431 1433 27000 0 -1 4202496 17331 1011 1 0 382 13 0 0 20 0 4 0 338260093 533426176 10214 33554432000 4194304 5683644 140735552102944 140735552097776 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 255 0 0
/proc/1433/statm: 130231 10214 1906 364 0 65448 0
[pid=1439] ppid=1433 vsize=369340 CPUtime=0.07 cores=1,3,5,7
/proc/1439/stat : 1439 (python) S 1433 1433 27000 0 -1 4202560 1140 0 0 0 5 2 0 0 20 0 2 0 338260825 378204160 8693 33554432000 4194304 5683644 140735552102944 140735552094592 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1439/statm: 92335 8693 396 364 0 27558 0
[pid=1441] ppid=1439 vsize=353312 CPUtime=47.86 cores=1,3,5,7
/proc/1441/stat : 1441 (minion) T 1439 1441 1441 0 -1 4202496 76379 0 0 0 4775 11 0 0 20 0 1 0 338260826 361791488 81029 33554432000 134512640 165565024 4292612608 4292609856 159737071 0 0 16781312 8396802 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/1441/statm: 88328 81029 358 7582 0 80743 0
[pid=1439/tid=1442] ppid=1433 vsize=369340 CPUtime=0 cores=1,3,5,7
/proc/1439/task/1442/stat : 1442 (python) S 1433 1433 27000 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 338265614 378204160 8693 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1451] ppid=1433 vsize=369352 CPUtime=0.07 cores=1,3,5,7
/proc/1451/stat : 1451 (python) S 1433 1433 27000 0 -1 4202560 1064 0 0 0 4 3 0 0 20 0 2 0 338265616 378216448 8680 33554432000 4194304 5683644 140735552102944 140735552094592 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1451/statm: 92338 8680 383 364 0 27558 0
[pid=1453] ppid=1451 vsize=20236 CPUtime=47.12 cores=1,3,5,7
/proc/1453/stat : 1453 (clasp-1.3.7-x86) T 1451 1453 1453 0 -1 4202496 5114 0 0 0 4711 1 0 0 20 0 1 0 338265616 20721664 4724 33554432000 134512640 136139019 4286611904 4286610876 134831712 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/1453/statm: 5059 4724 183 398 0 4659 0
[pid=1451/tid=1454] ppid=1433 vsize=369352 CPUtime=0 cores=1,3,5,7
/proc/1451/task/1454/stat : 1454 (python) S 1433 1433 27000 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338270330 378216448 8680 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1455] ppid=1433 vsize=445144 CPUtime=0 cores=1,3,5,7
/proc/1455/stat : 1455 (python) S 1433 1433 27000 0 -1 4202560 798 0 0 0 0 0 0 0 20 0 1 0 338270332 455827456 8637 33554432000 4194304 5683644 140735552102944 140735552094032 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/1455/statm: 111286 8637 335 364 0 46503 0
[pid=1458] ppid=1455 vsize=13012 CPUtime=3.11 cores=1,3,5,7
/proc/1458/stat : 1458 (wbo1.4a) R 1455 1458 1458 0 -1 4202496 3481 0 0 0 304 7 0 0 20 0 1 0 338270332 13324288 2769 33554432000 134512640 135751879 4290729392 4290727644 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0 0 0
/proc/1458/statm: 3253 2769 143 303 0 2948 0
[pid=1433/tid=1440] ppid=1431 vsize=520924 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1440/stat : 1440 (python) S 1431 1433 27000 0 -1 4202560 26 1011 0 0 0 0 0 0 20 0 4 0 338260826 533426176 10214 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1433/tid=1452] ppid=1431 vsize=520924 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1452/stat : 1452 (python) S 1431 1433 27000 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 4 0 338265616 533426176 10214 33554432000 4194304 5683644 140735552102944 140161409946160 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1433/tid=1456] ppid=1431 vsize=520924 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1456/stat : 1456 (python) S 1431 1433 27000 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 4 0 338270332 533426176 10214 33554432000 4194304 5683644 140735552102944 140161399456304 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 2091320

[startup+106.301 s]
/proc/loadavg: 4.82 3.40 2.82 2/192 1458
/proc/meminfo: memFree=13609784/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=520924 CPUtime=3.95 cores=1,3,5,7
/proc/1433/stat : 1433 (python) S 1431 1433 27000 0 -1 4202496 17331 1011 1 0 382 13 0 0 20 0 4 0 338260093 533426176 10214 33554432000 4194304 5683644 140735552102944 140735552097776 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 255 0 0
/proc/1433/statm: 130231 10214 1906 364 0 65448 0
[pid=1439] ppid=1433 vsize=369340 CPUtime=0.07 cores=1,3,5,7
/proc/1439/stat : 1439 (python) S 1433 1433 27000 0 -1 4202560 1140 0 0 0 5 2 0 0 20 0 2 0 338260825 378204160 8693 33554432000 4194304 5683644 140735552102944 140735552094592 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1439/statm: 92335 8693 396 364 0 27558 0
[pid=1441] ppid=1439 vsize=353312 CPUtime=47.86 cores=1,3,5,7
/proc/1441/stat : 1441 (minion) T 1439 1441 1441 0 -1 4202496 76379 0 0 0 4775 11 0 0 20 0 1 0 338260826 361791488 81029 33554432000 134512640 165565024 4292612608 4292609856 159737071 0 0 16781312 8396802 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/1441/statm: 88328 81029 358 7582 0 80743 0
[pid=1439/tid=1442] ppid=1433 vsize=369340 CPUtime=0 cores=1,3,5,7
/proc/1439/task/1442/stat : 1442 (python) S 1433 1433 27000 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 338265614 378204160 8693 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1451] ppid=1433 vsize=369352 CPUtime=0.07 cores=1,3,5,7
/proc/1451/stat : 1451 (python) S 1433 1433 27000 0 -1 4202560 1064 0 0 0 4 3 0 0 20 0 2 0 338265616 378216448 8680 33554432000 4194304 5683644 140735552102944 140735552094592 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1451/statm: 92338 8680 383 364 0 27558 0
[pid=1453] ppid=1451 vsize=20236 CPUtime=47.12 cores=1,3,5,7
/proc/1453/stat : 1453 (clasp-1.3.7-x86) T 1451 1453 1453 0 -1 4202496 5114 0 0 0 4711 1 0 0 20 0 1 0 338265616 20721664 4724 33554432000 134512640 136139019 4286611904 4286610876 134831712 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/1453/statm: 5059 4724 183 398 0 4659 0
[pid=1451/tid=1454] ppid=1433 vsize=369352 CPUtime=0 cores=1,3,5,7
/proc/1451/task/1454/stat : 1454 (python) S 1433 1433 27000 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338270330 378216448 8680 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1455] ppid=1433 vsize=445144 CPUtime=0 cores=1,3,5,7
/proc/1455/stat : 1455 (python) S 1433 1433 27000 0 -1 4202560 911 0 0 0 0 0 0 0 20 0 1 0 338270332 455827456 8659 33554432000 4194304 5683644 140735552102944 140735552094032 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/1455/statm: 111286 8659 357 364 0 46503 0
[pid=1458] ppid=1455 vsize=14200 CPUtime=3.9 cores=1,3,5,7
/proc/1458/stat : 1458 (wbo1.4a) R 1455 1458 1458 0 -1 4202496 3777 0 0 0 383 7 0 0 20 0 1 0 338270332 14540800 3065 33554432000 134512640 135751879 4290729392 4290727644 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0 0 0
/proc/1458/statm: 3550 3065 143 303 0 3245 0
[pid=1433/tid=1440] ppid=1431 vsize=520924 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1440/stat : 1440 (python) S 1431 1433 27000 0 -1 4202560 26 1011 0 0 0 0 0 0 20 0 4 0 338260826 533426176 10214 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1433/tid=1452] ppid=1431 vsize=520924 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1452/stat : 1452 (python) S 1431 1433 27000 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 4 0 338265616 533426176 10214 33554432000 4194304 5683644 140735552102944 140161409946160 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1433/tid=1456] ppid=1431 vsize=520924 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1456/stat : 1456 (python) S 1431 1433 27000 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 4 0 338270332 533426176 10214 33554432000 4194304 5683644 140735552102944 140161399456304 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.97
Current children cumulated vsize (KiB) 2092508

[startup+106.501 s]
/proc/loadavg: 4.82 3.40 2.82 2/192 1458
/proc/meminfo: memFree=13609784/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=520924 CPUtime=3.95 cores=1,3,5,7
/proc/1433/stat : 1433 (python) S 1431 1433 27000 0 -1 4202496 17331 1011 1 0 382 13 0 0 20 0 4 0 338260093 533426176 10214 33554432000 4194304 5683644 140735552102944 140735552097776 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 255 0 0
/proc/1433/statm: 130231 10214 1906 364 0 65448 0
[pid=1439] ppid=1433 vsize=369340 CPUtime=0.07 cores=1,3,5,7
/proc/1439/stat : 1439 (python) S 1433 1433 27000 0 -1 4202560 1140 0 0 0 5 2 0 0 20 0 2 0 338260825 378204160 8693 33554432000 4194304 5683644 140735552102944 140735552094592 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1439/statm: 92335 8693 396 364 0 27558 0
[pid=1441] ppid=1439 vsize=353312 CPUtime=47.86 cores=1,3,5,7
/proc/1441/stat : 1441 (minion) T 1439 1441 1441 0 -1 4202496 76379 0 0 0 4775 11 0 0 20 0 1 0 338260826 361791488 81029 33554432000 134512640 165565024 4292612608 4292609856 159737071 0 0 16781312 8396802 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/1441/statm: 88328 81029 358 7582 0 80743 0
[pid=1439/tid=1442] ppid=1433 vsize=369340 CPUtime=0 cores=1,3,5,7
/proc/1439/task/1442/stat : 1442 (python) S 1433 1433 27000 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 338265614 378204160 8693 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1451] ppid=1433 vsize=369352 CPUtime=0.07 cores=1,3,5,7
/proc/1451/stat : 1451 (python) S 1433 1433 27000 0 -1 4202560 1064 0 0 0 4 3 0 0 20 0 2 0 338265616 378216448 8680 33554432000 4194304 5683644 140735552102944 140735552094592 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1451/statm: 92338 8680 383 364 0 27558 0
[pid=1453] ppid=1451 vsize=20236 CPUtime=47.12 cores=1,3,5,7
/proc/1453/stat : 1453 (clasp-1.3.7-x86) T 1451 1453 1453 0 -1 4202496 5114 0 0 0 4711 1 0 0 20 0 1 0 338265616 20721664 4724 33554432000 134512640 136139019 4286611904 4286610876 134831712 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/1453/statm: 5059 4724 183 398 0 4659 0
[pid=1451/tid=1454] ppid=1433 vsize=369352 CPUtime=0 cores=1,3,5,7
/proc/1451/task/1454/stat : 1454 (python) S 1433 1433 27000 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338270330 378216448 8680 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1455] ppid=1433 vsize=445144 CPUtime=0 cores=1,3,5,7
/proc/1455/stat : 1455 (python) S 1433 1433 27000 0 -1 4202560 911 0 0 0 0 0 0 0 20 0 1 0 338270332 455827456 8659 33554432000 4194304 5683644 140735552102944 140735552094032 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/1455/statm: 111286 8659 357 364 0 46503 0
[pid=1458] ppid=1455 vsize=14464 CPUtime=4.1 cores=1,3,5,7
/proc/1458/stat : 1458 (wbo1.4a) R 1455 1458 1458 0 -1 4202496 3848 0 0 0 402 8 0 0 20 0 1 0 338270332 14811136 3136 33554432000 134512640 135751879 4290729392 4290727644 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0 0 0
/proc/1458/statm: 3616 3136 143 303 0 3311 0
[pid=1433/tid=1440] ppid=1431 vsize=520924 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1440/stat : 1440 (python) S 1431 1433 27000 0 -1 4202560 26 1011 0 0 0 0 0 0 20 0 4 0 338260826 533426176 10214 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1433/tid=1452] ppid=1431 vsize=520924 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1452/stat : 1452 (python) S 1431 1433 27000 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 4 0 338265616 533426176 10214 33554432000 4194304 5683644 140735552102944 140161409946160 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1433/tid=1456] ppid=1431 vsize=520924 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1456/stat : 1456 (python) S 1431 1433 27000 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 4 0 338270332 533426176 10214 33554432000 4194304 5683644 140735552102944 140161399456304 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 103.17
Current children cumulated vsize (KiB) 2092772

[startup+106.601 s]
/proc/loadavg: 4.82 3.40 2.82 2/192 1458
/proc/meminfo: memFree=13609908/32873648 swapFree=7120/7120
[pid=1433] ppid=1431 vsize=520924 CPUtime=3.95 cores=1,3,5,7
/proc/1433/stat : 1433 (python) S 1431 1433 27000 0 -1 4202496 17331 1011 1 0 382 13 0 0 20 0 4 0 338260093 533426176 10214 33554432000 4194304 5683644 140735552102944 140735552097776 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 255 0 0
/proc/1433/statm: 130231 10214 1906 364 0 65448 0
[pid=1439] ppid=1433 vsize=369340 CPUtime=0.07 cores=1,3,5,7
/proc/1439/stat : 1439 (python) S 1433 1433 27000 0 -1 4202560 1140 0 0 0 5 2 0 0 20 0 2 0 338260825 378204160 8693 33554432000 4194304 5683644 140735552102944 140735552094592 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1439/statm: 92335 8693 396 364 0 27558 0
[pid=1441] ppid=1439 vsize=353312 CPUtime=47.86 cores=1,3,5,7
/proc/1441/stat : 1441 (minion) T 1439 1441 1441 0 -1 4202496 76379 0 0 0 4775 11 0 0 20 0 1 0 338260826 361791488 81029 33554432000 134512640 165565024 4292612608 4292609856 159737071 0 0 16781312 8396802 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/1441/statm: 88328 81029 358 7582 0 80743 0
[pid=1439/tid=1442] ppid=1433 vsize=369340 CPUtime=0 cores=1,3,5,7
/proc/1439/task/1442/stat : 1442 (python) S 1433 1433 27000 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 338265614 378204160 8693 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1451] ppid=1433 vsize=369352 CPUtime=0.07 cores=1,3,5,7
/proc/1451/stat : 1451 (python) S 1433 1433 27000 0 -1 4202560 1064 0 0 0 4 3 0 0 20 0 2 0 338265616 378216448 8680 33554432000 4194304 5683644 140735552102944 140735552094592 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1451/statm: 92338 8680 383 364 0 27558 0
[pid=1453] ppid=1451 vsize=20236 CPUtime=47.12 cores=1,3,5,7
/proc/1453/stat : 1453 (clasp-1.3.7-x86) T 1451 1453 1453 0 -1 4202496 5114 0 0 0 4711 1 0 0 20 0 1 0 338265616 20721664 4724 33554432000 134512640 136139019 4286611904 4286610876 134831712 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/1453/statm: 5059 4724 183 398 0 4659 0
[pid=1451/tid=1454] ppid=1433 vsize=369352 CPUtime=0 cores=1,3,5,7
/proc/1451/task/1454/stat : 1454 (python) S 1433 1433 27000 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338270330 378216448 8680 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1455] ppid=1433 vsize=445144 CPUtime=0 cores=1,3,5,7
/proc/1455/stat : 1455 (python) S 1433 1433 27000 0 -1 4202560 911 0 0 0 0 0 0 0 20 0 1 0 338270332 455827456 8659 33554432000 4194304 5683644 140735552102944 140735552094032 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/1455/statm: 111286 8659 357 364 0 46503 0
[pid=1458] ppid=1455 vsize=14596 CPUtime=4.21 cores=1,3,5,7
/proc/1458/stat : 1458 (wbo1.4a) R 1455 1458 1458 0 -1 4202496 3885 0 0 0 413 8 0 0 20 0 1 0 338270332 14946304 3173 33554432000 134512640 135751879 4290729392 4290727644 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0 0 0
/proc/1458/statm: 3649 3173 143 303 0 3344 0
[pid=1433/tid=1440] ppid=1431 vsize=520924 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1440/stat : 1440 (python) S 1431 1433 27000 0 -1 4202560 26 1011 0 0 0 0 0 0 20 0 4 0 338260826 533426176 10214 33554432000 4194304 5683644 140735552102944 140161422217776 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1433/tid=1452] ppid=1431 vsize=520924 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1452/stat : 1452 (python) S 1431 1433 27000 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 4 0 338265616 533426176 10214 33554432000 4194304 5683644 140735552102944 140161409946160 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1433/tid=1456] ppid=1431 vsize=520924 CPUtime=0 cores=1,3,5,7
/proc/1433/task/1456/stat : 1456 (python) S 1431 1433 27000 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 4 0 338270332 533426176 10214 33554432000 4194304 5683644 140735552102944 140161399456304 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 103.28
Current children cumulated vsize (KiB) 2092904

Child status: 0
Real time (s): 106.7
CPU time (s): 103.436
CPU user time (s): 102.991
CPU system time (s): 0.444932
CPU usage (%): 96.9416
Max. virtual memory (cumulated for all children) (KiB): 2092904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 102.991
system time used= 0.444932
maximum resident set size= 324116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113048
page faults= 1
swaps= 0
block input operations= 0
block output operations= 5800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2319
involuntary context switches= 150

runsolver used 0.345947 second user time and 0.874867 second system time

The end