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-3739567-1338717931/watcher-3739567-1338717931 -o /tmp/evaluation-result-3739567-1338717931/solver-3739567-1338717931 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3739567-1338717931.opb -seed 1850869759 -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: 2.44 2.12 2.03 3/218 32118
/proc/meminfo: memFree=24343880/32873648 swapFree=7120/7120
[pid=32118] ppid=32116 vsize=15608 CPUtime=0 cores=0,2,4,6
/proc/32118/stat : 32118 (python) R 32116 32118 27000 0 -1 4202496 801 0 0 0 0 0 0 0 20 0 1 0 337920513 15982592 673 33554432000 4194304 5683644 140736703862368 140736703807096 219513631437 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/32118/statm: 3902 684 334 364 0 344 0
[startup+0.0430979 s]
/proc/loadavg: 2.44 2.12 2.03 3/218 32118
/proc/meminfo: memFree=24343880/32873648 swapFree=7120/7120
[pid=32118] ppid=32116 vsize=19084 CPUtime=0.02 cores=0,2,4,6
/proc/32118/stat : 32118 (python) R 32116 32118 27000 0 -1 4202496 1398 0 0 0 2 0 0 0 20 0 1 0 337920513 19542016 1152 33554432000 4194304 5683644 140736703862368 140736703797304 4439516 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/32118/statm: 4771 1152 430 364 0 695 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19084
[startup+0.100226 s]
/proc/loadavg: 2.44 2.12 2.03 3/218 32118
/proc/meminfo: memFree=24343880/32873648 swapFree=7120/7120
[pid=32118] ppid=32116 vsize=92388 CPUtime=0.06 cores=0,2,4,6
/proc/32118/stat : 32118 (python) R 32116 32118 27000 0 -1 4202496 3161 504 1 0 5 1 0 0 20 0 1 0 337920513 94605312 2540 33554432000 4194304 5683644 140736703862368 140736703814840 5293273 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/32118/statm: 23097 2540 816 364 0 1619 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 92388
[startup+0.300206 s]
/proc/loadavg: 2.44 2.12 2.03 3/218 32118
/proc/meminfo: memFree=24343880/32873648 swapFree=7120/7120
[pid=32118] ppid=32116 vsize=166944 CPUtime=0.2 cores=0,2,4,6
/proc/32118/stat : 32118 (python) R 32116 32118 27000 0 -1 4202496 6560 1008 1 0 16 4 0 0 20 0 1 0 337920513 170950656 4351 33554432000 4194304 5683644 140736703862368 140736703766600 4509424 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/32118/statm: 41736 4351 1227 364 0 3289 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 166944
[startup+0.70022 s]
/proc/loadavg: 2.44 2.12 2.03 3/218 32118
/proc/meminfo: memFree=24343880/32873648 swapFree=7120/7120
[pid=32118] ppid=32116 vsize=292532 CPUtime=0.56 cores=0,2,4,6
/proc/32118/stat : 32118 (python) R 32116 32118 27000 0 -1 4202496 12153 1008 1 0 48 8 0 0 20 0 1 0 337920513 299552768 9698 33554432000 4194304 5683644 140736703862368 140736703855320 219513634235 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/32118/statm: 73133 9718 1811 364 0 8362 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 292532
[startup+1.50022 s]
/proc/loadavg: 2.56 2.15 2.04 3/219 32123
/proc/meminfo: memFree=24300904/32873648 swapFree=7120/7120
[pid=32118] ppid=32116 vsize=314556 CPUtime=1.36 cores=0,2,4,6
/proc/32118/stat : 32118 (python) R 32116 32118 27000 0 -1 4202496 21544 1008 1 0 126 10 0 0 20 0 1 0 337920513 322105344 15391 33554432000 4194304 5683644 140736703862368 140736703855608 5102896 0 0 16781312 33554434 0 0 0 17 0 0 0 0 0 0
/proc/32118/statm: 78639 15391 1846 364 0 13868 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 314556
[startup+3.10016 s]
/proc/loadavg: 2.56 2.15 2.04 3/219 32123
/proc/meminfo: memFree=24287516/32873648 swapFree=7120/7120
[pid=32118] ppid=32116 vsize=394304 CPUtime=2.82 cores=0,2,4,6
/proc/32118/stat : 32118 (python) S 32116 32118 27000 0 -1 4202496 22809 1008 1 0 272 10 0 0 20 0 2 0 337920513 403767296 16431 33554432000 4194304 5683644 140736703862368 140736703857200 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32118/statm: 98576 16431 1894 364 0 33799 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 394304
[startup+6.30028 s]
/proc/loadavg: 2.56 2.15 2.04 3/222 32126
/proc/meminfo: memFree=24269428/32873648 swapFree=7120/7120
[pid=32118] ppid=32116 vsize=394304 CPUtime=2.82 cores=0,2,4,6
/proc/32118/stat : 32118 (python) S 32116 32118 27000 0 -1 4202496 22809 1008 1 0 272 10 0 0 20 0 2 0 337920513 403767296 16431 33554432000 4194304 5683644 140736703862368 140736703857200 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32118/statm: 98576 16431 1894 364 0 33799 0
[pid=32124] ppid=32118 vsize=318524 CPUtime=0 cores=0,2,4,6
/proc/32124/stat : 32124 (python) S 32118 32118 27000 0 -1 4202560 886 0 0 0 0 0 0 0 20 0 1 0 337920809 326168576 14894 33554432000 4194304 5683644 140736703862368 140736703853456 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/32124/statm: 79631 14894 363 364 0 14854 0
[pid=32126] ppid=32124 vsize=14952 CPUtime=3.32 cores=0,2,4,6
/proc/32126/stat : 32126 (clasp-1.3.7-x86) R 32124 32126 32126 0 -1 4202496 4654 0 0 0 331 1 0 0 20 0 1 0 337920809 15310848 3466 33554432000 134512640 136139019 4292679680 4292678656 134883018 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/32126/statm: 3738 3466 183 398 0 3338 0
[pid=32118/tid=32125] ppid=32116 vsize=394304 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32125/stat : 32125 (python) S 32116 32118 27000 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 2 0 337920809 403767296 16431 33554432000 4194304 5683644 140736703862368 139833394758192 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 727780
[startup+12.7003 s]
/proc/loadavg: 2.55 2.16 2.05 3/222 32126
/proc/meminfo: memFree=24270672/32873648 swapFree=7120/7120
[pid=32118] ppid=32116 vsize=394304 CPUtime=2.82 cores=0,2,4,6
/proc/32118/stat : 32118 (python) S 32116 32118 27000 0 -1 4202496 22809 1008 1 0 272 10 0 0 20 0 2 0 337920513 403767296 16431 33554432000 4194304 5683644 140736703862368 140736703857200 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32118/statm: 98576 16431 1894 364 0 33799 0
[pid=32124] ppid=32118 vsize=318524 CPUtime=0 cores=0,2,4,6
/proc/32124/stat : 32124 (python) S 32118 32118 27000 0 -1 4202560 890 0 0 0 0 0 0 0 20 0 1 0 337920809 326168576 14894 33554432000 4194304 5683644 140736703862368 140736703853456 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/32124/statm: 79631 14894 363 364 0 14854 0
[pid=32126] ppid=32124 vsize=17732 CPUtime=9.72 cores=0,2,4,6
/proc/32126/stat : 32126 (clasp-1.3.7-x86) R 32124 32126 32126 0 -1 4202496 5332 0 0 0 971 1 0 0 20 0 1 0 337920809 18157568 4144 33554432000 134512640 136139019 4292679680 4292678404 135529895 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/32126/statm: 4433 4144 183 398 0 4033 0
[pid=32118/tid=32125] ppid=32116 vsize=394304 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32125/stat : 32125 (python) S 32116 32118 27000 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 2 0 337920809 403767296 16431 33554432000 4194304 5683644 140736703862368 139833394758192 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 730560
[startup+25.5002 s]
/proc/loadavg: 2.46 2.16 2.04 3/222 32127
/proc/meminfo: memFree=24267056/32873648 swapFree=7120/7120
[pid=32118] ppid=32116 vsize=394304 CPUtime=2.82 cores=0,2,4,6
/proc/32118/stat : 32118 (python) S 32116 32118 27000 0 -1 4202496 22809 1008 1 0 272 10 0 0 20 0 2 0 337920513 403767296 16431 33554432000 4194304 5683644 140736703862368 140736703857200 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32118/statm: 98576 16431 1894 364 0 33799 0
[pid=32124] ppid=32118 vsize=318524 CPUtime=0.03 cores=0,2,4,6
/proc/32124/stat : 32124 (python) S 32118 32118 27000 0 -1 4202560 900 0 0 0 2 1 0 0 20 0 1 0 337920809 326168576 14894 33554432000 4194304 5683644 140736703862368 140736703853456 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/32124/statm: 79631 14894 363 364 0 14854 0
[pid=32126] ppid=32124 vsize=22388 CPUtime=22.51 cores=0,2,4,6
/proc/32126/stat : 32126 (clasp-1.3.7-x86) R 32124 32126 32126 0 -1 4202496 6489 0 0 0 2250 1 0 0 20 0 1 0 337920809 22925312 5301 33554432000 134512640 136139019 4292679680 4292678656 134883290 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/32126/statm: 5597 5301 183 398 0 5197 0
[pid=32118/tid=32125] ppid=32116 vsize=394304 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32125/stat : 32125 (python) S 32116 32118 27000 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 2 0 337920809 403767296 16431 33554432000 4194304 5683644 140736703862368 139833394758192 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 735216
[startup+51.1005 s]
/proc/loadavg: 2.43 2.18 2.05 3/226 32131
/proc/meminfo: memFree=24210944/32873648 swapFree=7120/7120
[pid=32118] ppid=32116 vsize=470096 CPUtime=2.85 cores=0,2,4,6
/proc/32118/stat : 32118 (python) S 32116 32118 27000 0 -1 4202496 23697 1008 1 0 274 11 0 0 20 0 3 0 337920513 481378304 16448 33554432000 4194304 5683644 140736703862368 140736703857200 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32118/statm: 117524 16448 1905 364 0 52744 0
[pid=32124] ppid=32118 vsize=394304 CPUtime=0.07 cores=0,2,4,6
/proc/32124/stat : 32124 (python) S 32118 32118 27000 0 -1 4202560 1143 0 0 0 4 3 0 0 20 0 2 0 337920809 403767296 14934 33554432000 4194304 5683644 140736703862368 140736703854016 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32124/statm: 98576 14934 396 364 0 33799 0
[pid=32126] ppid=32124 vsize=29688 CPUtime=47.11 cores=0,2,4,6
/proc/32126/stat : 32126 (clasp-1.3.7-x86) T 32124 32126 32126 0 -1 4202496 8322 0 0 0 4709 2 0 0 20 0 1 0 337920809 30400512 7134 33554432000 134512640 136139019 4292679680 4292678656 134883075 0 0 16781312 16386 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/32126/statm: 7422 7134 183 398 0 7022 0
[pid=32124/tid=32128] ppid=32118 vsize=394304 CPUtime=0 cores=0,2,4,6
/proc/32124/task/32128/stat : 32128 (python) S 32118 32118 27000 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 337925522 403767296 14934 33554432000 4194304 5683644 140736703862368 139833394758192 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32129] ppid=32118 vsize=394316 CPUtime=0 cores=0,2,4,6
/proc/32129/stat : 32129 (python) S 32118 32118 27000 0 -1 4202560 762 0 0 0 0 0 0 0 20 0 1 0 337925525 403779584 14872 33554432000 4194304 5683644 140736703862368 140736703853456 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/32129/statm: 98579 14872 335 364 0 33799 0
[pid=32131] ppid=32129 vsize=102528 CPUtime=0.97 cores=0,2,4,6
/proc/32131/stat : 32131 (scip-2.0.1.linu) R 32129 32131 32131 0 -1 4202496 23663 0 0 0 95 2 0 0 20 0 1 0 337925525 104988672 23402 33554432000 4194304 13684479 140735022837824 140735022702872 6737792 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0
/proc/32131/statm: 25632 23402 510 2317 0 23310 0
[pid=32118/tid=32125] ppid=32116 vsize=470096 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32125/stat : 32125 (python) S 32116 32118 27000 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 3 0 337920809 481378304 16448 33554432000 4194304 5683644 140736703862368 139833394758192 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32118/tid=32130] ppid=32116 vsize=470096 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32130/stat : 32130 (python) S 32116 32118 27000 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 3 0 337925525 481378304 16448 33554432000 4194304 5683644 140736703862368 139833384268336 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 1390932
[startup+102.307 s]
/proc/loadavg: 2.21 2.16 2.05 3/227 32132
/proc/meminfo: memFree=23601584/32873648 swapFree=7120/7120
[pid=32118] ppid=32116 vsize=470100 CPUtime=5.98 cores=0,2,4,6
/proc/32118/stat : 32118 (python) R 32116 32118 27000 0 -1 4202496 24361 1008 1 0 585 13 0 0 20 0 3 0 337920513 481382400 16449 33554432000 4194304 5683644 140736703862368 140736703856688 4957392 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32118/statm: 117525 16449 1905 364 0 52745 0
[pid=32124] ppid=32118 vsize=394304 CPUtime=0.07 cores=0,2,4,6
/proc/32124/stat : 32124 (python) S 32118 32118 27000 0 -1 4202560 1143 0 0 0 4 3 0 0 20 0 2 0 337920809 403767296 14934 33554432000 4194304 5683644 140736703862368 140736703854016 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32124/statm: 98576 14934 396 364 0 33799 0
[pid=32126] ppid=32124 vsize=29688 CPUtime=47.11 cores=0,2,4,6
/proc/32126/stat : 32126 (clasp-1.3.7-x86) T 32124 32126 32126 0 -1 4202496 8322 0 0 0 4709 2 0 0 20 0 1 0 337920809 30400512 7134 33554432000 134512640 136139019 4292679680 4292678656 134883075 0 0 16781312 16386 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/32126/statm: 7422 7134 183 398 0 7022 0
[pid=32124/tid=32128] ppid=32118 vsize=394304 CPUtime=0 cores=0,2,4,6
/proc/32124/task/32128/stat : 32128 (python) S 32118 32118 27000 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 337925522 403767296 14934 33554432000 4194304 5683644 140736703862368 139833394758192 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32129] ppid=32118 vsize=394316 CPUtime=0.08 cores=0,2,4,6
/proc/32129/stat : 32129 (python) S 32118 32118 27000 0 -1 4202560 1067 0 0 0 5 3 0 0 20 0 2 0 337925525 403779584 14921 33554432000 4194304 5683644 140736703862368 140736703854016 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32129/statm: 98579 14921 383 364 0 33799 0
[pid=32131] ppid=32129 vsize=670252 CPUtime=49.03 cores=0,2,4,6
/proc/32131/stat : 32131 (scip-2.0.1.linu) T 32129 32131 32131 0 -1 4202496 161493 0 0 0 4840 63 0 0 20 0 1 0 337925525 686338048 162248 33554432000 4194304 13684479 140735022837824 140735022834120 5688624 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/32131/statm: 167563 162248 656 2317 0 165241 0
[pid=32129/tid=32132] ppid=32118 vsize=394316 CPUtime=0 cores=0,2,4,6
/proc/32129/task/32132/stat : 32132 (python) S 32118 32118 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337930431 403779584 14921 33554432000 4194304 5683644 140736703862368 139833394758192 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32118/tid=32125] ppid=32116 vsize=470100 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32125/stat : 32125 (python) S 32116 32118 27000 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 3 0 337920809 481382400 16449 33554432000 4194304 5683644 140736703862368 139833394758192 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32118/tid=32130] ppid=32116 vsize=470100 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32130/stat : 32130 (python) S 32116 32118 27000 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 3 0 337925525 481382400 16449 33554432000 4194304 5683644 140736703862368 139833384268336 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1958660
[startup+162.301 s]
/proc/loadavg: 2.11 2.14 2.05 3/234 32139
/proc/meminfo: memFree=22892160/32873648 swapFree=7120/7120
[pid=32118] ppid=32116 vsize=621680 CPUtime=10.65 cores=0,2,4,6
/proc/32118/stat : 32118 (python) S 32116 32118 27000 0 -1 4202496 25597 1008 1 0 1050 15 0 0 20 0 5 0 337920513 636600320 16464 33554432000 4194304 5683644 140736703862368 140736703857200 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32118/statm: 155420 16464 1909 364 0 90634 0
[pid=32124] ppid=32118 vsize=394304 CPUtime=0.07 cores=0,2,4,6
/proc/32124/stat : 32124 (python) S 32118 32118 27000 0 -1 4202560 1143 0 0 0 4 3 0 0 20 0 2 0 337920809 403767296 14934 33554432000 4194304 5683644 140736703862368 140736703854016 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32124/statm: 98576 14934 396 364 0 33799 0
[pid=32126] ppid=32124 vsize=29688 CPUtime=47.11 cores=0,2,4,6
/proc/32126/stat : 32126 (clasp-1.3.7-x86) T 32124 32126 32126 0 -1 4202496 8322 0 0 0 4709 2 0 0 20 0 1 0 337920809 30400512 7134 33554432000 134512640 136139019 4292679680 4292678656 134883075 0 0 16781312 16386 18446744071579387992 0 0 17 0 0 0 0 0 0
################
# More data... #
################
[pid=32143/tid=32147] ppid=32141 vsize=9624972 CPUtime=0.02 cores=0,2,4,6
/proc/32143/task/32147/stat : 32147 (java) T 32141 32143 32143 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 337945366 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882394970536 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=32143/tid=32148] ppid=32141 vsize=9624972 CPUtime=0.03 cores=0,2,4,6
/proc/32143/task/32148/stat : 32148 (java) T 32141 32143 32143 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 19 0 337945366 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882393917992 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32149] ppid=32141 vsize=9624972 CPUtime=0.03 cores=0,2,4,6
/proc/32143/task/32149/stat : 32149 (java) T 32141 32143 32143 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 337945366 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882392865448 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32150] ppid=32141 vsize=9624972 CPUtime=0.04 cores=0,2,4,6
/proc/32143/task/32150/stat : 32150 (java) T 32141 32143 32143 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 19 0 337945366 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882391812904 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32151] ppid=32141 vsize=9624972 CPUtime=0.05 cores=0,2,4,6
/proc/32143/task/32151/stat : 32151 (java) T 32141 32143 32143 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 19 0 337945366 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882390760360 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32152] ppid=32141 vsize=9624972 CPUtime=0.03 cores=0,2,4,6
/proc/32143/task/32152/stat : 32152 (java) T 32141 32143 32143 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 337945366 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882389707816 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32153] ppid=32141 vsize=9624972 CPUtime=0.57 cores=0,2,4,6
/proc/32143/task/32153/stat : 32153 (java) T 32141 32143 32143 0 -1 4202560 123 0 0 0 57 0 0 0 20 0 19 0 337945367 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882259671144 219517335465 0 0 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32154] ppid=32141 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32154/stat : 32154 (java) T 32141 32143 32143 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 337945368 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882258617464 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=32143/tid=32155] ppid=32141 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32155/stat : 32155 (java) T 32141 32143 32143 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337945368 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882257564808 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=32143/tid=32156] ppid=32141 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32156/stat : 32156 (java) T 32141 32143 32143 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337945370 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882256513552 219517343520 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32157] ppid=32141 vsize=9624972 CPUtime=0.71 cores=0,2,4,6
/proc/32143/task/32157/stat : 32157 (java) T 32141 32143 32143 0 -1 4202560 6820 0 0 0 69 2 0 0 20 0 19 0 337945370 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882255460920 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32158] ppid=32141 vsize=9624972 CPUtime=0.66 cores=0,2,4,6
/proc/32143/task/32158/stat : 32158 (java) T 32141 32143 32143 0 -1 4202560 4535 0 0 0 64 2 0 0 20 0 19 0 337945370 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882254408376 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32159] ppid=32141 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32159/stat : 32159 (java) T 32141 32143 32143 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337945370 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139881380572152 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32160] ppid=32141 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32160/stat : 32160 (java) T 32141 32143 32143 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337945370 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139881379519816 219517335465 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32161] ppid=32141 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32161/stat : 32161 (java) T 32141 32143 32143 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337945487 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139881378464552 219517335465 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32141/tid=32165] ppid=32118 vsize=621692 CPUtime=0 cores=0,2,4,6
/proc/32141/task/32165/stat : 32165 (python) S 32118 32118 27000 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337949906 636612608 14939 33554432000 4194304 5683644 140736703862368 139833353364016 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32118/tid=32125] ppid=32116 vsize=697472 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32125/stat : 32125 (python) S 32116 32118 27000 0 -1 4202560 35 1008 0 0 0 0 0 0 20 0 6 0 337920809 714211328 16472 33554432000 4194304 5683644 140736703862368 139833394758192 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32118/tid=32130] ppid=32116 vsize=697472 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32130/stat : 32130 (python) S 32116 32118 27000 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 6 0 337925525 714211328 16472 33554432000 4194304 5683644 140736703862368 139833384268336 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32118/tid=32134] ppid=32116 vsize=697472 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32134/stat : 32134 (python) S 32116 32118 27000 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 6 0 337931208 714211328 16472 33554432000 4194304 5683644 140736703862368 139833363853872 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32118/tid=32138] ppid=32116 vsize=697472 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32138/stat : 32138 (python) S 32116 32118 27000 0 -1 4202560 24 1008 0 0 0 0 0 0 20 0 6 0 337935955 714211328 16472 33554432000 4194304 5683644 140736703862368 139833353364016 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32118/tid=32142] ppid=32116 vsize=697472 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32142/stat : 32142 (python) S 32116 32118 27000 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 6 0 337945363 714211328 16472 33554432000 4194304 5683644 140736703862368 139833342874160 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 885.04
Current children cumulated vsize (KiB) 15479232
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+936.001 s]
/proc/loadavg: 2.00 2.01 2.00 3/241 32248
/proc/meminfo: memFree=22339300/32873648 swapFree=7120/7120
[pid=32118] ppid=32116 vsize=773264 CPUtime=10.81 cores=0,2,4,6
/proc/32118/stat : 32118 (python) S 32116 32118 27000 0 -1 4202496 27611 1008 1 0 1065 16 0 0 20 0 7 0 337920513 791822336 16988 33554432000 4194304 5683644 140736703862368 140736703857200 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/32118/statm: 193316 16988 1913 364 0 128524 0
[pid=32124] ppid=32118 vsize=394304 CPUtime=0.4 cores=0,2,4,6
/proc/32124/stat : 32124 (python) S 32118 32118 27000 0 -1 4202560 1207 0 0 0 23 17 0 0 20 0 2 0 337920809 403767296 14935 33554432000 4194304 5683644 140736703862368 140736703854016 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32124/statm: 98576 14935 397 364 0 33799 0
[pid=32126] ppid=32124 vsize=50500 CPUtime=229.58 cores=0,2,4,6
/proc/32126/stat : 32126 (clasp-1.3.7-x86) T 32124 32126 32126 0 -1 4202496 13463 0 0 0 22955 3 0 0 20 0 1 0 337920809 51712000 12349 33554432000 134512640 136139019 4292679680 4292678644 134608164 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/32126/statm: 12625 12349 183 398 0 12225 0
[pid=32124/tid=32128] ppid=32118 vsize=394304 CPUtime=0 cores=0,2,4,6
/proc/32124/task/32128/stat : 32128 (python) S 32118 32118 27000 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 337925522 403767296 14935 33554432000 4194304 5683644 140736703862368 139833394758192 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32129] ppid=32118 vsize=394316 CPUtime=0.94 cores=0,2,4,6
/proc/32129/stat : 32129 (python) S 32118 32118 27000 0 -1 4202560 1177 0 0 0 53 41 0 0 20 0 2 0 337925525 403779584 14921 33554432000 4194304 5683644 140736703862368 140736703854016 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32129/statm: 98579 14921 383 364 0 33799 0
[pid=32131] ppid=32129 vsize=1788048 CPUtime=506.23 cores=0,2,4,6
/proc/32131/stat : 32131 (scip-2.0.1.linu) T 32129 32131 32131 0 -1 4202496 433308 0 0 0 50440 183 0 0 20 0 1 0 337925525 1830961152 441657 33554432000 4194304 13684479 140735022837824 140735022834120 4511329 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/32131/statm: 447012 441657 660 2317 0 444690 0
[pid=32129/tid=32132] ppid=32118 vsize=394316 CPUtime=0 cores=0,2,4,6
/proc/32129/task/32132/stat : 32132 (python) S 32118 32118 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337930431 403779584 14921 33554432000 4194304 5683644 140736703862368 139833394758192 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32133] ppid=32118 vsize=470108 CPUtime=0.08 cores=0,2,4,6
/proc/32133/stat : 32133 (python) S 32118 32118 27000 0 -1 4202560 1087 0 0 0 4 4 0 0 20 0 2 0 337931208 481390592 14927 33554432000 4194304 5683644 140736703862368 140736703854016 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32133/statm: 117527 14927 383 364 0 52744 0
[pid=32135] ppid=32133 vsize=192328 CPUtime=47.42 cores=0,2,4,6
/proc/32135/stat : 32135 (minion) T 32133 32135 32135 0 -1 4202496 38726 0 0 0 4736 6 0 0 20 0 1 0 337931209 196943872 40508 33554432000 134512640 165565024 4286853424 4286850656 134640991 0 0 16781312 8396802 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/32135/statm: 48082 40508 345 7582 0 40497 0
[pid=32133/tid=32136] ppid=32118 vsize=470108 CPUtime=0 cores=0,2,4,6
/proc/32133/task/32136/stat : 32136 (python) S 32118 32118 27000 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 337935952 481390592 14927 33554432000 4194304 5683644 140736703862368 139833384268336 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32137] ppid=32118 vsize=545900 CPUtime=0.17 cores=0,2,4,6
/proc/32137/stat : 32137 (python) S 32118 32118 27000 0 -1 4202560 1155 0 0 0 11 6 0 0 20 0 2 0 337935955 559001600 14933 33554432000 4194304 5683644 140736703862368 140736703854016 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32137/statm: 136475 14933 383 364 0 71689 0
[pid=32139] ppid=32137 vsize=788876 CPUtime=95.27 cores=0,2,4,6
/proc/32139/stat : 32139 (scip-2.0.1.linu) T 32137 32139 32139 0 -1 4202496 189373 0 0 0 9446 81 0 0 20 0 1 0 337935955 807809024 190633 33554432000 4194304 15243407 140737140874464 140737140870776 4518818 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/32139/statm: 197219 190633 703 2698 0 194514 0
[pid=32137/tid=32140] ppid=32118 vsize=545900 CPUtime=0 cores=0,2,4,6
/proc/32137/task/32140/stat : 32140 (python) S 32118 32118 27000 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 337940845 559001600 14933 33554432000 4194304 5683644 140736703862368 139833363853872 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32141] ppid=32118 vsize=621692 CPUtime=0.07 cores=0,2,4,6
/proc/32141/stat : 32141 (python) S 32118 32118 27000 0 -1 4202560 1094 0 0 0 4 3 0 0 20 0 2 0 337945363 636612608 14939 33554432000 4194304 5683644 140736703862368 140736703854016 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32141/statm: 155423 14939 383 364 0 90634 0
[pid=32143] ppid=32141 vsize=9624972 CPUtime=47.02 cores=0,2,4,6
/proc/32143/stat : 32143 (java) T 32141 32143 32143 0 -1 4202496 15553 0 1 0 4691 11 0 0 20 0 19 0 337945363 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 140736366361632 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32143/statm: 2406243 69021 2277 9 0 2396937 0
[pid=32143/tid=32144] ppid=32141 vsize=9624972 CPUtime=44.67 cores=0,2,4,6
/proc/32143/task/32144/stat : 32144 (java) T 32141 32143 32143 0 -1 4202560 2526 0 1 0 4463 4 0 0 20 0 19 0 337945365 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882435584272 139882270668255 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32145] ppid=32141 vsize=9624972 CPUtime=0.04 cores=0,2,4,6
/proc/32143/task/32145/stat : 32145 (java) T 32141 32143 32143 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 337945366 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882397075624 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=32143/tid=32146] ppid=32141 vsize=9624972 CPUtime=0.02 cores=0,2,4,6
/proc/32143/task/32146/stat : 32146 (java) T 32141 32143 32143 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 337945366 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882396023080 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32147] ppid=32141 vsize=9624972 CPUtime=0.02 cores=0,2,4,6
/proc/32143/task/32147/stat : 32147 (java) T 32141 32143 32143 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 337945366 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882394970536 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=32143/tid=32148] ppid=32141 vsize=9624972 CPUtime=0.03 cores=0,2,4,6
/proc/32143/task/32148/stat : 32148 (java) T 32141 32143 32143 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 19 0 337945366 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882393917992 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32149] ppid=32141 vsize=9624972 CPUtime=0.03 cores=0,2,4,6
/proc/32143/task/32149/stat : 32149 (java) T 32141 32143 32143 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 337945366 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882392865448 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32150] ppid=32141 vsize=9624972 CPUtime=0.04 cores=0,2,4,6
/proc/32143/task/32150/stat : 32150 (java) T 32141 32143 32143 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 19 0 337945366 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882391812904 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32151] ppid=32141 vsize=9624972 CPUtime=0.05 cores=0,2,4,6
/proc/32143/task/32151/stat : 32151 (java) T 32141 32143 32143 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 19 0 337945366 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882390760360 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32152] ppid=32141 vsize=9624972 CPUtime=0.03 cores=0,2,4,6
/proc/32143/task/32152/stat : 32152 (java) T 32141 32143 32143 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 337945366 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882389707816 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32153] ppid=32141 vsize=9624972 CPUtime=0.57 cores=0,2,4,6
/proc/32143/task/32153/stat : 32153 (java) T 32141 32143 32143 0 -1 4202560 123 0 0 0 57 0 0 0 20 0 19 0 337945367 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882259671144 219517335465 0 0 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32154] ppid=32141 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32154/stat : 32154 (java) T 32141 32143 32143 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 337945368 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882258617464 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=32143/tid=32155] ppid=32141 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32155/stat : 32155 (java) T 32141 32143 32143 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337945368 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882257564808 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=32143/tid=32156] ppid=32141 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32156/stat : 32156 (java) T 32141 32143 32143 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337945370 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882256513552 219517343520 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32157] ppid=32141 vsize=9624972 CPUtime=0.71 cores=0,2,4,6
/proc/32143/task/32157/stat : 32157 (java) T 32141 32143 32143 0 -1 4202560 6820 0 0 0 69 2 0 0 20 0 19 0 337945370 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882255460920 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32158] ppid=32141 vsize=9624972 CPUtime=0.66 cores=0,2,4,6
/proc/32143/task/32158/stat : 32158 (java) T 32141 32143 32143 0 -1 4202560 4535 0 0 0 64 2 0 0 20 0 19 0 337945370 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139882254408376 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32159] ppid=32141 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32159/stat : 32159 (java) T 32141 32143 32143 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337945370 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139881380572152 219517334588 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32160] ppid=32141 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32160/stat : 32160 (java) T 32141 32143 32143 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337945370 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139881379519816 219517335465 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32143/tid=32161] ppid=32141 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32161/stat : 32161 (java) T 32141 32143 32143 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337945487 9855971328 69021 33554432000 1073741824 1073778376 140736366370496 139881378464552 219517335465 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=32141/tid=32165] ppid=32118 vsize=621692 CPUtime=0 cores=0,2,4,6
/proc/32141/task/32165/stat : 32165 (python) S 32118 32118 27000 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 337949906 636612608 14939 33554432000 4194304 5683644 140736703862368 139833353364016 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32246] ppid=32118 vsize=697484 CPUtime=0 cores=0,2,4,6
/proc/32246/stat : 32246 (python) S 32118 32118 27000 0 -1 4202560 826 0 0 0 0 0 0 0 20 0 1 0 338014029 714223616 14896 33554432000 4194304 5683644 140736703862368 140736703853456 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/32246/statm: 174371 14896 335 364 0 109579 0
[pid=32248] ppid=32246 vsize=22152 CPUtime=0.85 cores=0,2,4,6
/proc/32248/stat : 32248 (wbo1.4a) R 32246 32248 32248 0 -1 4202496 6375 0 0 0 84 1 0 0 20 0 1 0 338014029 22683648 4562 33554432000 134512640 135751879 4293387808 4293386060 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/32248/statm: 5538 4562 143 303 0 5233 0
[pid=32118/tid=32125] ppid=32116 vsize=773264 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32125/stat : 32125 (python) S 32116 32118 27000 0 -1 4202560 35 1008 0 0 0 0 0 0 20 0 7 0 337920809 791822336 16988 33554432000 4194304 5683644 140736703862368 139833394758192 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32118/tid=32130] ppid=32116 vsize=773264 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32130/stat : 32130 (python) S 32116 32118 27000 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 7 0 337925525 791822336 16988 33554432000 4194304 5683644 140736703862368 139833384268336 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32118/tid=32134] ppid=32116 vsize=773264 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32134/stat : 32134 (python) S 32116 32118 27000 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 7 0 337931208 791822336 16988 33554432000 4194304 5683644 140736703862368 139833363853872 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32118/tid=32138] ppid=32116 vsize=773264 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32138/stat : 32138 (python) S 32116 32118 27000 0 -1 4202560 24 1008 0 0 0 0 0 0 20 0 7 0 337935955 791822336 16988 33554432000 4194304 5683644 140736703862368 139833353364016 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32118/tid=32142] ppid=32116 vsize=773264 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32142/stat : 32142 (python) S 32116 32118 27000 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 7 0 337945363 791822336 16988 33554432000 4194304 5683644 140736703862368 139833342874160 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32118/tid=32247] ppid=32116 vsize=773264 CPUtime=0 cores=0,2,4,6
/proc/32118/task/32247/stat : 32247 (python) S 32116 32118 27000 0 -1 4202560 20 1008 0 0 0 0 0 0 20 0 7 0 338014029 791822336 16988 33554432000 4194304 5683644 140736703862368 139832995078704 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 938.84
Current children cumulated vsize (KiB) 16363944
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32118 and gives
# childrusage.ru_utime.tv_sec=12
# childrusage.ru_utime.tv_usec=510098
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=939857
# CPU time returned by wait4() is 13.45
# while last known CPU time is 938.84
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 936.066
CPU time (s): 938.84
CPU user time (s): 935.12
CPU system time (s): 3.72
CPU usage (%): 100.296
Max. virtual memory (cumulated for all children) (KiB): 16363944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.5101
system time used= 0.939857
maximum resident set size= 68396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42510
page faults= 1
swaps= 0
block input operations= 0
block output operations= 16696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2149
involuntary context switches= 98
runsolver used 5.22121 second user time and 10.0145 second system time
The end