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-3739619-1338718506/watcher-3739619-1338718506 -o /tmp/evaluation-result-3739619-1338718506/solver-3739619-1338718506 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3739619-1338718506.opb -seed 612214528 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.03 2.05 2/214 5325
/proc/meminfo: memFree=25225300/32873844 swapFree=6608/6608
[pid=5325] ppid=5323 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/5325/stat : 5325 (python) D 5323 5325 3621 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 1 0 337975637 15642624 559 33554432000 4194304 5683644 140733558498160 140733558466104 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/5325/statm: 3819 559 324 364 0 261 0
[startup+0.029048 s]
/proc/loadavg: 2.01 2.03 2.05 2/214 5325
/proc/meminfo: memFree=25225300/32873844 swapFree=6608/6608
[pid=5325] ppid=5323 vsize=15960 CPUtime=0 cores=1,3,5,7
/proc/5325/stat : 5325 (python) D 5323 5325 3621 0 -1 4202496 889 0 0 0 0 0 0 0 20 0 1 0 337975637 16343040 743 33554432000 4194304 5683644 140733558498160 140733558411192 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/5325/statm: 3990 743 347 364 0 432 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15960
[startup+0.100252 s]
/proc/loadavg: 2.01 2.03 2.05 2/214 5325
/proc/meminfo: memFree=25225300/32873844 swapFree=6608/6608
[pid=5325] ppid=5323 vsize=19084 CPUtime=0.02 cores=1,3,5,7
/proc/5325/stat : 5325 (python) R 5323 5325 3621 0 -1 4202496 1394 0 0 0 2 0 0 0 20 0 1 0 337975637 19542016 1148 33554432000 4194304 5683644 140733558498160 140733558428664 4867352 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/5325/statm: 4771 1148 430 364 0 695 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19084
[startup+0.300226 s]
/proc/loadavg: 2.01 2.03 2.05 2/214 5325
/proc/meminfo: memFree=25225300/32873844 swapFree=6608/6608
[pid=5325] ppid=5323 vsize=83948 CPUtime=0.07 cores=1,3,5,7
/proc/5325/stat : 5325 (python) D 5323 5325 3621 0 -1 4202496 2917 0 0 0 5 2 0 0 20 0 1 0 337975637 85962752 2442 33554432000 4194304 5683644 140733558498160 140733558465784 213419644775 0 0 16781312 2 18446744071580543392 0 0 17 1 0 0 0 0 0
/proc/5325/statm: 20987 2442 744 364 0 1615 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 83948
[startup+0.700267 s]
/proc/loadavg: 2.01 2.03 2.05 2/214 5325
/proc/meminfo: memFree=25225300/32873844 swapFree=6608/6608
[pid=5325] ppid=5323 vsize=107676 CPUtime=0.14 cores=1,3,5,7
/proc/5325/stat : 5325 (python) D 5323 5325 3621 0 -1 4202496 4923 1011 1 0 11 3 0 0 20 0 1 0 337975637 110260224 3055 33554432000 4194304 5683644 140733558498160 140733558388664 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 30 0 0
/proc/5325/statm: 26919 3055 905 364 0 2026 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 107676
[startup+1.50024 s]
/proc/loadavg: 2.01 2.03 2.05 2/215 5330
/proc/meminfo: memFree=25204700/32873844 swapFree=6608/6608
[pid=5325] ppid=5323 vsize=257752 CPUtime=0.43 cores=1,3,5,7
/proc/5325/stat : 5325 (python) D 5323 5325 3621 0 -1 4202496 9068 1011 1 0 30 13 0 0 20 0 1 0 337975637 263938048 6371 33554432000 4194304 5683644 140733558498160 140733558411864 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 30 0 0
/proc/5325/statm: 64438 6371 1699 364 0 5022 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 257752
[startup+3.10017 s]
/proc/loadavg: 2.01 2.03 2.05 3/215 5330
/proc/meminfo: memFree=25168676/32873844 swapFree=6608/6608
[pid=5325] ppid=5323 vsize=309688 CPUtime=2 cores=1,3,5,7
/proc/5325/stat : 5325 (python) R 5323 5325 3621 0 -1 4202496 20300 1011 1 0 184 16 0 0 20 0 1 0 337975637 317120512 14175 33554432000 4194304 5683644 140733558498160 140733558484984 213419268652 0 0 16781312 33554434 0 0 0 17 1 0 0 30 0 0
/proc/5325/statm: 77422 14175 1847 364 0 12651 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 309688
heavy processes:
[startup+6.30028 s]
/proc/loadavg: 2.01 2.02 2.05 3/218 5333
/proc/meminfo: memFree=25131344/32873844 swapFree=6608/6608
[pid=5325] ppid=5323 vsize=387460 CPUtime=2.35 cores=1,3,5,7
/proc/5325/stat : 5325 (python) S 5323 5325 3621 0 -1 4202496 21080 1011 1 0 219 16 0 0 20 0 2 0 337975637 396759040 14728 33554432000 4194304 5683644 140733558498160 140733558492992 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 30 0 0
/proc/5325/statm: 96865 14728 1902 364 0 32088 0
[pid=5331] ppid=5325 vsize=311680 CPUtime=0 cores=1,3,5,7
/proc/5331/stat : 5331 (python) S 5325 5325 3621 0 -1 4202560 735 0 0 0 0 0 0 0 20 0 1 0 337975983 319160320 13160 33554432000 4194304 5683644 140733558498160 140733558489248 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/5331/statm: 77920 13160 340 364 0 13143 0
[pid=5333] ppid=5331 vsize=13588 CPUtime=2.83 cores=1,3,5,7
/proc/5333/stat : 5333 (clasp-1.3.7-x86) R 5331 5333 5333 0 -1 4202496 4255 0 0 0 283 0 0 0 20 0 1 0 337975983 13914112 3127 33554432000 134512640 136139019 4292166944 4292165920 134882965 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/5333/statm: 3397 3127 183 398 0 2997 0
[pid=5325/tid=5332] ppid=5323 vsize=387460 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5332/stat : 5332 (python) S 5323 5325 3621 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 2 0 337975983 396759040 14728 33554432000 4194304 5683644 140733558498160 139669488542256 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 712728
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/218 5333
/proc/meminfo: memFree=25110064/32873844 swapFree=6608/6608
[pid=5325] ppid=5323 vsize=387460 CPUtime=2.35 cores=1,3,5,7
/proc/5325/stat : 5325 (python) S 5323 5325 3621 0 -1 4202496 21080 1011 1 0 219 16 0 0 20 0 2 0 337975637 396759040 14728 33554432000 4194304 5683644 140733558498160 140733558492992 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 30 0 0
/proc/5325/statm: 96865 14728 1902 364 0 32088 0
[pid=5331] ppid=5325 vsize=311680 CPUtime=0 cores=1,3,5,7
/proc/5331/stat : 5331 (python) S 5325 5325 3621 0 -1 4202560 886 0 0 0 0 0 0 0 20 0 1 0 337975983 319160320 13182 33554432000 4194304 5683644 140733558498160 140733558489248 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/5331/statm: 77920 13182 362 364 0 13143 0
[pid=5333] ppid=5331 vsize=19168 CPUtime=9.23 cores=1,3,5,7
/proc/5333/stat : 5333 (clasp-1.3.7-x86) R 5331 5333 5333 0 -1 4202496 5666 0 0 0 922 1 0 0 20 0 1 0 337975983 19628032 4538 33554432000 134512640 136139019 4292166944 4292165696 134871063 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/5333/statm: 4792 4538 183 398 0 4392 0
[pid=5325/tid=5332] ppid=5323 vsize=387460 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5332/stat : 5332 (python) S 5323 5325 3621 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 2 0 337975983 396759040 14728 33554432000 4194304 5683644 140733558498160 139669488542256 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 11.58
Current children cumulated vsize (KiB) 718308
[startup+25.5072 s]
/proc/loadavg: 2.01 2.02 2.05 3/218 5333
/proc/meminfo: memFree=25104624/32873844 swapFree=6608/6608
[pid=5325] ppid=5323 vsize=387460 CPUtime=2.35 cores=1,3,5,7
/proc/5325/stat : 5325 (python) S 5323 5325 3621 0 -1 4202496 21080 1011 1 0 219 16 0 0 20 0 2 0 337975637 396759040 14728 33554432000 4194304 5683644 140733558498160 140733558492992 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 30 0 0
/proc/5325/statm: 96865 14728 1902 364 0 32088 0
[pid=5331] ppid=5325 vsize=311680 CPUtime=0.03 cores=1,3,5,7
/proc/5331/stat : 5331 (python) S 5325 5325 3621 0 -1 4202560 895 0 0 0 2 1 0 0 20 0 1 0 337975983 319160320 13183 33554432000 4194304 5683644 140733558498160 140733558489248 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/5331/statm: 77920 13183 363 364 0 13143 0
[pid=5333] ppid=5331 vsize=23796 CPUtime=22.03 cores=1,3,5,7
/proc/5333/stat : 5333 (clasp-1.3.7-x86) R 5331 5333 5333 0 -1 4202496 6826 0 0 0 2202 1 0 0 20 0 1 0 337975983 24367104 5698 33554432000 134512640 136139019 4292166944 4292165920 134883777 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/5333/statm: 5949 5698 183 398 0 5549 0
[pid=5325/tid=5332] ppid=5323 vsize=387460 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5332/stat : 5332 (python) S 5323 5325 3621 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 2 0 337975983 396759040 14728 33554432000 4194304 5683644 140733558498160 139669488542256 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 24.41
Current children cumulated vsize (KiB) 722936
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.05 3/219 5334
/proc/meminfo: memFree=25079960/32873844 swapFree=6608/6608
[pid=5325] ppid=5323 vsize=387464 CPUtime=2.85 cores=1,3,5,7
/proc/5325/stat : 5325 (python) R 5323 5325 3621 0 -1 4202496 21765 1011 1 0 268 17 0 0 20 0 2 0 337975637 396763136 14730 33554432000 4194304 5683644 140733558498160 140733558492992 4891481 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 30 0 0
/proc/5325/statm: 96866 14730 1903 364 0 32089 0
[pid=5331] ppid=5325 vsize=387460 CPUtime=0.08 cores=1,3,5,7
/proc/5331/stat : 5331 (python) S 5325 5325 3621 0 -1 4202560 1138 0 0 0 4 4 0 0 20 0 2 0 337975983 396759040 13734 33554432000 4194304 5683644 140733558498160 140733558489808 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5331/statm: 96865 13734 396 364 0 32088 0
[pid=5333] ppid=5331 vsize=39112 CPUtime=47.13 cores=1,3,5,7
/proc/5333/stat : 5333 (clasp-1.3.7-x86) T 5331 5333 5333 0 -1 4202496 10641 0 0 0 4711 2 0 0 20 0 1 0 337975983 40050688 9513 33554432000 134512640 136139019 4292166944 4292165920 134883787 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/5333/statm: 9778 9513 183 398 0 9378 0
[pid=5331/tid=5334] ppid=5325 vsize=387460 CPUtime=0 cores=1,3,5,7
/proc/5331/task/5334/stat : 5334 (python) S 5325 5325 3621 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 337980697 396759040 13734 33554432000 4194304 5683644 140733558498160 139669488542256 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5325/tid=5332] ppid=5323 vsize=387464 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5332/stat : 5332 (python) S 5323 5325 3621 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 2 0 337975983 396763136 14730 33554432000 4194304 5683644 140733558498160 139669488542256 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.06
Current children cumulated vsize (KiB) 814036
[startup+102.301 s]
/proc/loadavg: 2.06 2.03 2.05 3/222 5338
/proc/meminfo: memFree=24937780/32873844 swapFree=6608/6608
[pid=5325] ppid=5323 vsize=463252 CPUtime=8.43 cores=1,3,5,7
/proc/5325/stat : 5325 (python) S 5323 5325 3621 0 -1 4202496 22079 1011 1 0 823 20 0 0 20 0 3 0 337975637 474370048 15248 33554432000 4194304 5683644 140733558498160 140733558492992 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 30 0 0
/proc/5325/statm: 115813 15248 1905 364 0 51033 0
[pid=5331] ppid=5325 vsize=387460 CPUtime=0.08 cores=1,3,5,7
/proc/5331/stat : 5331 (python) S 5325 5325 3621 0 -1 4202560 1138 0 0 0 4 4 0 0 20 0 2 0 337975983 396759040 13734 33554432000 4194304 5683644 140733558498160 140733558489808 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5331/statm: 96865 13734 396 364 0 32088 0
[pid=5333] ppid=5331 vsize=39112 CPUtime=47.13 cores=1,3,5,7
/proc/5333/stat : 5333 (clasp-1.3.7-x86) T 5331 5333 5333 0 -1 4202496 10641 0 0 0 4711 2 0 0 20 0 1 0 337975983 40050688 9513 33554432000 134512640 136139019 4292166944 4292165920 134883787 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/5333/statm: 9778 9513 183 398 0 9378 0
[pid=5331/tid=5334] ppid=5325 vsize=387460 CPUtime=0 cores=1,3,5,7
/proc/5331/task/5334/stat : 5334 (python) S 5325 5325 3621 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 337980697 396759040 13734 33554432000 4194304 5683644 140733558498160 139669488542256 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5335] ppid=5325 vsize=387472 CPUtime=0.07 cores=1,3,5,7
/proc/5335/stat : 5335 (python) S 5325 5325 3621 0 -1 4202560 908 0 0 0 4 3 0 0 20 0 1 0 337981305 396771328 13184 33554432000 4194304 5683644 140733558498160 140733558489248 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/5335/statm: 96868 13184 358 364 0 32088 0
[pid=5337] ppid=5335 vsize=158896 CPUtime=45.59 cores=1,3,5,7
/proc/5337/stat : 5337 (minion) R 5335 5337 5337 0 -1 4202496 29965 0 0 0 4554 5 0 0 20 0 1 0 337981306 162709504 32237 33554432000 134512640 165565024 4292215984 4292213232 142853006 0 0 16781312 8396802 0 0 0 17 1 0 0 0 0 0
/proc/5337/statm: 39724 32237 345 7582 0 32139 0
[pid=5325/tid=5332] ppid=5323 vsize=463252 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5332/stat : 5332 (python) S 5323 5325 3621 0 -1 4202560 27 1011 0 0 0 0 0 0 20 0 3 0 337975983 474370048 15248 33554432000 4194304 5683644 140733558498160 139669488542256 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5325/tid=5336] ppid=5323 vsize=463252 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5336/stat : 5336 (python) S 5323 5325 3621 0 -1 4202560 22 1011 0 0 0 0 0 0 20 0 3 0 337981305 474370048 15248 33554432000 4194304 5683644 140733558498160 139669478052400 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 1436192
[startup+162.301 s]
/proc/loadavg: 2.03 2.02 2.04 3/233 5349
/proc/meminfo: memFree=23969200/32873844 swapFree=6608/6608
[pid=5325] ppid=5323 vsize=614836 CPUtime=8.49 cores=1,3,5,7
/proc/5325/stat : 5325 (python) S 5323 5325 3621 0 -1 4202496 23887 1011 1 0 828 21 0 0 20 0 5 0 337975637 629592064 15772 33554432000 4194304 5683644 140733558498160 140733558492992 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 30 0 0
/proc/5325/statm: 153709 15772 1909 364 0 88923 0
[pid=5331] ppid=5325 vsize=387460 CPUtime=0.08 cores=1,3,5,7
/proc/5331/stat : 5331 (python) S 5325 5325 3621 0 -1 4202560 1138 0 0 0 4 4 0 0 20 0 2 0 337975983 396759040 13734 33554432000 4194304 5683644 140733558498160 140733558489808 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5331/statm: 96865 13734 396 364 0 32088 0
[pid=5333] ppid=5331 vsize=39112 CPUtime=47.13 cores=1,3,5,7
/proc/5333/stat : 5333 (clasp-1.3.7-x86) T 5331 5333 5333 0 -1 4202496 10641 0 0 0 4711 2 0 0 20 0 1 0 337975983 40050688 9513 33554432000 134512640 136139019 4292166944 4292165920 134883787 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/5333/statm: 9778 9513 183 398 0 9378 0
[pid=5331/tid=5334] ppid=5325 vsize=387460 CPUtime=0 cores=1,3,5,7
/proc/5331/task/5334/stat : 5334 (python) S 5325 5325 3621 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 337980697 396759040 13734 33554432000 4194304 5683644 140733558498160 139669488542256 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5335] ppid=5325 vsize=387472 CPUtime=0.09 cores=1,3,5,7
/proc/5335/stat : 5335 (python) S 5325 5325 3621 0 -1 4202560 1065 0 0 0 5 4 0 0 20 0 2 0 337981305 396771328 13721 33554432000 4194304 5683644 140733558498160 140733558489808 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5335/statm: 96868 13721 383 364 0 32088 0
[pid=5337] ppid=5335 vsize=158896 CPUtime=48.03 cores=1,3,5,7
/proc/5337/stat : 5337 (minion) T 5335 5337 5337 0 -1 4202496 29965 0 0 0 4798 5 0 0 20 0 1 0 337981306 162709504 32237 33554432000 134512640 165565024 4292215984 4292213232 159737071 0 0 16781312 8396802 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/5337/statm: 39724 32237 345 7582 0 32139 0
################
# More data... #
################
[pid=5446/tid=5452] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 5446 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 338128469 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140038427880232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 5446 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338128469 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140038426827432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 5446 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 338128469 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140038425775144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5455] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5455/stat : 5455 (java) S 5444 5446 5446 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338128469 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140038424722344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5456] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5456/stat : 5456 (java) S 5444 5446 5446 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 338128470 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140037942393064 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5457] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5457/stat : 5457 (java) S 5444 5446 5446 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 338128471 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140037941339128 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5458] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5458/stat : 5458 (java) S 5444 5446 5446 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 338128471 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140037940286728 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5459] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5459/stat : 5459 (java) S 5444 5446 5446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338128473 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140037939235216 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5460] ppid=5444 vsize=9558408 CPUtime=0.24 cores=1,3,5,7
/proc/5446/task/5460/stat : 5460 (java) S 5444 5446 5446 0 -1 4202560 2833 0 0 0 24 0 0 0 20 0 18 0 338128473 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140037938182840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5446/tid=5461] ppid=5444 vsize=9558408 CPUtime=0.23 cores=1,3,5,7
/proc/5446/task/5461/stat : 5461 (java) S 5444 5446 5446 0 -1 4202560 2556 0 0 0 23 0 0 0 20 0 18 0 338128473 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140037937130040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5446/tid=5462] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5462/stat : 5462 (java) S 5444 5446 5446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338128473 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140037936077944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5446/tid=5463] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5463/stat : 5463 (java) S 5444 5446 5446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338128473 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140037935025352 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5325/tid=5332] ppid=5323 vsize=842212 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5332/stat : 5332 (python) S 5323 5325 3621 0 -1 4202560 35 1011 0 0 0 0 0 0 20 0 8 0 337975983 862425088 15796 33554432000 4194304 5683644 140733558498160 139669488542256 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5325/tid=5336] ppid=5323 vsize=842212 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5336/stat : 5336 (python) S 5323 5325 3621 0 -1 4202560 22 1011 0 0 0 0 0 0 20 0 8 0 337981305 862425088 15796 33554432000 4194304 5683644 140733558498160 139669478052400 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5325/tid=5341] ppid=5323 vsize=842212 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5341/stat : 5341 (python) S 5323 5325 3621 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 8 0 337986113 862425088 15796 33554432000 4194304 5683644 140733558498160 139669462733360 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5325/tid=5348] ppid=5323 vsize=842212 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5348/stat : 5348 (python) S 5323 5325 3621 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 8 0 337990905 862425088 15796 33554432000 4194304 5683644 140733558498160 139669249450544 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5325/tid=5353] ppid=5323 vsize=842212 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5353/stat : 5353 (python) S 5323 5325 3621 0 -1 4202560 22 1011 0 0 0 0 0 0 20 0 8 0 338000214 862425088 15796 33554432000 4194304 5683644 140733558498160 139669238960688 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5325/tid=5361] ppid=5323 vsize=842212 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5361/stat : 5361 (python) S 5323 5325 3621 0 -1 4202560 22 1011 0 0 0 0 0 0 20 0 8 0 338018549 862425088 15796 33554432000 4194304 5683644 140733558498160 139669228470832 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5325/tid=5445] ppid=5323 vsize=842212 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5445/stat : 5445 (python) S 5323 5325 3621 0 -1 4202560 23 1011 0 0 0 0 0 0 20 0 8 0 338128466 862425088 15796 33554432000 4194304 5683644 140733558498160 139669217980976 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1530.96
Current children cumulated vsize (KiB) 16200740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1529.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/246 5463
/proc/meminfo: memFree=23212232/32873844 swapFree=6608/6608
[pid=5325] ppid=5323 vsize=842212 CPUtime=8.67 cores=1,3,5,7
/proc/5325/stat : 5325 (python) S 5323 5325 3621 0 -1 4202496 26822 1011 1 0 845 22 0 0 20 0 8 0 337975637 862425088 15796 33554432000 4194304 5683644 140733558498160 140733558492992 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 30 0 0
/proc/5325/statm: 210553 15796 1915 364 0 145758 0
[pid=5331] ppid=5325 vsize=387460 CPUtime=0.41 cores=1,3,5,7
/proc/5331/stat : 5331 (python) S 5325 5325 3621 0 -1 4202560 1198 0 0 0 24 17 0 0 20 0 2 0 337975983 396759040 13735 33554432000 4194304 5683644 140733558498160 140733558489808 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5331/statm: 96865 13735 397 364 0 32088 0
[pid=5333] ppid=5331 vsize=63920 CPUtime=229.61 cores=1,3,5,7
/proc/5333/stat : 5333 (clasp-1.3.7-x86) T 5331 5333 5333 0 -1 4202496 16823 0 0 0 22957 4 0 0 20 0 1 0 337975983 65454080 15734 33554432000 134512640 136139019 4292166944 4292165776 134832159 0 0 16781312 16386 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/5333/statm: 15980 15734 183 398 0 15580 0
[pid=5331/tid=5334] ppid=5325 vsize=387460 CPUtime=0 cores=1,3,5,7
/proc/5331/task/5334/stat : 5334 (python) S 5325 5325 3621 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 337980697 396759040 13735 33554432000 4194304 5683644 140733558498160 139669488542256 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5335] ppid=5325 vsize=387472 CPUtime=0.09 cores=1,3,5,7
/proc/5335/stat : 5335 (python) S 5325 5325 3621 0 -1 4202560 1065 0 0 0 5 4 0 0 20 0 2 0 337981305 396771328 13721 33554432000 4194304 5683644 140733558498160 140733558489808 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5335/statm: 96868 13721 383 364 0 32088 0
[pid=5337] ppid=5335 vsize=158896 CPUtime=48.03 cores=1,3,5,7
/proc/5337/stat : 5337 (minion) T 5335 5337 5337 0 -1 4202496 29965 0 0 0 4798 5 0 0 20 0 1 0 337981306 162709504 32428 33554432000 134512640 165565024 4292215984 4292213232 159737071 0 0 16781312 8396802 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/5337/statm: 39724 32428 345 7582 0 32139 0
[pid=5335/tid=5339] ppid=5325 vsize=387472 CPUtime=0 cores=1,3,5,7
/proc/5335/task/5339/stat : 5339 (python) S 5325 5325 3621 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 337986111 396771328 13721 33554432000 4194304 5683644 140733558498160 139669488542256 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5340] ppid=5325 vsize=463264 CPUtime=1.97 cores=1,3,5,7
/proc/5340/stat : 5340 (python) S 5325 5325 3621 0 -1 4202560 1163 0 0 0 112 85 0 0 20 0 2 0 337986113 474382336 13726 33554432000 4194304 5683644 140733558498160 140733558489808 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5340/statm: 115816 13726 383 364 0 51033 0
[pid=5342] ppid=5340 vsize=955188 CPUtime=1052.93 cores=1,3,5,7
/proc/5342/stat : 5342 (scip-2.0.1.linu) T 5340 5342 5342 0 -1 4202496 229463 0 0 0 104947 346 0 0 20 0 1 0 337986113 978112512 235255 33554432000 4194304 13684479 140733953649312 140733953643144 7390244 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/5342/statm: 238797 235255 805 2317 0 236475 0
[pid=5340/tid=5346] ppid=5325 vsize=463264 CPUtime=0 cores=1,3,5,7
/proc/5340/task/5346/stat : 5346 (python) S 5325 5325 3621 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 337990903 474382336 13726 33554432000 4194304 5683644 140733558498160 139669478052400 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5347] ppid=5325 vsize=539056 CPUtime=0.18 cores=1,3,5,7
/proc/5347/stat : 5347 (python) S 5325 5325 3621 0 -1 4202560 1160 0 0 0 10 8 0 0 20 0 2 0 337990905 551993344 13733 33554432000 4194304 5683644 140733558498160 140733558489808 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5347/statm: 134764 13733 383 364 0 69978 0
[pid=5349] ppid=5347 vsize=638344 CPUtime=94.85 cores=1,3,5,7
/proc/5349/stat : 5349 (scip-2.0.1.linu) T 5347 5349 5349 0 -1 4202496 156022 0 0 0 9431 54 0 0 20 0 1 0 337990905 653664256 154736 33554432000 4194304 15243407 140735442484080 140735442480376 5689801 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/5349/statm: 159586 154736 706 2698 0 156881 0
[pid=5347/tid=5351] ppid=5325 vsize=539056 CPUtime=0 cores=1,3,5,7
/proc/5347/task/5351/stat : 5351 (python) S 5325 5325 3621 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 337995696 551993344 13733 33554432000 4194304 5683644 140733558498160 139669462733360 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5352] ppid=5325 vsize=614848 CPUtime=0.08 cores=1,3,5,7
/proc/5352/stat : 5352 (python) S 5325 5325 3621 0 -1 4202560 1106 0 0 0 4 4 0 0 20 0 2 0 338000214 629604352 14246 33554432000 4194304 5683644 140733558498160 140733558489808 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5352/statm: 153712 14246 383 364 0 88923 0
[pid=5354] ppid=5352 vsize=65108 CPUtime=45.88 cores=1,3,5,7
/proc/5354/stat : 5354 (wbo1.4a) T 5352 5354 5354 0 -1 4202496 17013 0 0 0 4570 18 0 0 20 0 1 0 338000214 66670592 15596 33554432000 134512640 135751879 4289165904 4289164076 134517408 0 0 16781312 3 18446744071579387992 0 0 17 5 0 0 0 0 0
/proc/5354/statm: 16277 15596 143 303 0 15972 0
[pid=5352/tid=5355] ppid=5325 vsize=614848 CPUtime=0 cores=1,3,5,7
/proc/5352/task/5355/stat : 5355 (python) S 5325 5325 3621 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338004805 629604352 14246 33554432000 4194304 5683644 140733558498160 139669249450544 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5360] ppid=5325 vsize=690640 CPUtime=0.07 cores=1,3,5,7
/proc/5360/stat : 5360 (python) S 5325 5325 3621 0 -1 4202560 1111 0 0 0 4 3 0 0 20 0 2 0 338018548 707215360 14253 33554432000 4194304 5683644 140733558498160 140733558489808 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5360/statm: 172660 14253 383 364 0 107868 0
[pid=5362] ppid=5360 vsize=69492 CPUtime=46.84 cores=1,3,5,7
/proc/5362/stat : 5362 (wbo1.4b-fixed) T 5360 5362 5362 0 -1 4202496 18134 0 0 0 4662 22 0 0 20 0 1 0 338018549 71159808 16715 33554432000 134512640 135752315 4291242352 4291240352 134611740 0 0 16781312 3 18446744071579387992 0 0 17 3 0 0 0 0 0
/proc/5362/statm: 17373 16715 146 303 0 17068 0
[pid=5360/tid=5363] ppid=5325 vsize=690640 CPUtime=0 cores=1,3,5,7
/proc/5360/task/5363/stat : 5363 (python) S 5325 5325 3621 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338023236 707215360 14253 33554432000 4194304 5683644 140733558498160 139669238960688 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5444] ppid=5325 vsize=766432 CPUtime=0 cores=1,3,5,7
/proc/5444/stat : 5444 (python) S 5325 5325 3621 0 -1 4202560 847 0 0 0 0 0 0 0 20 0 1 0 338128466 784826368 14210 33554432000 4194304 5683644 140733558498160 140733558489248 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 7 0 0 0 0 0
/proc/5444/statm: 191608 14210 335 364 0 126813 0
[pid=5446] ppid=5444 vsize=9558408 CPUtime=1.35 cores=1,3,5,7
/proc/5446/stat : 5446 (java) S 5444 5446 5446 0 -1 4202496 9402 0 1 0 130 5 0 0 20 0 18 0 338128466 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140736908957440 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5446/statm: 2389602 42217 2252 9 0 2380296 0
[pid=5446/tid=5447] ppid=5444 vsize=9558408 CPUtime=0.76 cores=1,3,5,7
/proc/5446/task/5447/stat : 5447 (java) R 5444 5446 5446 0 -1 4202560 2496 0 1 0 72 4 0 0 20 0 18 0 338128468 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140038588452280 140038432763071 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5446/tid=5448] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5448/stat : 5448 (java) S 5444 5446 5446 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338128469 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140038432090408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5449] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5449/stat : 5449 (java) S 5444 5446 5446 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 338128469 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140038431037608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5450] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5450/stat : 5450 (java) S 5444 5446 5446 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 338128469 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140038429985320 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5451] ppid=5444 vsize=9558408 CPUtime=0.01 cores=1,3,5,7
/proc/5446/task/5451/stat : 5451 (java) S 5444 5446 5446 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 338128469 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140038428932520 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5452] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5452/stat : 5452 (java) S 5444 5446 5446 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 338128469 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140038427880232 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5453] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5453/stat : 5453 (java) S 5444 5446 5446 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338128469 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140038426827432 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5454] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5454/stat : 5454 (java) S 5444 5446 5446 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 338128469 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140038425775144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5455] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5455/stat : 5455 (java) S 5444 5446 5446 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338128469 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140038424722344 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5456] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5456/stat : 5456 (java) S 5444 5446 5446 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 338128470 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140037942393064 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5457] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5457/stat : 5457 (java) S 5444 5446 5446 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 338128471 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140037941339128 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5458] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5458/stat : 5458 (java) S 5444 5446 5446 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 338128471 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140037940286728 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5459] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5459/stat : 5459 (java) S 5444 5446 5446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338128473 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140037939235216 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5446/tid=5460] ppid=5444 vsize=9558408 CPUtime=0.24 cores=1,3,5,7
/proc/5446/task/5460/stat : 5460 (java) S 5444 5446 5446 0 -1 4202560 2833 0 0 0 24 0 0 0 20 0 18 0 338128473 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140037938182840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5446/tid=5461] ppid=5444 vsize=9558408 CPUtime=0.23 cores=1,3,5,7
/proc/5446/task/5461/stat : 5461 (java) S 5444 5446 5446 0 -1 4202560 2556 0 0 0 23 0 0 0 20 0 18 0 338128473 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140037937130040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5446/tid=5462] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5462/stat : 5462 (java) S 5444 5446 5446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338128473 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140037936077944 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5446/tid=5463] ppid=5444 vsize=9558408 CPUtime=0 cores=1,3,5,7
/proc/5446/task/5463/stat : 5463 (java) S 5444 5446 5446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338128473 9787809792 42217 33554432000 1073741824 1073778376 140736908966304 140037935025352 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5325/tid=5332] ppid=5323 vsize=842212 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5332/stat : 5332 (python) S 5323 5325 3621 0 -1 4202560 35 1011 0 0 0 0 0 0 20 0 8 0 337975983 862425088 15796 33554432000 4194304 5683644 140733558498160 139669488542256 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5325/tid=5336] ppid=5323 vsize=842212 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5336/stat : 5336 (python) S 5323 5325 3621 0 -1 4202560 22 1011 0 0 0 0 0 0 20 0 8 0 337981305 862425088 15796 33554432000 4194304 5683644 140733558498160 139669478052400 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5325/tid=5341] ppid=5323 vsize=842212 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5341/stat : 5341 (python) S 5323 5325 3621 0 -1 4202560 25 1011 0 0 0 0 0 0 20 0 8 0 337986113 862425088 15796 33554432000 4194304 5683644 140733558498160 139669462733360 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5325/tid=5348] ppid=5323 vsize=842212 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5348/stat : 5348 (python) S 5323 5325 3621 0 -1 4202560 21 1011 0 0 0 0 0 0 20 0 8 0 337990905 862425088 15796 33554432000 4194304 5683644 140733558498160 139669249450544 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5325/tid=5353] ppid=5323 vsize=842212 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5353/stat : 5353 (python) S 5323 5325 3621 0 -1 4202560 22 1011 0 0 0 0 0 0 20 0 8 0 338000214 862425088 15796 33554432000 4194304 5683644 140733558498160 139669238960688 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5325/tid=5361] ppid=5323 vsize=842212 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5361/stat : 5361 (python) S 5323 5325 3621 0 -1 4202560 22 1011 0 0 0 0 0 0 20 0 8 0 338018549 862425088 15796 33554432000 4194304 5683644 140733558498160 139669228470832 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5325/tid=5445] ppid=5323 vsize=842212 CPUtime=0 cores=1,3,5,7
/proc/5325/task/5445/stat : 5445 (python) S 5323 5325 3621 0 -1 4202560 23 1011 0 0 0 0 0 0 20 0 8 0 338128466 862425088 15796 33554432000 4194304 5683644 140733558498160 139669217980976 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1530.96
Current children cumulated vsize (KiB) 16200740
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5325 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=455714
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=228965
# CPU time returned by wait4() is 8.68468
# while last known CPU time is 1530.96
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1529.17
CPU time (s): 1530.96
CPU user time (s): 1524.99
CPU system time (s): 5.97
CPU usage (%): 100.117
Max. virtual memory (cumulated for all children) (KiB): 16200740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.45571
system time used= 0.228965
maximum resident set size= 63184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27833
page faults= 1
swaps= 0
block input operations= 0
block output operations= 13488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2087
involuntary context switches= 44
runsolver used 7.84481 second user time and 15.2287 second system time
The end