runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3482446-1307576523/watcher-3482446-1307576523 -o /tmp/evaluation-result-3482446-1307576523/solver-3482446-1307576523 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482446-1307576523.opb -seed 1703001747 -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.18 0.85 0.31 2/498 32331
/proc/meminfo: memFree=26291468/32950928 swapFree=34421304/67111528
[pid=32331] ppid=32329 vsize=16248 CPUtime=0.01 cores=1,3,5,7
/proc/32331/stat : 32331 (python) R 32329 32331 31489 0 -1 4202496 1064 0 0 0 1 0 0 0 23 0 1 0 947883039 16637952 935 33554432000 4194304 5683644 140737454536144 18446744073709551615 251367546624 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32331/statm: 4062 935 381 364 0 549 0
[startup+0.025458 s]
/proc/loadavg: 2.18 0.85 0.31 2/498 32331
/proc/meminfo: memFree=26291468/32950928 swapFree=34421304/67111528
[pid=32331] ppid=32329 vsize=16820 CPUtime=0.01 cores=1,3,5,7
/proc/32331/stat : 32331 (python) S 32329 32331 31489 0 -1 4202496 1214 0 0 0 1 0 0 0 23 0 1 0 947883039 17223680 1072 33554432000 4194304 5683644 140737454536144 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/32331/statm: 4205 1072 417 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16820
[startup+0.106216 s]
/proc/loadavg: 2.18 0.85 0.31 2/498 32331
/proc/meminfo: memFree=26291468/32950928 swapFree=34421304/67111528
[pid=32331] ppid=32329 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/32331/stat : 32331 (python) R 32329 32331 31489 0 -1 4202496 3169 931 1 0 6 1 0 0 18 0 1 0 947883039 98435072 2483 33554432000 4194304 5683644 140737454536144 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32331/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.301078 s]
/proc/loadavg: 2.18 0.85 0.31 2/498 32331
/proc/meminfo: memFree=26291468/32950928 swapFree=34421304/67111528
[pid=32331] ppid=32329 vsize=193296 CPUtime=0.22 cores=1,3,5,7
/proc/32331/stat : 32331 (python) S 32329 32331 31489 0 -1 4202496 6576 931 1 0 17 5 0 0 17 0 1 0 947883039 197935104 4866 33554432000 4194304 5683644 140737454536144 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/32331/statm: 48324 4866 1417 364 0 3677 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 193296
[startup+0.701073 s]
/proc/loadavg: 2.18 0.85 0.31 2/498 32331
/proc/meminfo: memFree=26291468/32950928 swapFree=34421304/67111528
[pid=32331] ppid=32329 vsize=298348 CPUtime=0.6 cores=1,3,5,7
/proc/32331/stat : 32331 (python) R 32329 32331 31489 0 -1 4202496 12994 931 1 0 50 10 0 0 17 0 1 0 947883039 305508352 10855 33554432000 4194304 5683644 140737454536144 18446744073709551615 251367231392 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32331/statm: 74587 10856 1781 364 0 9480 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 298348
[startup+1.50093 s]
/proc/loadavg: 2.18 0.85 0.31 3/499 32336
/proc/meminfo: memFree=26242976/32950928 swapFree=34421304/67111528
[pid=32331] ppid=32329 vsize=325976 CPUtime=1.4 cores=1,3,5,7
/proc/32331/stat : 32331 (python) R 32329 32331 31489 0 -1 4202496 19785 931 1 0 129 11 0 0 18 0 1 0 947883039 333799424 17646 33554432000 4194304 5683644 140737454536144 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32331/statm: 81494 17647 1781 364 0 16387 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 325976
[startup+3.10063 s]
/proc/loadavg: 2.18 0.85 0.31 3/499 32336
/proc/meminfo: memFree=26212472/32950928 swapFree=34421304/67111528
[pid=32331] ppid=32329 vsize=339596 CPUtime=2.99 cores=1,3,5,7
/proc/32331/stat : 32331 (python) R 32329 32331 31489 0 -1 4202496 32962 931 1 0 287 12 0 0 21 0 1 0 947883039 347746304 21246 33554432000 4194304 5683644 140737454536144 18446744073709551615 46952319870004 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/32331/statm: 84899 21246 1816 364 0 19792 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 339596
[startup+6.30096 s]
/proc/loadavg: 2.16 0.87 0.32 3/502 32339
/proc/meminfo: memFree=26144608/32950928 swapFree=34421304/67111528
[pid=32331] ppid=32329 vsize=353692 CPUtime=4.43 cores=1,3,5,7
/proc/32331/stat : 32331 (python) S 32329 32331 31489 0 -1 4202496 34206 931 1 0 430 13 0 0 25 0 2 0 947883039 362180608 22263 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32331/statm: 88423 22263 1872 364 0 23310 0
[pid=32337] ppid=32331 vsize=343448 CPUtime=0 cores=1,3,5,7
/proc/32337/stat : 32337 (python) S 32331 32331 31489 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 947883492 351690752 20738 33554432000 4194304 5683644 140737454536144 18446744073709551615 251367566863 0 0 16781312 33554946 12636762905547604232 0 0 17 7 0 0 0
/proc/32337/statm: 85862 20738 351 364 0 20749 0
[pid=32339] ppid=32337 vsize=39556 CPUtime=1.75 cores=1,3,5,7
/proc/32339/stat : 32339 (clasp-1.3.7-x86) R 32337 32339 32339 0 -1 4202496 12414 0 0 0 173 2 0 0 25 0 1 0 947883492 40505344 9503 33554432000 134512640 136139019 4289203808 18446744073709551615 134871290 0 0 16781312 16386 0 0 0 17 7 0 0 0
/proc/32339/statm: 9889 9503 184 398 0 9489 0
[pid=32331/tid=32338] ppid=32329 vsize=353692 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32338/stat : 32338 (python) S 32329 32331 31489 0 -1 4202560 28 931 0 0 0 0 0 0 25 0 2 0 947883492 362180608 22263 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 736696
[startup+12.7009 s]
/proc/loadavg: 2.15 0.89 0.33 3/502 32339
/proc/meminfo: memFree=26146444/32950928 swapFree=34421304/67111528
[pid=32331] ppid=32329 vsize=353692 CPUtime=4.43 cores=1,3,5,7
/proc/32331/stat : 32331 (python) S 32329 32331 31489 0 -1 4202496 34206 931 1 0 430 13 0 0 25 0 2 0 947883039 362180608 22263 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32331/statm: 88423 22263 1872 364 0 23310 0
[pid=32337] ppid=32331 vsize=343448 CPUtime=0.03 cores=1,3,5,7
/proc/32337/stat : 32337 (python) S 32331 32331 31489 0 -1 4202560 898 0 0 0 1 2 0 0 18 0 1 0 947883492 351690752 20762 33554432000 4194304 5683644 140737454536144 18446744073709551615 251367566863 0 0 16781312 33554946 5623753486446373555 0 0 17 7 0 0 0
/proc/32337/statm: 85862 20762 375 364 0 20749 0
[pid=32339] ppid=32337 vsize=41340 CPUtime=8.15 cores=1,3,5,7
/proc/32339/stat : 32339 (clasp-1.3.7-x86) R 32337 32339 32339 0 -1 4202496 12839 0 0 0 813 2 0 0 25 0 1 0 947883492 42332160 9928 33554432000 134512640 136139019 4289203808 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/32339/statm: 10335 9928 184 398 0 9935 0
[pid=32331/tid=32338] ppid=32329 vsize=353692 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32338/stat : 32338 (python) S 32329 32331 31489 0 -1 4202560 28 931 0 0 0 0 0 0 25 0 2 0 947883492 362180608 22263 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 738480
[startup+25.5005 s]
/proc/loadavg: 2.12 0.94 0.35 3/502 32340
/proc/meminfo: memFree=26233708/32950928 swapFree=34421304/67111528
[pid=32331] ppid=32329 vsize=353692 CPUtime=4.43 cores=1,3,5,7
/proc/32331/stat : 32331 (python) S 32329 32331 31489 0 -1 4202496 34206 931 1 0 430 13 0 0 25 0 2 0 947883039 362180608 22263 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32331/statm: 88423 22263 1872 364 0 23310 0
[pid=32337] ppid=32331 vsize=343448 CPUtime=0.07 cores=1,3,5,7
/proc/32337/stat : 32337 (python) S 32331 32331 31489 0 -1 4202560 902 0 0 0 2 5 0 0 18 0 1 0 947883492 351690752 20762 33554432000 4194304 5683644 140737454536144 18446744073709551615 251367566863 0 0 16781312 33554946 5623753486446373555 0 0 17 7 0 0 0
/proc/32337/statm: 85862 20762 375 364 0 20749 0
[pid=32339] ppid=32337 vsize=47664 CPUtime=20.95 cores=1,3,5,7
/proc/32339/stat : 32339 (clasp-1.3.7-x86) R 32337 32339 32339 0 -1 4202496 14429 0 0 0 2092 3 0 0 25 0 1 0 947883492 48807936 11518 33554432000 134512640 136139019 4289203808 18446744073709551615 134883094 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/32339/statm: 11916 11518 184 398 0 11516 0
[pid=32331/tid=32338] ppid=32329 vsize=353692 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32338/stat : 32338 (python) S 32329 32331 31489 0 -1 4202560 28 931 0 0 0 0 0 0 25 0 2 0 947883492 362180608 22263 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 744804
[startup+51.1007 s]
/proc/loadavg: 2.08 1.03 0.40 3/502 32340
/proc/meminfo: memFree=26202264/32950928 swapFree=34421304/67111528
[pid=32331] ppid=32329 vsize=353692 CPUtime=4.43 cores=1,3,5,7
/proc/32331/stat : 32331 (python) S 32329 32331 31489 0 -1 4202496 34206 931 1 0 430 13 0 0 25 0 2 0 947883039 362180608 22263 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32331/statm: 88423 22263 1872 364 0 23310 0
[pid=32337] ppid=32331 vsize=343448 CPUtime=0.17 cores=1,3,5,7
/proc/32337/stat : 32337 (python) S 32331 32331 31489 0 -1 4202560 1009 0 0 0 8 9 0 0 18 0 1 0 947883492 351690752 20767 33554432000 4194304 5683644 140737454536144 18446744073709551615 251367566863 0 0 16781312 33554946 5623753486446373555 0 0 17 7 0 0 0
/proc/32337/statm: 85862 20767 380 364 0 20749 0
[pid=32339] ppid=32337 vsize=56916 CPUtime=46.54 cores=1,3,5,7
/proc/32339/stat : 32339 (clasp-1.3.7-x86) R 32337 32339 32339 0 -1 4202496 16726 0 0 0 4651 3 0 0 25 0 1 0 947883492 58281984 13815 33554432000 134512640 136139019 4289203808 18446744073709551615 134608891 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/32339/statm: 14229 13815 184 398 0 13829 0
[pid=32331/tid=32338] ppid=32329 vsize=353692 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32338/stat : 32338 (python) S 32329 32331 31489 0 -1 4202560 28 931 0 0 0 0 0 0 25 0 2 0 947883492 362180608 22263 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 754056
[startup+102.319 s]
/proc/loadavg: 2.03 1.17 0.48 3/506 32346
/proc/meminfo: memFree=25448824/32950928 swapFree=34421304/67111528
[pid=32331] ppid=32329 vsize=363948 CPUtime=17.01 cores=1,3,5,7
/proc/32331/stat : 32331 (python) S 32329 32331 31489 0 -1 4202496 35201 931 1 0 1685 16 0 0 25 0 3 0 947883039 372682752 22270 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32331/statm: 90987 22270 1875 364 0 25871 0
[pid=32337] ppid=32331 vsize=353692 CPUtime=0.19 cores=1,3,5,7
/proc/32337/stat : 32337 (python) S 32331 32331 31489 0 -1 4202560 1142 0 0 0 9 10 0 0 18 0 2 0 947883492 362180608 20803 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32337/statm: 88423 20803 411 364 0 23310 0
[pid=32339] ppid=32337 vsize=57976 CPUtime=48.18 cores=1,3,5,7
/proc/32339/stat : 32339 (clasp-1.3.7-x86) T 32337 32339 32339 0 -1 4202496 16983 0 0 0 4815 3 0 0 25 0 1 0 947883492 59367424 14072 33554432000 134512640 136139019 4289203808 18446744073709551615 134871294 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/32339/statm: 14494 14072 184 398 0 14094 0
[pid=32337/tid=32341] ppid=32331 vsize=353692 CPUtime=0 cores=1,3,5,7
/proc/32337/task/32341/stat : 32341 (python) S 32331 32331 31489 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 947888313 362180608 20803 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554946 18446604470105245504 0 0 -1 1 0 0 0
[pid=32343] ppid=32331 vsize=353704 CPUtime=0.14 cores=1,3,5,7
/proc/32343/stat : 32343 (python) S 32331 32331 31489 0 -1 4202560 942 0 0 0 7 7 0 0 15 0 1 0 947889572 362192896 20763 33554432000 4194304 5683644 140737454536144 18446744073709551615 251367566918 0 0 16781312 33554946 5623753486446373555 0 0 17 7 0 0 0
/proc/32343/statm: 88426 20763 372 364 0 23310 0
[pid=32345] ppid=32343 vsize=714764 CPUtime=36.96 cores=1,3,5,7
/proc/32345/stat : 32345 (minion) R 32343 32345 32345 0 -1 4202496 188568 0 0 0 3676 20 0 0 25 0 1 0 947889573 731918336 171004 33554432000 134512640 165565024 4294399232 18446744073709551615 159737071 0 0 16781312 8396802 0 0 0 17 1 0 0 0
/proc/32345/statm: 178691 171004 346 7582 0 171106 0
[pid=32331/tid=32338] ppid=32329 vsize=363948 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32338/stat : 32338 (python) S 32329 32331 31489 0 -1 4202560 28 931 0 0 0 0 0 0 25 0 3 0 947883492 372682752 22270 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 7 0 0 0
[pid=32331/tid=32344] ppid=32329 vsize=363948 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32344/stat : 32344 (python) S 32329 32331 31489 0 -1 4202560 32 931 0 0 0 0 0 0 25 0 3 0 947889572 372682752 22270 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.48
Current children cumulated vsize (KiB) 1844084
[startup+162.301 s]
/proc/loadavg: 2.07 1.34 0.58 3/510 32351
/proc/meminfo: memFree=24657808/32950928 swapFree=34421304/67111528
[pid=32331] ppid=32329 vsize=374204 CPUtime=17.04 cores=1,3,5,7
/proc/32331/stat : 32331 (python) S 32329 32331 31489 0 -1 4202496 36077 931 1 0 1687 17 0 0 20 0 4 0 947883039 383184896 22276 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32331/statm: 93551 22276 1877 364 0 28432 0
[pid=32337] ppid=32331 vsize=353692 CPUtime=0.19 cores=1,3,5,7
/proc/32337/stat : 32337 (python) S 32331 32331 31489 0 -1 4202560 1142 0 0 0 9 10 0 0 18 0 2 0 947883492 362180608 20803 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32337/statm: 88423 20803 411 364 0 23310 0
[pid=32339] ppid=32337 vsize=57976 CPUtime=48.18 cores=1,3,5,7
/proc/32339/stat : 32339 (clasp-1.3.7-x86) T 32337 32339 32339 0 -1 4202496 16983 0 0 0 4815 3 0 0 25 0 1 0 947883492 59367424 14072 33554432000 134512640 136139019 4289203808 18446744073709551615 134871294 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/32339/statm: 14494 14072 184 398 0 14094 0
[pid=32337/tid=32341] ppid=32331 vsize=353692 CPUtime=0 cores=1,3,5,7
/proc/32337/task/32341/stat : 32341 (python) S 32331 32331 31489 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 947888313 362180608 20803 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554946 18446604470105245504 0 0 -1 1 0 0 0
[pid=32343] ppid=32331 vsize=353704 CPUtime=0.19 cores=1,3,5,7
/proc/32343/stat : 32343 (python) S 32331 32331 31489 0 -1 4202560 1107 0 0 0 9 10 0 0 17 0 2 0 947889572 362192896 20788 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32343/statm: 88426 20788 396 364 0 23310 0
[pid=32345] ppid=32343 vsize=714764 CPUtime=47.1 cores=1,3,5,7
/proc/32345/stat : 32345 (minion) T 32343 32345 32345 0 -1 4202496 188568 0 0 0 4690 20 0 0 25 0 1 0 947889573 731918336 171004 33554432000 134512640 165565024 4294399232 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 1 0 0 0
/proc/32345/statm: 178691 171004 346 7582 0 171106 0
[pid=32343/tid=32347] ppid=32331 vsize=353704 CPUtime=0 cores=1,3,5,7
/proc/32343/task/32347/stat : 32347 (python) S 32331 32331 31489 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 947894285 362192896 20788 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554946 18446604460269814912 0 0 -1 7 0 0 0
[pid=32348] ppid=32331 vsize=363960 CPUtime=0.23 cores=1,3,5,7
################
# More data... #
################
[pid=32475/tid=32485] ppid=32473 vsize=8539388 CPUtime=0.58 cores=1,3,5,7
/proc/32475/task/32485/stat : 32485 (java) T 32473 32475 32475 0 -1 4202560 12601 0 0 0 57 1 0 0 15 0 19 0 947988484 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379363328 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32475/tid=32486] ppid=32473 vsize=8539388 CPUtime=0 cores=1,3,5,7
/proc/32475/task/32486/stat : 32486 (java) T 32473 32475 32475 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 947988484 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32475/tid=32487] ppid=32473 vsize=8539388 CPUtime=0 cores=1,3,5,7
/proc/32475/task/32487/stat : 32487 (java) T 32473 32475 32475 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 947988484 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32475/tid=32488] ppid=32473 vsize=8539388 CPUtime=0 cores=1,3,5,7
/proc/32475/task/32488/stat : 32488 (java) T 32473 32475 32475 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947988486 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379370417 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32475/tid=32489] ppid=32473 vsize=8539388 CPUtime=0.51 cores=1,3,5,7
/proc/32475/task/32489/stat : 32489 (java) T 32473 32475 32475 0 -1 4202560 2681 0 0 0 51 0 0 0 15 0 19 0 947988486 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32475/tid=32490] ppid=32473 vsize=8539388 CPUtime=0.61 cores=1,3,5,7
/proc/32475/task/32490/stat : 32490 (java) T 32473 32475 32475 0 -1 4202560 3494 0 0 0 61 0 0 0 15 0 19 0 947988487 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32475/tid=32491] ppid=32473 vsize=8539388 CPUtime=0 cores=1,3,5,7
/proc/32475/task/32491/stat : 32491 (java) T 32473 32475 32475 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947988487 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32475/tid=32492] ppid=32473 vsize=8539388 CPUtime=0 cores=1,3,5,7
/proc/32475/task/32492/stat : 32492 (java) T 32473 32475 32475 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947988487 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379363328 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32475/tid=32493] ppid=32473 vsize=8539388 CPUtime=0 cores=1,3,5,7
/proc/32475/task/32493/stat : 32493 (java) T 32473 32475 32475 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947988648 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379363328 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32473/tid=32495] ppid=32331 vsize=404984 CPUtime=0 cores=1,3,5,7
/proc/32473/task/32495/stat : 32495 (python) S 32331 32331 31489 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 947993236 414703616 20808 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554946 18446604464688727040 0 0 -1 7 0 0 0
[pid=32331/tid=32338] ppid=32329 vsize=415228 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32338/stat : 32338 (python) S 32329 32331 31489 0 -1 4202560 36 931 0 0 0 0 0 0 18 0 8 0 947883492 425193472 22300 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 7 0 0 0
[pid=32331/tid=32344] ppid=32329 vsize=415228 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32344/stat : 32344 (python) S 32329 32331 31489 0 -1 4202560 32 931 0 0 0 0 0 0 25 0 8 0 947889572 425193472 22300 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 1 0 0 0
[pid=32331/tid=32349] ppid=32329 vsize=415228 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32349/stat : 32349 (python) S 32329 32331 31489 0 -1 4202560 38 931 0 0 0 0 0 0 18 0 8 0 947894287 425193472 22300 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 7 0 0 0
[pid=32331/tid=32354] ppid=32329 vsize=415228 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32354/stat : 32354 (python) S 32329 32331 31489 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 8 0 947899719 425193472 22300 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 1 0 0 0
[pid=32331/tid=32368] ppid=32329 vsize=415228 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32368/stat : 32368 (python) S 32329 32331 31489 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 8 0 947909774 425193472 22300 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 1 0 0 0
[pid=32331/tid=32449] ppid=32329 vsize=415228 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32449/stat : 32449 (python) S 32329 32331 31489 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 8 0 947928034 425193472 22300 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 7 0 0 0
[pid=32331/tid=32474] ppid=32329 vsize=415228 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32474/stat : 32474 (python) S 32329 32331 31489 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 8 0 947988481 425193472 22300 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1423.18
Current children cumulated vsize (KiB) 15872928
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1415.72 s]
/proc/loadavg: 2.01 2.04 1.71 3/587 32517
/proc/meminfo: memFree=19852064/32950928 swapFree=34421304/67111528
[pid=32331] ppid=32329 vsize=415228 CPUtime=17.25 cores=1,3,5,7
/proc/32331/stat : 32331 (python) S 32329 32331 31489 0 -1 4202496 40665 931 1 0 1706 19 0 0 18 0 8 0 947883039 425193472 22300 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/32331/statm: 103807 22300 1885 364 0 38676 0
[pid=32337] ppid=32331 vsize=353692 CPUtime=1 cores=1,3,5,7
/proc/32337/stat : 32337 (python) S 32331 32331 31489 0 -1 4202560 1209 0 0 0 46 54 0 0 18 0 2 0 947883492 362180608 20804 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32337/statm: 88423 20804 412 364 0 23310 0
[pid=32339] ppid=32337 vsize=67728 CPUtime=229.97 cores=1,3,5,7
/proc/32339/stat : 32339 (clasp-1.3.7-x86) T 32337 32339 32339 0 -1 4202496 19444 0 0 0 22994 3 0 0 25 0 1 0 947883492 69353472 16533 33554432000 134512640 136139019 4289203808 18446744073709551615 134608331 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/32339/statm: 16932 16533 184 398 0 16532 0
[pid=32337/tid=32341] ppid=32331 vsize=353692 CPUtime=0 cores=1,3,5,7
/proc/32337/task/32341/stat : 32341 (python) S 32331 32331 31489 0 -1 4202560 41 0 0 0 0 0 0 0 18 0 2 0 947888313 362180608 20804 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554946 18446604470105245504 0 0 -1 1 0 0 0
[pid=32343] ppid=32331 vsize=353704 CPUtime=0.19 cores=1,3,5,7
/proc/32343/stat : 32343 (python) S 32331 32331 31489 0 -1 4202560 1107 0 0 0 9 10 0 0 17 0 2 0 947889572 362192896 20788 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32343/statm: 88426 20788 396 364 0 23310 0
[pid=32345] ppid=32343 vsize=714764 CPUtime=47.1 cores=1,3,5,7
/proc/32345/stat : 32345 (minion) T 32343 32345 32345 0 -1 4202496 188568 0 0 0 4690 20 0 0 25 0 1 0 947889573 731918336 171004 33554432000 134512640 165565024 4294399232 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 1 0 0 0
/proc/32345/statm: 178691 171004 346 7582 0 171106 0
[pid=32343/tid=32347] ppid=32331 vsize=353704 CPUtime=0 cores=1,3,5,7
/proc/32343/task/32347/stat : 32347 (python) S 32331 32331 31489 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 947894285 362192896 20788 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554946 18446604460269814912 0 0 -1 7 0 0 0
[pid=32348] ppid=32331 vsize=363960 CPUtime=3.92 cores=1,3,5,7
/proc/32348/stat : 32348 (python) S 32331 32331 31489 0 -1 4202560 1188 0 0 0 190 202 0 0 15 0 2 0 947894287 372695040 20792 33554432000 4194304 5683644 140737454536144 18446744073709551615 251367566918 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32348/statm: 90990 20792 396 364 0 25871 0
[pid=32350] ppid=32348 vsize=2493604 CPUtime=879.07 cores=1,3,5,7
/proc/32350/stat : 32350 (scip-2.0.1.linu) R 32348 32350 32350 0 -1 4202496 620170 0 0 0 86095 1812 0 0 25 0 1 0 947894287 2553450496 612256 33554432000 4194304 13684479 140736964282864 18446744073709551615 4880915 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32350/statm: 623401 612256 659 2317 0 621079 0
[pid=32348/tid=32352] ppid=32331 vsize=363960 CPUtime=0 cores=1,3,5,7
/proc/32348/task/32352/stat : 32352 (python) S 32331 32331 31489 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 947899716 372695040 20792 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554946 18446604470283192448 0 0 -1 3 0 0 0
[pid=32353] ppid=32331 vsize=374216 CPUtime=0.49 cores=1,3,5,7
/proc/32353/stat : 32353 (python) S 32331 32331 31489 0 -1 4202560 1188 0 0 0 22 27 0 0 15 0 2 0 947899718 383197184 20796 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32353/statm: 93554 20796 396 364 0 28432 0
[pid=32355] ppid=32353 vsize=864216 CPUtime=101.08 cores=1,3,5,7
/proc/32355/stat : 32355 (scip-2.0.1.linu) T 32353 32355 32355 0 -1 4202496 216926 0 0 0 9167 941 0 0 25 0 1 0 947899719 884957184 209018 33554432000 4194304 15243407 140736939130448 18446744073709551615 4556907 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/32355/statm: 216054 209018 702 2698 0 213349 0
[pid=32353/tid=32361] ppid=32331 vsize=374216 CPUtime=0 cores=1,3,5,7
/proc/32353/task/32361/stat : 32361 (python) S 32331 32331 31489 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 947905148 383197184 20796 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554946 18446604468805646336 0 0 -1 7 0 0 0
[pid=32367] ppid=32331 vsize=384472 CPUtime=0.21 cores=1,3,5,7
/proc/32367/stat : 32367 (python) S 32331 32331 31489 0 -1 4202560 1145 0 0 0 11 10 0 0 16 0 2 0 947909773 393699328 20800 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32367/statm: 96118 20800 396 364 0 30993 0
[pid=32369] ppid=32367 vsize=95008 CPUtime=46.96 cores=1,3,5,7
/proc/32369/stat : 32369 (wbo1.4b-fixed) T 32367 32369 32369 0 -1 4202496 25633 0 0 0 4673 23 0 0 25 0 1 0 947909774 97288192 22762 33554432000 134512640 135752315 4286780720 18446744073709551615 134611201 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/32369/statm: 23752 22762 146 303 0 23447 0
[pid=32367/tid=32431] ppid=32331 vsize=384472 CPUtime=0 cores=1,3,5,7
/proc/32367/task/32431/stat : 32431 (python) S 32331 32331 31489 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 947914471 393699328 20800 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554946 18446604468548387904 0 0 -1 3 0 0 0
[pid=32448] ppid=32331 vsize=394728 CPUtime=0.2 cores=1,3,5,7
/proc/32448/stat : 32448 (python) S 32331 32331 31489 0 -1 4202560 1144 0 0 0 8 12 0 0 16 0 2 0 947928034 404201472 20804 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32448/statm: 98682 20804 396 364 0 33554 0
[pid=32450] ppid=32448 vsize=53236 CPUtime=46.56 cores=1,3,5,7
/proc/32450/stat : 32450 (wbo1.4a) T 32448 32450 32450 0 -1 4202496 15258 0 0 0 4637 19 0 0 25 0 1 0 947928034 54513664 12388 33554432000 134512640 135751879 4290102784 18446744073709551615 134642029 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/32450/statm: 13309 12388 143 303 0 13004 0
[pid=32448/tid=32453] ppid=32331 vsize=394728 CPUtime=0 cores=1,3,5,7
/proc/32448/task/32453/stat : 32453 (python) S 32331 32331 31489 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947932692 404201472 20804 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554946 18446604463873714048 0 0 -1 7 0 0 0
[pid=32473] ppid=32331 vsize=404984 CPUtime=0.2 cores=1,3,5,7
/proc/32473/stat : 32473 (python) S 32331 32331 31489 0 -1 4202560 1153 0 0 0 9 11 0 0 17 0 2 0 947988480 414703616 20808 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32473/statm: 101246 20808 396 364 0 36115 0
[pid=32475] ppid=32473 vsize=8539388 CPUtime=48.98 cores=1,3,5,7
/proc/32475/stat : 32475 (java) T 32473 32475 32475 0 -1 4202496 293906 0 1 0 4867 31 0 0 15 0 19 0 947988481 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32475/statm: 2134847 290555 2255 9 0 2125588 0
[pid=32475/tid=32476] ppid=32473 vsize=8539388 CPUtime=46.61 cores=1,3,5,7
/proc/32475/task/32476/stat : 32476 (java) T 32473 32475 32475 0 -1 4202560 237187 0 1 0 4637 24 0 0 25 0 19 0 947988482 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 46912505908884 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32475/tid=32477] ppid=32473 vsize=8539388 CPUtime=0.12 cores=1,3,5,7
/proc/32475/task/32477/stat : 32477 (java) T 32473 32475 32475 0 -1 4202560 7682 0 0 0 12 0 0 0 15 0 19 0 947988483 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32475/tid=32478] ppid=32473 vsize=8539388 CPUtime=0.11 cores=1,3,5,7
/proc/32475/task/32478/stat : 32478 (java) T 32473 32475 32475 0 -1 4202560 7815 0 0 0 11 0 0 0 15 0 19 0 947988483 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32475/tid=32479] ppid=32473 vsize=8539388 CPUtime=0.06 cores=1,3,5,7
/proc/32475/task/32479/stat : 32479 (java) T 32473 32475 32475 0 -1 4202560 4293 0 0 0 6 0 0 0 15 0 19 0 947988483 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32475/tid=32480] ppid=32473 vsize=8539388 CPUtime=0.02 cores=1,3,5,7
/proc/32475/task/32480/stat : 32480 (java) T 32473 32475 32475 0 -1 4202560 84 0 0 0 2 0 0 0 15 0 19 0 947988483 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32475/tid=32481] ppid=32473 vsize=8539388 CPUtime=0.06 cores=1,3,5,7
/proc/32475/task/32481/stat : 32481 (java) T 32473 32475 32475 0 -1 4202560 4492 0 0 0 6 0 0 0 15 0 19 0 947988483 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32475/tid=32482] ppid=32473 vsize=8539388 CPUtime=0.04 cores=1,3,5,7
/proc/32475/task/32482/stat : 32482 (java) T 32473 32475 32475 0 -1 4202560 2687 0 0 0 4 0 0 0 15 0 19 0 947988483 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32475/tid=32483] ppid=32473 vsize=8539388 CPUtime=0.07 cores=1,3,5,7
/proc/32475/task/32483/stat : 32483 (java) T 32473 32475 32475 0 -1 4202560 6573 0 0 0 7 0 0 0 15 0 19 0 947988483 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32475/tid=32484] ppid=32473 vsize=8539388 CPUtime=0.06 cores=1,3,5,7
/proc/32475/task/32484/stat : 32484 (java) T 32473 32475 32475 0 -1 4202560 2923 0 0 0 6 0 0 0 15 0 19 0 947988483 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32475/tid=32485] ppid=32473 vsize=8539388 CPUtime=0.58 cores=1,3,5,7
/proc/32475/task/32485/stat : 32485 (java) T 32473 32475 32475 0 -1 4202560 12601 0 0 0 57 1 0 0 15 0 19 0 947988484 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379363328 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32475/tid=32486] ppid=32473 vsize=8539388 CPUtime=0 cores=1,3,5,7
/proc/32475/task/32486/stat : 32486 (java) T 32473 32475 32475 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 947988484 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32475/tid=32487] ppid=32473 vsize=8539388 CPUtime=0 cores=1,3,5,7
/proc/32475/task/32487/stat : 32487 (java) T 32473 32475 32475 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 947988484 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32475/tid=32488] ppid=32473 vsize=8539388 CPUtime=0 cores=1,3,5,7
/proc/32475/task/32488/stat : 32488 (java) T 32473 32475 32475 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947988486 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379370417 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32475/tid=32489] ppid=32473 vsize=8539388 CPUtime=0.51 cores=1,3,5,7
/proc/32475/task/32489/stat : 32489 (java) T 32473 32475 32475 0 -1 4202560 2681 0 0 0 51 0 0 0 15 0 19 0 947988486 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32475/tid=32490] ppid=32473 vsize=8539388 CPUtime=0.61 cores=1,3,5,7
/proc/32475/task/32490/stat : 32490 (java) T 32473 32475 32475 0 -1 4202560 3494 0 0 0 61 0 0 0 15 0 19 0 947988487 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32475/tid=32491] ppid=32473 vsize=8539388 CPUtime=0 cores=1,3,5,7
/proc/32475/task/32491/stat : 32491 (java) T 32473 32475 32475 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947988487 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32475/tid=32492] ppid=32473 vsize=8539388 CPUtime=0 cores=1,3,5,7
/proc/32475/task/32492/stat : 32492 (java) T 32473 32475 32475 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947988487 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379363328 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32475/tid=32493] ppid=32473 vsize=8539388 CPUtime=0 cores=1,3,5,7
/proc/32475/task/32493/stat : 32493 (java) T 32473 32475 32475 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947988648 8744333312 290555 33554432000 1073741824 1073778376 140734538272288 18446744073709551615 251379363328 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32473/tid=32495] ppid=32331 vsize=404984 CPUtime=0 cores=1,3,5,7
/proc/32473/task/32495/stat : 32495 (python) S 32331 32331 31489 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 947993236 414703616 20808 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554946 18446604464688727040 0 0 -1 7 0 0 0
[pid=32331/tid=32338] ppid=32329 vsize=415228 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32338/stat : 32338 (python) S 32329 32331 31489 0 -1 4202560 36 931 0 0 0 0 0 0 18 0 8 0 947883492 425193472 22300 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 7 0 0 0
[pid=32331/tid=32344] ppid=32329 vsize=415228 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32344/stat : 32344 (python) S 32329 32331 31489 0 -1 4202560 32 931 0 0 0 0 0 0 25 0 8 0 947889572 425193472 22300 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 1 0 0 0
[pid=32331/tid=32349] ppid=32329 vsize=415228 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32349/stat : 32349 (python) S 32329 32331 31489 0 -1 4202560 38 931 0 0 0 0 0 0 18 0 8 0 947894287 425193472 22300 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 7 0 0 0
[pid=32331/tid=32354] ppid=32329 vsize=415228 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32354/stat : 32354 (python) S 32329 32331 31489 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 8 0 947899719 425193472 22300 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 1 0 0 0
[pid=32331/tid=32368] ppid=32329 vsize=415228 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32368/stat : 32368 (python) S 32329 32331 31489 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 8 0 947909774 425193472 22300 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 1 0 0 0
[pid=32331/tid=32449] ppid=32329 vsize=415228 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32449/stat : 32449 (python) S 32329 32331 31489 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 8 0 947928034 425193472 22300 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 7 0 0 0
[pid=32331/tid=32474] ppid=32329 vsize=415228 CPUtime=0 cores=1,3,5,7
/proc/32331/task/32474/stat : 32474 (python) S 32329 32331 31489 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 8 0 947988481 425193472 22300 33554432000 4194304 5683644 140737454536144 18446744073709551615 251379370417 0 0 16781312 33554434 18446604457942017856 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1423.18
Current children cumulated vsize (KiB) 15872928
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32331 and gives
# childrusage.ru_utime.tv_sec=17
# childrusage.ru_utime.tv_usec=67405
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=197969
# CPU time returned by wait4() is 17.2654
# while last known CPU time is 1423.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1415.79
CPU time (s): 1423.18
CPU user time (s): 1391.24
CPU system time (s): 31.94
CPU usage (%): 100.522
Max. virtual memory (cumulated for all children) (KiB): 15872928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.0674
system time used= 0.197969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41600
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1027
involuntary context switches= 59
runsolver used 9.52555 second user time and 20.1289 second system time
The end