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-3742642-1338725329/watcher-3742642-1338725329 -o /tmp/evaluation-result-3742642-1338725329/solver-3742642-1338725329 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3742642-1338725329.opb -seed 1779354249 -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.97 2.00 2.01 3/179 3325
/proc/meminfo: memFree=26870428/32873648 swapFree=7120/7120
[pid=3325] ppid=3323 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/3325/stat : 3325 (python) R 3323 3325 27000 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 338660344 15749120 631 33554432000 4194304 5683644 140736843794032 140736843738760 219513962165 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/3325/statm: 3845 631 334 364 0 287 0
[startup+0.055389 s]
/proc/loadavg: 1.97 2.00 2.01 3/179 3325
/proc/meminfo: memFree=26870428/32873648 swapFree=7120/7120
[pid=3325] ppid=3323 vsize=34436 CPUtime=0.03 cores=0,2,4,6
/proc/3325/stat : 3325 (python) R 3323 3325 27000 0 -1 4202496 1672 0 0 0 3 0 0 0 20 0 1 0 338660344 35262464 1376 33554432000 4194304 5683644 140736843794032 140736843712296 219513631403 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/3325/statm: 8657 1377 457 364 0 950 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 34436
[startup+0.100188 s]
/proc/loadavg: 1.97 2.00 2.01 3/179 3325
/proc/meminfo: memFree=26870428/32873648 swapFree=7120/7120
[pid=3325] ppid=3323 vsize=94456 CPUtime=0.06 cores=0,2,4,6
/proc/3325/stat : 3325 (python) R 3323 3325 27000 0 -1 4202496 3445 1010 1 0 5 1 0 0 20 0 1 0 338660344 96722944 2546 33554432000 4194304 5683644 140736843794032 140736843746504 5178064 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3325/statm: 23614 2546 820 364 0 1620 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94456
[startup+0.300209 s]
/proc/loadavg: 1.97 2.00 2.01 3/179 3325
/proc/meminfo: memFree=26870428/32873648 swapFree=7120/7120
[pid=3325] ppid=3323 vsize=169020 CPUtime=0.22 cores=0,2,4,6
/proc/3325/stat : 3325 (python) R 3323 3325 27000 0 -1 4202496 6604 1010 1 0 17 5 0 0 20 0 1 0 338660344 173076480 4390 33554432000 4194304 5683644 140736843794032 140736843717656 219504742785 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3325/statm: 42255 4391 1252 364 0 3290 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 169020
[startup+0.700184 s]
/proc/loadavg: 1.97 2.00 2.01 3/179 3325
/proc/meminfo: memFree=26870428/32873648 swapFree=7120/7120
[pid=3325] ppid=3323 vsize=358976 CPUtime=0.55 cores=0,2,4,6
/proc/3325/stat : 3325 (python) S 3323 3325 27000 0 -1 4202496 10923 1010 1 0 46 9 0 0 20 0 2 0 338660344 367591424 7603 33554432000 4194304 5683644 140736843794032 140736843788864 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3325/statm: 89744 7603 1900 364 0 24967 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 358976
[startup+1.50032 s]
/proc/loadavg: 1.97 2.00 2.01 3/183 3333
/proc/meminfo: memFree=26789924/32873648 swapFree=7120/7120
[pid=3325] ppid=3323 vsize=358976 CPUtime=0.55 cores=0,2,4,6
/proc/3325/stat : 3325 (python) S 3323 3325 27000 0 -1 4202496 10923 1010 1 0 46 9 0 0 20 0 2 0 338660344 367591424 7603 33554432000 4194304 5683644 140736843794032 140736843788864 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3325/statm: 89744 7603 1900 364 0 24967 0
[pid=3331] ppid=3325 vsize=283196 CPUtime=0 cores=0,2,4,6
/proc/3331/stat : 3331 (python) S 3325 3325 27000 0 -1 4202560 769 0 0 0 0 0 0 0 20 0 1 0 338660410 289992704 6038 33554432000 4194304 5683644 140736843794032 140736843785120 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 4 0 0 0 0 0
/proc/3331/statm: 70799 6038 341 364 0 6022 0
[pid=3333] ppid=3331 vsize=71524 CPUtime=0.83 cores=0,2,4,6
/proc/3333/stat : 3333 (scip-2.0.1.linu) R 3331 3333 3333 0 -1 4202496 15041 0 0 0 80 3 0 0 20 0 1 0 338660411 73240576 14438 33554432000 4194304 15243407 140733516645280 140733516641592 13277498 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3333/statm: 17881 14438 689 2698 0 15176 0
[pid=3325/tid=3332] ppid=3323 vsize=358976 CPUtime=0 cores=0,2,4,6
/proc/3325/task/3332/stat : 3332 (python) S 3323 3325 27000 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 338660410 367591424 7603 33554432000 4194304 5683644 140736843794032 140515952058928 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 713696
[startup+3.10035 s]
/proc/loadavg: 1.97 2.00 2.01 3/183 3333
/proc/meminfo: memFree=26758552/32873648 swapFree=7120/7120
[pid=3325] ppid=3323 vsize=358976 CPUtime=0.55 cores=0,2,4,6
/proc/3325/stat : 3325 (python) S 3323 3325 27000 0 -1 4202496 10923 1010 1 0 46 9 0 0 20 0 2 0 338660344 367591424 7603 33554432000 4194304 5683644 140736843794032 140736843788864 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3325/statm: 89744 7603 1900 364 0 24967 0
[pid=3331] ppid=3325 vsize=283196 CPUtime=0 cores=0,2,4,6
/proc/3331/stat : 3331 (python) S 3325 3325 27000 0 -1 4202560 773 0 0 0 0 0 0 0 20 0 1 0 338660410 289992704 6038 33554432000 4194304 5683644 140736843794032 140736843785120 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 4 0 0 0 0 0
/proc/3331/statm: 70799 6038 341 364 0 6022 0
[pid=3333] ppid=3331 vsize=93360 CPUtime=2.42 cores=0,2,4,6
/proc/3333/stat : 3333 (scip-2.0.1.linu) R 3331 3333 3333 0 -1 4202496 20484 0 0 0 236 6 0 0 20 0 1 0 338660411 95600640 19881 33554432000 4194304 15243407 140733516645280 140733516641592 4557526 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3333/statm: 23340 19881 693 2698 0 20635 0
[pid=3325/tid=3332] ppid=3323 vsize=358976 CPUtime=0 cores=0,2,4,6
/proc/3325/task/3332/stat : 3332 (python) S 3323 3325 27000 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 338660410 367591424 7603 33554432000 4194304 5683644 140736843794032 140515952058928 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 735532
[startup+6.30041 s]
/proc/loadavg: 2.06 2.01 2.01 3/183 3333
/proc/meminfo: memFree=26711224/32873648 swapFree=7120/7120
[pid=3325] ppid=3323 vsize=358976 CPUtime=0.55 cores=0,2,4,6
/proc/3325/stat : 3325 (python) S 3323 3325 27000 0 -1 4202496 10923 1010 1 0 46 9 0 0 20 0 2 0 338660344 367591424 7603 33554432000 4194304 5683644 140736843794032 140736843788864 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3325/statm: 89744 7603 1900 364 0 24967 0
[pid=3331] ppid=3325 vsize=283196 CPUtime=0 cores=0,2,4,6
/proc/3331/stat : 3331 (python) S 3325 3325 27000 0 -1 4202560 893 0 0 0 0 0 0 0 20 0 1 0 338660410 289992704 6061 33554432000 4194304 5683644 140736843794032 140736843785120 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3331/statm: 70799 6061 364 364 0 6022 0
[pid=3333] ppid=3331 vsize=124392 CPUtime=5.62 cores=0,2,4,6
/proc/3333/stat : 3333 (scip-2.0.1.linu) R 3331 3333 3333 0 -1 4202496 28298 0 0 0 550 12 0 0 20 0 1 0 338660411 127377408 27695 33554432000 4194304 15243407 140733516645280 140733516641592 6707908 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/3333/statm: 31098 27695 693 2698 0 28393 0
[pid=3325/tid=3332] ppid=3323 vsize=358976 CPUtime=0 cores=0,2,4,6
/proc/3325/task/3332/stat : 3332 (python) S 3323 3325 27000 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 338660410 367591424 7603 33554432000 4194304 5683644 140736843794032 140515952058928 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 766564
[startup+12.7003 s]
/proc/loadavg: 2.05 2.01 2.01 3/183 3333
/proc/meminfo: memFree=26670860/32873648 swapFree=7120/7120
[pid=3325] ppid=3323 vsize=358976 CPUtime=0.55 cores=0,2,4,6
/proc/3325/stat : 3325 (python) S 3323 3325 27000 0 -1 4202496 10923 1010 1 0 46 9 0 0 20 0 2 0 338660344 367591424 7603 33554432000 4194304 5683644 140736843794032 140736843788864 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3325/statm: 89744 7603 1900 364 0 24967 0
[pid=3331] ppid=3325 vsize=283196 CPUtime=0.01 cores=0,2,4,6
/proc/3331/stat : 3331 (python) S 3325 3325 27000 0 -1 4202560 991 0 0 0 1 0 0 0 20 0 1 0 338660410 289992704 6066 33554432000 4194304 5683644 140736843794032 140736843785120 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3331/statm: 70799 6066 369 364 0 6022 0
[pid=3333] ppid=3331 vsize=147172 CPUtime=12.02 cores=0,2,4,6
/proc/3333/stat : 3333 (scip-2.0.1.linu) R 3331 3333 3333 0 -1 4202496 33816 0 0 0 1170 32 0 0 20 0 1 0 338660411 150704128 33188 33554432000 4194304 15243407 140733516645280 140733516640424 13354455 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/3333/statm: 36793 33188 888 2698 0 34088 0
[pid=3325/tid=3332] ppid=3323 vsize=358976 CPUtime=0 cores=0,2,4,6
/proc/3325/task/3332/stat : 3332 (python) S 3323 3325 27000 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 338660410 367591424 7603 33554432000 4194304 5683644 140736843794032 140515952058928 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 789344
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.01 3/183 3333
/proc/meminfo: memFree=26667480/32873648 swapFree=7120/7120
[pid=3325] ppid=3323 vsize=358976 CPUtime=0.55 cores=0,2,4,6
/proc/3325/stat : 3325 (python) S 3323 3325 27000 0 -1 4202496 10923 1010 1 0 46 9 0 0 20 0 2 0 338660344 367591424 7603 33554432000 4194304 5683644 140736843794032 140736843788864 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3325/statm: 89744 7603 1900 364 0 24967 0
[pid=3331] ppid=3325 vsize=283196 CPUtime=0.03 cores=0,2,4,6
/proc/3331/stat : 3331 (python) S 3325 3325 27000 0 -1 4202560 1001 0 0 0 2 1 0 0 20 0 1 0 338660410 289992704 6066 33554432000 4194304 5683644 140736843794032 140736843785120 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/3331/statm: 70799 6066 369 364 0 6022 0
[pid=3333] ppid=3331 vsize=151068 CPUtime=24.82 cores=0,2,4,6
/proc/3333/stat : 3333 (scip-2.0.1.linu) R 3331 3333 3333 0 -1 4202496 41411 0 0 0 2444 38 0 0 20 0 1 0 338660411 154693632 33449 33554432000 4194304 15243407 140733516645280 140733516639672 13354455 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/3333/statm: 37767 33449 949 2698 0 35062 0
[pid=3325/tid=3332] ppid=3323 vsize=358976 CPUtime=0 cores=0,2,4,6
/proc/3325/task/3332/stat : 3332 (python) S 3323 3325 27000 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 338660410 367591424 7603 33554432000 4194304 5683644 140736843794032 140515952058928 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 793240
[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.01 3/191 3341
/proc/meminfo: memFree=26652788/32873648 swapFree=7120/7120
[pid=3325] ppid=3323 vsize=435272 CPUtime=0.57 cores=0,2,4,6
/proc/3325/stat : 3325 (python) S 3323 3325 27000 0 -1 4202496 11863 1010 1 0 48 9 0 0 20 0 3 0 338660344 445718528 7739 33554432000 4194304 5683644 140736843794032 140736843788864 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3325/statm: 108818 7739 1903 364 0 44038 0
[pid=3331] ppid=3325 vsize=358976 CPUtime=0.07 cores=0,2,4,6
/proc/3331/stat : 3331 (python) S 3325 3325 27000 0 -1 4202560 1151 0 0 0 4 3 0 0 20 0 2 0 338660410 367591424 6101 33554432000 4194304 5683644 140736843794032 140736843785680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3331/statm: 89744 6101 397 364 0 24967 0
[pid=3333] ppid=3331 vsize=152112 CPUtime=46.18 cores=0,2,4,6
/proc/3333/stat : 3333 (scip-2.0.1.linu) T 3331 3333 3333 0 -1 4202496 46465 0 0 0 4576 42 0 0 20 0 1 0 338660411 155762688 33522 33554432000 4194304 15243407 140733516645280 140733516639672 8113766 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/3333/statm: 38028 33522 949 2698 0 35323 0
[pid=3331/tid=3338] ppid=3325 vsize=358976 CPUtime=0 cores=0,2,4,6
/proc/3331/task/3338/stat : 3338 (python) S 3325 3325 27000 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338665032 367591424 6101 33554432000 4194304 5683644 140736843794032 140515952058928 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3339] ppid=3325 vsize=359492 CPUtime=0 cores=0,2,4,6
/proc/3339/stat : 3339 (python) S 3325 3325 27000 0 -1 4202560 904 0 0 0 0 0 0 0 20 0 1 0 338665034 368119808 6188 33554432000 4194304 5683644 140736843794032 140736843785120 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/3339/statm: 89873 6188 358 364 0 25093 0
[pid=3341] ppid=3339 vsize=5216 CPUtime=4.19 cores=0,2,4,6
/proc/3341/stat : 3341 (clasp-1.3.7-x86) R 3339 3341 3341 0 -1 4202496 1326 0 0 0 419 0 0 0 20 0 1 0 338665034 5341184 1046 33554432000 134512640 136139019 4294182672 4294181648 134883704 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/3341/statm: 1304 1046 182 398 0 904 0
[pid=3325/tid=3332] ppid=3323 vsize=435272 CPUtime=0 cores=0,2,4,6
/proc/3325/task/3332/stat : 3332 (python) S 3323 3325 27000 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 3 0 338660410 445718528 7739 33554432000 4194304 5683644 140736843794032 140515952058928 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3325/tid=3340] ppid=3323 vsize=435272 CPUtime=0 cores=0,2,4,6
/proc/3325/task/3340/stat : 3340 (python) S 3323 3325 27000 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 3 0 338665034 445718528 7739 33554432000 4194304 5683644 140736843794032 140515941569072 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 1311068
[startup+102.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/192 3394
/proc/meminfo: memFree=26502916/32873648 swapFree=7120/7120
[pid=3325] ppid=3323 vsize=511064 CPUtime=0.6 cores=0,2,4,6
/proc/3325/stat : 3325 (python) S 3323 3325 27000 0 -1 4202496 12760 1010 1 0 51 9 0 0 20 0 4 0 338660344 523329536 7747 33554432000 4194304 5683644 140736843794032 140736843788864 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3325/statm: 127766 7747 1905 364 0 62983 0
[pid=3331] ppid=3325 vsize=358976 CPUtime=0.07 cores=0,2,4,6
/proc/3331/stat : 3331 (python) S 3325 3325 27000 0 -1 4202560 1151 0 0 0 4 3 0 0 20 0 2 0 338660410 367591424 6101 33554432000 4194304 5683644 140736843794032 140736843785680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3331/statm: 89744 6101 397 364 0 24967 0
[pid=3333] ppid=3331 vsize=152112 CPUtime=46.18 cores=0,2,4,6
/proc/3333/stat : 3333 (scip-2.0.1.linu) T 3331 3333 3333 0 -1 4202496 46465 0 0 0 4576 42 0 0 20 0 1 0 338660411 155762688 33522 33554432000 4194304 15243407 140733516645280 140733516639672 8113766 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/3333/statm: 38028 33522 949 2698 0 35323 0
[pid=3331/tid=3338] ppid=3325 vsize=358976 CPUtime=0 cores=0,2,4,6
/proc/3331/task/3338/stat : 3338 (python) S 3325 3325 27000 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338665032 367591424 6101 33554432000 4194304 5683644 140736843794032 140515952058928 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3339] ppid=3325 vsize=359492 CPUtime=0.06 cores=0,2,4,6
/proc/3339/stat : 3339 (python) S 3325 3325 27000 0 -1 4202560 1086 0 0 0 3 3 0 0 20 0 2 0 338665034 368119808 6215 33554432000 4194304 5683644 140736843794032 140736843785680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3339/statm: 89873 6215 384 364 0 25093 0
[pid=3341] ppid=3339 vsize=10908 CPUtime=47.1 cores=0,2,4,6
/proc/3341/stat : 3341 (clasp-1.3.7-x86) T 3339 3341 3341 0 -1 4202496 2764 0 0 0 4710 0 0 0 20 0 1 0 338665034 11169792 2484 33554432000 134512640 136139019 4294182672 4294181652 134883821 0 0 16781312 16386 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/3341/statm: 2727 2484 182 398 0 2327 0
[pid=3339/tid=3391] ppid=3325 vsize=359492 CPUtime=0 cores=0,2,4,6
/proc/3339/task/3391/stat : 3391 (python) S 3325 3325 27000 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 338669746 368119808 6215 33554432000 4194304 5683644 140736843794032 140515952058928 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3392] ppid=3325 vsize=435284 CPUtime=0 cores=0,2,4,6
/proc/3392/stat : 3392 (python) S 3325 3325 27000 0 -1 4202560 931 0 0 0 0 0 0 0 20 0 1 0 338669749 445730816 6195 33554432000 4194304 5683644 140736843794032 140736843785120 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
################
# More data... #
################
/proc/3339/task/3391/stat : 3391 (python) S 3325 3325 27000 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 338669746 368119808 6224 33554432000 4194304 5683644 140736843794032 140515952058928 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3392] ppid=3325 vsize=435284 CPUtime=0.07 cores=0,2,4,6
/proc/3392/stat : 3392 (python) S 3325 3325 27000 0 -1 4202560 1118 0 0 0 4 3 0 0 20 0 2 0 338669749 445730816 6221 33554432000 4194304 5683644 140736843794032 140736843785680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3392/statm: 108821 6221 384 364 0 44038 0
[pid=3394] ppid=3392 vsize=170488 CPUtime=48.37 cores=0,2,4,6
/proc/3394/stat : 3394 (scip-2.0.1.linu) T 3392 3394 3394 0 -1 4202496 42577 0 0 0 4785 52 0 0 20 0 1 0 338669749 174579712 40765 33554432000 4194304 13684479 140737346575824 140737346569896 7266909 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/3394/statm: 42622 40765 814 2317 0 40300 0
[pid=3392/tid=3445] ppid=3325 vsize=435284 CPUtime=0 cores=0,2,4,6
/proc/3392/task/3445/stat : 3445 (python) S 3325 3325 27000 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338674588 445730816 6221 33554432000 4194304 5683644 140736843794032 140515941569072 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3496] ppid=3325 vsize=511076 CPUtime=0.07 cores=0,2,4,6
/proc/3496/stat : 3496 (python) S 3325 3325 27000 0 -1 4202560 1120 0 0 0 4 3 0 0 20 0 2 0 338679141 523341824 6227 33554432000 4194304 5683644 140736843794032 140736843785680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3496/statm: 127769 6227 384 364 0 62983 0
[pid=3498] ppid=3496 vsize=82968 CPUtime=47.25 cores=0,2,4,6
/proc/3498/stat : 3498 (minion) T 3496 3498 3498 0 -1 4202496 6923 0 0 0 4724 1 0 0 20 0 1 0 338679141 84959232 13464 33554432000 134512640 165565024 4288457840 4288455088 142765004 0 0 16781312 8396802 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/3498/statm: 20742 13464 336 7582 0 13157 0
[pid=3496/tid=3503] ppid=3325 vsize=511076 CPUtime=0 cores=0,2,4,6
/proc/3496/task/3503/stat : 3503 (python) S 3325 3325 27000 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 2 0 338683868 523341824 6227 33554432000 4194304 5683644 140736843794032 140515931079216 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3504] ppid=3325 vsize=586868 CPUtime=0.08 cores=0,2,4,6
/proc/3504/stat : 3504 (python) S 3325 3325 27000 0 -1 4202560 1116 0 0 0 4 4 0 0 20 0 2 0 338683870 600952832 6233 33554432000 4194304 5683644 140736843794032 140736843785680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3504/statm: 146717 6233 384 364 0 81928 0
[pid=3506] ppid=3504 vsize=53684 CPUtime=51.15 cores=0,2,4,6
/proc/3506/stat : 3506 (pbct-0.1.2-linu) T 3504 3506 3506 0 -1 4202496 13504 0 0 0 4655 460 0 0 20 0 1 0 338683871 54972416 12704 33554432000 134512640 136422188 4294631040 4294628764 135874785 0 0 16781312 16387 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/3506/statm: 13421 12704 214 467 0 12952 0
[pid=3504/tid=3512] ppid=3325 vsize=586868 CPUtime=0 cores=0,2,4,6
/proc/3504/task/3512/stat : 3512 (python) S 3325 3325 27000 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338688989 600952832 6233 33554432000 4194304 5683644 140736843794032 140515920589360 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3514] ppid=3325 vsize=662660 CPUtime=0.08 cores=0,2,4,6
/proc/3514/stat : 3514 (python) S 3325 3325 27000 0 -1 4202560 1140 0 0 0 4 4 0 0 20 0 2 0 338693908 678563840 6239 33554432000 4194304 5683644 140736843794032 140736843785680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3514/statm: 165665 6239 384 364 0 100873 0
[pid=3516] ppid=3514 vsize=9624972 CPUtime=49.48 cores=0,2,4,6
/proc/3516/stat : 3516 (java) T 3514 3516 3516 0 -1 4202496 17346 0 1 0 4912 36 0 0 20 0 19 0 338693908 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140733943918704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3516/statm: 2406243 423735 2267 9 0 2396937 0
[pid=3516/tid=3517] ppid=3514 vsize=9624972 CPUtime=47.14 cores=0,2,4,6
/proc/3516/task/3517/stat : 3517 (java) T 3514 3516 3516 0 -1 4202560 3629 0 1 0 4691 23 0 0 20 0 19 0 338693909 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413692452112 140413564755711 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3518] ppid=3514 vsize=9624972 CPUtime=0.11 cores=0,2,4,6
/proc/3516/task/3518/stat : 3518 (java) T 3514 3516 3516 0 -1 4202560 219 0 0 0 10 1 0 0 20 0 19 0 338693910 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413536553512 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3519] ppid=3514 vsize=9624972 CPUtime=0.11 cores=0,2,4,6
/proc/3516/task/3519/stat : 3519 (java) T 3514 3516 3516 0 -1 4202560 115 0 0 0 9 2 0 0 20 0 19 0 338693910 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413535500712 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=3516/tid=3520] ppid=3514 vsize=9624972 CPUtime=0.09 cores=0,2,4,6
/proc/3516/task/3520/stat : 3520 (java) T 3514 3516 3516 0 -1 4202560 96 0 0 0 9 0 0 0 20 0 19 0 338693910 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413534447912 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3521] ppid=3514 vsize=9624972 CPUtime=0.12 cores=0,2,4,6
/proc/3516/task/3521/stat : 3521 (java) T 3514 3516 3516 0 -1 4202560 144 0 0 0 10 2 0 0 20 0 19 0 338693910 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413533395112 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3522] ppid=3514 vsize=9624972 CPUtime=0.14 cores=0,2,4,6
/proc/3516/task/3522/stat : 3522 (java) T 3514 3516 3516 0 -1 4202560 40 0 0 0 12 2 0 0 20 0 19 0 338693910 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413532343336 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3523] ppid=3514 vsize=9624972 CPUtime=0.08 cores=0,2,4,6
/proc/3516/task/3523/stat : 3523 (java) T 3514 3516 3516 0 -1 4202560 90 0 0 0 6 2 0 0 20 0 19 0 338693910 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413531290536 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3524] ppid=3514 vsize=9624972 CPUtime=0.12 cores=0,2,4,6
/proc/3516/task/3524/stat : 3524 (java) T 3514 3516 3516 0 -1 4202560 93 0 0 0 10 2 0 0 20 0 19 0 338693910 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413530237736 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3525] ppid=3514 vsize=9624972 CPUtime=0.09 cores=0,2,4,6
/proc/3516/task/3525/stat : 3525 (java) T 3514 3516 3516 0 -1 4202560 188 0 0 0 7 2 0 0 20 0 19 0 338693910 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413529184936 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3526] ppid=3514 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/3516/task/3526/stat : 3526 (java) T 3514 3516 3516 0 -1 4202560 738 0 0 0 0 0 0 0 20 0 19 0 338693912 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413516773864 219517335465 0 0 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=3516/tid=3527] ppid=3514 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/3516/task/3527/stat : 3527 (java) T 3514 3516 3516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338693912 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413515719928 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3528] ppid=3514 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/3516/task/3528/stat : 3528 (java) T 3514 3516 3516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338693912 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413514667016 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3529] ppid=3514 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/3516/task/3529/stat : 3529 (java) T 3514 3516 3516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338693914 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413513615504 219517343520 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3530] ppid=3514 vsize=9624972 CPUtime=0.83 cores=0,2,4,6
/proc/3516/task/3530/stat : 3530 (java) T 3514 3516 3516 0 -1 4202560 6535 0 0 0 83 0 0 0 20 0 19 0 338693914 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413512563640 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=3516/tid=3531] ppid=3514 vsize=9624972 CPUtime=0.51 cores=0,2,4,6
/proc/3516/task/3531/stat : 3531 (java) T 3514 3516 3516 0 -1 4202560 4035 0 0 0 49 2 0 0 20 0 19 0 338693914 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413511510840 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3532] ppid=3514 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/3516/task/3532/stat : 3532 (java) T 3514 3516 3516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338693914 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413510458232 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3533] ppid=3514 vsize=9624972 CPUtime=0.01 cores=0,2,4,6
/proc/3516/task/3533/stat : 3533 (java) T 3514 3516 3516 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 338693914 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413509405640 219517335465 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3534] ppid=3514 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/3516/task/3534/stat : 3534 (java) T 3514 3516 3516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 338693942 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413508322472 219517335465 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3514/tid=3538] ppid=3325 vsize=662660 CPUtime=0 cores=0,2,4,6
/proc/3514/task/3538/stat : 3538 (python) S 3325 3325 27000 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338698655 678563840 6239 33554432000 4194304 5683644 140736843794032 140515910099504 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3325/tid=3332] ppid=3323 vsize=738440 CPUtime=0 cores=0,2,4,6
/proc/3325/task/3332/stat : 3332 (python) S 3323 3325 27000 0 -1 4202560 32 1010 0 0 0 0 0 0 20 0 7 0 338660410 756162560 8279 33554432000 4194304 5683644 140736843794032 140515952058928 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3325/tid=3340] ppid=3323 vsize=738440 CPUtime=0 cores=0,2,4,6
/proc/3325/task/3340/stat : 3340 (python) S 3323 3325 27000 0 -1 4202560 32 1010 0 0 0 0 0 0 20 0 7 0 338665034 756162560 8279 33554432000 4194304 5683644 140736843794032 140515941569072 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3325/tid=3393] ppid=3323 vsize=738440 CPUtime=0 cores=0,2,4,6
/proc/3325/task/3393/stat : 3393 (python) S 3323 3325 27000 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 7 0 338669749 756162560 8279 33554432000 4194304 5683644 140736843794032 140515931079216 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3325/tid=3497] ppid=3323 vsize=738440 CPUtime=0 cores=0,2,4,6
/proc/3325/task/3497/stat : 3497 (python) S 3323 3325 27000 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 7 0 338679141 756162560 8279 33554432000 4194304 5683644 140736843794032 140515920589360 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3325/tid=3505] ppid=3323 vsize=738440 CPUtime=0 cores=0,2,4,6
/proc/3325/task/3505/stat : 3505 (python) S 3323 3325 27000 0 -1 4202560 22 1010 0 0 0 0 0 0 20 0 7 0 338683870 756162560 8279 33554432000 4194304 5683644 140736843794032 140515910099504 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3325/tid=3515] ppid=3323 vsize=738440 CPUtime=0 cores=0,2,4,6
/proc/3325/task/3515/stat : 3515 (python) S 3323 3325 27000 0 -1 4202560 20 1010 0 0 0 0 0 0 20 0 7 0 338693908 756162560 8279 33554432000 4194304 5683644 140736843794032 140515559334448 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 473.28
Current children cumulated vsize (KiB) 13751840
[startup+471.001 s]
/proc/loadavg: 1.86 1.98 1.99 2/213 3567
/proc/meminfo: memFree=24925520/32873648 swapFree=7120/7120
[pid=3325] ppid=3323 vsize=738440 CPUtime=49.57 cores=0,2,4,6
/proc/3325/stat : 3325 (python) S 3323 3325 27000 0 -1 4202496 16565 44727 1 0 101 11 4790 55 20 0 7 0 338660344 756162560 8279 33554432000 4194304 5683644 140736843794032 140736843787712 219517349981 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3325/statm: 184610 8279 1911 364 0 119818 0
[pid=3331] ppid=3325 vsize=358976 CPUtime=0.16 cores=0,2,4,6
/proc/3331/stat : 3331 (python) S 3325 3325 27000 0 -1 4202560 1186 0 0 0 9 7 0 0 20 0 2 0 338660410 367591424 6102 33554432000 4194304 5683644 140736843794032 140736843785680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3331/statm: 89744 6102 398 364 0 24967 0
[pid=3333] ppid=3331 vsize=151548 CPUtime=95.31 cores=0,2,4,6
/proc/3333/stat : 3333 (scip-2.0.1.linu) T 3331 3333 3333 0 -1 4202496 57088 0 0 0 9480 51 0 0 20 0 1 0 338660411 155185152 34607 33554432000 4194304 15243407 140733516645280 140733516639672 8113502 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/3333/statm: 37887 34607 949 2698 0 35182 0
[pid=3331/tid=3338] ppid=3325 vsize=358976 CPUtime=0 cores=0,2,4,6
/proc/3331/task/3338/stat : 3338 (python) S 3325 3325 27000 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338665032 367591424 6102 33554432000 4194304 5683644 140736843794032 140515952058928 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3339] ppid=3325 vsize=0 CPUtime=180.32 cores=0,2,4,6
/proc/3339/stat : 3339 (python) Z 3325 3325 27000 0 -1 4202572 1656 3883 0 0 17 11 18004 0 20 0 1 0 338665034 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3339/statm: 0 0 0 0 0 0 0
[pid=3496] ppid=3325 vsize=0 CPUtime=47.32 cores=0,2,4,6
/proc/3496/stat : 3496 (python) R 3325 3325 27000 0 -1 4202564 1144 6923 0 0 4 3 4724 1 20 0 1 0 338679141 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3496/statm: 0 0 0 0 0 0 0
[pid=3504] ppid=3325 vsize=586868 CPUtime=0.08 cores=0,2,4,6
/proc/3504/stat : 3504 (python) S 3325 3325 27000 0 -1 4202560 1116 0 0 0 4 4 0 0 20 0 2 0 338683870 600952832 6233 33554432000 4194304 5683644 140736843794032 140736843785680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3504/statm: 146717 6233 384 364 0 81928 0
[pid=3506] ppid=3504 vsize=53684 CPUtime=51.15 cores=0,2,4,6
/proc/3506/stat : 3506 (pbct-0.1.2-linu) T 3504 3506 3506 0 -1 4202496 13504 0 0 0 4655 460 0 0 20 0 1 0 338683871 54972416 12704 33554432000 134512640 136422188 4294631040 4294628764 135874785 0 0 16781312 16387 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/3506/statm: 13421 12704 214 467 0 12952 0
[pid=3504/tid=3512] ppid=3325 vsize=586868 CPUtime=0 cores=0,2,4,6
/proc/3504/task/3512/stat : 3512 (python) S 3325 3325 27000 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338688989 600952832 6233 33554432000 4194304 5683644 140736843794032 140515920589360 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3514] ppid=3325 vsize=662660 CPUtime=0.08 cores=0,2,4,6
/proc/3514/stat : 3514 (python) S 3325 3325 27000 0 -1 4202560 1140 0 0 0 4 4 0 0 20 0 2 0 338693908 678563840 6239 33554432000 4194304 5683644 140736843794032 140736843785680 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3514/statm: 165665 6239 384 364 0 100873 0
[pid=3516] ppid=3514 vsize=9624972 CPUtime=49.48 cores=0,2,4,6
/proc/3516/stat : 3516 (java) T 3514 3516 3516 0 -1 4202496 17346 0 1 0 4912 36 0 0 20 0 19 0 338693908 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140733943918704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3516/statm: 2406243 423735 2267 9 0 2396937 0
[pid=3516/tid=3517] ppid=3514 vsize=9624972 CPUtime=47.14 cores=0,2,4,6
/proc/3516/task/3517/stat : 3517 (java) T 3514 3516 3516 0 -1 4202560 3629 0 1 0 4691 23 0 0 20 0 19 0 338693909 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413692452112 140413564755711 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3518] ppid=3514 vsize=9624972 CPUtime=0.11 cores=0,2,4,6
/proc/3516/task/3518/stat : 3518 (java) T 3514 3516 3516 0 -1 4202560 219 0 0 0 10 1 0 0 20 0 19 0 338693910 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413536553512 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3519] ppid=3514 vsize=9624972 CPUtime=0.11 cores=0,2,4,6
/proc/3516/task/3519/stat : 3519 (java) T 3514 3516 3516 0 -1 4202560 115 0 0 0 9 2 0 0 20 0 19 0 338693910 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413535500712 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=3516/tid=3520] ppid=3514 vsize=9624972 CPUtime=0.09 cores=0,2,4,6
/proc/3516/task/3520/stat : 3520 (java) T 3514 3516 3516 0 -1 4202560 96 0 0 0 9 0 0 0 20 0 19 0 338693910 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413534447912 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3521] ppid=3514 vsize=9624972 CPUtime=0.12 cores=0,2,4,6
/proc/3516/task/3521/stat : 3521 (java) T 3514 3516 3516 0 -1 4202560 144 0 0 0 10 2 0 0 20 0 19 0 338693910 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413533395112 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3522] ppid=3514 vsize=9624972 CPUtime=0.14 cores=0,2,4,6
/proc/3516/task/3522/stat : 3522 (java) T 3514 3516 3516 0 -1 4202560 40 0 0 0 12 2 0 0 20 0 19 0 338693910 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413532343336 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3523] ppid=3514 vsize=9624972 CPUtime=0.08 cores=0,2,4,6
/proc/3516/task/3523/stat : 3523 (java) T 3514 3516 3516 0 -1 4202560 90 0 0 0 6 2 0 0 20 0 19 0 338693910 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413531290536 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3524] ppid=3514 vsize=9624972 CPUtime=0.12 cores=0,2,4,6
/proc/3516/task/3524/stat : 3524 (java) T 3514 3516 3516 0 -1 4202560 93 0 0 0 10 2 0 0 20 0 19 0 338693910 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413530237736 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3525] ppid=3514 vsize=9624972 CPUtime=0.09 cores=0,2,4,6
/proc/3516/task/3525/stat : 3525 (java) T 3514 3516 3516 0 -1 4202560 188 0 0 0 7 2 0 0 20 0 19 0 338693910 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413529184936 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3526] ppid=3514 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/3516/task/3526/stat : 3526 (java) T 3514 3516 3516 0 -1 4202560 738 0 0 0 0 0 0 0 20 0 19 0 338693912 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413516773864 219517335465 0 0 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=3516/tid=3527] ppid=3514 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/3516/task/3527/stat : 3527 (java) T 3514 3516 3516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338693912 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413515719928 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3528] ppid=3514 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/3516/task/3528/stat : 3528 (java) T 3514 3516 3516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338693912 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413514667016 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3529] ppid=3514 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/3516/task/3529/stat : 3529 (java) T 3514 3516 3516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338693914 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413513615504 219517343520 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3530] ppid=3514 vsize=9624972 CPUtime=0.83 cores=0,2,4,6
/proc/3516/task/3530/stat : 3530 (java) T 3514 3516 3516 0 -1 4202560 6535 0 0 0 83 0 0 0 20 0 19 0 338693914 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413512563640 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=3516/tid=3531] ppid=3514 vsize=9624972 CPUtime=0.51 cores=0,2,4,6
/proc/3516/task/3531/stat : 3531 (java) T 3514 3516 3516 0 -1 4202560 4035 0 0 0 49 2 0 0 20 0 19 0 338693914 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413511510840 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3532] ppid=3514 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/3516/task/3532/stat : 3532 (java) T 3514 3516 3516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338693914 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413510458232 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3533] ppid=3514 vsize=9624972 CPUtime=0.01 cores=0,2,4,6
/proc/3516/task/3533/stat : 3533 (java) T 3514 3516 3516 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 338693914 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413509405640 219517335465 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3534] ppid=3514 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/3516/task/3534/stat : 3534 (java) T 3514 3516 3516 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 338693942 9855971328 423735 33554432000 1073741824 1073778376 140733943927568 140413508322472 219517335465 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=3514/tid=3538] ppid=3325 vsize=662660 CPUtime=0 cores=0,2,4,6
/proc/3514/task/3538/stat : 3538 (python) S 3325 3325 27000 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338698655 678563840 6239 33554432000 4194304 5683644 140736843794032 140515910099504 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3325/tid=3332] ppid=3323 vsize=738440 CPUtime=95.79 cores=0,2,4,6
/proc/3325/task/3332/stat : 3332 (python) S 3323 3325 27000 0 -1 4202560 32 52794 0 0 0 0 9519 60 20 0 7 0 338660410 756162560 8279 33554432000 4194304 5683644 140736843794032 140515952058928 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3325/tid=3340] ppid=3323 vsize=738440 CPUtime=95.79 cores=0,2,4,6
/proc/3325/task/3340/stat : 3340 (python) S 3323 3325 27000 0 -1 4202560 32 52794 0 0 0 0 9519 60 20 0 7 0 338665034 756162560 8279 33554432000 4194304 5683644 140736843794032 140515941569072 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3325/tid=3393] ppid=3323 vsize=738440 CPUtime=95.79 cores=0,2,4,6
/proc/3325/task/3393/stat : 3393 (python) S 3323 3325 27000 0 -1 4202560 21 52794 0 0 0 0 9519 60 20 0 7 0 338669749 756162560 8279 33554432000 4194304 5683644 140736843794032 140515931079216 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3325/tid=3497] ppid=3323 vsize=738440 CPUtime=95.79 cores=0,2,4,6
/proc/3325/task/3497/stat : 3497 (python) S 3323 3325 27000 0 -1 4202560 21 52794 0 0 0 0 9519 60 20 0 7 0 338679141 756162560 8279 33554432000 4194304 5683644 140736843794032 140515920589360 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3325/tid=3505] ppid=3323 vsize=738440 CPUtime=95.79 cores=0,2,4,6
/proc/3325/task/3505/stat : 3505 (python) S 3323 3325 27000 0 -1 4202560 22 52794 0 0 0 0 9519 60 20 0 7 0 338683870 756162560 8279 33554432000 4194304 5683644 140736843794032 140515910099504 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3325/tid=3515] ppid=3323 vsize=738440 CPUtime=95.79 cores=0,2,4,6
/proc/3325/task/3515/stat : 3515 (python) S 3323 3325 27000 0 -1 4202560 20 52794 0 0 0 0 9519 60 20 0 7 0 338693908 756162560 8279 33554432000 4194304 5683644 140736843794032 140515559334448 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 473.47
Current children cumulated vsize (KiB) 12177148
Child status: 0
Real time (s): 471.048
CPU time (s): 473.72
CPU user time (s): 467.088
CPU system time (s): 6.63199
CPU usage (%): 100.567
Max. virtual memory (cumulated for all children) (KiB): 13751892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 467.088
system time used= 6.63199
maximum resident set size= 1720372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170454
page faults= 2
swaps= 0
block input operations= 0
block output operations= 1208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3828
involuntary context switches= 2598
runsolver used 1.62175 second user time and 4.15637 second system time
The end