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

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

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: 1.94 2.00 2.04 3/188 8363
/proc/meminfo: memFree=30183248/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/8363/stat : 8363 (python) D 8361 8363 2614 0 -1 4202496 634 0 0 0 0 0 0 0 20 0 1 0 338665393 15642624 527 33554432000 4194304 5683644 140734422125696 140734422111608 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/8363/statm: 3819 527 312 364 0 261 0

[startup+0.038879 s]
/proc/loadavg: 1.94 2.00 2.04 3/188 8363
/proc/meminfo: memFree=30183248/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=15972 CPUtime=0 cores=0,2,4,6
/proc/8363/stat : 8363 (python) D 8361 8363 2614 0 -1 4202496 975 0 0 0 0 0 0 0 20 0 1 0 338665393 16355328 819 33554432000 4194304 5683644 140734422125696 140734422095880 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/8363/statm: 3993 819 367 364 0 435 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15972

[startup+0.100289 s]
/proc/loadavg: 1.94 2.00 2.04 3/188 8363
/proc/meminfo: memFree=30183248/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=19084 CPUtime=0.02 cores=0,2,4,6
/proc/8363/stat : 8363 (python) R 8361 8363 2614 0 -1 4202496 1389 0 0 0 2 0 0 0 20 0 1 0 338665393 19542016 1143 33554432000 4194304 5683644 140734422125696 140734422056200 4619667 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/8363/statm: 4771 1143 430 364 0 695 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19084

[startup+0.300309 s]
/proc/loadavg: 1.94 2.00 2.04 3/188 8363
/proc/meminfo: memFree=30183248/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=96516 CPUtime=0.12 cores=0,2,4,6
/proc/8363/stat : 8363 (python) D 8361 8363 2614 0 -1 4202496 3657 1008 1 0 10 2 0 0 20 0 1 0 338665393 98832384 2549 33554432000 4194304 5683644 140734422125696 140734422061560 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/8363/statm: 24129 2549 822 364 0 1620 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 96516

[startup+0.700256 s]
/proc/loadavg: 1.94 2.00 2.04 3/188 8363
/proc/meminfo: memFree=30183248/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=122348 CPUtime=0.22 cores=0,2,4,6
/proc/8363/stat : 8363 (python) D 8361 8363 2614 0 -1 4202496 5983 1008 1 0 16 6 0 0 20 0 1 0 338665393 125284352 3855 33554432000 4194304 5683644 140734422125696 140734422071048 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/8363/statm: 30587 3855 1015 364 0 2830 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 122348

[startup+1.50018 s]
/proc/loadavg: 1.94 2.00 2.04 3/189 8368
/proc/meminfo: memFree=30160896/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=358896 CPUtime=0.57 cores=0,2,4,6
/proc/8363/stat : 8363 (python) S 8361 8363 2614 0 -1 4202496 10896 1008 1 0 46 11 0 0 20 0 2 0 338665393 367509504 7578 33554432000 4194304 5683644 140734422125696 140734422120528 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8363/statm: 89724 7578 1900 364 0 24947 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 358896

[startup+3.10034 s]
/proc/loadavg: 1.94 2.00 2.04 3/192 8371
/proc/meminfo: memFree=30084248/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=358896 CPUtime=0.57 cores=0,2,4,6
/proc/8363/stat : 8363 (python) S 8361 8363 2614 0 -1 4202496 10896 1008 1 0 46 11 0 0 20 0 2 0 338665393 367509504 7578 33554432000 4194304 5683644 140734422125696 140734422120528 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8363/statm: 89724 7578 1900 364 0 24947 0
[pid=8369] ppid=8363 vsize=283116 CPUtime=0 cores=0,2,4,6
/proc/8369/stat : 8369 (python) S 8363 8363 2614 0 -1 4202560 766 0 0 0 0 0 0 0 20 0 1 0 338665537 289910784 6013 33554432000 4194304 5683644 140734422125696 140734422116784 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 4 0 0 0 0 0
/proc/8369/statm: 70779 6013 341 364 0 6002 0
[pid=8371] ppid=8369 vsize=77936 CPUtime=1.65 cores=0,2,4,6
/proc/8371/stat : 8371 (scip-2.0.1.linu) R 8369 8371 8371 0 -1 4202496 17176 0 0 0 160 5 0 0 20 0 1 0 338665537 79806464 16574 33554432000 4194304 15243407 140734755686464 140734755682776 13277498 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/8371/statm: 19484 16574 689 2698 0 16779 0
[pid=8363/tid=8370] ppid=8361 vsize=358896 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (python) S 8361 8363 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 2 0 338665537 367509504 7578 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 719948
heavy processes:

[startup+6.30036 s]
/proc/loadavg: 2.03 2.02 2.04 3/192 8371
/proc/meminfo: memFree=30033556/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=358896 CPUtime=0.57 cores=0,2,4,6
/proc/8363/stat : 8363 (python) S 8361 8363 2614 0 -1 4202496 10896 1008 1 0 46 11 0 0 20 0 2 0 338665393 367509504 7578 33554432000 4194304 5683644 140734422125696 140734422120528 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8363/statm: 89724 7578 1900 364 0 24947 0
[pid=8369] ppid=8363 vsize=283116 CPUtime=0 cores=0,2,4,6
/proc/8369/stat : 8369 (python) S 8363 8363 2614 0 -1 4202560 889 0 0 0 0 0 0 0 20 0 1 0 338665537 289910784 6036 33554432000 4194304 5683644 140734422125696 140734422116784 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/8369/statm: 70779 6036 364 364 0 6002 0
[pid=8371] ppid=8369 vsize=116280 CPUtime=4.85 cores=0,2,4,6
/proc/8371/stat : 8371 (scip-2.0.1.linu) R 8369 8371 8371 0 -1 4202496 26603 0 0 0 474 11 0 0 20 0 1 0 338665537 119070720 26001 33554432000 4194304 15243407 140734755686464 140734755682760 4880912 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/8371/statm: 29070 26001 693 2698 0 26365 0
[pid=8363/tid=8370] ppid=8361 vsize=358896 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (python) S 8361 8363 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 2 0 338665537 367509504 7578 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 758292

[startup+12.7066 s]
/proc/loadavg: 2.02 2.02 2.04 3/192 8371
/proc/meminfo: memFree=29969348/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=358896 CPUtime=0.57 cores=0,2,4,6
/proc/8363/stat : 8363 (python) S 8361 8363 2614 0 -1 4202496 10896 1008 1 0 46 11 0 0 20 0 2 0 338665393 367509504 7578 33554432000 4194304 5683644 140734422125696 140734422120528 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8363/statm: 89724 7578 1900 364 0 24947 0
[pid=8369] ppid=8363 vsize=283116 CPUtime=0.01 cores=0,2,4,6
/proc/8369/stat : 8369 (python) S 8363 8363 2614 0 -1 4202560 986 0 0 0 1 0 0 0 20 0 1 0 338665537 289910784 6041 33554432000 4194304 5683644 140734422125696 140734422116784 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/8369/statm: 70779 6041 369 364 0 6002 0
[pid=8371] ppid=8369 vsize=144576 CPUtime=11.26 cores=0,2,4,6
/proc/8371/stat : 8371 (scip-2.0.1.linu) R 8369 8371 8371 0 -1 4202496 33583 0 0 0 1094 32 0 0 20 0 1 0 338665537 148045824 32957 33554432000 4194304 15243407 140734755686464 140734755682552 8113515 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/8371/statm: 36144 32957 888 2698 0 33439 0
[pid=8363/tid=8370] ppid=8361 vsize=358896 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (python) S 8361 8363 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 2 0 338665537 367509504 7578 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 11.84
Current children cumulated vsize (KiB) 786588

[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.04 3/193 8372
/proc/meminfo: memFree=29902304/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=358896 CPUtime=0.57 cores=0,2,4,6
/proc/8363/stat : 8363 (python) S 8361 8363 2614 0 -1 4202496 10896 1008 1 0 46 11 0 0 20 0 2 0 338665393 367509504 7578 33554432000 4194304 5683644 140734422125696 140734422120528 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8363/statm: 89724 7578 1900 364 0 24947 0
[pid=8369] ppid=8363 vsize=283116 CPUtime=0.03 cores=0,2,4,6
/proc/8369/stat : 8369 (python) S 8363 8363 2614 0 -1 4202560 998 0 0 0 2 1 0 0 20 0 1 0 338665537 289910784 6041 33554432000 4194304 5683644 140734422125696 140734422116784 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/8369/statm: 70779 6041 369 364 0 6002 0
[pid=8371] ppid=8369 vsize=150076 CPUtime=24.05 cores=0,2,4,6
/proc/8371/stat : 8371 (scip-2.0.1.linu) R 8369 8371 8371 0 -1 4202496 40955 0 0 0 2369 36 0 0 20 0 1 0 338665537 153677824 33546 33554432000 4194304 15243407 140734755686464 140734755680856 13354455 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/8371/statm: 37519 33546 949 2698 0 34814 0
[pid=8363/tid=8370] ppid=8361 vsize=358896 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (python) S 8361 8363 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 2 0 338665537 367509504 7578 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 24.65
Current children cumulated vsize (KiB) 792088

[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.04 3/197 8376
/proc/meminfo: memFree=29768104/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=435192 CPUtime=0.6 cores=0,2,4,6
/proc/8363/stat : 8363 (python) S 8361 8363 2614 0 -1 4202496 11858 1008 1 0 48 12 0 0 20 0 3 0 338665393 445636608 7713 33554432000 4194304 5683644 140734422125696 140734422120528 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8363/statm: 108798 7713 1903 364 0 44018 0
[pid=8369] ppid=8363 vsize=358896 CPUtime=0.07 cores=0,2,4,6
/proc/8369/stat : 8369 (python) S 8363 8363 2614 0 -1 4202560 1141 0 0 0 4 3 0 0 20 0 2 0 338665537 367509504 6076 33554432000 4194304 5683644 140734422125696 140734422117344 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8369/statm: 89724 6076 397 364 0 24947 0
[pid=8371] ppid=8369 vsize=148964 CPUtime=46.72 cores=0,2,4,6
/proc/8371/stat : 8371 (scip-2.0.1.linu) T 8369 8371 8371 0 -1 4202496 45381 0 0 0 4633 39 0 0 20 0 1 0 338665537 152539136 33280 33554432000 4194304 15243407 140734755686464 140734755680856 6958457 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/8371/statm: 37241 33280 949 2698 0 34536 0
[pid=8369/tid=8373] ppid=8363 vsize=358896 CPUtime=0 cores=0,2,4,6
/proc/8369/task/8373/stat : 8373 (python) S 8363 8363 2614 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338670211 367509504 6076 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8374] ppid=8363 vsize=359412 CPUtime=0 cores=0,2,4,6
/proc/8374/stat : 8374 (python) S 8363 8363 2614 0 -1 4202560 777 0 0 0 0 0 0 0 20 0 1 0 338670213 368037888 6140 33554432000 4194304 5683644 140734422125696 140734422116784 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/8374/statm: 89853 6140 336 364 0 25073 0
[pid=8376] ppid=8374 vsize=4528 CPUtime=2.89 cores=0,2,4,6
/proc/8376/stat : 8376 (clasp-1.3.7-x86) R 8374 8376 8376 0 -1 4202496 1155 0 0 0 289 0 0 0 20 0 1 0 338670214 4636672 877 33554432000 134512640 136139019 4290119568 4290118544 134883058 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0
/proc/8376/statm: 1132 877 182 398 0 732 0
[pid=8363/tid=8370] ppid=8361 vsize=435192 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (python) S 8361 8363 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 3 0 338665537 445636608 7713 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8375] ppid=8361 vsize=435192 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8375/stat : 8375 (python) S 8361 8363 2614 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 3 0 338670213 445636608 7713 33554432000 4194304 5683644 140734422125696 140112188699184 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.28
Current children cumulated vsize (KiB) 1306992

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

[startup+51.7003 s]
/proc/loadavg: 2.01 2.02 2.04 3/197 8376
/proc/meminfo: memFree=29768104/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=435192 CPUtime=0.6 cores=0,2,4,6
/proc/8363/stat : 8363 (python) S 8361 8363 2614 0 -1 4202496 11858 1008 1 0 48 12 0 0 20 0 3 0 338665393 445636608 7713 33554432000 4194304 5683644 140734422125696 140734422120528 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8363/statm: 108798 7713 1903 364 0 44018 0
[pid=8369] ppid=8363 vsize=358896 CPUtime=0.07 cores=0,2,4,6
/proc/8369/stat : 8369 (python) S 8363 8363 2614 0 -1 4202560 1141 0 0 0 4 3 0 0 20 0 2 0 338665537 367509504 6076 33554432000 4194304 5683644 140734422125696 140734422117344 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8369/statm: 89724 6076 397 364 0 24947 0
[pid=8371] ppid=8369 vsize=148964 CPUtime=46.72 cores=0,2,4,6
/proc/8371/stat : 8371 (scip-2.0.1.linu) T 8369 8371 8371 0 -1 4202496 45381 0 0 0 4633 39 0 0 20 0 1 0 338665537 152539136 33280 33554432000 4194304 15243407 140734755686464 140734755680856 6958457 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/8371/statm: 37241 33280 949 2698 0 34536 0
[pid=8369/tid=8373] ppid=8363 vsize=358896 CPUtime=0 cores=0,2,4,6
/proc/8369/task/8373/stat : 8373 (python) S 8363 8363 2614 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338670211 367509504 6076 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8374] ppid=8363 vsize=359412 CPUtime=0 cores=0,2,4,6
/proc/8374/stat : 8374 (python) S 8363 8363 2614 0 -1 4202560 901 0 0 0 0 0 0 0 20 0 1 0 338670213 368037888 6162 33554432000 4194304 5683644 140734422125696 140734422116784 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/8374/statm: 89853 6162 358 364 0 25073 0
[pid=8376] ppid=8374 vsize=4788 CPUtime=3.48 cores=0,2,4,6
/proc/8376/stat : 8376 (clasp-1.3.7-x86) R 8374 8376 8376 0 -1 4202496 1222 0 0 0 348 0 0 0 20 0 1 0 338670214 4902912 944 33554432000 134512640 136139019 4290119568 4290118544 134883401 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0
/proc/8376/statm: 1197 944 182 398 0 797 0
[pid=8363/tid=8370] ppid=8361 vsize=435192 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (python) S 8361 8363 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 3 0 338665537 445636608 7713 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8375] ppid=8361 vsize=435192 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8375/stat : 8375 (python) S 8361 8363 2614 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 3 0 338670213 445636608 7713 33554432000 4194304 5683644 140734422125696 140112188699184 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 1307252

[startup+77.3005 s]
/proc/loadavg: 2.01 2.01 2.04 3/217 8397
/proc/meminfo: memFree=28005544/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=435192 CPUtime=0.6 cores=0,2,4,6
/proc/8363/stat : 8363 (python) S 8361 8363 2614 0 -1 4202496 11858 1008 1 0 48 12 0 0 20 0 3 0 338665393 445636608 7713 33554432000 4194304 5683644 140734422125696 140734422120528 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8363/statm: 108798 7713 1903 364 0 44018 0
[pid=8369] ppid=8363 vsize=358896 CPUtime=0.07 cores=0,2,4,6
/proc/8369/stat : 8369 (python) S 8363 8363 2614 0 -1 4202560 1141 0 0 0 4 3 0 0 20 0 2 0 338665537 367509504 6076 33554432000 4194304 5683644 140734422125696 140734422117344 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8369/statm: 89724 6076 397 364 0 24947 0
[pid=8371] ppid=8369 vsize=148964 CPUtime=46.72 cores=0,2,4,6
/proc/8371/stat : 8371 (scip-2.0.1.linu) T 8369 8371 8371 0 -1 4202496 45381 0 0 0 4633 39 0 0 20 0 1 0 338665537 152539136 33280 33554432000 4194304 15243407 140734755686464 140734755680856 6958457 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/8371/statm: 37241 33280 949 2698 0 34536 0
[pid=8369/tid=8373] ppid=8363 vsize=358896 CPUtime=0 cores=0,2,4,6
/proc/8369/task/8373/stat : 8373 (python) S 8363 8363 2614 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338670211 367509504 6076 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8374] ppid=8363 vsize=359412 CPUtime=0.03 cores=0,2,4,6
/proc/8374/stat : 8374 (python) S 8363 8363 2614 0 -1 4202560 915 0 0 0 2 1 0 0 20 0 1 0 338670213 368037888 6163 33554432000 4194304 5683644 140734422125696 140734422116784 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/8374/statm: 89853 6163 359 364 0 25073 0
[pid=8376] ppid=8374 vsize=7932 CPUtime=29.08 cores=0,2,4,6
/proc/8376/stat : 8376 (clasp-1.3.7-x86) R 8374 8376 8376 0 -1 4202496 2012 0 0 0 2908 0 0 0 20 0 1 0 338670214 8122368 1734 33554432000 134512640 136139019 4290119568 4290118544 134883443 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/8376/statm: 1983 1734 182 398 0 1583 0
[pid=8363/tid=8370] ppid=8361 vsize=435192 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (python) S 8361 8363 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 3 0 338665537 445636608 7713 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8375] ppid=8361 vsize=435192 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8375/stat : 8375 (python) S 8361 8363 2614 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 3 0 338670213 445636608 7713 33554432000 4194304 5683644 140734422125696 140112188699184 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 76.5
Current children cumulated vsize (KiB) 1310396

[startup+83.7004 s]
/proc/loadavg: 2.00 2.01 2.04 3/217 8397
/proc/meminfo: memFree=27999136/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=435192 CPUtime=0.6 cores=0,2,4,6
/proc/8363/stat : 8363 (python) S 8361 8363 2614 0 -1 4202496 11858 1008 1 0 48 12 0 0 20 0 3 0 338665393 445636608 7713 33554432000 4194304 5683644 140734422125696 140734422120528 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8363/statm: 108798 7713 1903 364 0 44018 0
[pid=8369] ppid=8363 vsize=358896 CPUtime=0.07 cores=0,2,4,6
/proc/8369/stat : 8369 (python) S 8363 8363 2614 0 -1 4202560 1141 0 0 0 4 3 0 0 20 0 2 0 338665537 367509504 6076 33554432000 4194304 5683644 140734422125696 140734422117344 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8369/statm: 89724 6076 397 364 0 24947 0
[pid=8371] ppid=8369 vsize=148964 CPUtime=46.72 cores=0,2,4,6
/proc/8371/stat : 8371 (scip-2.0.1.linu) T 8369 8371 8371 0 -1 4202496 45381 0 0 0 4633 39 0 0 20 0 1 0 338665537 152539136 33280 33554432000 4194304 15243407 140734755686464 140734755680856 6958457 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/8371/statm: 37241 33280 949 2698 0 34536 0
[pid=8369/tid=8373] ppid=8363 vsize=358896 CPUtime=0 cores=0,2,4,6
/proc/8369/task/8373/stat : 8373 (python) S 8363 8363 2614 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338670211 367509504 6076 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8374] ppid=8363 vsize=359412 CPUtime=0.05 cores=0,2,4,6
/proc/8374/stat : 8374 (python) S 8363 8363 2614 0 -1 4202560 919 0 0 0 3 2 0 0 20 0 1 0 338670213 368037888 6163 33554432000 4194304 5683644 140734422125696 140734422116784 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/8374/statm: 89853 6163 359 364 0 25073 0
[pid=8376] ppid=8374 vsize=8168 CPUtime=35.48 cores=0,2,4,6
/proc/8376/stat : 8376 (clasp-1.3.7-x86) R 8374 8376 8376 0 -1 4202496 2071 0 0 0 3548 0 0 0 20 0 1 0 338670214 8364032 1793 33554432000 134512640 136139019 4290119568 4290118448 134742406 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/8376/statm: 2042 1793 182 398 0 1642 0
[pid=8363/tid=8370] ppid=8361 vsize=435192 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (python) S 8361 8363 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 3 0 338665537 445636608 7713 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8375] ppid=8361 vsize=435192 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8375/stat : 8375 (python) S 8361 8363 2614 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 3 0 338670213 445636608 7713 33554432000 4194304 5683644 140734422125696 140112188699184 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 82.92
Current children cumulated vsize (KiB) 1310632

[startup+90.1004 s]
/proc/loadavg: 2.00 2.01 2.04 3/217 8397
/proc/meminfo: memFree=28007388/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=435192 CPUtime=0.6 cores=0,2,4,6
/proc/8363/stat : 8363 (python) S 8361 8363 2614 0 -1 4202496 11858 1008 1 0 48 12 0 0 20 0 3 0 338665393 445636608 7713 33554432000 4194304 5683644 140734422125696 140734422120528 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8363/statm: 108798 7713 1903 364 0 44018 0
[pid=8369] ppid=8363 vsize=358896 CPUtime=0.07 cores=0,2,4,6
/proc/8369/stat : 8369 (python) S 8363 8363 2614 0 -1 4202560 1141 0 0 0 4 3 0 0 20 0 2 0 338665537 367509504 6076 33554432000 4194304 5683644 140734422125696 140734422117344 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8369/statm: 89724 6076 397 364 0 24947 0
[pid=8371] ppid=8369 vsize=148964 CPUtime=46.72 cores=0,2,4,6
/proc/8371/stat : 8371 (scip-2.0.1.linu) T 8369 8371 8371 0 -1 4202496 45381 0 0 0 4633 39 0 0 20 0 1 0 338665537 152539136 33280 33554432000 4194304 15243407 140734755686464 140734755680856 6958457 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/8371/statm: 37241 33280 949 2698 0 34536 0
[pid=8369/tid=8373] ppid=8363 vsize=358896 CPUtime=0 cores=0,2,4,6
/proc/8369/task/8373/stat : 8373 (python) S 8363 8363 2614 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338670211 367509504 6076 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8374] ppid=8363 vsize=359412 CPUtime=0.06 cores=0,2,4,6
/proc/8374/stat : 8374 (python) S 8363 8363 2614 0 -1 4202560 921 0 0 0 3 3 0 0 20 0 1 0 338670213 368037888 6163 33554432000 4194304 5683644 140734422125696 140734422116784 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/8374/statm: 89853 6163 359 364 0 25073 0
[pid=8376] ppid=8374 vsize=8384 CPUtime=41.87 cores=0,2,4,6
/proc/8376/stat : 8376 (clasp-1.3.7-x86) R 8374 8376 8376 0 -1 4202496 2114 0 0 0 4187 0 0 0 20 0 1 0 338670214 8585216 1836 33554432000 134512640 136139019 4290119568 4290118544 134883401 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/8376/statm: 2096 1836 182 398 0 1696 0
[pid=8363/tid=8370] ppid=8361 vsize=435192 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (python) S 8361 8363 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 3 0 338665537 445636608 7713 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8375] ppid=8361 vsize=435192 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8375/stat : 8375 (python) S 8361 8363 2614 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 3 0 338670213 445636608 7713 33554432000 4194304 5683644 140734422125696 140112188699184 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 89.32
Current children cumulated vsize (KiB) 1310848

[startup+91.7005 s]
/proc/loadavg: 2.00 2.01 2.04 3/217 8397
/proc/meminfo: memFree=28007264/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=435192 CPUtime=0.6 cores=0,2,4,6
/proc/8363/stat : 8363 (python) S 8361 8363 2614 0 -1 4202496 11858 1008 1 0 48 12 0 0 20 0 3 0 338665393 445636608 7713 33554432000 4194304 5683644 140734422125696 140734422120528 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8363/statm: 108798 7713 1903 364 0 44018 0
[pid=8369] ppid=8363 vsize=358896 CPUtime=0.07 cores=0,2,4,6
/proc/8369/stat : 8369 (python) S 8363 8363 2614 0 -1 4202560 1141 0 0 0 4 3 0 0 20 0 2 0 338665537 367509504 6076 33554432000 4194304 5683644 140734422125696 140734422117344 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8369/statm: 89724 6076 397 364 0 24947 0
[pid=8371] ppid=8369 vsize=148964 CPUtime=46.72 cores=0,2,4,6
/proc/8371/stat : 8371 (scip-2.0.1.linu) T 8369 8371 8371 0 -1 4202496 45381 0 0 0 4633 39 0 0 20 0 1 0 338665537 152539136 33280 33554432000 4194304 15243407 140734755686464 140734755680856 6958457 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/8371/statm: 37241 33280 949 2698 0 34536 0
[pid=8369/tid=8373] ppid=8363 vsize=358896 CPUtime=0 cores=0,2,4,6
/proc/8369/task/8373/stat : 8373 (python) S 8363 8363 2614 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338670211 367509504 6076 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8374] ppid=8363 vsize=359412 CPUtime=0.07 cores=0,2,4,6
/proc/8374/stat : 8374 (python) S 8363 8363 2614 0 -1 4202560 923 0 0 0 4 3 0 0 20 0 1 0 338670213 368037888 6163 33554432000 4194304 5683644 140734422125696 140734422116784 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/8374/statm: 89853 6163 359 364 0 25073 0
[pid=8376] ppid=8374 vsize=8776 CPUtime=43.47 cores=0,2,4,6
/proc/8376/stat : 8376 (clasp-1.3.7-x86) R 8374 8376 8376 0 -1 4202496 2215 0 0 0 4347 0 0 0 20 0 1 0 338670214 8986624 1937 33554432000 134512640 136139019 4290119568 4290118244 135529895 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/8376/statm: 2194 1937 182 398 0 1794 0
[pid=8363/tid=8370] ppid=8361 vsize=435192 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (python) S 8361 8363 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 3 0 338665537 445636608 7713 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8375] ppid=8361 vsize=435192 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8375/stat : 8375 (python) S 8361 8363 2614 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 3 0 338670213 445636608 7713 33554432000 4194304 5683644 140734422125696 140112188699184 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 90.93
Current children cumulated vsize (KiB) 1311240

[startup+92.5005 s]
/proc/loadavg: 2.00 2.01 2.04 3/217 8397
/proc/meminfo: memFree=28012708/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=435192 CPUtime=0.6 cores=0,2,4,6
/proc/8363/stat : 8363 (python) S 8361 8363 2614 0 -1 4202496 11858 1008 1 0 48 12 0 0 20 0 3 0 338665393 445636608 7713 33554432000 4194304 5683644 140734422125696 140734422120528 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8363/statm: 108798 7713 1903 364 0 44018 0
[pid=8369] ppid=8363 vsize=358896 CPUtime=0.07 cores=0,2,4,6
/proc/8369/stat : 8369 (python) S 8363 8363 2614 0 -1 4202560 1141 0 0 0 4 3 0 0 20 0 2 0 338665537 367509504 6076 33554432000 4194304 5683644 140734422125696 140734422117344 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8369/statm: 89724 6076 397 364 0 24947 0
[pid=8371] ppid=8369 vsize=148964 CPUtime=46.72 cores=0,2,4,6
/proc/8371/stat : 8371 (scip-2.0.1.linu) T 8369 8371 8371 0 -1 4202496 45381 0 0 0 4633 39 0 0 20 0 1 0 338665537 152539136 33280 33554432000 4194304 15243407 140734755686464 140734755680856 6958457 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/8371/statm: 37241 33280 949 2698 0 34536 0
[pid=8369/tid=8373] ppid=8363 vsize=358896 CPUtime=0 cores=0,2,4,6
/proc/8369/task/8373/stat : 8373 (python) S 8363 8363 2614 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338670211 367509504 6076 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8374] ppid=8363 vsize=359412 CPUtime=0.07 cores=0,2,4,6
/proc/8374/stat : 8374 (python) S 8363 8363 2614 0 -1 4202560 923 0 0 0 4 3 0 0 20 0 1 0 338670213 368037888 6163 33554432000 4194304 5683644 140734422125696 140734422116784 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/8374/statm: 89853 6163 359 364 0 25073 0
[pid=8376] ppid=8374 vsize=9164 CPUtime=44.27 cores=0,2,4,6
/proc/8376/stat : 8376 (clasp-1.3.7-x86) R 8374 8376 8376 0 -1 4202496 2323 0 0 0 4427 0 0 0 20 0 1 0 338670214 9383936 2045 33554432000 134512640 136139019 4290119568 4290118400 134832159 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/8376/statm: 2291 2045 182 398 0 1891 0
[pid=8363/tid=8370] ppid=8361 vsize=435192 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (python) S 8361 8363 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 3 0 338665537 445636608 7713 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8375] ppid=8361 vsize=435192 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8375/stat : 8375 (python) S 8361 8363 2614 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 3 0 338670213 445636608 7713 33554432000 4194304 5683644 140734422125696 140112188699184 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 91.73
Current children cumulated vsize (KiB) 1311628

[startup+93.3005 s]
/proc/loadavg: 2.00 2.01 2.04 3/217 8397
/proc/meminfo: memFree=28012460/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=435192 CPUtime=0.6 cores=0,2,4,6
/proc/8363/stat : 8363 (python) S 8361 8363 2614 0 -1 4202496 11858 1008 1 0 48 12 0 0 20 0 3 0 338665393 445636608 7713 33554432000 4194304 5683644 140734422125696 140734422120528 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8363/statm: 108798 7713 1903 364 0 44018 0
[pid=8369] ppid=8363 vsize=358896 CPUtime=0.07 cores=0,2,4,6
/proc/8369/stat : 8369 (python) S 8363 8363 2614 0 -1 4202560 1141 0 0 0 4 3 0 0 20 0 2 0 338665537 367509504 6076 33554432000 4194304 5683644 140734422125696 140734422117344 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8369/statm: 89724 6076 397 364 0 24947 0
[pid=8371] ppid=8369 vsize=148964 CPUtime=46.72 cores=0,2,4,6
/proc/8371/stat : 8371 (scip-2.0.1.linu) T 8369 8371 8371 0 -1 4202496 45381 0 0 0 4633 39 0 0 20 0 1 0 338665537 152539136 33280 33554432000 4194304 15243407 140734755686464 140734755680856 6958457 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/8371/statm: 37241 33280 949 2698 0 34536 0
[pid=8369/tid=8373] ppid=8363 vsize=358896 CPUtime=0 cores=0,2,4,6
/proc/8369/task/8373/stat : 8373 (python) S 8363 8363 2614 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338670211 367509504 6076 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8374] ppid=8363 vsize=359412 CPUtime=0.07 cores=0,2,4,6
/proc/8374/stat : 8374 (python) S 8363 8363 2614 0 -1 4202560 923 0 0 0 4 3 0 0 20 0 1 0 338670213 368037888 6163 33554432000 4194304 5683644 140734422125696 140734422116784 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/8374/statm: 89853 6163 359 364 0 25073 0
[pid=8376] ppid=8374 vsize=9164 CPUtime=45.07 cores=0,2,4,6
/proc/8376/stat : 8376 (clasp-1.3.7-x86) R 8374 8376 8376 0 -1 4202496 2323 0 0 0 4507 0 0 0 20 0 1 0 338670214 9383936 2045 33554432000 134512640 136139019 4290119568 4290118548 134883821 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/8376/statm: 2291 2045 182 398 0 1891 0
[pid=8363/tid=8370] ppid=8361 vsize=435192 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (python) S 8361 8363 2614 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 3 0 338665537 445636608 7713 33554432000 4194304 5683644 140734422125696 140112199189040 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8375] ppid=8361 vsize=435192 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8375/stat : 8375 (python) S 8361 8363 2614 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 3 0 338670213 445636608 7713 33554432000 4194304 5683644 140734422125696 140112188699184 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 92.53
Current children cumulated vsize (KiB) 1311628

[startup+93.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/217 8397
/proc/meminfo: memFree=28012460/32873844 swapFree=7116/7116
[pid=8363] ppid=8361 vsize=435156 CPUtime=92.76 cores=0,2,4,6
/proc/8363/stat : 8363 (python) R 8361 8363 2614 0 -1 4202496 16424 51442 1 0 50 12 9166 48 20 0 1 0 338665393 445599744 7713 33554432000 4194304 5683644 140734422125696 140734422124600 4510437 0 0 16781312 0 0 0 0 17 6 0 0 0 0 0
/proc/8363/statm: 108789 7713 1900 364 0 44018 0
Current children cumulated CPU time (s) 92.76
Current children cumulated vsize (KiB) 435156

Child status: 0
Real time (s): 93.5039
CPU time (s): 92.7839
CPU user time (s): 92.177
CPU system time (s): 0.606907
CPU usage (%): 99.23
Max. virtual memory (cumulated for all children) (KiB): 1311628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.177
system time used= 0.606907
maximum resident set size= 156472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68010
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2233
involuntary context switches= 173

runsolver used 0.202969 second user time and 0.564914 second system time

The end