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-3481811-1307577496/watcher-3481811-1307577496 -o /tmp/evaluation-result-3481811-1307577496/solver-3481811-1307577496 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481811-1307577496.opb -seed 1719461105 -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.02 1.97 1.40 2/532 30604
/proc/meminfo: memFree=22877224/32951124 swapFree=57370024/67111528
[pid=30604] ppid=30602 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/30604/stat : 30604 (python) R 30602 30604 30366 0 -1 4202496 1045 0 0 0 0 0 0 0 17 0 1 0 850165199 16629760 916 33554432000 4194304 5683644 140735235464048 18446744073709551615 228095144916 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30604/statm: 4060 916 381 364 0 547 0
[startup+0.0428811 s]
/proc/loadavg: 2.02 1.97 1.40 2/532 30604
/proc/meminfo: memFree=22877224/32951124 swapFree=57370024/67111528
[pid=30604] ppid=30602 vsize=18888 CPUtime=0.02 cores=1,3,5,7
/proc/30604/stat : 30604 (python) R 30602 30604 30366 0 -1 4202496 1284 0 0 0 2 0 0 0 17 0 1 0 850165199 19341312 1136 33554432000 4194304 5683644 140735235464048 18446744073709551615 228095119567 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30604/statm: 4722 1136 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888
[startup+0.100892 s]
/proc/loadavg: 2.02 1.97 1.40 2/532 30604
/proc/meminfo: memFree=22877224/32951124 swapFree=57370024/67111528
[pid=30604] ppid=30602 vsize=85624 CPUtime=0.05 cores=1,3,5,7
/proc/30604/stat : 30604 (python) R 30602 30604 30366 0 -1 4202496 2665 0 0 0 4 1 0 0 17 0 1 0 850165199 87678976 2382 33554432000 4194304 5683644 140735235464048 18446744073709551615 228095449088 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/30604/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85624
[startup+0.300869 s]
/proc/loadavg: 2.02 1.97 1.40 2/532 30604
/proc/meminfo: memFree=22877224/32951124 swapFree=57370024/67111528
[pid=30604] ppid=30602 vsize=123744 CPUtime=0.15 cores=1,3,5,7
/proc/30604/stat : 30604 (python) R 30602 30604 30366 0 -1 4202496 5358 931 1 0 11 4 0 0 16 0 1 0 850165199 126713856 3744 33554432000 4194304 5683644 140735235464048 18446744073709551615 228095447045 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/30604/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123744
[startup+0.700777 s]
/proc/loadavg: 2.02 1.97 1.40 2/532 30604
/proc/meminfo: memFree=22877224/32951124 swapFree=57370024/67111528
[pid=30604] ppid=30602 vsize=286036 CPUtime=0.4 cores=1,3,5,7
/proc/30604/stat : 30604 (python) R 30602 30604 30366 0 -1 4202496 9987 931 1 0 27 13 0 0 15 0 1 0 850165199 292900864 7848 33554432000 4194304 5683644 140735235464048 18446744073709551615 4951663 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30604/statm: 71509 7848 1781 364 0 6402 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 286036
[startup+1.5006 s]
/proc/loadavg: 2.02 1.97 1.41 3/533 30609
/proc/meminfo: memFree=22843488/32951124 swapFree=57370024/67111528
[pid=30604] ppid=30602 vsize=301616 CPUtime=1.2 cores=1,3,5,7
/proc/30604/stat : 30604 (python) R 30602 30604 30366 0 -1 4202496 18390 931 1 0 106 14 0 0 16 0 1 0 850165199 308854784 11748 33554432000 4194304 5683644 140735235464048 18446744073709551615 228095106948 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/30604/statm: 75404 11748 1815 364 0 10297 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 301616
[startup+3.10028 s]
/proc/loadavg: 2.02 1.97 1.41 3/533 30609
/proc/meminfo: memFree=22833816/32951124 swapFree=57370024/67111528
[pid=30604] ppid=30602 vsize=312048 CPUtime=2.26 cores=1,3,5,7
/proc/30604/stat : 30604 (python) S 30602 30604 30366 0 -1 4202496 18743 931 1 0 212 14 0 0 20 0 2 0 850165199 319537152 11871 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30604/statm: 78012 11871 1864 364 0 12899 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 312048
heavy processes:
[startup+6.30073 s]
/proc/loadavg: 2.02 1.97 1.41 3/536 30612
/proc/meminfo: memFree=22805072/32951124 swapFree=57370024/67111528
[pid=30604] ppid=30602 vsize=312048 CPUtime=2.26 cores=1,3,5,7
/proc/30604/stat : 30604 (python) S 30602 30604 30366 0 -1 4202496 18743 931 1 0 212 14 0 0 20 0 2 0 850165199 319537152 11871 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30604/statm: 78012 11871 1864 364 0 12899 0
[pid=30610] ppid=30604 vsize=301804 CPUtime=0 cores=1,3,5,7
/proc/30610/stat : 30610 (python) S 30604 30604 30366 0 -1 4202560 758 0 0 0 0 0 0 0 15 0 1 0 850165455 309047296 10354 33554432000 4194304 5683644 140735235464048 18446744073709551615 228095471119 0 0 16781312 33554946 18345963563757043975 0 0 17 5 0 0 0
/proc/30610/statm: 75451 10354 351 364 0 10338 0
[pid=30612] ppid=30610 vsize=30364 CPUtime=3.73 cores=1,3,5,7
/proc/30612/stat : 30612 (wbo1.4a) R 30610 30612 30612 0 -1 4202496 8368 0 0 0 372 1 0 0 25 0 1 0 850165455 31092736 7124 33554432000 134512640 135751879 4291331856 18446744073709551615 134611297 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/30612/statm: 7591 7124 146 303 0 7286 0
[pid=30604/tid=30611] ppid=30602 vsize=312048 CPUtime=0 cores=1,3,5,7
/proc/30604/task/30611/stat : 30611 (python) S 30602 30604 30366 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 850165455 319537152 11871 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466549188608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 644216
[startup+12.7006 s]
/proc/loadavg: 2.01 1.97 1.41 3/536 30612
/proc/meminfo: memFree=22801124/32951124 swapFree=57370024/67111528
[pid=30604] ppid=30602 vsize=312048 CPUtime=2.26 cores=1,3,5,7
/proc/30604/stat : 30604 (python) S 30602 30604 30366 0 -1 4202496 18743 931 1 0 212 14 0 0 20 0 2 0 850165199 319537152 11871 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30604/statm: 78012 11871 1864 364 0 12899 0
[pid=30610] ppid=30604 vsize=301804 CPUtime=0.04 cores=1,3,5,7
/proc/30610/stat : 30610 (python) S 30604 30604 30366 0 -1 4202560 897 0 0 0 1 3 0 0 15 0 1 0 850165455 309047296 10378 33554432000 4194304 5683644 140735235464048 18446744073709551615 228095471119 0 0 16781312 33554946 3471900740014833664 0 0 17 5 0 0 0
/proc/30610/statm: 75451 10378 375 364 0 10338 0
[pid=30612] ppid=30610 vsize=30364 CPUtime=10.12 cores=1,3,5,7
/proc/30612/stat : 30612 (wbo1.4a) R 30610 30612 30612 0 -1 4202496 8368 0 0 0 1010 2 0 0 25 0 1 0 850165455 31092736 7124 33554432000 134512640 135751879 4291331856 18446744073709551615 134518474 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/30612/statm: 7591 7124 146 303 0 7286 0
[pid=30604/tid=30611] ppid=30602 vsize=312048 CPUtime=0 cores=1,3,5,7
/proc/30604/task/30611/stat : 30611 (python) S 30602 30604 30366 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 850165455 319537152 11871 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466549188608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 644216
[startup+25.5012 s]
/proc/loadavg: 2.01 1.97 1.42 3/537 30613
/proc/meminfo: memFree=22795316/32951124 swapFree=57370024/67111528
[pid=30604] ppid=30602 vsize=312048 CPUtime=2.26 cores=1,3,5,7
/proc/30604/stat : 30604 (python) S 30602 30604 30366 0 -1 4202496 18743 931 1 0 212 14 0 0 20 0 2 0 850165199 319537152 11871 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30604/statm: 78012 11871 1864 364 0 12899 0
[pid=30610] ppid=30604 vsize=301804 CPUtime=0.1 cores=1,3,5,7
/proc/30610/stat : 30610 (python) S 30604 30604 30366 0 -1 4202560 999 0 0 0 4 6 0 0 15 0 1 0 850165455 309047296 10383 33554432000 4194304 5683644 140735235464048 18446744073709551615 228095471119 0 0 16781312 33554946 5623753486446373624 0 0 17 7 0 0 0
/proc/30610/statm: 75451 10383 380 364 0 10338 0
[pid=30612] ppid=30610 vsize=30364 CPUtime=22.9 cores=1,3,5,7
/proc/30612/stat : 30612 (wbo1.4a) R 30610 30612 30612 0 -1 4202496 8368 0 0 0 2287 3 0 0 25 0 1 0 850165455 31092736 7124 33554432000 134512640 135751879 4291331856 18446744073709551615 134611192 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/30612/statm: 7591 7124 146 303 0 7286 0
[pid=30604/tid=30611] ppid=30602 vsize=312048 CPUtime=0 cores=1,3,5,7
/proc/30604/task/30611/stat : 30611 (python) S 30602 30604 30366 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 850165455 319537152 11871 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466549188608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 644216
[startup+51.1005 s]
/proc/loadavg: 2.01 1.97 1.43 3/537 30614
/proc/meminfo: memFree=22794760/32951124 swapFree=57370024/67111528
[pid=30604] ppid=30602 vsize=312048 CPUtime=2.26 cores=1,3,5,7
/proc/30604/stat : 30604 (python) S 30602 30604 30366 0 -1 4202496 18743 931 1 0 212 14 0 0 20 0 2 0 850165199 319537152 11871 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30604/statm: 78012 11871 1864 364 0 12899 0
[pid=30610] ppid=30604 vsize=301804 CPUtime=0.21 cores=1,3,5,7
/proc/30610/stat : 30610 (python) S 30604 30604 30366 0 -1 4202560 1010 0 0 0 9 12 0 0 15 0 1 0 850165455 309047296 10383 33554432000 4194304 5683644 140735235464048 18446744073709551615 228095471119 0 0 16781312 33554946 5623753486446373624 0 0 17 7 0 0 0
/proc/30610/statm: 75451 10383 380 364 0 10338 0
[pid=30612] ppid=30610 vsize=30364 CPUtime=48.5 cores=1,3,5,7
/proc/30612/stat : 30612 (wbo1.4a) R 30610 30612 30612 0 -1 4202496 8370 0 0 0 4844 6 0 0 25 0 1 0 850165455 31092736 7126 33554432000 134512640 135751879 4291331856 18446744073709551615 134611179 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/30612/statm: 7591 7126 146 303 0 7286 0
[pid=30604/tid=30611] ppid=30602 vsize=312048 CPUtime=0 cores=1,3,5,7
/proc/30604/task/30611/stat : 30611 (python) S 30602 30604 30366 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 2 0 850165455 319537152 11871 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466549188608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 644216
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+100.002 s]
/proc/loadavg: 2.00 1.97 1.46 8/601 30679
/proc/meminfo: memFree=19725364/32951124 swapFree=57370024/67111528
[pid=30604] ppid=30602 vsize=332560 CPUtime=2.31 cores=1,3,5,7
/proc/30604/stat : 30604 (python) S 30602 30604 30366 0 -1 4202496 20521 931 1 0 216 15 0 0 20 0 4 0 850165199 340541440 11892 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/30604/statm: 83140 11892 1877 364 0 18021 0
[pid=30610] ppid=30604 vsize=312048 CPUtime=0.23 cores=1,3,5,7
/proc/30610/stat : 30610 (python) S 30604 30604 30366 0 -1 4202560 1147 0 0 0 10 13 0 0 16 0 2 0 850165455 319537152 10419 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30610/statm: 78012 10419 411 364 0 12899 0
[pid=30612] ppid=30610 vsize=30364 CPUtime=49.81 cores=1,3,5,7
/proc/30612/stat : 30612 (wbo1.4a) T 30610 30612 30612 0 -1 4202496 8370 0 0 0 4975 6 0 0 25 0 1 0 850165455 31092736 7126 33554432000 134512640 135751879 4291331856 18446744073709551615 134611292 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/30612/statm: 7591 7126 146 303 0 7286 0
[pid=30610/tid=30615] ppid=30604 vsize=312048 CPUtime=0 cores=1,3,5,7
/proc/30610/task/30615/stat : 30615 (python) S 30604 30604 30366 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 850170439 319537152 10419 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107274673 0 0 16781312 33554946 18446604469339425792 0 0 -1 7 0 0 0
[pid=30616] ppid=30604 vsize=312060 CPUtime=0.21 cores=1,3,5,7
/proc/30616/stat : 30616 (python) S 30604 30604 30366 0 -1 4202560 1116 0 0 0 10 11 0 0 17 0 2 0 850170442 319549440 10404 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/30616/statm: 78015 10404 396 364 0 12899 0
[pid=30618] ppid=30616 vsize=8546092 CPUtime=48.19 cores=1,3,5,7
/proc/30618/stat : 30618 (java) T 30616 30618 30618 0 -1 4202496 695520 0 116 0 4740 79 0 0 15 0 19 0 850170442 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 12
/proc/30618/statm: 2136523 689422 2256 9 0 2127264 0
[pid=30618/tid=30619] ppid=30616 vsize=8546092 CPUtime=46.21 cores=1,3,5,7
/proc/30618/task/30619/stat : 30619 (java) T 30616 30618 30618 0 -1 4202560 636673 0 58 0 4551 70 0 0 25 0 19 0 850170459 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 46912505912148 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 11
[pid=30618/tid=30620] ppid=30616 vsize=8546092 CPUtime=0.07 cores=1,3,5,7
/proc/30618/task/30620/stat : 30620 (java) T 30616 30618 30618 0 -1 4202560 6165 0 0 0 7 0 0 0 15 0 19 0 850170462 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30618/tid=30621] ppid=30616 vsize=8546092 CPUtime=0.06 cores=1,3,5,7
/proc/30618/task/30621/stat : 30621 (java) T 30616 30618 30618 0 -1 4202560 4474 0 0 0 6 0 0 0 15 0 19 0 850170462 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=30618/tid=30622] ppid=30616 vsize=8546092 CPUtime=0.05 cores=1,3,5,7
/proc/30618/task/30622/stat : 30622 (java) T 30616 30618 30618 0 -1 4202560 3471 0 0 0 5 0 0 0 15 0 19 0 850170462 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30618/tid=30623] ppid=30616 vsize=8546092 CPUtime=0.04 cores=1,3,5,7
/proc/30618/task/30623/stat : 30623 (java) T 30616 30618 30618 0 -1 4202560 3756 0 0 0 4 0 0 0 15 0 19 0 850170462 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30618/tid=30624] ppid=30616 vsize=8546092 CPUtime=0.07 cores=1,3,5,7
/proc/30618/task/30624/stat : 30624 (java) T 30616 30618 30618 0 -1 4202560 6021 0 0 0 7 0 0 0 15 0 19 0 850170462 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30618/tid=30625] ppid=30616 vsize=8546092 CPUtime=0.08 cores=1,3,5,7
/proc/30618/task/30625/stat : 30625 (java) T 30616 30618 30618 0 -1 4202560 6961 0 0 0 8 0 0 0 15 0 19 0 850170462 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30618/tid=30626] ppid=30616 vsize=8546092 CPUtime=0.1 cores=1,3,5,7
/proc/30618/task/30626/stat : 30626 (java) T 30616 30618 30618 0 -1 4202560 7970 0 0 0 9 1 0 0 15 0 19 0 850170462 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30618/tid=30627] ppid=30616 vsize=8546092 CPUtime=0.09 cores=1,3,5,7
/proc/30618/task/30627/stat : 30627 (java) T 30616 30618 30618 0 -1 4202560 6555 0 0 0 9 0 0 0 15 0 19 0 850170462 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30618/tid=30628] ppid=30616 vsize=8546092 CPUtime=0.1 cores=1,3,5,7
/proc/30618/task/30628/stat : 30628 (java) T 30616 30618 30618 0 -1 4202560 2883 0 0 0 10 0 0 0 15 0 19 0 850170466 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107267584 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30618/tid=30629] ppid=30616 vsize=8546092 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30629/stat : 30629 (java) T 30616 30618 30618 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 850170467 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30618/tid=30630] ppid=30616 vsize=8546092 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30630/stat : 30630 (java) T 30616 30618 30618 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 850170467 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30618/tid=30631] ppid=30616 vsize=8546092 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30631/stat : 30631 (java) T 30616 30618 30618 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850170472 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107274673 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30618/tid=30632] ppid=30616 vsize=8546092 CPUtime=0.67 cores=1,3,5,7
/proc/30618/task/30632/stat : 30632 (java) T 30616 30618 30618 0 -1 4202560 4373 0 0 0 67 0 0 0 15 0 19 0 850170472 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=30618/tid=30633] ppid=30616 vsize=8546092 CPUtime=0.5 cores=1,3,5,7
/proc/30618/task/30633/stat : 30633 (java) T 30616 30618 30618 0 -1 4202560 4883 0 2 0 50 0 0 0 15 0 19 0 850170472 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30618/tid=30634] ppid=30616 vsize=8546092 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30634/stat : 30634 (java) T 30616 30618 30618 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850170472 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30618/tid=30635] ppid=30616 vsize=8546092 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30635/stat : 30635 (java) T 30616 30618 30618 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850170472 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=30618/tid=30636] ppid=30616 vsize=8546092 CPUtime=0 cores=1,3,5,7
/proc/30618/task/30636/stat : 30636 (java) T 30616 30618 30618 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850170581 8751198208 689422 33554432000 1073741824 1073778376 140735054393696 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=30616/tid=30659] ppid=30604 vsize=312060 CPUtime=0 cores=1,3,5,7
/proc/30616/task/30659/stat : 30659 (python) S 30604 30604 30366 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 850175125 319549440 10404 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107274673 0 0 16781312 33554946 18446604459193401792 0 0 -1 7 0 0 0
[pid=30660] ppid=30604 vsize=322316 CPUtime=0 cores=1,3,5,7
/proc/30660/stat : 30660 (python) S 30604 30604 30366 0 -1 4202560 804 0 0 0 0 0 0 0 18 0 1 0 850175128 330051584 10359 33554432000 4194304 5683644 140735235464048 18446744073709551615 228095471174 0 0 16781312 33554946 1105299615898402816 0 0 17 5 0 0 0
/proc/30660/statm: 80579 10359 348 364 0 15460 0
[pid=30662] ppid=30660 vsize=8544252 CPUtime=1.26 cores=1,3,5,7
/proc/30662/stat : 30662 (java) S 30660 30662 30662 0 -1 4202496 49195 0 1 0 119 7 0 0 20 0 18 0 850175128 8749314048 45257 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30662/statm: 2136063 45260 2216 9 0 2126804 0
[pid=30662/tid=30663] ppid=30660 vsize=8544252 CPUtime=0.66 cores=1,3,5,7
/proc/30662/task/30663/stat : 30663 (java) S 30660 30662 30662 0 -1 4202560 35212 0 1 0 61 5 0 0 18 0 18 0 850175129 8749314048 45373 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 1 0 0 4
[pid=30662/tid=30664] ppid=30660 vsize=8544252 CPUtime=0.02 cores=1,3,5,7
/proc/30662/task/30664/stat : 30664 (java) R 30660 30662 30662 0 -1 4202560 2183 0 0 0 2 0 0 0 15 0 18 0 850175130 8749314048 45376 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 47380212877001 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30662/tid=30665] ppid=30660 vsize=8544252 CPUtime=0.01 cores=1,3,5,7
/proc/30662/task/30665/stat : 30665 (java) R 30660 30662 30662 0 -1 4202560 1759 0 0 0 1 0 0 0 16 0 18 0 850175130 8749314048 45379 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 47380212877043 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30662/tid=30666] ppid=30660 vsize=8544252 CPUtime=0 cores=1,3,5,7
/proc/30662/task/30666/stat : 30666 (java) R 30660 30662 30662 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 850175130 8749314048 45384 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 228107266969 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30662/tid=30667] ppid=30660 vsize=8544252 CPUtime=0 cores=1,3,5,7
/proc/30662/task/30667/stat : 30667 (java) S 30660 30662 30662 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850175130 8749314048 45388 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 7 0 0 0
[pid=30662/tid=30668] ppid=30660 vsize=8544252 CPUtime=0 cores=1,3,5,7
/proc/30662/task/30668/stat : 30668 (java) S 30660 30662 30662 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850175130 8749314048 45392 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 3 0 0 0
[pid=30662/tid=30669] ppid=30660 vsize=8544252 CPUtime=0 cores=1,3,5,7
/proc/30662/task/30669/stat : 30669 (java) S 30660 30662 30662 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850175130 8749314048 45395 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 7 0 0 0
[pid=30662/tid=30670] ppid=30660 vsize=8544252 CPUtime=0 cores=1,3,5,7
/proc/30662/task/30670/stat : 30670 (java) S 30660 30662 30662 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850175130 8749314048 45400 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 3 0 0 0
[pid=30662/tid=30671] ppid=30660 vsize=8544252 CPUtime=0 cores=1,3,5,7
/proc/30662/task/30671/stat : 30671 (java) S 30660 30662 30662 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850175130 8749314048 45403 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 7 0 0 0
[pid=30662/tid=30672] ppid=30660 vsize=8544252 CPUtime=0 cores=1,3,5,7
/proc/30662/task/30672/stat : 30672 (java) R 30660 30662 30662 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 18 0 850175131 8749314048 45409 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 228107276981 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=30662/tid=30673] ppid=30660 vsize=8544252 CPUtime=0 cores=1,3,5,7
/proc/30662/task/30673/stat : 30673 (java) S 30660 30662 30662 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 850175131 8749314048 45412 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 1 0 0 0
[pid=30662/tid=30674] ppid=30660 vsize=8544252 CPUtime=0 cores=1,3,5,7
/proc/30662/task/30674/stat : 30674 (java) S 30660 30662 30662 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 850175131 8749314048 45417 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 1 0 0 0
[pid=30662/tid=30675] ppid=30660 vsize=8544252 CPUtime=0 cores=1,3,5,7
/proc/30662/task/30675/stat : 30675 (java) S 30660 30662 30662 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850175133 8749314048 45421 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 228107274673 0 4 0 16800975 18446604461275002688 0 0 -1 1 0 0 0
[pid=30662/tid=30676] ppid=30660 vsize=8544252 CPUtime=0.27 cores=1,3,5,7
/proc/30662/task/30676/stat : 30676 (java) S 30660 30662 30662 0 -1 4202560 2548 0 0 0 27 0 0 0 25 0 18 0 850175133 8749314048 45425 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 5 0 0 0
[pid=30662/tid=30677] ppid=30660 vsize=8544252 CPUtime=0.25 cores=1,3,5,7
/proc/30662/task/30677/stat : 30677 (java) S 30660 30662 30662 0 -1 4202560 6227 0 0 0 25 0 0 0 15 0 18 0 850175133 8749314048 45426 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 7 0 0 0
[pid=30662/tid=30678] ppid=30660 vsize=8544252 CPUtime=0 cores=1,3,5,7
/proc/30662/task/30678/stat : 30678 (java) S 30660 30662 30662 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850175133 8749314048 45428 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 1 0 0 0
[pid=30662/tid=30679] ppid=30660 vsize=8544252 CPUtime=0 cores=1,3,5,7
/proc/30662/task/30679/stat : 30679 (java) R 30660 30662 30662 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850175133 8749314048 45429 33554432000 1073741824 1073778376 140734134782560 18446744073709551615 228107267584 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30604/tid=30611] ppid=30602 vsize=332560 CPUtime=0 cores=1,3,5,7
/proc/30604/task/30611/stat : 30611 (python) S 30602 30604 30366 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 4 0 850165455 340541440 11892 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466549188608 0 0 -1 7 0 0 0
[pid=30604/tid=30617] ppid=30602 vsize=332560 CPUtime=0 cores=1,3,5,7
/proc/30604/task/30617/stat : 30617 (python) S 30602 30604 30366 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 4 0 850170442 340541440 11892 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466549188608 0 0 -1 5 0 0 0
[pid=30604/tid=30661] ppid=30602 vsize=332560 CPUtime=0 cores=1,3,5,7
/proc/30604/task/30661/stat : 30661 (python) S 30602 30604 30366 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 4 0 850175128 340541440 11892 33554432000 4194304 5683644 140735235464048 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466549188608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 18399692
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 30604 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=169670
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=159975
# CPU time returned by wait4() is 2.32964
# while last known CPU time is 102.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 100.078
CPU time (s): 102.01
CPU user time (s): 100.7
CPU system time (s): 1.31
CPU usage (%): 101.931
Max. virtual memory (cumulated for all children) (KiB): 18399692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.16967
system time used= 0.159975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21452
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= 2858
involuntary context switches= 16
runsolver used 0.552915 second user time and 1.3158 second system time
The end