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-3742226-1338724165/watcher-3742226-1338724165 -o /tmp/evaluation-result-3742226-1338724165/solver-3742226-1338724165 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3742226-1338724165.opb -seed 1927519361 -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.99 2.00 2.08 2/218 9087
/proc/meminfo: memFree=29240484/32873648 swapFree=7628/7628
[pid=9087] ppid=9085 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/9087/stat : 9087 (python) D 9085 9087 3958 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 1 0 338542641 15642624 559 33554432000 4194304 5683644 140734291953520 140734291921464 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/9087/statm: 3819 559 324 364 0 261 0
[startup+0.0614669 s]
/proc/loadavg: 1.99 2.00 2.08 2/218 9087
/proc/meminfo: memFree=29240484/32873648 swapFree=7628/7628
[pid=9087] ppid=9085 vsize=16596 CPUtime=0.01 cores=0,2,4,6
/proc/9087/stat : 9087 (python) R 9085 9087 3958 0 -1 4202496 1198 0 0 0 1 0 0 0 20 0 1 0 338542641 16994304 997 33554432000 4194304 5683644 140734291953520 140734291920984 217410519952 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/9087/statm: 4149 997 418 364 0 591 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16596
[startup+0.100164 s]
/proc/loadavg: 1.99 2.00 2.08 2/218 9087
/proc/meminfo: memFree=29240484/32873648 swapFree=7628/7628
[pid=9087] ppid=9085 vsize=19088 CPUtime=0.02 cores=0,2,4,6
/proc/9087/stat : 9087 (python) R 9085 9087 3958 0 -1 4202496 1398 0 0 0 2 0 0 0 20 0 1 0 338542641 19546112 1152 33554432000 4194304 5683644 140734291953520 140734291884024 217410153232 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/9087/statm: 4772 1152 430 364 0 696 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19088
[startup+0.300153 s]
/proc/loadavg: 1.99 2.00 2.08 2/218 9087
/proc/meminfo: memFree=29240484/32873648 swapFree=7628/7628
[pid=9087] ppid=9085 vsize=99660 CPUtime=0.1 cores=0,2,4,6
/proc/9087/stat : 9087 (python) R 9085 9087 3958 0 -1 4202496 4001 1011 1 0 8 2 0 0 20 0 1 0 338542641 102051840 2689 33554432000 4194304 5683644 140734291953520 140734291827608 217410836543 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/9087/statm: 24915 2689 847 364 0 1722 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 99660
[startup+0.700142 s]
/proc/loadavg: 1.99 2.00 2.08 2/218 9087
/proc/meminfo: memFree=29240484/32873648 swapFree=7628/7628
[pid=9087] ppid=9085 vsize=138348 CPUtime=0.17 cores=0,2,4,6
/proc/9087/stat : 9087 (python) D 9085 9087 3958 0 -1 4202496 6248 1011 1 0 12 5 0 0 20 0 1 0 338542641 141668352 4084 33554432000 4194304 5683644 140734291953520 140734291853512 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/9087/statm: 34587 4084 1098 364 0 2953 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 138348
[startup+1.50013 s]
/proc/loadavg: 1.99 2.00 2.08 3/219 9092
/proc/meminfo: memFree=29220504/32873648 swapFree=7628/7628
[pid=9087] ppid=9085 vsize=287820 CPUtime=0.65 cores=0,2,4,6
/proc/9087/stat : 9087 (python) R 9085 9087 3958 0 -1 4202496 12706 1011 1 0 56 9 0 0 20 0 1 0 338542641 294727680 8706 33554432000 4194304 5683644 140734291953520 140734291946520 140645649230320 0 0 16781312 33554434 0 0 0 17 2 0 0 0 0 0
/proc/9087/statm: 71955 8706 1846 364 0 7184 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 287820
[startup+3.10033 s]
/proc/loadavg: 1.99 2.00 2.08 3/222 9095
/proc/meminfo: memFree=29127976/32873648 swapFree=7628/7628
[pid=9087] ppid=9085 vsize=363868 CPUtime=0.88 cores=0,2,4,6
/proc/9087/stat : 9087 (python) S 9085 9087 3958 0 -1 4202496 13083 1011 1 0 79 9 0 0 20 0 2 0 338542641 372600832 8859 33554432000 4194304 5683644 140734291953520 140734291948352 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9087/statm: 90967 8859 1902 364 0 26190 0
[pid=9093] ppid=9087 vsize=288088 CPUtime=0 cores=0,2,4,6
/proc/9093/stat : 9093 (python) S 9087 9087 3958 0 -1 4202560 765 0 0 0 0 0 0 0 20 0 1 0 338542815 295002112 7291 33554432000 4194304 5683644 140734291953520 140734291944608 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 4 0 0 0 0 0
/proc/9093/statm: 72022 7291 340 364 0 7245 0
[pid=9095] ppid=9093 vsize=150300 CPUtime=1.34 cores=0,2,4,6
/proc/9095/stat : 9095 (scip-2.0.1.linu) R 9093 9095 9095 0 -1 4202496 34278 0 0 0 125 9 0 0 20 0 1 0 338542816 153907200 33567 33554432000 4194304 15243407 140733566515200 140733566510584 4880912 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/9095/statm: 37575 33567 683 2698 0 34870 0
[pid=9087/tid=9094] ppid=9085 vsize=363868 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9094/stat : 9094 (python) S 9085 9087 3958 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 2 0 338542816 372600832 8859 33554432000 4194304 5683644 140734291953520 140645469483568 217413900064 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) 802256
heavy processes:
[startup+6.30028 s]
/proc/loadavg: 1.99 2.00 2.08 3/222 9095
/proc/meminfo: memFree=29033492/32873648 swapFree=7628/7628
[pid=9087] ppid=9085 vsize=363868 CPUtime=0.88 cores=0,2,4,6
/proc/9087/stat : 9087 (python) S 9085 9087 3958 0 -1 4202496 13083 1011 1 0 79 9 0 0 20 0 2 0 338542641 372600832 8859 33554432000 4194304 5683644 140734291953520 140734291948352 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9087/statm: 90967 8859 1902 364 0 26190 0
[pid=9093] ppid=9087 vsize=288088 CPUtime=0 cores=0,2,4,6
/proc/9093/stat : 9093 (python) S 9087 9087 3958 0 -1 4202560 890 0 0 0 0 0 0 0 20 0 1 0 338542815 295002112 7314 33554432000 4194304 5683644 140734291953520 140734291944608 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/9093/statm: 72022 7314 363 364 0 7245 0
[pid=9095] ppid=9093 vsize=209340 CPUtime=4.55 cores=0,2,4,6
/proc/9095/stat : 9095 (scip-2.0.1.linu) R 9093 9095 9095 0 -1 4202496 47957 0 0 0 443 12 0 0 20 0 1 0 338542816 214364160 47246 33554432000 4194304 15243407 140733566515200 140733566510584 4880958 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/9095/statm: 52335 47246 683 2698 0 49630 0
[pid=9087/tid=9094] ppid=9085 vsize=363868 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9094/stat : 9094 (python) S 9085 9087 3958 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 2 0 338542816 372600832 8859 33554432000 4194304 5683644 140734291953520 140645469483568 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (KiB) 861296
[startup+12.7004 s]
/proc/loadavg: 1.99 2.00 2.08 3/222 9095
/proc/meminfo: memFree=28962752/32873648 swapFree=7628/7628
[pid=9087] ppid=9085 vsize=363868 CPUtime=0.88 cores=0,2,4,6
/proc/9087/stat : 9087 (python) S 9085 9087 3958 0 -1 4202496 13083 1011 1 0 79 9 0 0 20 0 2 0 338542641 372600832 8859 33554432000 4194304 5683644 140734291953520 140734291948352 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9087/statm: 90967 8859 1902 364 0 26190 0
[pid=9093] ppid=9087 vsize=288088 CPUtime=0.01 cores=0,2,4,6
/proc/9093/stat : 9093 (python) S 9087 9087 3958 0 -1 4202560 894 0 0 0 1 0 0 0 20 0 1 0 338542815 295002112 7314 33554432000 4194304 5683644 140734291953520 140734291944608 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/9093/statm: 72022 7314 363 364 0 7245 0
[pid=9095] ppid=9093 vsize=280448 CPUtime=10.95 cores=0,2,4,6
/proc/9095/stat : 9095 (scip-2.0.1.linu) R 9093 9095 9095 0 -1 4202496 65294 0 0 0 1079 16 0 0 20 0 1 0 338542816 287178752 64583 33554432000 4194304 15243407 140733566515200 140733566511496 13277498 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/9095/statm: 70112 64583 683 2698 0 67407 0
[pid=9087/tid=9094] ppid=9085 vsize=363868 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9094/stat : 9094 (python) S 9085 9087 3958 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 2 0 338542816 372600832 8859 33554432000 4194304 5683644 140734291953520 140645469483568 217413900064 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) 932404
[startup+25.5069 s]
/proc/loadavg: 1.99 2.00 2.07 3/222 9095
/proc/meminfo: memFree=28845528/32873648 swapFree=7628/7628
[pid=9087] ppid=9085 vsize=363868 CPUtime=0.88 cores=0,2,4,6
/proc/9087/stat : 9087 (python) S 9085 9087 3958 0 -1 4202496 13083 1011 1 0 79 9 0 0 20 0 2 0 338542641 372600832 8859 33554432000 4194304 5683644 140734291953520 140734291948352 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9087/statm: 90967 8859 1902 364 0 26190 0
[pid=9093] ppid=9087 vsize=288088 CPUtime=0.03 cores=0,2,4,6
/proc/9093/stat : 9093 (python) S 9087 9087 3958 0 -1 4202560 996 0 0 0 2 1 0 0 20 0 1 0 338542815 295002112 7319 33554432000 4194304 5683644 140734291953520 140734291944608 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/9093/statm: 72022 7319 368 364 0 7245 0
[pid=9095] ppid=9093 vsize=389836 CPUtime=23.74 cores=0,2,4,6
/proc/9095/stat : 9095 (scip-2.0.1.linu) R 9093 9095 9095 0 -1 4202496 92669 0 0 0 2345 29 0 0 20 0 1 0 338542816 399192064 91958 33554432000 4194304 15243407 140733566515200 140733566511496 4508550 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/9095/statm: 97459 91958 687 2698 0 94754 0
[pid=9087/tid=9094] ppid=9085 vsize=363868 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9094/stat : 9094 (python) S 9085 9087 3958 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 2 0 338542816 372600832 8859 33554432000 4194304 5683644 140734291953520 140645469483568 217413900064 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) 1041792
[startup+51.1003 s]
/proc/loadavg: 1.99 2.00 2.07 3/226 9101
/proc/meminfo: memFree=28629416/32873648 swapFree=7628/7628
[pid=9087] ppid=9085 vsize=363868 CPUtime=0.88 cores=0,2,4,6
/proc/9087/stat : 9087 (python) S 9085 9087 3958 0 -1 4202496 13083 1011 1 0 79 9 0 0 20 0 2 0 338542641 372600832 8859 33554432000 4194304 5683644 140734291953520 140734291948352 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9087/statm: 90967 8859 1902 364 0 26190 0
[pid=9093] ppid=9087 vsize=288088 CPUtime=0.07 cores=0,2,4,6
/proc/9093/stat : 9093 (python) S 9087 9087 3958 0 -1 4202560 1017 0 0 0 4 3 0 0 20 0 1 0 338542815 295002112 7319 33554432000 4194304 5683644 140734291953520 140734291944608 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/9093/statm: 72022 7319 368 364 0 7245 0
[pid=9095] ppid=9093 vsize=547164 CPUtime=49.33 cores=0,2,4,6
/proc/9095/stat : 9095 (scip-2.0.1.linu) R 9093 9095 9095 0 -1 4202496 131975 0 0 0 4887 46 0 0 20 0 1 0 338542816 560295936 131264 33554432000 4194304 15243407 140733566515200 140733566511512 4868208 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/9095/statm: 136791 131264 687 2698 0 134086 0
[pid=9087/tid=9094] ppid=9085 vsize=363868 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9094/stat : 9094 (python) S 9085 9087 3958 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 2 0 338542816 372600832 8859 33554432000 4194304 5683644 140734291953520 140645469483568 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 50.28
Current children cumulated vsize (KiB) 1199120
[startup+102.301 s]
/proc/loadavg: 1.99 2.00 2.07 3/191 9159
/proc/meminfo: memFree=30328668/32873648 swapFree=7628/7628
[pid=9087] ppid=9085 vsize=515452 CPUtime=0.94 cores=0,2,4,6
/proc/9087/stat : 9087 (python) S 9085 9087 3958 0 -1 4202496 14931 1011 1 0 84 10 0 0 20 0 4 0 338542641 527822848 8876 33554432000 4194304 5683644 140734291953520 140734291948352 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9087/statm: 128863 8876 1907 364 0 64080 0
[pid=9093] ppid=9087 vsize=363868 CPUtime=0.08 cores=0,2,4,6
/proc/9093/stat : 9093 (python) S 9087 9087 3958 0 -1 4202560 1155 0 0 0 5 3 0 0 20 0 2 0 338542815 372600832 7354 33554432000 4194304 5683644 140734291953520 140734291945168 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9093/statm: 90967 7354 396 364 0 26190 0
[pid=9095] ppid=9093 vsize=555268 CPUtime=50.69 cores=0,2,4,6
/proc/9095/stat : 9095 (scip-2.0.1.linu) T 9093 9095 9095 0 -1 4202496 133886 0 0 0 5022 47 0 0 20 0 1 0 338542816 568594432 133175 33554432000 4194304 15243407 140733566515200 140733566511512 4880912 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/9095/statm: 138817 133175 687 2698 0 136112 0
[pid=9093/tid=9102] ppid=9087 vsize=363868 CPUtime=0 cores=0,2,4,6
/proc/9093/task/9102/stat : 9102 (python) S 9087 9087 3958 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 338547888 372600832 7354 33554432000 4194304 5683644 140734291953520 140645469483568 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9103] ppid=9087 vsize=363880 CPUtime=0.07 cores=0,2,4,6
/proc/9103/stat : 9103 (python) S 9087 9087 3958 0 -1 4202560 1087 0 0 0 3 4 0 0 20 0 2 0 338547890 372613120 7341 33554432000 4194304 5683644 140734291953520 140734291945168 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9103/statm: 90970 7341 383 364 0 26190 0
[pid=9105] ppid=9103 vsize=21904 CPUtime=47.11 cores=0,2,4,6
/proc/9105/stat : 9105 (clasp-1.3.7-x86) T 9103 9105 9105 0 -1 4202496 5711 0 0 0 4710 1 0 0 20 0 1 0 338547890 22429696 5219 33554432000 134512640 136139019 4289832512 4289831236 135527656 0 0 16781312 16386 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/9105/statm: 5476 5219 182 398 0 5076 0
[pid=9103/tid=9156] ppid=9087 vsize=363880 CPUtime=0 cores=0,2,4,6
/proc/9103/task/9156/stat : 9156 (python) S 9087 9087 3958 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 2 0 338552603 372613120 7341 33554432000 4194304 5683644 140734291953520 140645469483568 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9157] ppid=9087 vsize=439672 CPUtime=0 cores=0,2,4,6
/proc/9157/stat : 9157 (python) S 9087 9087 3958 0 -1 4202560 807 0 0 0 0 0 0 0 20 0 1 0 338552606 450224128 7298 33554432000 4194304 5683644 140734291953520 140734291944608 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/9157/statm: 109918 7298 335 364 0 45135 0
[pid=9159] ppid=9157 vsize=187040 CPUtime=2.64 cores=0,2,4,6
/proc/9159/stat : 9159 (scip-2.0.1.linu) R 9157 9159 9159 0 -1 4202496 42432 0 0 0 254 10 0 0 20 0 1 0 338552606 191528960 41710 33554432000 4194304 13684479 140735329412064 140735329407448 4880923 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/9159/statm: 46760 41710 636 2317 0 44438 0
[pid=9087/tid=9094] ppid=9085 vsize=515452 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9094/stat : 9094 (python) S 9085 9087 3958 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 4 0 338542816 527822848 8876 33554432000 4194304 5683644 140734291953520 140645469483568 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9087/tid=9104] ppid=9085 vsize=515452 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9104/stat : 9104 (python) S 9085 9087 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 4 0 338547890 527822848 8876 33554432000 4194304 5683644 140734291953520 140645458993712 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9087/tid=9158] ppid=9085 vsize=515452 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9158/stat : 9158 (python) S 9085 9087 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 4 0 338552606 527822848 8876 33554432000 4194304 5683644 140734291953520 140645448503856 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 2447084
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.06 3/196 9164
/proc/meminfo: memFree=29612892/32873648 swapFree=7628/7628
[pid=9087] ppid=9085 vsize=515452 CPUtime=0.96 cores=0,2,4,6
################
# More data... #
################
[pid=9172/tid=9187] ppid=9170 vsize=9624972 CPUtime=1.03 cores=0,2,4,6
/proc/9172/task/9187/stat : 9187 (java) T 9170 9172 9172 0 -1 4202560 8425 0 0 0 101 2 0 0 20 0 19 0 338562008 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581104077624 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=9172/tid=9188] ppid=9170 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/9172/task/9188/stat : 9188 (java) T 9170 9172 9172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338562008 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581103025016 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=9172/tid=9189] ppid=9170 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/9172/task/9189/stat : 9189 (java) T 9170 9172 9172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338562008 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581101972424 217413892009 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=9172/tid=9190] ppid=9170 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/9172/task/9190/stat : 9190 (java) T 9170 9172 9172 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 338562059 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581100917928 217413892009 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=9170/tid=9192] ppid=9087 vsize=515464 CPUtime=0 cores=0,2,4,6
/proc/9170/task/9192/stat : 9192 (python) S 9087 9087 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338566368 527835136 7353 33554432000 4194304 5683644 140734291953520 140645448503856 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9087/tid=9094] ppid=9085 vsize=591244 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9094/stat : 9094 (python) S 9085 9087 3958 0 -1 4202560 31 1011 0 0 0 0 0 0 20 0 5 0 338542816 605433856 8884 33554432000 4194304 5683644 140734291953520 140645469483568 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9087/tid=9104] ppid=9085 vsize=591244 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9104/stat : 9104 (python) S 9085 9087 3958 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 5 0 338547890 605433856 8884 33554432000 4194304 5683644 140734291953520 140645458993712 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9087/tid=9158] ppid=9085 vsize=591244 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9158/stat : 9158 (python) S 9085 9087 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 5 0 338552606 605433856 8884 33554432000 4194304 5683644 140734291953520 140645448503856 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9087/tid=9171] ppid=9085 vsize=591244 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9171/stat : 9171 (python) S 9085 9087 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 5 0 338562002 605433856 8884 33554432000 4194304 5683644 140734291953520 140645438014000 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 284.34
Current children cumulated vsize (KiB) 13275184
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+282.801 s]
/proc/loadavg: 1.99 2.00 2.05 3/264 9233
/proc/meminfo: memFree=26451088/32873648 swapFree=7628/7628
[pid=9087] ppid=9085 vsize=667036 CPUtime=1.03 cores=0,2,4,6
/proc/9087/stat : 9087 (python) S 9085 9087 3958 0 -1 4202496 16873 1011 1 0 93 10 0 0 20 0 6 0 338542641 683044864 8892 33554432000 4194304 5683644 140734291953520 140734291948352 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9087/statm: 166759 8892 1911 364 0 101970 0
[pid=9093] ppid=9087 vsize=363868 CPUtime=0.15 cores=0,2,4,6
/proc/9093/stat : 9093 (python) S 9087 9087 3958 0 -1 4202560 1191 0 0 0 8 7 0 0 20 0 2 0 338542815 372600832 7355 33554432000 4194304 5683644 140734291953520 140734291945168 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9093/statm: 90967 7355 397 364 0 26190 0
[pid=9095] ppid=9093 vsize=794076 CPUtime=93.98 cores=0,2,4,6
/proc/9095/stat : 9095 (scip-2.0.1.linu) T 9093 9095 9095 0 -1 4202496 193365 0 0 0 9326 72 0 0 20 0 1 0 338542816 813133824 194814 33554432000 4194304 15243407 140733566515200 140733566511512 6145123 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/9095/statm: 198519 194814 687 2698 0 195814 0
[pid=9093/tid=9102] ppid=9087 vsize=363868 CPUtime=0 cores=0,2,4,6
/proc/9093/task/9102/stat : 9102 (python) S 9087 9087 3958 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 338547888 372600832 7355 33554432000 4194304 5683644 140734291953520 140645469483568 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9103] ppid=9087 vsize=363880 CPUtime=0.16 cores=0,2,4,6
/proc/9103/stat : 9103 (python) S 9087 9087 3958 0 -1 4202560 1151 0 0 0 9 7 0 0 20 0 2 0 338547890 372613120 7341 33554432000 4194304 5683644 140734291953520 140734291945168 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9103/statm: 90970 7341 383 364 0 26190 0
[pid=9105] ppid=9103 vsize=27984 CPUtime=92.24 cores=0,2,4,6
/proc/9105/stat : 9105 (clasp-1.3.7-x86) T 9103 9105 9105 0 -1 4202496 7229 0 0 0 9222 2 0 0 20 0 1 0 338547890 28655616 6737 33554432000 134512640 136139019 4289832512 4289831488 134883704 0 0 16781312 16386 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/9105/statm: 6996 6737 182 398 0 6596 0
[pid=9103/tid=9156] ppid=9087 vsize=363880 CPUtime=0 cores=0,2,4,6
/proc/9103/task/9156/stat : 9156 (python) S 9087 9087 3958 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 2 0 338552603 372613120 7341 33554432000 4194304 5683644 140734291953520 140645469483568 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9157] ppid=9087 vsize=439672 CPUtime=0.08 cores=0,2,4,6
/proc/9157/stat : 9157 (python) S 9087 9087 3958 0 -1 4202560 1119 0 0 0 3 5 0 0 20 0 2 0 338552606 450224128 7347 33554432000 4194304 5683644 140734291953520 140734291945168 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9157/statm: 109918 7347 383 364 0 45135 0
[pid=9159] ppid=9157 vsize=554024 CPUtime=50.56 cores=0,2,4,6
/proc/9159/stat : 9159 (scip-2.0.1.linu) T 9157 9159 9159 0 -1 4202496 133857 0 0 0 5015 41 0 0 20 0 1 0 338552606 567320576 133135 33554432000 4194304 13684479 140735329412064 140735329408376 4880915 0 0 16781312 2 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/9159/statm: 138506 133135 640 2317 0 136184 0
[pid=9157/tid=9164] ppid=9087 vsize=439672 CPUtime=0 cores=0,2,4,6
/proc/9157/task/9164/stat : 9164 (python) S 9087 9087 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338557664 450224128 7347 33554432000 4194304 5683644 140734291953520 140645458993712 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9170] ppid=9087 vsize=515464 CPUtime=0.07 cores=0,2,4,6
/proc/9170/stat : 9170 (python) S 9087 9087 3958 0 -1 4202560 1139 0 0 0 4 3 0 0 20 0 2 0 338562002 527835136 7353 33554432000 4194304 5683644 140734291953520 140734291945168 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9170/statm: 128866 7353 383 364 0 64080 0
[pid=9172] ppid=9170 vsize=9624972 CPUtime=46.22 cores=0,2,4,6
/proc/9172/stat : 9172 (java) T 9170 9172 9172 0 -1 4202496 22659 0 1 0 4581 41 0 0 20 0 19 0 338562002 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140735859959408 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9172/statm: 2406243 436973 2269 9 0 2396937 0
[pid=9172/tid=9173] ppid=9170 vsize=9624972 CPUtime=43.37 cores=0,2,4,6
/proc/9172/task/9173/stat : 9173 (java) T 9170 9172 9172 0 -1 4202560 3812 0 1 0 4310 27 0 0 20 0 19 0 338562003 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581486967920 140581343511255 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=9172/tid=9174] ppid=9170 vsize=9624972 CPUtime=0.13 cores=0,2,4,6
/proc/9172/task/9174/stat : 9174 (java) T 9170 9172 9172 0 -1 4202560 102 0 0 0 11 2 0 0 20 0 19 0 338562005 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581465070120 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=9172/tid=9175] ppid=9170 vsize=9624972 CPUtime=0.09 cores=0,2,4,6
/proc/9172/task/9175/stat : 9175 (java) T 9170 9172 9172 0 -1 4202560 47 0 0 0 7 2 0 0 20 0 19 0 338562005 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581464017320 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=9172/tid=9176] ppid=9170 vsize=9624972 CPUtime=0.07 cores=0,2,4,6
/proc/9172/task/9176/stat : 9176 (java) T 9170 9172 9172 0 -1 4202560 86 0 0 0 7 0 0 0 20 0 19 0 338562005 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581462964520 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=9172/tid=9177] ppid=9170 vsize=9624972 CPUtime=0.12 cores=0,2,4,6
/proc/9172/task/9177/stat : 9177 (java) T 9170 9172 9172 0 -1 4202560 151 0 0 0 10 2 0 0 20 0 19 0 338562005 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581461911720 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=9172/tid=9178] ppid=9170 vsize=9624972 CPUtime=0.07 cores=0,2,4,6
/proc/9172/task/9178/stat : 9178 (java) T 9170 9172 9172 0 -1 4202560 39 0 0 0 6 1 0 0 20 0 19 0 338562005 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581124697128 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=9172/tid=9179] ppid=9170 vsize=9624972 CPUtime=0.09 cores=0,2,4,6
/proc/9172/task/9179/stat : 9179 (java) T 9170 9172 9172 0 -1 4202560 152 0 0 0 7 2 0 0 20 0 19 0 338562005 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581123644328 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=9172/tid=9180] ppid=9170 vsize=9624972 CPUtime=0.12 cores=0,2,4,6
/proc/9172/task/9180/stat : 9180 (java) T 9170 9172 9172 0 -1 4202560 155 0 0 0 10 2 0 0 20 0 19 0 338562005 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581122591528 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=9172/tid=9181] ppid=9170 vsize=9624972 CPUtime=0.06 cores=0,2,4,6
/proc/9172/task/9181/stat : 9181 (java) T 9170 9172 9172 0 -1 4202560 28 0 0 0 6 0 0 0 20 0 19 0 338562005 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581121538728 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=9172/tid=9182] ppid=9170 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/9172/task/9182/stat : 9182 (java) T 9170 9172 9172 0 -1 4202560 1220 0 0 0 0 0 0 0 20 0 19 0 338562006 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581109340648 217413892009 0 0 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=9172/tid=9183] ppid=9170 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/9172/task/9183/stat : 9183 (java) T 9170 9172 9172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338562006 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581108286712 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=9172/tid=9184] ppid=9170 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/9172/task/9184/stat : 9184 (java) T 9170 9172 9172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338562006 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581107233800 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=9172/tid=9185] ppid=9170 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/9172/task/9185/stat : 9185 (java) T 9170 9172 9172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338562008 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581106182288 217413900064 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=9172/tid=9186] ppid=9170 vsize=9624972 CPUtime=0.92 cores=0,2,4,6
/proc/9172/task/9186/stat : 9186 (java) T 9170 9172 9172 0 -1 4202560 7024 0 0 0 92 0 0 0 20 0 19 0 338562008 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581105130424 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=9172/tid=9187] ppid=9170 vsize=9624972 CPUtime=1.03 cores=0,2,4,6
/proc/9172/task/9187/stat : 9187 (java) T 9170 9172 9172 0 -1 4202560 8425 0 0 0 101 2 0 0 20 0 19 0 338562008 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581104077624 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=9172/tid=9188] ppid=9170 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/9172/task/9188/stat : 9188 (java) T 9170 9172 9172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338562008 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581103025016 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=9172/tid=9189] ppid=9170 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/9172/task/9189/stat : 9189 (java) T 9170 9172 9172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338562008 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581101972424 217413892009 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=9172/tid=9190] ppid=9170 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/9172/task/9190/stat : 9190 (java) T 9170 9172 9172 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 338562059 9855971328 436973 33554432000 1073741824 1073778376 140735859968272 140581100917928 217413892009 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=9170/tid=9192] ppid=9087 vsize=515464 CPUtime=0 cores=0,2,4,6
/proc/9170/task/9192/stat : 9192 (python) S 9087 9087 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338566368 527835136 7353 33554432000 4194304 5683644 140734291953520 140645448503856 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9214] ppid=9087 vsize=591256 CPUtime=0 cores=0,2,4,6
/proc/9214/stat : 9214 (python) S 9087 9087 3958 0 -1 4202560 857 0 0 0 0 0 0 0 20 0 1 0 338570886 605446144 7310 33554432000 4194304 5683644 140734291953520 140734291944608 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 6 0 0 0 0 0
/proc/9214/statm: 147814 7310 335 364 0 83025 0
[pid=9216] ppid=9214 vsize=9558408 CPUtime=0.65 cores=0,2,4,6
/proc/9216/stat : 9216 (java) S 9214 9216 9216 0 -1 4202496 7536 0 1 0 63 2 0 0 20 0 18 0 338570886 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 140735057590272 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9216/statm: 2389602 14921 2216 9 0 2380296 0
[pid=9216/tid=9217] ppid=9214 vsize=9558408 CPUtime=0.34 cores=0,2,4,6
/proc/9216/task/9217/stat : 9217 (java) R 9214 9216 9216 0 -1 4202560 2434 0 1 0 32 2 0 0 20 0 18 0 338570887 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139696118861368 139695975672917 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9216/tid=9218] ppid=9214 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/9216/task/9218/stat : 9218 (java) S 9214 9216 9216 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338570887 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139696096963624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9216/tid=9219] ppid=9214 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/9216/task/9219/stat : 9219 (java) S 9214 9216 9216 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338570887 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139696095910824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9216/tid=9220] ppid=9214 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/9216/task/9220/stat : 9220 (java) S 9214 9216 9216 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338570887 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139696094858024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9216/tid=9221] ppid=9214 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/9216/task/9221/stat : 9221 (java) S 9214 9216 9216 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338570887 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139695757453992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9216/tid=9222] ppid=9214 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/9216/task/9222/stat : 9222 (java) S 9214 9216 9216 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338570887 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139695756401192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9216/tid=9223] ppid=9214 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/9216/task/9223/stat : 9223 (java) S 9214 9216 9216 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338570887 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139695755348392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9216/tid=9224] ppid=9214 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/9216/task/9224/stat : 9224 (java) S 9214 9216 9216 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338570887 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139695754295592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9216/tid=9225] ppid=9214 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/9216/task/9225/stat : 9225 (java) S 9214 9216 9216 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338570887 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139695753242792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9216/tid=9226] ppid=9214 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/9216/task/9226/stat : 9226 (java) S 9214 9216 9216 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 338570889 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139695741045736 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9216/tid=9227] ppid=9214 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/9216/task/9227/stat : 9227 (java) S 9214 9216 9216 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 338570889 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139695739991800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9216/tid=9228] ppid=9214 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/9216/task/9228/stat : 9228 (java) S 9214 9216 9216 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338570889 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139695738938888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9216/tid=9229] ppid=9214 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/9216/task/9229/stat : 9229 (java) S 9214 9216 9216 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338570891 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139695737887376 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9216/tid=9230] ppid=9214 vsize=9558408 CPUtime=0.15 cores=0,2,4,6
/proc/9216/task/9230/stat : 9230 (java) S 9214 9216 9216 0 -1 4202560 1482 0 0 0 15 0 0 0 20 0 18 0 338570891 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139695736834488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9216/tid=9231] ppid=9214 vsize=9558408 CPUtime=0.13 cores=0,2,4,6
/proc/9216/task/9231/stat : 9231 (java) S 9214 9216 9216 0 -1 4202560 2204 0 0 0 13 0 0 0 20 0 18 0 338570891 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139695735781688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9216/tid=9232] ppid=9214 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/9216/task/9232/stat : 9232 (java) S 9214 9216 9216 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338570891 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139695734729080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9216/tid=9233] ppid=9214 vsize=9558408 CPUtime=0 cores=0,2,4,6
/proc/9216/task/9233/stat : 9233 (java) S 9214 9216 9216 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338570891 9787809792 14921 33554432000 1073741824 1073778376 140735057599136 139695733676488 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9087/tid=9094] ppid=9085 vsize=667036 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9094/stat : 9094 (python) S 9085 9087 3958 0 -1 4202560 31 1011 0 0 0 0 0 0 20 0 6 0 338542816 683044864 8892 33554432000 4194304 5683644 140734291953520 140645469483568 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9087/tid=9104] ppid=9085 vsize=667036 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9104/stat : 9104 (python) S 9085 9087 3958 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 6 0 338547890 683044864 8892 33554432000 4194304 5683644 140734291953520 140645458993712 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9087/tid=9158] ppid=9085 vsize=667036 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9158/stat : 9158 (python) S 9085 9087 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 6 0 338552606 683044864 8892 33554432000 4194304 5683644 140734291953520 140645448503856 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9087/tid=9171] ppid=9085 vsize=667036 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9171/stat : 9171 (python) S 9085 9087 3958 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 6 0 338562002 683044864 8892 33554432000 4194304 5683644 140734291953520 140645438014000 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9087/tid=9215] ppid=9085 vsize=667036 CPUtime=0 cores=0,2,4,6
/proc/9087/task/9215/stat : 9215 (python) S 9085 9087 3958 0 -1 4202560 22 1011 0 0 0 0 0 0 20 0 6 0 338570886 683044864 8892 33554432000 4194304 5683644 140734291953520 140645427524144 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 285.14
Current children cumulated vsize (KiB) 23500640
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 9087 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=938857
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=110983
# CPU time returned by wait4() is 1.04984
# while last known CPU time is 285.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 282.862
CPU time (s): 285.14
CPU user time (s): 283.24
CPU system time (s): 1.9
CPU usage (%): 100.805
Max. virtual memory (cumulated for all children) (KiB): 23500640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.938857
system time used= 0.110983
maximum resident set size= 36060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17884
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= 2079
involuntary context switches= 12
runsolver used 0.881865 second user time and 2.46462 second system time
The end