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-3481951-1307576355/watcher-3481951-1307576355 -o /tmp/evaluation-result-3481951-1307576355/solver-3481951-1307576355 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481951-1307576355.opb -seed 150346422 -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: 0.00 0.00 0.00 2/513 27612
/proc/meminfo: memFree=22158876/32951124 swapFree=62998992/67111528
[pid=27612] ppid=27608 vsize=14252 CPUtime=0 cores=1,3,5,7
/proc/27612/stat : 27612 (python) D 27608 27612 27575 0 -1 4194304 195 0 3 0 0 0 0 0 17 0 1 0 850051715 14594048 133 33554432000 4194304 5683644 140734052555408 18446744073709551615 5051632 0 0 4096 0 18446744071562234166 0 0 17 5 0 0 0
/proc/27612/statm: 3563 133 105 364 0 50 0
[startup+0.098249 s]
/proc/loadavg: 0.00 0.00 0.00 2/513 27612
/proc/meminfo: memFree=22158876/32951124 swapFree=62998992/67111528
[pid=27612] ppid=27608 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/27612/stat : 27612 (python) D 27608 27612 27575 0 -1 4202496 707 0 5 0 0 0 0 0 17 0 1 0 850051715 15548416 603 33554432000 4194304 5683644 140734052555408 18446744073709551615 264726403072 0 0 16781312 2 0 0 0 17 5 0 0 2
/proc/27612/statm: 3796 603 319 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+0.100247 s]
/proc/loadavg: 0.00 0.00 0.00 2/513 27612
/proc/meminfo: memFree=22158876/32951124 swapFree=62998992/67111528
[pid=27612] ppid=27608 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/27612/stat : 27612 (python) D 27608 27612 27575 0 -1 4202496 707 0 5 0 0 0 0 0 17 0 1 0 850051715 15548416 603 33554432000 4194304 5683644 140734052555408 18446744073709551615 264726403072 0 0 16781312 2 0 0 0 17 5 0 0 2
/proc/27612/statm: 3796 603 319 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+0.300218 s]
/proc/loadavg: 0.00 0.00 0.00 2/513 27612
/proc/meminfo: memFree=22158876/32951124 swapFree=62998992/67111528
[pid=27612] ppid=27608 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/27612/stat : 27612 (python) S 27608 27612 27575 0 -1 4202496 806 0 5 0 0 0 0 0 16 0 1 0 850051715 15753216 696 33554432000 4194304 5683644 140734052555408 18446744073709551615 264726403072 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 4
/proc/27612/statm: 3846 696 334 364 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15384
[startup+0.701126 s]
/proc/loadavg: 0.00 0.00 0.00 2/513 27612
/proc/meminfo: memFree=22158876/32951124 swapFree=62998992/67111528
[pid=27612] ppid=27608 vsize=15908 CPUtime=0 cores=1,3,5,7
/proc/27612/stat : 27612 (python) S 27608 27612 27575 0 -1 4202496 953 0 5 0 0 0 0 0 15 0 1 0 850051715 16289792 833 33554432000 4194304 5683644 140734052555408 18446744073709551615 264726403072 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 8
/proc/27612/statm: 3977 833 357 364 0 464 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15908
[startup+1.50097 s]
/proc/loadavg: 0.00 0.00 0.00 3/515 27614
/proc/meminfo: memFree=22150728/32951124 swapFree=62998992/67111528
[pid=27612] ppid=27608 vsize=16396 CPUtime=0.02 cores=1,3,5,7
/proc/27612/stat : 27612 (python) S 27608 27612 27575 0 -1 4202496 1112 0 5 0 1 1 0 0 15 0 1 0 850051715 16789504 984 33554432000 4194304 5683644 140734052555408 18446744073709551615 264726403072 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 40
/proc/27612/statm: 4099 984 409 364 0 586 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16396
[startup+3.10065 s]
/proc/loadavg: 0.00 0.00 0.00 2/515 27614
/proc/meminfo: memFree=22147700/32951124 swapFree=62998992/67111528
[pid=27612] ppid=27608 vsize=16816 CPUtime=0.03 cores=1,3,5,7
/proc/27612/stat : 27612 (python) D 27608 27612 27575 0 -1 4202496 1223 0 5 0 1 2 0 0 16 0 1 0 850051715 17219584 1085 33554432000 4194304 5683644 140734052555408 18446744073709551615 264726400869 0 0 16781312 2 0 0 0 17 7 0 0 54
/proc/27612/statm: 4204 1085 417 364 0 691 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16816
heavy processes:
[startup+6.30102 s]
/proc/loadavg: 0.24 0.05 0.02 1/515 27614
/proc/meminfo: memFree=22146596/32951124 swapFree=62998992/67111528
[pid=27612] ppid=27608 vsize=29796 CPUtime=0.07 cores=1,3,5,7
/proc/27612/stat : 27612 (python) S 27608 27612 27575 0 -1 4202496 1433 0 10 0 3 4 0 0 16 0 1 0 850051715 30511104 1285 33554432000 4194304 5683644 140734052555408 18446744073709551615 264726400948 0 2147483391 16781312 2 18446744071699953811 0 0 17 7 0 0 75
/proc/27612/statm: 7449 1285 443 364 0 819 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 29796
heavy processes:
[startup+12.7009 s]
/proc/loadavg: 0.30 0.07 0.02 1/515 27614
/proc/meminfo: memFree=22139236/32951124 swapFree=62998992/67111528
[pid=27612] ppid=27608 vsize=84572 CPUtime=0.14 cores=1,3,5,7
/proc/27612/stat : 27612 (python) D 27608 27612 27575 0 -1 4202496 2390 0 20 0 4 10 0 0 16 0 1 0 850051715 86601728 2136 33554432000 4194304 5683644 140734052555408 18446744073709551615 264726400869 0 0 16781312 2 0 0 0 17 1 0 0 132
/proc/27612/statm: 21143 2136 707 364 0 1360 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 84572
heavy processes:
[startup+25.5004 s]
/proc/loadavg: 0.33 0.08 0.03 1/515 27622
/proc/meminfo: memFree=22131324/32951124 swapFree=62998992/67111528
[pid=27612] ppid=27608 vsize=108996 CPUtime=0.25 cores=1,3,5,7
/proc/27612/stat : 27612 (python) S 27608 27612 27575 0 -1 4202496 4356 928 31 9 9 16 0 0 15 0 1 0 850051715 111611904 2886 33554432000 4194304 5683644 140734052555408 18446744073709551615 264726400869 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 301
/proc/27612/statm: 27249 2886 877 364 0 1945 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 108996
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+26.2003 s]
/proc/loadavg: 0.39 0.09 0.03 1/515 27622
/proc/meminfo: memFree=22130988/32951124 swapFree=62998992/67111528
[pid=27612] ppid=27608 vsize=109336 CPUtime=0.25 cores=1,3,5,7
/proc/27612/stat : 27612 (python) S 27608 27612 27575 0 -1 4202496 4451 928 31 9 9 16 0 0 15 0 1 0 850051715 111960064 2952 33554432000 4194304 5683644 140734052555408 18446744073709551615 264726403072 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 307
/proc/27612/statm: 27334 2952 877 364 0 2030 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 109336
[startup+32.62 s]
/proc/loadavg: 0.36 0.09 0.03 2/515 27623
/proc/meminfo: memFree=22088844/32951124 swapFree=62998992/67111528
[pid=27612] ppid=27608 vsize=245464 CPUtime=0.63 cores=1,3,5,7
/proc/27612/stat : 27612 (python) D 27608 27612 27575 0 -1 4202496 7779 928 102 9 28 35 0 0 16 0 1 0 850051715 251355136 6039 33554432000 4194304 5683644 140734052555408 18446744073709551615 264726403072 0 0 16781312 2 0 0 0 17 7 0 0 421
/proc/27612/statm: 61366 6039 1605 364 0 4891 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 245464
[startup+34.2018 s]
/proc/loadavg: 0.36 0.09 0.03 1/515 27623
/proc/meminfo: memFree=22084484/32951124 swapFree=62998992/67111528
[pid=27612] ppid=27608 vsize=264088 CPUtime=0.69 cores=1,3,5,7
/proc/27612/stat : 27612 (python) S 27608 27612 27575 0 -1 4202496 8339 928 109 9 30 39 0 0 15 0 1 0 850051715 270426112 6527 33554432000 4194304 5683644 140734052555408 18446744073709551615 264726400869 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 491
/proc/27612/statm: 66022 6527 1682 364 0 5219 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 264088
[startup+35.0006 s]
/proc/loadavg: 0.36 0.09 0.03 1/515 27623
/proc/meminfo: memFree=22079492/32951124 swapFree=62998992/67111528
[pid=27612] ppid=27608 vsize=282404 CPUtime=0.74 cores=1,3,5,7
/proc/27612/stat : 27612 (python) S 27608 27612 27575 0 -1 4202496 9032 928 111 9 33 41 0 0 16 0 1 0 850051715 289181696 6991 33554432000 4194304 5683644 140734052555408 18446744073709551615 264726403072 0 2147483391 16781312 33554434 18446744071699207358 0 0 17 7 0 0 497
/proc/27612/statm: 70601 6991 1828 364 0 5494 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 282404
[startup+35.8004 s]
/proc/loadavg: 0.41 0.11 0.03 2/531 27669
/proc/meminfo: memFree=22179560/32951124 swapFree=62998992/67111528
[pid=27612] ppid=27608 vsize=293132 CPUtime=0.77 cores=1,3,5,7
/proc/27612/stat : 27612 (python) S 27608 27612 27575 0 -1 4202496 9507 928 111 9 36 41 0 0 18 0 2 0 850051715 300167168 7127 33554432000 4194304 5683644 140734052555408 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 497
/proc/27612/statm: 73283 7127 1862 364 0 8170 0
[pid=27624] ppid=27612 vsize=282888 CPUtime=0 cores=1,3,5,7
/proc/27624/stat : 27624 (python) S 27612 27612 27575 0 -1 4202560 704 0 0 0 0 0 0 0 18 0 1 0 850055218 289677312 5610 33554432000 4194304 5683644 140734052555408 18446744073709551615 264726425103 0 0 16781312 33554946 4498292666995278087 0 0 17 7 0 0 0
/proc/27624/statm: 70722 5610 349 364 0 5609 0
[pid=27628] ppid=27624 vsize=8465372 CPUtime=0.04 cores=1,3,5,7
/proc/27628/stat : 27628 (java) S 27624 27628 27628 0 -1 4202496 3849 0 102 0 3 1 0 0 17 0 18 0 850055219 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 20
/proc/27628/statm: 2116343 3420 1730 9 0 2107084 0
[pid=27628/tid=27630] ppid=27624 vsize=8465372 CPUtime=0.03 cores=1,3,5,7
/proc/27628/task/27630/stat : 27630 (java) D 27624 27628 27628 0 -1 4202560 2500 0 48 0 3 0 0 0 20 0 18 0 850055246 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738231755 0 4 0 16800975 18446744071562234166 0 0 -1 5 0 0 36
[pid=27628/tid=27631] ppid=27624 vsize=8465372 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27631/stat : 27631 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850055255 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27632] ppid=27624 vsize=8465372 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27632/stat : 27632 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850055255 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27633] ppid=27624 vsize=8465372 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27633/stat : 27633 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850055255 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27634] ppid=27624 vsize=8465372 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27634/stat : 27634 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850055255 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27635] ppid=27624 vsize=8465372 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27635/stat : 27635 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850055255 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27636] ppid=27624 vsize=8465372 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27636/stat : 27636 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850055255 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27637] ppid=27624 vsize=8465372 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27637/stat : 27637 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850055255 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27638] ppid=27624 vsize=8465372 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27638/stat : 27638 (java) S 27624 27628 27628 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 850055255 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27640] ppid=27624 vsize=8465372 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27640/stat : 27640 (java) S 27624 27628 27628 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 850055261 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738221568 0 0 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27641] ppid=27624 vsize=8465372 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27641/stat : 27641 (java) S 27624 27628 27628 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 18 0 850055265 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27642] ppid=27624 vsize=8465372 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27642/stat : 27642 (java) S 27624 27628 27628 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 18 0 850055265 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27662] ppid=27624 vsize=8465372 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27662/stat : 27662 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 850055291 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738228657 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27663] ppid=27624 vsize=8465372 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27663/stat : 27663 (java) S 27624 27628 27628 0 -1 4202560 22 0 0 0 0 0 0 0 19 0 18 0 850055291 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27664] ppid=27624 vsize=8465372 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27664/stat : 27664 (java) S 27624 27628 27628 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 850055291 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27665] ppid=27624 vsize=8465372 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27665/stat : 27665 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850055291 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27666] ppid=27624 vsize=8465372 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27666/stat : 27666 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850055291 8668540928 3420 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738221568 0 4 0 16800975 18446604470609152896 0 0 -1 5 0 0 0
[pid=27612/tid=27626] ppid=27608 vsize=293132 CPUtime=0 cores=1,3,5,7
/proc/27612/task/27626/stat : 27626 (python) S 27608 27612 27575 0 -1 4202560 26 928 0 9 0 0 0 0 18 0 2 0 850055218 300167168 7127 33554432000 4194304 5683644 140734052555408 18446744073709551615 264738228657 0 0 16781312 33554434 18446604465344770176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 9041392
[startup+36.2014 s]
/proc/loadavg: 0.41 0.11 0.03 2/531 27669
/proc/meminfo: memFree=22179560/32951124 swapFree=62998992/67111528
[pid=27612] ppid=27608 vsize=293132 CPUtime=0.77 cores=1,3,5,7
/proc/27612/stat : 27612 (python) S 27608 27612 27575 0 -1 4202496 9507 928 111 9 36 41 0 0 18 0 2 0 850051715 300167168 7127 33554432000 4194304 5683644 140734052555408 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 497
/proc/27612/statm: 73283 7127 1862 364 0 8170 0
[pid=27624] ppid=27612 vsize=282888 CPUtime=0 cores=1,3,5,7
/proc/27624/stat : 27624 (python) S 27612 27612 27575 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 1 0 850055218 289677312 5613 33554432000 4194304 5683644 140734052555408 18446744073709551615 264726425103 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/27624/statm: 70722 5613 352 364 0 5609 0
[pid=27628] ppid=27624 vsize=8532560 CPUtime=0.13 cores=1,3,5,7
/proc/27628/stat : 27628 (java) S 27624 27628 27628 0 -1 4202496 5563 0 105 0 11 2 0 0 17 0 18 0 850055219 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 20
/proc/27628/statm: 2133140 5120 2128 9 0 2123881 0
[pid=27628/tid=27630] ppid=27624 vsize=8532560 CPUtime=0.09 cores=1,3,5,7
/proc/27628/task/27630/stat : 27630 (java) D 27624 27628 27628 0 -1 4202560 3360 0 48 0 8 1 0 0 18 0 18 0 850055246 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738231755 0 4 0 16800975 18446744071562234166 0 0 -1 1 0 0 66
[pid=27628/tid=27631] ppid=27624 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27631/stat : 27631 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850055255 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27632] ppid=27624 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27632/stat : 27632 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850055255 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27633] ppid=27624 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27633/stat : 27633 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850055255 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27634] ppid=27624 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27634/stat : 27634 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850055255 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27635] ppid=27624 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27635/stat : 27635 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850055255 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27636] ppid=27624 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27636/stat : 27636 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850055255 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27637] ppid=27624 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27637/stat : 27637 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850055255 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27638] ppid=27624 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27638/stat : 27638 (java) S 27624 27628 27628 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 850055255 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27640] ppid=27624 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27640/stat : 27640 (java) S 27624 27628 27628 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 850055261 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738221568 0 0 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27641] ppid=27624 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27641/stat : 27641 (java) S 27624 27628 27628 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 18 0 850055265 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27642] ppid=27624 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27642/stat : 27642 (java) S 27624 27628 27628 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 18 0 850055265 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27662] ppid=27624 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27662/stat : 27662 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 850055291 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738228657 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27663] ppid=27624 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27663/stat : 27663 (java) S 27624 27628 27628 0 -1 4202560 254 0 1 0 0 0 0 0 17 0 18 0 850055291 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 5 0 0 0
[pid=27628/tid=27664] ppid=27624 vsize=8532560 CPUtime=0.02 cores=1,3,5,7
/proc/27628/task/27664/stat : 27664 (java) S 27624 27628 27628 0 -1 4202560 624 0 2 0 2 0 0 0 16 0 18 0 850055291 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 1
[pid=27628/tid=27665] ppid=27624 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27665/stat : 27665 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850055291 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27628/tid=27666] ppid=27624 vsize=8532560 CPUtime=0 cores=1,3,5,7
/proc/27628/task/27666/stat : 27666 (java) S 27624 27628 27628 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 850055291 8737341440 5120 33554432000 1073741824 1073778376 140736970044416 18446744073709551615 264738221568 0 4 0 16800975 18446604470609152896 0 0 -1 7 0 0 0
[pid=27612/tid=27626] ppid=27608 vsize=293132 CPUtime=0 cores=1,3,5,7
/proc/27612/task/27626/stat : 27626 (python) S 27608 27612 27575 0 -1 4202560 26 928 0 9 0 0 0 0 18 0 2 0 850055218 300167168 7127 33554432000 4194304 5683644 140734052555408 18446744073709551615 264738228657 0 0 16781312 33554434 18446604465344770176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 9108580
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27612 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=380942
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=427934
# CPU time returned by wait4() is 0.808876
# while last known CPU time is 0.9
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 36.2386
CPU time (s): 0.9
CPU user time (s): 0.47
CPU system time (s): 0.43
CPU usage (%): 2.48354
Max. virtual memory (cumulated for all children) (KiB): 9108580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.380942
system time used= 0.427934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15920
page faults= 120
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17490
involuntary context switches= 52
runsolver used 0.220966 second user time and 0.449931 second system time
The end