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-3482280-1307578824/watcher-3482280-1307578824 -o /tmp/evaluation-result-3482280-1307578824/solver-3482280-1307578824 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482280-1307578824.opb -seed 242073403 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.05 1.86 2/641 18273
/proc/meminfo: memFree=12277264/32951124 swapFree=67056304/67111528
[pid=18273] ppid=18271 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/18273/stat : 18273 (python) R 18271 18273 16077 0 -1 4202496 926 0 0 0 0 0 0 0 22 0 1 0 948113042 16154624 806 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032210064 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18273/statm: 3944 806 356 364 0 431 0
[startup+0.059433 s]
/proc/loadavg: 2.09 2.05 1.86 2/641 18273
/proc/meminfo: memFree=12277264/32951124 swapFree=67056304/67111528
[pid=18273] ppid=18271 vsize=29792 CPUtime=0.03 cores=0,2,4,6
/proc/18273/stat : 18273 (python) R 18271 18273 16077 0 -1 4202496 1456 0 0 0 3 0 0 0 22 0 1 0 948113042 30507008 1297 33554432000 4194304 5683644 140736544218080 18446744073709551615 260020391781 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18273/statm: 7448 1297 443 364 0 818 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29792
[startup+0.100459 s]
/proc/loadavg: 2.09 2.05 1.86 2/641 18273
/proc/meminfo: memFree=12277264/32951124 swapFree=67056304/67111528
[pid=18273] ppid=18271 vsize=87832 CPUtime=0.05 cores=0,2,4,6
/proc/18273/stat : 18273 (python) R 18271 18273 16077 0 -1 4202496 2689 0 0 0 4 1 0 0 22 0 1 0 948113042 89939968 2405 33554432000 4194304 5683644 140736544218080 18446744073709551615 4532602 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18273/statm: 21958 2405 733 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 87832
[startup+0.30044 s]
/proc/loadavg: 2.09 2.05 1.86 2/641 18273
/proc/meminfo: memFree=12277264/32951124 swapFree=67056304/67111528
[pid=18273] ppid=18271 vsize=123744 CPUtime=0.17 cores=0,2,4,6
/proc/18273/stat : 18273 (python) R 18271 18273 16077 0 -1 4202496 5358 931 1 0 13 4 0 0 17 0 1 0 948113042 126713856 3746 33554432000 4194304 5683644 140736544218080 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18273/statm: 30936 3746 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700374 s]
/proc/loadavg: 2.09 2.05 1.86 2/641 18273
/proc/meminfo: memFree=12277264/32951124 swapFree=67056304/67111528
[pid=18273] ppid=18271 vsize=290408 CPUtime=0.46 cores=0,2,4,6
/proc/18273/stat : 18273 (python) R 18271 18273 16077 0 -1 4202496 11054 931 1 0 37 9 0 0 16 0 1 0 948113042 297377792 8917 33554432000 4194304 5683644 140736544218080 18446744073709551615 47867856840845 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18273/statm: 72602 8917 1781 364 0 7495 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 290408
[startup+1.50024 s]
/proc/loadavg: 2.09 2.05 1.86 3/642 18278
/proc/meminfo: memFree=12200996/32951124 swapFree=67056304/67111528
[pid=18273] ppid=18271 vsize=321960 CPUtime=1.26 cores=0,2,4,6
/proc/18273/stat : 18273 (python) R 18271 18273 16077 0 -1 4202496 18621 931 1 0 115 11 0 0 17 0 1 0 948113042 329687040 16484 33554432000 4194304 5683644 140736544218080 18446744073709551615 47867690367685 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18273/statm: 80490 16486 1781 364 0 15383 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 321960
[startup+3.10092 s]
/proc/loadavg: 2.09 2.05 1.86 3/642 18278
/proc/meminfo: memFree=12155364/32951124 swapFree=67056304/67111528
[pid=18273] ppid=18271 vsize=322644 CPUtime=2.87 cores=0,2,4,6
/proc/18273/stat : 18273 (python) R 18271 18273 16077 0 -1 4202496 25749 931 1 0 275 12 0 0 19 0 1 0 948113042 330387456 17008 33554432000 4194304 5683644 140736544218080 18446744073709551615 47867690559890 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/18273/statm: 80661 17008 1816 364 0 15554 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 322644
[startup+6.30027 s]
/proc/loadavg: 2.08 2.05 1.86 3/645 18281
/proc/meminfo: memFree=12086272/32951124 swapFree=67056304/67111528
[pid=18273] ppid=18271 vsize=335796 CPUtime=3.23 cores=0,2,4,6
/proc/18273/stat : 18273 (python) S 18271 18273 16077 0 -1 4202496 26754 931 1 0 311 12 0 0 22 0 2 0 948113042 343855104 17787 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/18273/statm: 83949 17787 1870 364 0 18836 0
[pid=18279] ppid=18273 vsize=325552 CPUtime=0 cores=0,2,4,6
/proc/18279/stat : 18279 (python) S 18273 18273 16077 0 -1 4202560 766 0 0 0 0 0 0 0 15 0 1 0 948113388 333365248 16264 33554432000 4194304 5683644 140736544218080 18446744073709551615 260020416015 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/18279/statm: 81388 16264 351 364 0 16275 0
[pid=18281] ppid=18279 vsize=40664 CPUtime=2.81 cores=0,2,4,6
/proc/18281/stat : 18281 (wbo1.4a) R 18279 18281 18281 0 -1 4202496 20441 0 0 0 279 2 0 0 25 0 1 0 948113388 41639936 9603 33554432000 134512640 135751879 4291097184 18446744073709551615 134519024 0 0 16781312 3 0 0 0 17 6 0 0 0
/proc/18281/statm: 10166 9603 146 303 0 9861 0
[pid=18273/tid=18280] ppid=18271 vsize=335796 CPUtime=0 cores=0,2,4,6
/proc/18273/task/18280/stat : 18280 (python) S 18271 18273 16077 0 -1 4202560 26 931 0 0 0 0 0 0 22 0 2 0 948113388 343855104 17787 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554434 18446604449046360512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 702012
[startup+12.7012 s]
/proc/loadavg: 2.08 2.05 1.86 3/645 18282
/proc/meminfo: memFree=12066236/32951124 swapFree=67056304/67111528
[pid=18273] ppid=18271 vsize=335796 CPUtime=3.23 cores=0,2,4,6
/proc/18273/stat : 18273 (python) S 18271 18273 16077 0 -1 4202496 26754 931 1 0 311 12 0 0 22 0 2 0 948113042 343855104 17787 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/18273/statm: 83949 17787 1870 364 0 18836 0
[pid=18279] ppid=18273 vsize=325552 CPUtime=0.03 cores=0,2,4,6
/proc/18279/stat : 18279 (python) S 18273 18273 16077 0 -1 4202560 908 0 0 0 2 1 0 0 15 0 1 0 948113388 333365248 16288 33554432000 4194304 5683644 140736544218080 18446744073709551615 260020416015 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/18279/statm: 81388 16288 375 364 0 16275 0
[pid=18281] ppid=18279 vsize=43252 CPUtime=9.22 cores=0,2,4,6
/proc/18281/stat : 18281 (wbo1.4a) R 18279 18281 18281 0 -1 4202496 21896 0 0 0 915 7 0 0 25 0 1 0 948113388 44290048 10194 33554432000 134512640 135751879 4291097184 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/18281/statm: 10813 10194 146 303 0 10508 0
[pid=18273/tid=18280] ppid=18271 vsize=335796 CPUtime=0 cores=0,2,4,6
/proc/18273/task/18280/stat : 18280 (python) S 18271 18273 16077 0 -1 4202560 26 931 0 0 0 0 0 0 22 0 2 0 948113388 343855104 17787 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554434 18446604449046360512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 704600
[startup+25.5008 s]
/proc/loadavg: 2.06 2.04 1.86 3/645 18282
/proc/meminfo: memFree=12037052/32951124 swapFree=67056304/67111528
[pid=18273] ppid=18271 vsize=335796 CPUtime=3.23 cores=0,2,4,6
/proc/18273/stat : 18273 (python) S 18271 18273 16077 0 -1 4202496 26754 931 1 0 311 12 0 0 22 0 2 0 948113042 343855104 17787 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/18273/statm: 83949 17787 1870 364 0 18836 0
[pid=18279] ppid=18273 vsize=325552 CPUtime=0.06 cores=0,2,4,6
/proc/18279/stat : 18279 (python) S 18273 18273 16077 0 -1 4202560 911 0 0 0 4 2 0 0 15 0 1 0 948113388 333365248 16288 33554432000 4194304 5683644 140736544218080 18446744073709551615 260020416015 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/18279/statm: 81388 16288 375 364 0 16275 0
[pid=18281] ppid=18279 vsize=53892 CPUtime=22.02 cores=0,2,4,6
/proc/18281/stat : 18281 (wbo1.4a) R 18279 18281 18281 0 -1 4202496 25740 0 0 0 2189 13 0 0 25 0 1 0 948113388 55185408 12829 33554432000 134512640 135751879 4291097184 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/18281/statm: 13473 12829 146 303 0 13168 0
[pid=18273/tid=18280] ppid=18271 vsize=335796 CPUtime=0 cores=0,2,4,6
/proc/18273/task/18280/stat : 18280 (python) S 18271 18273 16077 0 -1 4202560 26 931 0 0 0 0 0 0 22 0 2 0 948113388 343855104 17787 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554434 18446604449046360512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 715240
[startup+51.1011 s]
/proc/loadavg: 2.04 2.04 1.87 3/667 18305
/proc/meminfo: memFree=9819612/32951124 swapFree=67056304/67111528
[pid=18273] ppid=18271 vsize=335796 CPUtime=3.23 cores=0,2,4,6
/proc/18273/stat : 18273 (python) S 18271 18273 16077 0 -1 4202496 26754 931 1 0 311 12 0 0 22 0 2 0 948113042 343855104 17787 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/18273/statm: 83949 17787 1870 364 0 18836 0
[pid=18279] ppid=18273 vsize=325552 CPUtime=0.17 cores=0,2,4,6
/proc/18279/stat : 18279 (python) S 18273 18273 16077 0 -1 4202560 923 0 0 0 10 7 0 0 15 0 1 0 948113388 333365248 16288 33554432000 4194304 5683644 140736544218080 18446744073709551615 260020416015 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/18279/statm: 81388 16288 375 364 0 16275 0
[pid=18281] ppid=18279 vsize=70576 CPUtime=47.62 cores=0,2,4,6
/proc/18281/stat : 18281 (wbo1.4a) R 18279 18281 18281 0 -1 4202496 30382 0 0 0 4740 22 0 0 25 0 1 0 948113388 72269824 16943 33554432000 134512640 135751879 4291097184 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/18281/statm: 17644 16943 146 303 0 17339 0
[pid=18273/tid=18280] ppid=18271 vsize=335796 CPUtime=0 cores=0,2,4,6
/proc/18273/task/18280/stat : 18280 (python) S 18271 18273 16077 0 -1 4202560 26 931 0 0 0 0 0 0 22 0 2 0 948113388 343855104 17787 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554434 18446604449046360512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 731924
[startup+102.316 s]
/proc/loadavg: 2.02 2.03 1.87 3/697 18336
/proc/meminfo: memFree=8058892/32951124 swapFree=67056304/67111528
[pid=18273] ppid=18271 vsize=356308 CPUtime=3.28 cores=0,2,4,6
/proc/18273/stat : 18273 (python) S 18271 18273 16077 0 -1 4202496 28474 931 1 0 316 12 0 0 20 0 4 0 948113042 364859392 17800 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/18273/statm: 89077 17800 1875 364 0 23958 0
[pid=18279] ppid=18273 vsize=335796 CPUtime=0.19 cores=0,2,4,6
/proc/18279/stat : 18279 (python) S 18273 18273 16077 0 -1 4202560 1084 0 0 0 11 8 0 0 16 0 2 0 948113388 343855104 16324 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/18279/statm: 83949 16324 406 364 0 18836 0
[pid=18281] ppid=18279 vsize=70576 CPUtime=49.58 cores=0,2,4,6
/proc/18281/stat : 18281 (wbo1.4a) T 18279 18281 18281 0 -1 4202496 30382 0 0 0 4935 23 0 0 25 0 1 0 948113388 72269824 16943 33554432000 134512640 135751879 4291097184 18446744073709551615 134616806 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/18281/statm: 17644 16943 146 303 0 17339 0
[pid=18279/tid=18306] ppid=18273 vsize=335796 CPUtime=0 cores=0,2,4,6
/proc/18279/task/18306/stat : 18306 (python) S 18273 18273 16077 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 948118348 343855104 16324 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554946 18446604453175371712 0 0 -1 0 0 0 0
[pid=18307] ppid=18273 vsize=335808 CPUtime=0.15 cores=0,2,4,6
/proc/18307/stat : 18307 (python) S 18273 18273 16077 0 -1 4202560 1104 0 0 0 8 7 0 0 16 0 2 0 948118350 343867392 16314 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/18307/statm: 83952 16314 396 364 0 18836 0
[pid=18309] ppid=18307 vsize=846588 CPUtime=47.35 cores=0,2,4,6
/proc/18309/stat : 18309 (scip-2.0.1.linu) T 18307 18309 18309 0 -1 4202496 209967 0 0 0 4666 69 0 0 25 0 1 0 948118351 866906112 205829 33554432000 4194304 13684479 140733484105696 18446744073709551615 4880923 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/18309/statm: 211647 205829 659 2317 0 209325 0
[pid=18307/tid=18315] ppid=18273 vsize=335808 CPUtime=0 cores=0,2,4,6
/proc/18307/task/18315/stat : 18315 (python) S 18273 18273 16077 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948123087 343867392 16314 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554946 18446604452120545088 0 0 -1 2 0 0 0
[pid=18316] ppid=18273 vsize=346064 CPUtime=0 cores=0,2,4,6
/proc/18316/stat : 18316 (python) S 18273 18273 16077 0 -1 4202560 784 0 0 0 0 0 0 0 16 0 1 0 948123090 354369536 16269 33554432000 4194304 5683644 140736544218080 18446744073709551615 260020416070 0 0 16781312 33554946 3877901958396248064 0 0 17 4 0 0 0
/proc/18316/statm: 86516 16269 348 364 0 21397 0
[pid=18318] ppid=18316 vsize=8546444 CPUtime=3.36 cores=0,2,4,6
/proc/18318/stat : 18318 (java) S 18316 18318 18318 0 -1 4202496 77767 0 1 0 326 10 0 0 21 0 19 0 948123090 8751558656 71406 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18318/statm: 2136611 71407 2242 9 0 2127352 0
[pid=18318/tid=18319] ppid=18316 vsize=8546444 CPUtime=1.77 cores=0,2,4,6
/proc/18318/task/18319/stat : 18319 (java) R 18316 18318 18318 0 -1 4202560 57988 0 1 0 171 6 0 0 19 0 19 0 948123091 8751558656 71408 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 46912506240543 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18318/tid=18320] ppid=18316 vsize=8546444 CPUtime=0.03 cores=0,2,4,6
/proc/18318/task/18320/stat : 18320 (java) S 18316 18318 18318 0 -1 4202560 2358 0 0 0 3 0 0 0 16 0 19 0 948123092 8751558656 71410 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446604447447907008 0 0 -1 2 0 0 0
[pid=18318/tid=18321] ppid=18316 vsize=8546444 CPUtime=0.01 cores=0,2,4,6
/proc/18318/task/18321/stat : 18321 (java) S 18316 18318 18318 0 -1 4202560 595 0 0 0 1 0 0 0 15 0 19 0 948123092 8751558656 71413 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446604447447907008 0 0 -1 6 0 0 0
[pid=18318/tid=18322] ppid=18316 vsize=8546444 CPUtime=0 cores=0,2,4,6
/proc/18318/task/18322/stat : 18322 (java) S 18316 18318 18318 0 -1 4202560 661 0 0 0 0 0 0 0 16 0 19 0 948123092 8751558656 71418 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446604447447907008 0 0 -1 4 0 0 0
[pid=18318/tid=18323] ppid=18316 vsize=8546444 CPUtime=0 cores=0,2,4,6
/proc/18318/task/18323/stat : 18323 (java) S 18316 18318 18318 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 948123092 8751558656 71422 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446604447447907008 0 0 -1 4 0 0 0
[pid=18318/tid=18324] ppid=18316 vsize=8546444 CPUtime=0 cores=0,2,4,6
/proc/18318/task/18324/stat : 18324 (java) S 18316 18318 18318 0 -1 4202560 804 0 0 0 0 0 0 0 16 0 19 0 948123092 8751558656 71427 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446604447447907008 0 0 -1 4 0 0 0
[pid=18318/tid=18325] ppid=18316 vsize=8546444 CPUtime=0.01 cores=0,2,4,6
/proc/18318/task/18325/stat : 18325 (java) S 18316 18318 18318 0 -1 4202560 846 0 0 0 1 0 0 0 16 0 19 0 948123092 8751558656 71431 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446604447447907008 0 0 -1 6 0 0 0
[pid=18318/tid=18326] ppid=18316 vsize=8546444 CPUtime=0 cores=0,2,4,6
/proc/18318/task/18326/stat : 18326 (java) S 18316 18318 18318 0 -1 4202560 290 0 0 0 0 0 0 0 16 0 19 0 948123092 8751558656 71434 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446604447447907008 0 0 -1 6 0 0 0
[pid=18318/tid=18327] ppid=18316 vsize=8546444 CPUtime=0.01 cores=0,2,4,6
/proc/18318/task/18327/stat : 18327 (java) S 18316 18318 18318 0 -1 4202560 888 0 0 0 1 0 0 0 15 0 19 0 948123092 8751558656 71438 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446604447447907008 0 0 -1 4 0 0 0
[pid=18318/tid=18328] ppid=18316 vsize=8546444 CPUtime=0 cores=0,2,4,6
/proc/18318/task/18328/stat : 18328 (java) S 18316 18318 18318 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 19 0 948123093 8751558656 71441 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032212480 0 0 0 16800975 18446604447447907008 0 0 -1 6 0 0 0
[pid=18318/tid=18329] ppid=18316 vsize=8546444 CPUtime=0 cores=0,2,4,6
/proc/18318/task/18329/stat : 18329 (java) S 18316 18318 18318 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 948123093 8751558656 71445 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446604447447907008 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=18348/tid=18360] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18360/stat : 18360 (java) S 18346 18348 18348 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 948136949 8741199872 39068 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 2 0 0 0
[pid=18348/tid=18361] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18361/stat : 18361 (java) S 18346 18348 18348 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948136951 8741199872 39070 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032219569 0 4 0 16800975 18446604453907802240 0 0 -1 6 0 0 0
[pid=18348/tid=18362] ppid=18346 vsize=8536328 CPUtime=0.24 cores=0,2,4,6
/proc/18348/task/18362/stat : 18362 (java) S 18346 18348 18348 0 -1 4202560 2004 0 0 0 24 0 0 0 19 0 18 0 948136951 8741199872 39073 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 6 0 0 0
[pid=18348/tid=18363] ppid=18346 vsize=8536328 CPUtime=0.27 cores=0,2,4,6
/proc/18348/task/18363/stat : 18363 (java) S 18346 18348 18348 0 -1 4202560 2953 0 0 0 27 0 0 0 19 0 18 0 948136951 8741199872 39076 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 2 0 0 0
[pid=18348/tid=18364] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18364/stat : 18364 (java) S 18346 18348 18348 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948136951 8741199872 39078 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 6 0 0 0
[pid=18348/tid=18365] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18365/stat : 18365 (java) S 18346 18348 18348 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 948136951 8741199872 39081 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032212480 0 4 0 16800975 18446604453907802240 0 0 -1 2 0 0 0
[pid=18273/tid=18280] ppid=18271 vsize=376820 CPUtime=0 cores=0,2,4,6
/proc/18273/task/18280/stat : 18280 (python) S 18271 18273 16077 0 -1 4202560 26 931 0 0 0 0 0 0 22 0 6 0 948113388 385863680 17812 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554434 18446604449046360512 0 0 -1 0 0 0 0
[pid=18273/tid=18308] ppid=18271 vsize=376820 CPUtime=0 cores=0,2,4,6
/proc/18273/task/18308/stat : 18308 (python) S 18271 18273 16077 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 948118351 385863680 17812 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554434 18446604449046360512 0 0 -1 2 0 0 0
[pid=18273/tid=18317] ppid=18271 vsize=376820 CPUtime=0 cores=0,2,4,6
/proc/18273/task/18317/stat : 18317 (python) S 18271 18273 16077 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 948123090 385863680 17812 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554434 18446604449046360512 0 0 -1 6 0 0 0
[pid=18273/tid=18340] ppid=18271 vsize=376820 CPUtime=0 cores=0,2,4,6
/proc/18273/task/18340/stat : 18340 (python) S 18271 18273 16077 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 948127803 385863680 17812 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554434 18446604449046360512 0 0 -1 6 0 0 0
[pid=18273/tid=18347] ppid=18271 vsize=376820 CPUtime=0 cores=0,2,4,6
/proc/18273/task/18347/stat : 18347 (python) S 18271 18273 16077 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 948136946 385863680 17812 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554434 18446604449046360512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 243.61
Current children cumulated vsize (KiB) 20152792
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+239.702 s]
/proc/loadavg: 2.04 2.04 1.90 4/722 18365
/proc/meminfo: memFree=5303888/32951124 swapFree=67056304/67111528
[pid=18273] ppid=18271 vsize=376820 CPUtime=3.34 cores=0,2,4,6
/proc/18273/stat : 18273 (python) S 18271 18273 16077 0 -1 4202496 30311 931 1 0 320 14 0 0 19 0 6 0 948113042 385863680 17812 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/18273/statm: 94205 17812 1879 364 0 29080 0
[pid=18279] ppid=18273 vsize=335796 CPUtime=0.19 cores=0,2,4,6
/proc/18279/stat : 18279 (python) S 18273 18273 16077 0 -1 4202560 1084 0 0 0 11 8 0 0 16 0 2 0 948113388 343855104 16324 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/18279/statm: 83949 16324 406 364 0 18836 0
[pid=18281] ppid=18279 vsize=70576 CPUtime=49.58 cores=0,2,4,6
/proc/18281/stat : 18281 (wbo1.4a) T 18279 18281 18281 0 -1 4202496 30382 0 0 0 4935 23 0 0 25 0 1 0 948113388 72269824 16943 33554432000 134512640 135751879 4291097184 18446744073709551615 134616806 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/18281/statm: 17644 16943 146 303 0 17339 0
[pid=18279/tid=18306] ppid=18273 vsize=335796 CPUtime=0 cores=0,2,4,6
/proc/18279/task/18306/stat : 18306 (python) S 18273 18273 16077 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 948118348 343855104 16324 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554946 18446604453175371712 0 0 -1 0 0 0 0
[pid=18307] ppid=18273 vsize=335808 CPUtime=0.15 cores=0,2,4,6
/proc/18307/stat : 18307 (python) S 18273 18273 16077 0 -1 4202560 1104 0 0 0 8 7 0 0 16 0 2 0 948118350 343867392 16314 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/18307/statm: 83952 16314 396 364 0 18836 0
[pid=18309] ppid=18307 vsize=846588 CPUtime=47.35 cores=0,2,4,6
/proc/18309/stat : 18309 (scip-2.0.1.linu) T 18307 18309 18309 0 -1 4202496 209967 0 0 0 4666 69 0 0 25 0 1 0 948118351 866906112 205829 33554432000 4194304 13684479 140733484105696 18446744073709551615 4880923 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/18309/statm: 211647 205829 659 2317 0 209325 0
[pid=18307/tid=18315] ppid=18273 vsize=335808 CPUtime=0 cores=0,2,4,6
/proc/18307/task/18315/stat : 18315 (python) S 18273 18273 16077 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 948123087 343867392 16314 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554946 18446604452120545088 0 0 -1 2 0 0 0
[pid=18316] ppid=18273 vsize=346064 CPUtime=0.15 cores=0,2,4,6
/proc/18316/stat : 18316 (python) S 18273 18273 16077 0 -1 4202560 1102 0 0 0 8 7 0 0 17 0 2 0 948123090 354369536 16318 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/18316/statm: 86516 16318 396 364 0 21397 0
[pid=18318] ppid=18316 vsize=8546444 CPUtime=50.04 cores=0,2,4,6
/proc/18318/stat : 18318 (java) T 18316 18318 18318 0 -1 4202496 722094 0 1 0 4922 82 0 0 18 0 19 0 948123090 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18318/statm: 2136611 701380 2263 9 0 2127352 0
[pid=18318/tid=18319] ppid=18316 vsize=8546444 CPUtime=46.51 cores=0,2,4,6
/proc/18318/task/18319/stat : 18319 (java) T 18316 18318 18318 0 -1 4202560 631891 0 1 0 4584 67 0 0 25 0 19 0 948123091 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 46912506035232 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18318/tid=18320] ppid=18316 vsize=8546444 CPUtime=0.18 cores=0,2,4,6
/proc/18318/task/18320/stat : 18320 (java) T 18316 18318 18318 0 -1 4202560 13552 0 0 0 16 2 0 0 15 0 19 0 948123092 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18318/tid=18321] ppid=18316 vsize=8546444 CPUtime=0.1 cores=0,2,4,6
/proc/18318/task/18321/stat : 18321 (java) T 18316 18318 18318 0 -1 4202560 8511 0 0 0 10 0 0 0 15 0 19 0 948123092 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18318/tid=18322] ppid=18316 vsize=8546444 CPUtime=0.08 cores=0,2,4,6
/proc/18318/task/18322/stat : 18322 (java) T 18316 18318 18318 0 -1 4202560 7083 0 0 0 8 0 0 0 15 0 19 0 948123092 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18318/tid=18323] ppid=18316 vsize=8546444 CPUtime=0.1 cores=0,2,4,6
/proc/18318/task/18323/stat : 18323 (java) T 18316 18318 18318 0 -1 4202560 7595 0 0 0 10 0 0 0 15 0 19 0 948123092 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18318/tid=18324] ppid=18316 vsize=8546444 CPUtime=0.12 cores=0,2,4,6
/proc/18318/task/18324/stat : 18324 (java) T 18316 18318 18318 0 -1 4202560 8185 0 0 0 11 1 0 0 15 0 19 0 948123092 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18318/tid=18325] ppid=18316 vsize=8546444 CPUtime=0.17 cores=0,2,4,6
/proc/18318/task/18325/stat : 18325 (java) T 18316 18318 18318 0 -1 4202560 12298 0 0 0 16 1 0 0 15 0 19 0 948123092 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18318/tid=18326] ppid=18316 vsize=8546444 CPUtime=0.11 cores=0,2,4,6
/proc/18318/task/18326/stat : 18326 (java) T 18316 18318 18318 0 -1 4202560 7336 0 0 0 10 1 0 0 15 0 19 0 948123092 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18318/tid=18327] ppid=18316 vsize=8546444 CPUtime=0.12 cores=0,2,4,6
/proc/18318/task/18327/stat : 18327 (java) T 18316 18318 18318 0 -1 4202560 8993 0 0 0 11 1 0 0 15 0 19 0 948123092 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18318/tid=18328] ppid=18316 vsize=8546444 CPUtime=0.19 cores=0,2,4,6
/proc/18318/task/18328/stat : 18328 (java) T 18316 18318 18318 0 -1 4202560 1452 0 0 0 19 0 0 0 15 0 19 0 948123093 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032212480 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18318/tid=18329] ppid=18316 vsize=8546444 CPUtime=0 cores=0,2,4,6
/proc/18318/task/18329/stat : 18329 (java) T 18316 18318 18318 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948123093 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=18318/tid=18330] ppid=18316 vsize=8546444 CPUtime=0 cores=0,2,4,6
/proc/18318/task/18330/stat : 18330 (java) T 18316 18318 18318 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 948123093 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18318/tid=18331] ppid=18316 vsize=8546444 CPUtime=0 cores=0,2,4,6
/proc/18318/task/18331/stat : 18331 (java) T 18316 18318 18318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948123096 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032219569 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18318/tid=18332] ppid=18316 vsize=8546444 CPUtime=1.14 cores=0,2,4,6
/proc/18318/task/18332/stat : 18332 (java) T 18316 18318 18318 0 -1 4202560 5733 0 0 0 114 0 0 0 15 0 19 0 948123096 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18318/tid=18333] ppid=18316 vsize=8546444 CPUtime=1.08 cores=0,2,4,6
/proc/18318/task/18333/stat : 18333 (java) T 18316 18318 18318 0 -1 4202560 8069 0 0 0 106 2 0 0 15 0 19 0 948123096 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=18318/tid=18334] ppid=18316 vsize=8546444 CPUtime=0 cores=0,2,4,6
/proc/18318/task/18334/stat : 18334 (java) T 18316 18318 18318 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 948123096 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18318/tid=18335] ppid=18316 vsize=8546444 CPUtime=0 cores=0,2,4,6
/proc/18318/task/18335/stat : 18335 (java) T 18316 18318 18318 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 948123096 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=18318/tid=18336] ppid=18316 vsize=8546444 CPUtime=0 cores=0,2,4,6
/proc/18318/task/18336/stat : 18336 (java) T 18316 18318 18318 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948123224 8751558656 701380 33554432000 1073741824 1073778376 140735006247824 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18316/tid=18338] ppid=18273 vsize=346064 CPUtime=0 cores=0,2,4,6
/proc/18316/task/18338/stat : 18338 (python) S 18273 18273 16077 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948127800 354369536 16318 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554946 18446604447309894656 0 0 -1 4 0 0 0
[pid=18339] ppid=18273 vsize=356320 CPUtime=0.3 cores=0,2,4,6
/proc/18339/stat : 18339 (python) S 18273 18273 16077 0 -1 4202560 1157 0 0 0 15 15 0 0 17 0 2 0 948127803 364871680 16322 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/18339/statm: 89080 16322 396 364 0 23958 0
[pid=18341] ppid=18339 vsize=35472 CPUtime=91.36 cores=0,2,4,6
/proc/18341/stat : 18341 (clasp-1.3.7-x86) T 18339 18341 18341 0 -1 4202496 10590 0 0 0 9135 1 0 0 25 0 1 0 948127804 36323328 8589 33554432000 134512640 136139019 4292327952 18446744073709551615 134883115 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/18341/statm: 8868 8589 190 398 0 8468 0
[pid=18339/tid=18345] ppid=18273 vsize=356320 CPUtime=0 cores=0,2,4,6
/proc/18339/task/18345/stat : 18345 (python) S 18273 18273 16077 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 948136943 364871680 16322 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554946 18446604453913479104 0 0 -1 4 0 0 0
[pid=18346] ppid=18273 vsize=366576 CPUtime=0 cores=0,2,4,6
/proc/18346/stat : 18346 (python) S 18273 18273 16077 0 -1 4202560 815 0 0 0 0 0 0 0 18 0 1 0 948136945 375373824 16277 33554432000 4194304 5683644 140736544218080 18446744073709551615 260020416070 0 0 16781312 33554946 1248791741658562560 0 0 17 2 0 0 0
/proc/18346/statm: 91644 16277 348 364 0 26519 0
[pid=18348] ppid=18346 vsize=8536328 CPUtime=1.15 cores=0,2,4,6
/proc/18348/stat : 18348 (java) S 18346 18348 18348 0 -1 4202496 41272 0 1 0 109 6 0 0 20 0 18 0 948136946 8741199872 38851 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18348/statm: 2134082 38853 2214 9 0 2124823 0
[pid=18348/tid=18349] ppid=18346 vsize=8536328 CPUtime=0.62 cores=0,2,4,6
/proc/18348/task/18349/stat : 18349 (java) R 18346 18348 18348 0 -1 4202560 35115 0 1 0 58 4 0 0 23 0 18 0 948136947 8741199872 39039 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 46912505636238 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18348/tid=18350] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18350/stat : 18350 (java) S 18346 18348 18348 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948136947 8741199872 39041 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 6 0 0 0
[pid=18348/tid=18351] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18351/stat : 18351 (java) S 18346 18348 18348 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948136947 8741199872 39044 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 6 0 0 0
[pid=18348/tid=18352] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18352/stat : 18352 (java) S 18346 18348 18348 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948136947 8741199872 39047 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 6 0 0 0
[pid=18348/tid=18353] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18353/stat : 18353 (java) S 18346 18348 18348 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948136947 8741199872 39049 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 2 0 0 0
[pid=18348/tid=18354] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18354/stat : 18354 (java) S 18346 18348 18348 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948136947 8741199872 39052 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 2 0 0 0
[pid=18348/tid=18355] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18355/stat : 18355 (java) S 18346 18348 18348 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948136947 8741199872 39055 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 2 0 0 0
[pid=18348/tid=18356] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18356/stat : 18356 (java) S 18346 18348 18348 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948136947 8741199872 39057 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 2 0 0 0
[pid=18348/tid=18357] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18357/stat : 18357 (java) S 18346 18348 18348 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948136947 8741199872 39060 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 2 0 0 0
[pid=18348/tid=18358] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18358/stat : 18358 (java) S 18346 18348 18348 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948136948 8741199872 39062 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032212480 0 0 0 16800975 18446604453907802240 0 0 -1 6 0 0 0
[pid=18348/tid=18359] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18359/stat : 18359 (java) S 18346 18348 18348 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 948136949 8741199872 39065 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 6 0 0 0
[pid=18348/tid=18360] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18360/stat : 18360 (java) S 18346 18348 18348 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 948136949 8741199872 39068 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 2 0 0 0
[pid=18348/tid=18361] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18361/stat : 18361 (java) S 18346 18348 18348 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948136951 8741199872 39070 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032219569 0 4 0 16800975 18446604453907802240 0 0 -1 6 0 0 0
[pid=18348/tid=18362] ppid=18346 vsize=8536328 CPUtime=0.24 cores=0,2,4,6
/proc/18348/task/18362/stat : 18362 (java) S 18346 18348 18348 0 -1 4202560 2004 0 0 0 24 0 0 0 19 0 18 0 948136951 8741199872 39073 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 6 0 0 0
[pid=18348/tid=18363] ppid=18346 vsize=8536328 CPUtime=0.27 cores=0,2,4,6
/proc/18348/task/18363/stat : 18363 (java) S 18346 18348 18348 0 -1 4202560 2953 0 0 0 27 0 0 0 19 0 18 0 948136951 8741199872 39076 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 2 0 0 0
[pid=18348/tid=18364] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18364/stat : 18364 (java) S 18346 18348 18348 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948136951 8741199872 39078 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032211865 0 4 0 16800975 18446604453907802240 0 0 -1 6 0 0 0
[pid=18348/tid=18365] ppid=18346 vsize=8536328 CPUtime=0 cores=0,2,4,6
/proc/18348/task/18365/stat : 18365 (java) S 18346 18348 18348 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 948136951 8741199872 39081 33554432000 1073741824 1073778376 140736594046560 18446744073709551615 260032212480 0 4 0 16800975 18446604453907802240 0 0 -1 2 0 0 0
[pid=18273/tid=18280] ppid=18271 vsize=376820 CPUtime=0 cores=0,2,4,6
/proc/18273/task/18280/stat : 18280 (python) S 18271 18273 16077 0 -1 4202560 26 931 0 0 0 0 0 0 22 0 6 0 948113388 385863680 17812 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554434 18446604449046360512 0 0 -1 0 0 0 0
[pid=18273/tid=18308] ppid=18271 vsize=376820 CPUtime=0 cores=0,2,4,6
/proc/18273/task/18308/stat : 18308 (python) S 18271 18273 16077 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 948118351 385863680 17812 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554434 18446604449046360512 0 0 -1 2 0 0 0
[pid=18273/tid=18317] ppid=18271 vsize=376820 CPUtime=0 cores=0,2,4,6
/proc/18273/task/18317/stat : 18317 (python) S 18271 18273 16077 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 948123090 385863680 17812 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554434 18446604449046360512 0 0 -1 6 0 0 0
[pid=18273/tid=18340] ppid=18271 vsize=376820 CPUtime=0 cores=0,2,4,6
/proc/18273/task/18340/stat : 18340 (python) S 18271 18273 16077 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 6 0 948127803 385863680 17812 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554434 18446604449046360512 0 0 -1 6 0 0 0
[pid=18273/tid=18347] ppid=18271 vsize=376820 CPUtime=0 cores=0,2,4,6
/proc/18273/task/18347/stat : 18347 (python) S 18271 18273 16077 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 948136946 385863680 17812 33554432000 4194304 5683644 140736544218080 18446744073709551615 260032219569 0 0 16781312 33554434 18446604449046360512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 243.61
Current children cumulated vsize (KiB) 20152792
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18273 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=206512
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=145977
# CPU time returned by wait4() is 3.35249
# while last known CPU time is 243.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 239.777
CPU time (s): 243.61
CPU user time (s): 241.29
CPU system time (s): 2.32
CPU usage (%): 101.599
Max. virtual memory (cumulated for all children) (KiB): 20152792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.20651
system time used= 0.145977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31245
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= 2547
involuntary context switches= 58
runsolver used 1.58676 second user time and 2.75558 second system time
The end