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-3481904-1307577363/watcher-3481904-1307577363 -o /tmp/evaluation-result-3481904-1307577363/solver-3481904-1307577363 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481904-1307577363.opb -seed 933537351 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 1.94 1.27 2/501 17411
/proc/meminfo: memFree=24385324/32951124 swapFree=67056304/67111528
[pid=17411] ppid=17409 vsize=15904 CPUtime=0 cores=1,3,5,7
/proc/17411/stat : 17411 (python) R 17409 17411 16077 0 -1 4202496 941 0 0 0 0 0 0 0 17 0 1 0 947966984 16285696 818 33554432000 4194304 5683644 140735408053872 18446744073709551615 260020439175 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17411/statm: 3976 820 357 364 0 463 0
[startup+0.0833169 s]
/proc/loadavg: 2.01 1.94 1.27 2/501 17411
/proc/meminfo: memFree=24385324/32951124 swapFree=67056304/67111528
[pid=17411] ppid=17409 vsize=85616 CPUtime=0.05 cores=1,3,5,7
/proc/17411/stat : 17411 (python) R 17409 17411 16077 0 -1 4202496 2661 0 0 0 4 1 0 0 17 0 1 0 947966984 87670784 2380 33554432000 4194304 5683644 140735408053872 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17411/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85616
[startup+0.100289 s]
/proc/loadavg: 2.01 1.94 1.27 2/501 17411
/proc/meminfo: memFree=24385324/32951124 swapFree=67056304/67111528
[pid=17411] ppid=17409 vsize=96124 CPUtime=0.06 cores=1,3,5,7
/proc/17411/stat : 17411 (python) R 17409 17411 16077 0 -1 4202496 3169 929 1 0 5 1 0 0 18 0 1 0 947966984 98430976 2483 33554432000 4194304 5683644 140735408053872 18446744073709551615 5177534 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17411/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.300255 s]
/proc/loadavg: 2.01 1.94 1.27 2/501 17411
/proc/meminfo: memFree=24385324/32951124 swapFree=67056304/67111528
[pid=17411] ppid=17409 vsize=182076 CPUtime=0.24 cores=1,3,5,7
/proc/17411/stat : 17411 (python) S 17409 17411 16077 0 -1 4202496 6277 929 1 0 17 7 0 0 17 0 1 0 947966984 186445824 4584 33554432000 4194304 5683644 140735408053872 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/17411/statm: 45519 4584 1246 364 0 3567 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 182076
[startup+0.700176 s]
/proc/loadavg: 2.01 1.94 1.27 2/501 17411
/proc/meminfo: memFree=24385324/32951124 swapFree=67056304/67111528
[pid=17411] ppid=17409 vsize=293092 CPUtime=0.42 cores=1,3,5,7
/proc/17411/stat : 17411 (python) S 17409 17411 16077 0 -1 4202496 9709 929 1 0 32 10 0 0 19 0 2 0 947966984 300126208 7144 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17411/statm: 73273 7144 1870 364 0 8160 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293092
[startup+1.50103 s]
/proc/loadavg: 2.01 1.94 1.27 3/505 17419
/proc/meminfo: memFree=24360244/32951124 swapFree=67056304/67111528
[pid=17411] ppid=17409 vsize=293092 CPUtime=0.42 cores=1,3,5,7
/proc/17411/stat : 17411 (python) S 17409 17411 16077 0 -1 4202496 9709 929 1 0 32 10 0 0 19 0 2 0 947966984 300126208 7144 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17411/statm: 73273 7144 1870 364 0 8160 0
[pid=17417] ppid=17411 vsize=282848 CPUtime=0 cores=1,3,5,7
/proc/17417/stat : 17417 (python) S 17411 17411 16077 0 -1 4202560 834 0 0 0 0 0 0 0 15 0 1 0 947967037 289636352 5628 33554432000 4194304 5683644 140735408053872 18446744073709551615 260020416015 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/17417/statm: 70712 5628 358 364 0 5599 0
[pid=17419] ppid=17417 vsize=1988 CPUtime=0.97 cores=1,3,5,7
/proc/17419/stat : 17419 (clasp-1.3.7-x86) R 17417 17419 17419 0 -1 4202496 493 0 0 0 97 0 0 0 21 0 1 0 947967037 2035712 232 33554432000 134512640 136139019 4289246288 18446744073709551615 134831215 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/17419/statm: 497 232 184 398 0 97 0
[pid=17411/tid=17418] ppid=17409 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17418/stat : 17418 (python) S 17409 17411 16077 0 -1 4202560 23 929 0 0 0 0 0 0 19 0 2 0 947967037 300126208 7144 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 577928
[startup+3.10074 s]
/proc/loadavg: 2.01 1.94 1.27 3/505 17419
/proc/meminfo: memFree=24351068/32951124 swapFree=67056304/67111528
[pid=17411] ppid=17409 vsize=293092 CPUtime=0.42 cores=1,3,5,7
/proc/17411/stat : 17411 (python) S 17409 17411 16077 0 -1 4202496 9709 929 1 0 32 10 0 0 19 0 2 0 947966984 300126208 7144 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17411/statm: 73273 7144 1870 364 0 8160 0
[pid=17417] ppid=17411 vsize=282848 CPUtime=0 cores=1,3,5,7
/proc/17417/stat : 17417 (python) S 17411 17411 16077 0 -1 4202560 835 0 0 0 0 0 0 0 15 0 1 0 947967037 289636352 5628 33554432000 4194304 5683644 140735408053872 18446744073709551615 260020416015 0 0 16781312 33554946 1254975618391474176 0 0 17 7 0 0 0
/proc/17417/statm: 70712 5628 358 364 0 5599 0
[pid=17419] ppid=17417 vsize=1988 CPUtime=2.57 cores=1,3,5,7
/proc/17419/stat : 17419 (clasp-1.3.7-x86) R 17417 17419 17419 0 -1 4202496 495 0 0 0 257 0 0 0 25 0 1 0 947967037 2035712 234 33554432000 134512640 136139019 4289246288 18446744073709551615 134831583 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/17419/statm: 497 234 184 398 0 97 0
[pid=17411/tid=17418] ppid=17409 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17418/stat : 17418 (python) S 17409 17411 16077 0 -1 4202560 23 929 0 0 0 0 0 0 19 0 2 0 947967037 300126208 7144 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 577928
[startup+6.30115 s]
/proc/loadavg: 2.01 1.94 1.27 3/505 17419
/proc/meminfo: memFree=24353644/32951124 swapFree=67056304/67111528
[pid=17411] ppid=17409 vsize=293092 CPUtime=0.42 cores=1,3,5,7
/proc/17411/stat : 17411 (python) S 17409 17411 16077 0 -1 4202496 9709 929 1 0 32 10 0 0 19 0 2 0 947966984 300126208 7144 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17411/statm: 73273 7144 1870 364 0 8160 0
[pid=17417] ppid=17411 vsize=282848 CPUtime=0 cores=1,3,5,7
/proc/17417/stat : 17417 (python) S 17411 17411 16077 0 -1 4202560 956 0 0 0 0 0 0 0 15 0 1 0 947967037 289636352 5650 33554432000 4194304 5683644 140735408053872 18446744073709551615 260020416015 0 0 16781312 33554946 483960703074435072 0 0 17 7 0 0 0
/proc/17417/statm: 70712 5650 380 364 0 5599 0
[pid=17419] ppid=17417 vsize=1988 CPUtime=5.77 cores=1,3,5,7
/proc/17419/stat : 17419 (clasp-1.3.7-x86) R 17417 17419 17419 0 -1 4202496 497 0 0 0 577 0 0 0 25 0 1 0 947967037 2035712 236 33554432000 134512640 136139019 4289246288 18446744073709551615 134831224 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/17419/statm: 497 236 184 398 0 97 0
[pid=17411/tid=17418] ppid=17409 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17418/stat : 17418 (python) S 17409 17411 16077 0 -1 4202560 23 929 0 0 0 0 0 0 19 0 2 0 947967037 300126208 7144 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 577928
[startup+12.701 s]
/proc/loadavg: 2.01 1.94 1.28 3/505 17420
/proc/meminfo: memFree=24355400/32951124 swapFree=67056304/67111528
[pid=17411] ppid=17409 vsize=293092 CPUtime=0.42 cores=1,3,5,7
/proc/17411/stat : 17411 (python) S 17409 17411 16077 0 -1 4202496 9709 929 1 0 32 10 0 0 19 0 2 0 947966984 300126208 7144 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17411/statm: 73273 7144 1870 364 0 8160 0
[pid=17417] ppid=17411 vsize=282848 CPUtime=0.02 cores=1,3,5,7
/proc/17417/stat : 17417 (python) S 17411 17411 16077 0 -1 4202560 958 0 0 0 1 1 0 0 15 0 1 0 947967037 289636352 5651 33554432000 4194304 5683644 140735408053872 18446744073709551615 260020416015 0 0 16781312 33554946 4211677451949965312 0 0 17 7 0 0 0
/proc/17417/statm: 70712 5651 381 364 0 5599 0
[pid=17419] ppid=17417 vsize=1988 CPUtime=12.17 cores=1,3,5,7
/proc/17419/stat : 17419 (clasp-1.3.7-x86) R 17417 17419 17419 0 -1 4202496 498 0 0 0 1217 0 0 0 25 0 1 0 947967037 2035712 237 33554432000 134512640 136139019 4289246288 18446744073709551615 134831239 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/17419/statm: 497 237 184 398 0 97 0
[pid=17411/tid=17418] ppid=17409 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17418/stat : 17418 (python) S 17409 17411 16077 0 -1 4202560 23 929 0 0 0 0 0 0 19 0 2 0 947967037 300126208 7144 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 577928
[startup+25.5006 s]
/proc/loadavg: 2.01 1.94 1.29 3/509 17424
/proc/meminfo: memFree=24314716/32951124 swapFree=67056304/67111528
[pid=17411] ppid=17409 vsize=293092 CPUtime=0.42 cores=1,3,5,7
/proc/17411/stat : 17411 (python) S 17409 17411 16077 0 -1 4202496 9709 929 1 0 32 10 0 0 19 0 2 0 947966984 300126208 7144 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17411/statm: 73273 7144 1870 364 0 8160 0
[pid=17417] ppid=17411 vsize=282848 CPUtime=0.06 cores=1,3,5,7
/proc/17417/stat : 17417 (python) S 17411 17411 16077 0 -1 4202560 963 0 0 0 3 3 0 0 15 0 1 0 947967037 289636352 5651 33554432000 4194304 5683644 140735408053872 18446744073709551615 260020416015 0 0 16781312 33554946 5623606151888251672 0 0 17 5 0 0 0
/proc/17417/statm: 70712 5651 381 364 0 5599 0
[pid=17419] ppid=17417 vsize=1988 CPUtime=24.97 cores=1,3,5,7
/proc/17419/stat : 17419 (clasp-1.3.7-x86) R 17417 17419 17419 0 -1 4202496 499 0 0 0 2497 0 0 0 25 0 1 0 947967037 2035712 238 33554432000 134512640 136139019 4289246288 18446744073709551615 134640592 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/17419/statm: 497 238 184 398 0 97 0
[pid=17411/tid=17418] ppid=17409 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17418/stat : 17418 (python) S 17409 17411 16077 0 -1 4202560 23 929 0 0 0 0 0 0 19 0 2 0 947967037 300126208 7144 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 577928
[startup+51.101 s]
/proc/loadavg: 2.00 1.95 1.30 3/509 17425
/proc/meminfo: memFree=24253132/32951124 swapFree=67056304/67111528
[pid=17411] ppid=17409 vsize=303880 CPUtime=0.45 cores=1,3,5,7
/proc/17411/stat : 17411 (python) S 17409 17411 16077 0 -1 4202496 10508 929 1 0 35 10 0 0 20 0 3 0 947966984 311173120 7268 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/17411/statm: 75970 7268 1873 364 0 10854 0
[pid=17417] ppid=17411 vsize=293092 CPUtime=0.13 cores=1,3,5,7
/proc/17417/stat : 17417 (python) S 17411 17411 16077 0 -1 4202560 1137 0 0 0 7 6 0 0 16 0 2 0 947967037 300126208 5687 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/17417/statm: 73273 5687 412 364 0 8160 0
[pid=17419] ppid=17417 vsize=1988 CPUtime=50.48 cores=1,3,5,7
/proc/17419/stat : 17419 (clasp-1.3.7-x86) T 17417 17419 17419 0 -1 4202496 501 0 0 0 5048 0 0 0 25 0 1 0 947967037 2035712 240 33554432000 134512640 136139019 4289246288 18446744073709551615 134871017 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/17419/statm: 497 240 184 398 0 97 0
[pid=17411/tid=17418] ppid=17409 vsize=303880 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17418/stat : 17418 (python) S 17409 17411 16077 0 -1 4202560 23 929 0 0 0 0 0 0 19 0 3 0 947967037 311173120 7268 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 598960
[startup+102.314 s]
/proc/loadavg: 2.00 1.95 1.34 3/521 17438
/proc/meminfo: memFree=24081968/32951124 swapFree=67056304/67111528
[pid=17411] ppid=17409 vsize=313904 CPUtime=0.47 cores=1,3,5,7
/proc/17411/stat : 17411 (python) S 17409 17411 16077 0 -1 4202496 11413 929 1 0 37 10 0 0 20 0 4 0 947966984 321437696 7223 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17411/statm: 78476 7223 1875 364 0 13357 0
[pid=17417] ppid=17411 vsize=293092 CPUtime=0.13 cores=1,3,5,7
/proc/17417/stat : 17417 (python) S 17411 17411 16077 0 -1 4202560 1137 0 0 0 7 6 0 0 16 0 2 0 947967037 300126208 5687 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/17417/statm: 73273 5687 412 364 0 8160 0
[pid=17419] ppid=17417 vsize=1988 CPUtime=50.48 cores=1,3,5,7
/proc/17419/stat : 17419 (clasp-1.3.7-x86) T 17417 17419 17419 0 -1 4202496 501 0 0 0 5048 0 0 0 25 0 1 0 947967037 2035712 240 33554432000 134512640 136139019 4289246288 18446744073709551615 134871017 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/17419/statm: 497 240 184 398 0 97 0
[pid=17417/tid=17426] ppid=17411 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/17417/task/17426/stat : 17426 (python) S 17411 17411 16077 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947972085 300126208 5687 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554946 18446604466516395136 0 0 -1 5 0 0 0
[pid=17427] ppid=17411 vsize=293636 CPUtime=0.15 cores=1,3,5,7
/proc/17427/stat : 17427 (python) S 17411 17411 16077 0 -1 4202560 1112 0 0 0 6 9 0 0 16 0 2 0 947972087 300683264 5789 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17427/statm: 73409 5789 397 364 0 8293 0
[pid=17429] ppid=17427 vsize=127696 CPUtime=50.6 cores=1,3,5,7
/proc/17429/stat : 17429 (wbo1.4a) T 17427 17429 17429 0 -1 4202496 31718 0 0 0 4999 61 0 0 25 0 1 0 947972088 130760704 31452 33554432000 134512640 135751879 4294133072 18446744073709551615 134611278 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/17429/statm: 31924 31452 143 303 0 31619 0
[pid=17427/tid=17435] ppid=17411 vsize=293636 CPUtime=0 cores=1,3,5,7
/proc/17427/task/17435/stat : 17435 (python) S 17411 17411 16077 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947977149 300683264 5789 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554946 18446604471127450816 0 0 -1 7 0 0 0
[pid=17436] ppid=17411 vsize=303660 CPUtime=0 cores=1,3,5,7
/proc/17436/stat : 17436 (python) S 17411 17411 16077 0 -1 4202560 788 0 0 0 0 0 0 0 15 0 1 0 947977151 310947840 5693 33554432000 4194304 5683644 140735408053872 18446744073709551615 260020416070 0 0 16781312 33554946 3654958237649731584 0 0 17 5 0 0 0
/proc/17436/statm: 75915 5693 349 364 0 10796 0
[pid=17438] ppid=17436 vsize=25064 CPUtime=0.62 cores=1,3,5,7
/proc/17438/stat : 17438 (scip-2.0.1.linu) R 17436 17438 17438 0 -1 4202496 5711 0 0 0 49 13 0 0 18 0 1 0 947977152 25665536 4072 33554432000 4194304 13684479 140736280524480 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17438/statm: 6266 4072 806 2317 0 3944 0
[pid=17411/tid=17418] ppid=17409 vsize=313904 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17418/stat : 17418 (python) S 17409 17411 16077 0 -1 4202560 23 929 0 0 0 0 0 0 19 0 4 0 947967037 321437696 7223 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 3 0 0 0
[pid=17411/tid=17428] ppid=17409 vsize=313904 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17428/stat : 17428 (python) S 17409 17411 16077 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 4 0 947972088 321437696 7223 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 7 0 0 0
[pid=17411/tid=17437] ppid=17409 vsize=313904 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17437/stat : 17437 (python) S 17409 17411 16077 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 4 0 947977151 321437696 7223 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=17467/tid=17482] ppid=17465 vsize=8539768 CPUtime=0.33 cores=1,3,5,7
/proc/17467/task/17482/stat : 17482 (java) S 17465 17467 17467 0 -1 4202560 2060 0 0 0 33 0 0 0 15 0 19 0 947987388 8744722432 19774 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032211865 0 4 0 16800975 18446604458314889984 0 0 -1 5 0 0 0
[pid=17467/tid=17483] ppid=17465 vsize=8539768 CPUtime=0 cores=1,3,5,7
/proc/17467/task/17483/stat : 17483 (java) S 17465 17467 17467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947987388 8744722432 19774 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032211865 0 4 0 16800975 18446604458314889984 0 0 -1 1 0 0 0
[pid=17467/tid=17484] ppid=17465 vsize=8539768 CPUtime=0 cores=1,3,5,7
/proc/17467/task/17484/stat : 17484 (java) S 17465 17467 17467 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 947987388 8744722432 19774 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032212480 0 4 0 16800975 18446604458314889984 0 0 -1 1 0 0 0
[pid=17467/tid=17485] ppid=17465 vsize=8539768 CPUtime=0 cores=1,3,5,7
/proc/17467/task/17485/stat : 17485 (java) S 17465 17467 17467 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947987400 8744722432 19774 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032212480 0 4 0 16800975 18446604458314889984 0 0 -1 7 0 0 0
[pid=17411/tid=17418] ppid=17409 vsize=324572 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17418/stat : 17418 (python) S 17409 17411 16077 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 5 0 947967037 332361728 7329 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 3 0 0 0
[pid=17411/tid=17428] ppid=17409 vsize=324572 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17428/stat : 17428 (python) S 17409 17411 16077 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 5 0 947972088 332361728 7329 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 7 0 0 0
[pid=17411/tid=17437] ppid=17409 vsize=324572 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17437/stat : 17437 (python) S 17409 17411 16077 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 5 0 947977151 332361728 7329 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 5 0 0 0
[pid=17411/tid=17466] ppid=17409 vsize=324572 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17466/stat : 17466 (python) S 17409 17411 16077 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 5 0 947987383 332361728 7329 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 284.53
Current children cumulated vsize (KiB) 10303460
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+295.802 s]
/proc/loadavg: 2.26 2.03 1.48 4/573 17560
/proc/meminfo: memFree=23820792/32951124 swapFree=67056304/67111528
[pid=17411] ppid=17409 vsize=334988 CPUtime=0.55 cores=1,3,5,7
/proc/17411/stat : 17411 (python) S 17409 17411 16077 0 -1 4202496 13179 929 1 0 45 10 0 0 20 0 6 0 947966984 343027712 7355 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17411/statm: 83747 7355 1879 364 0 18622 0
[pid=17417] ppid=17411 vsize=293092 CPUtime=0.27 cores=1,3,5,7
/proc/17417/stat : 17417 (python) S 17411 17411 16077 0 -1 4202560 1165 0 0 0 14 13 0 0 15 0 2 0 947967037 300126208 5688 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17417/statm: 73273 5688 413 364 0 8160 0
[pid=17419] ppid=17417 vsize=1988 CPUtime=92.52 cores=1,3,5,7
/proc/17419/stat : 17419 (clasp-1.3.7-x86) T 17417 17419 17419 0 -1 4202496 501 0 0 0 9252 0 0 0 25 0 1 0 947967037 2035712 240 33554432000 134512640 136139019 4289246288 18446744073709551615 134831272 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/17419/statm: 497 240 184 398 0 97 0
[pid=17417/tid=17426] ppid=17411 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/17417/task/17426/stat : 17426 (python) S 17411 17411 16077 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 947972085 300126208 5688 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554946 18446604466516395136 0 0 -1 5 0 0 0
[pid=17427] ppid=17411 vsize=293636 CPUtime=0.15 cores=1,3,5,7
/proc/17427/stat : 17427 (python) S 17411 17411 16077 0 -1 4202560 1112 0 0 0 6 9 0 0 16 0 2 0 947972087 300683264 5789 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17427/statm: 73409 5789 397 364 0 8293 0
[pid=17429] ppid=17427 vsize=127696 CPUtime=50.6 cores=1,3,5,7
/proc/17429/stat : 17429 (wbo1.4a) T 17427 17429 17429 0 -1 4202496 31718 0 0 0 4999 61 0 0 25 0 1 0 947972088 130760704 31452 33554432000 134512640 135751879 4294133072 18446744073709551615 134611278 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/17429/statm: 31924 31452 143 303 0 31619 0
[pid=17427/tid=17435] ppid=17411 vsize=293636 CPUtime=0 cores=1,3,5,7
/proc/17427/task/17435/stat : 17435 (python) S 17411 17411 16077 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947977149 300683264 5789 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554946 18446604471127450816 0 0 -1 7 0 0 0
[pid=17436] ppid=17411 vsize=303944 CPUtime=0.65 cores=1,3,5,7
/proc/17436/stat : 17436 (python) S 17411 17411 16077 0 -1 4202560 1197 0 0 0 48 17 0 0 17 0 2 0 947977151 311238656 5771 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17436/statm: 75986 5771 399 364 0 10867 0
[pid=17438] ppid=17436 vsize=104436 CPUtime=59.83 cores=1,3,5,7
/proc/17438/stat : 17438 (scip-2.0.1.linu) T 17436 17438 17438 0 -1 4202496 74832 0 0 0 4746 1237 0 0 18 0 1 0 947977152 106942464 23819 33554432000 4194304 13684479 140736280524480 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/17438/statm: 26109 23819 807 2317 0 23787 0
[pid=17436/tid=17463] ppid=17411 vsize=303944 CPUtime=0 cores=1,3,5,7
/proc/17436/task/17463/stat : 17463 (python) S 17411 17411 16077 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 947983174 311238656 5771 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554946 18446604464254353472 0 0 -1 7 0 0 0
[pid=17465] ppid=17411 vsize=314328 CPUtime=0.31 cores=1,3,5,7
/proc/17465/stat : 17465 (python) S 17411 17411 16077 0 -1 4202560 1151 0 0 0 13 18 0 0 17 0 2 0 947987383 321871872 5846 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17465/statm: 78582 5846 397 364 0 13460 0
[pid=17467] ppid=17465 vsize=8539768 CPUtime=93.13 cores=1,3,5,7
/proc/17467/stat : 17467 (java) T 17465 17467 17467 0 -1 4202496 67644 0 1 0 9291 22 0 0 18 0 19 0 947987383 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17467/statm: 2134942 20662 2246 9 0 2125683 0
[pid=17467/tid=17468] ppid=17465 vsize=8539768 CPUtime=89.63 cores=1,3,5,7
/proc/17467/task/17468/stat : 17468 (java) T 17465 17467 17467 0 -1 4202560 44425 0 1 0 8956 7 0 0 25 0 19 0 947987384 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17467/tid=17469] ppid=17465 vsize=8539768 CPUtime=0.2 cores=1,3,5,7
/proc/17467/task/17469/stat : 17469 (java) T 17465 17467 17467 0 -1 4202560 1516 0 0 0 20 0 0 0 15 0 19 0 947987384 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260020349239 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17467/tid=17470] ppid=17465 vsize=8539768 CPUtime=0.16 cores=1,3,5,7
/proc/17467/task/17470/stat : 17470 (java) T 17465 17467 17467 0 -1 4202560 1271 0 0 0 16 0 0 0 15 0 19 0 947987384 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17467/tid=17471] ppid=17465 vsize=8539768 CPUtime=0.18 cores=1,3,5,7
/proc/17467/task/17471/stat : 17471 (java) T 17465 17467 17467 0 -1 4202560 1398 0 0 0 18 0 0 0 15 0 19 0 947987384 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17467/tid=17472] ppid=17465 vsize=8539768 CPUtime=0.21 cores=1,3,5,7
/proc/17467/task/17472/stat : 17472 (java) T 17465 17467 17467 0 -1 4202560 1398 0 0 0 21 0 0 0 15 0 19 0 947987384 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 47689422943394 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17467/tid=17473] ppid=17465 vsize=8539768 CPUtime=0.21 cores=1,3,5,7
/proc/17467/task/17473/stat : 17473 (java) T 17465 17467 17467 0 -1 4202560 1740 0 0 0 21 0 0 0 15 0 19 0 947987384 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260020349239 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17467/tid=17474] ppid=17465 vsize=8539768 CPUtime=0.16 cores=1,3,5,7
/proc/17467/task/17474/stat : 17474 (java) T 17465 17467 17467 0 -1 4202560 1070 0 0 0 16 0 0 0 15 0 19 0 947987384 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 47689422393584 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17467/tid=17475] ppid=17465 vsize=8539768 CPUtime=0.18 cores=1,3,5,7
/proc/17467/task/17475/stat : 17475 (java) T 17465 17467 17467 0 -1 4202560 1236 0 0 0 18 0 0 0 15 0 19 0 947987384 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260020349239 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17467/tid=17476] ppid=17465 vsize=8539768 CPUtime=0.18 cores=1,3,5,7
/proc/17467/task/17476/stat : 17476 (java) T 17465 17467 17467 0 -1 4202560 1215 0 0 0 18 0 0 0 15 0 19 0 947987384 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17467/tid=17477] ppid=17465 vsize=8539768 CPUtime=1.11 cores=1,3,5,7
/proc/17467/task/17477/stat : 17477 (java) T 17465 17467 17467 0 -1 4202560 1710 0 0 0 105 6 0 0 15 0 19 0 947987385 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032211865 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17467/tid=17478] ppid=17465 vsize=8539768 CPUtime=0 cores=1,3,5,7
/proc/17467/task/17478/stat : 17478 (java) T 17465 17467 17467 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 947987386 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17467/tid=17479] ppid=17465 vsize=8539768 CPUtime=0 cores=1,3,5,7
/proc/17467/task/17479/stat : 17479 (java) T 17465 17467 17467 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947987386 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17467/tid=17480] ppid=17465 vsize=8539768 CPUtime=0 cores=1,3,5,7
/proc/17467/task/17480/stat : 17480 (java) T 17465 17467 17467 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947987388 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032219569 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17467/tid=17481] ppid=17465 vsize=8539768 CPUtime=0.45 cores=1,3,5,7
/proc/17467/task/17481/stat : 17481 (java) T 17465 17467 17467 0 -1 4202560 7210 0 0 0 44 1 0 0 15 0 19 0 947987388 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17467/tid=17482] ppid=17465 vsize=8539768 CPUtime=0.33 cores=1,3,5,7
/proc/17467/task/17482/stat : 17482 (java) T 17465 17467 17467 0 -1 4202560 2060 0 0 0 33 0 0 0 15 0 19 0 947987388 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17467/tid=17483] ppid=17465 vsize=8539768 CPUtime=0 cores=1,3,5,7
/proc/17467/task/17483/stat : 17483 (java) T 17465 17467 17467 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947987388 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17467/tid=17484] ppid=17465 vsize=8539768 CPUtime=0 cores=1,3,5,7
/proc/17467/task/17484/stat : 17484 (java) T 17465 17467 17467 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 947987388 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17467/tid=17485] ppid=17465 vsize=8539768 CPUtime=0 cores=1,3,5,7
/proc/17467/task/17485/stat : 17485 (java) T 17465 17467 17467 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947987400 8744722432 20662 33554432000 1073741824 1073778376 140733252936112 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17465/tid=17534] ppid=17411 vsize=314328 CPUtime=0 cores=1,3,5,7
/proc/17465/task/17534/stat : 17534 (python) S 17411 17411 16077 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 947996538 321871872 5846 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554946 18446604469240073024 0 0 -1 7 0 0 0
[pid=17535] ppid=17411 vsize=324744 CPUtime=0 cores=1,3,5,7
/proc/17535/stat : 17535 (python) S 17411 17411 16077 0 -1 4202560 809 0 0 0 0 0 0 0 18 0 1 0 947996541 332537856 5821 33554432000 4194304 5683644 140735408053872 18446744073709551615 260020416070 0 0 16781312 33554946 16716642637410435335 0 0 17 5 0 0 0
/proc/17535/statm: 81186 5821 349 364 0 16061 0
[pid=17537] ppid=17535 vsize=8536360 CPUtime=0.46 cores=1,3,5,7
/proc/17537/stat : 17537 (java) S 17535 17537 17537 0 -1 4202496 8526 0 1 0 45 1 0 0 20 0 19 0 947996541 8741232640 7365 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/17537/statm: 2134090 7365 2202 9 0 2124831 0
[pid=17537/tid=17538] ppid=17535 vsize=8536360 CPUtime=0.24 cores=1,3,5,7
/proc/17537/task/17538/stat : 17538 (java) R 17535 17537 17537 0 -1 4202560 4720 0 1 0 24 0 0 0 19 0 19 0 947996542 8741232640 7442 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 46912505583026 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17537/tid=17539] ppid=17535 vsize=8536360 CPUtime=0 cores=1,3,5,7
/proc/17537/task/17539/stat : 17539 (java) S 17535 17537 17537 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947996542 8741232640 7442 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032211865 0 4 0 16800975 18446604462763760448 0 0 -1 7 0 0 0
[pid=17537/tid=17540] ppid=17535 vsize=8536360 CPUtime=0 cores=1,3,5,7
/proc/17537/task/17540/stat : 17540 (java) S 17535 17537 17537 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947996542 8741232640 7442 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032211865 0 4 0 16800975 18446604462763760448 0 0 -1 7 0 0 0
[pid=17537/tid=17541] ppid=17535 vsize=8536360 CPUtime=0 cores=1,3,5,7
/proc/17537/task/17541/stat : 17541 (java) S 17535 17537 17537 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947996542 8741232640 7442 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032211865 0 4 0 16800975 18446604462763760448 0 0 -1 7 0 0 0
[pid=17537/tid=17542] ppid=17535 vsize=8536360 CPUtime=0 cores=1,3,5,7
/proc/17537/task/17542/stat : 17542 (java) S 17535 17537 17537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947996542 8741232640 7442 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032211865 0 4 0 16800975 18446604462763760448 0 0 -1 3 0 0 0
[pid=17537/tid=17543] ppid=17535 vsize=8536360 CPUtime=0 cores=1,3,5,7
/proc/17537/task/17543/stat : 17543 (java) S 17535 17537 17537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947996542 8741232640 7442 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032211865 0 4 0 16800975 18446604462763760448 0 0 -1 3 0 0 0
[pid=17537/tid=17544] ppid=17535 vsize=8536360 CPUtime=0 cores=1,3,5,7
/proc/17537/task/17544/stat : 17544 (java) S 17535 17537 17537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947996542 8741232640 7442 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032211865 0 4 0 16800975 18446604462763760448 0 0 -1 3 0 0 0
[pid=17537/tid=17545] ppid=17535 vsize=8536360 CPUtime=0 cores=1,3,5,7
/proc/17537/task/17545/stat : 17545 (java) S 17535 17537 17537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947996542 8741232640 7442 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032211865 0 4 0 16800975 18446604462763760448 0 0 -1 3 0 0 0
[pid=17537/tid=17546] ppid=17535 vsize=8536360 CPUtime=0 cores=1,3,5,7
/proc/17537/task/17546/stat : 17546 (java) S 17535 17537 17537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947996542 8741232640 7442 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032211865 0 4 0 16800975 18446604462763760448 0 0 -1 3 0 0 0
[pid=17537/tid=17547] ppid=17535 vsize=8536360 CPUtime=0 cores=1,3,5,7
/proc/17537/task/17547/stat : 17547 (java) S 17535 17537 17537 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947996543 8741232640 7442 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032212480 0 0 0 16800975 18446604462763760448 0 0 -1 7 0 0 0
[pid=17537/tid=17548] ppid=17535 vsize=8536360 CPUtime=0 cores=1,3,5,7
/proc/17537/task/17548/stat : 17548 (java) S 17535 17537 17537 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947996544 8741232640 7443 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032211865 0 4 0 16800975 18446604462763760448 0 0 -1 7 0 0 0
[pid=17537/tid=17549] ppid=17535 vsize=8536360 CPUtime=0 cores=1,3,5,7
/proc/17537/task/17549/stat : 17549 (java) S 17535 17537 17537 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947996544 8741232640 7443 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032211865 0 4 0 16800975 18446604462763760448 0 0 -1 5 0 0 0
[pid=17537/tid=17550] ppid=17535 vsize=8536360 CPUtime=0 cores=1,3,5,7
/proc/17537/task/17550/stat : 17550 (java) S 17535 17537 17537 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947996546 8741232640 7443 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032219569 0 4 0 16800975 18446604462763760448 0 0 -1 5 0 0 0
[pid=17537/tid=17551] ppid=17535 vsize=8536360 CPUtime=0.13 cores=1,3,5,7
/proc/17537/task/17551/stat : 17551 (java) R 17535 17537 17537 0 -1 4202560 1422 0 0 0 13 0 0 0 18 0 19 0 947996546 8741232640 7443 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 47529606419241 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17537/tid=17552] ppid=17535 vsize=8536360 CPUtime=0.08 cores=1,3,5,7
/proc/17537/task/17552/stat : 17552 (java) S 17535 17537 17537 0 -1 4202560 1062 0 0 0 8 0 0 0 19 0 19 0 947996546 8741232640 7443 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032211865 0 4 0 16800975 18446604462763760448 0 0 -1 5 0 0 0
[pid=17537/tid=17553] ppid=17535 vsize=8536360 CPUtime=0 cores=1,3,5,7
/proc/17537/task/17553/stat : 17553 (java) S 17535 17537 17537 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947996546 8741232640 7443 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032211865 0 4 0 16800975 18446604462763760448 0 0 -1 5 0 0 0
[pid=17537/tid=17554] ppid=17535 vsize=8536360 CPUtime=0 cores=1,3,5,7
/proc/17537/task/17554/stat : 17554 (java) S 17535 17537 17537 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947996546 8741232640 7443 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032212480 0 4 0 16800975 18446604462763760448 0 0 -1 1 0 0 0
[pid=17537/tid=17560] ppid=17535 vsize=8536360 CPUtime=0 cores=1,3,5,7
/proc/17537/task/17560/stat : 17560 (java) S 17535 17537 17537 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947996558 8741232640 7443 33554432000 1073741824 1073778376 140736575568128 18446744073709551615 260032212480 0 4 0 16800975 18446604462763760448 0 0 -1 7 0 0 0
[pid=17411/tid=17418] ppid=17409 vsize=334988 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17418/stat : 17418 (python) S 17409 17411 16077 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 6 0 947967037 343027712 7355 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 3 0 0 0
[pid=17411/tid=17428] ppid=17409 vsize=334988 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17428/stat : 17428 (python) S 17409 17411 16077 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 6 0 947972088 343027712 7355 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 7 0 0 0
[pid=17411/tid=17437] ppid=17409 vsize=334988 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17437/stat : 17437 (python) S 17409 17411 16077 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 6 0 947977151 343027712 7355 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 5 0 0 0
[pid=17411/tid=17466] ppid=17409 vsize=334988 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17466/stat : 17466 (python) S 17409 17411 16077 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 6 0 947987383 343027712 7355 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 7 0 0 0
[pid=17411/tid=17536] ppid=17409 vsize=334988 CPUtime=0 cores=1,3,5,7
/proc/17411/task/17536/stat : 17536 (python) S 17409 17411 16077 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 6 0 947996541 343027712 7355 33554432000 4194304 5683644 140735408053872 18446744073709551615 260032219569 0 0 16781312 33554434 18446604459355640832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 298.47
Current children cumulated vsize (KiB) 19174980
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 17411 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=452931
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=111982
# CPU time returned by wait4() is 0.564913
# while last known CPU time is 298.47
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 295.874
CPU time (s): 298.47
CPU user time (s): 284.59
CPU system time (s): 13.88
CPU usage (%): 100.877
Max. virtual memory (cumulated for all children) (KiB): 19174980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.452931
system time used= 0.111982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14111
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= 1012
involuntary context switches= 25
runsolver used 1.3388 second user time and 3.01654 second system time
The end