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-3481723-1307577374/watcher-3481723-1307577374 -o /tmp/evaluation-result-3481723-1307577374/solver-3481723-1307577374 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481723-1307577374.opb -seed 1710174457 -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.31 2.15 1.40 2/544 2454
/proc/meminfo: memFree=21455000/32951124 swapFree=43359760/67111528
[pid=2454] ppid=2452 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/2454/stat : 2454 (python) S 2452 2454 1406 0 -1 4202496 734 0 0 0 0 0 0 0 25 0 1 0 869335685 15548416 622 33554432000 4194304 5683644 140735951066112 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 2 0 0 0
/proc/2454/statm: 3796 622 322 364 0 283 0
[startup+0.0608761 s]
/proc/loadavg: 2.31 2.15 1.40 2/544 2454
/proc/meminfo: memFree=21455000/32951124 swapFree=43359760/67111528
[pid=2454] ppid=2452 vsize=29788 CPUtime=0.04 cores=0,2,4,6
/proc/2454/stat : 2454 (python) S 2452 2454 1406 0 -1 4202496 1457 0 0 0 3 1 0 0 25 0 1 0 869335685 30502912 1297 33554432000 4194304 5683644 140735951066112 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/2454/statm: 7447 1297 443 364 0 817 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29788
[startup+0.100583 s]
/proc/loadavg: 2.31 2.15 1.40 2/544 2454
/proc/meminfo: memFree=21455000/32951124 swapFree=43359760/67111528
[pid=2454] ppid=2452 vsize=85620 CPUtime=0.06 cores=0,2,4,6
/proc/2454/stat : 2454 (python) S 2452 2454 1406 0 -1 4202496 2666 0 0 0 4 2 0 0 17 0 1 0 869335685 87674880 2382 33554432000 4194304 5683644 140735951066112 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/2454/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300535 s]
/proc/loadavg: 2.31 2.15 1.40 2/544 2454
/proc/meminfo: memFree=21455000/32951124 swapFree=43359760/67111528
[pid=2454] ppid=2452 vsize=123740 CPUtime=0.17 cores=0,2,4,6
/proc/2454/stat : 2454 (python) S 2452 2454 1406 0 -1 4202496 5357 932 1 0 12 5 0 0 17 0 1 0 869335685 126709760 3744 33554432000 4194304 5683644 140735951066112 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/2454/statm: 30935 3746 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700478 s]
/proc/loadavg: 2.31 2.15 1.40 2/544 2454
/proc/meminfo: memFree=21455000/32951124 swapFree=43359760/67111528
[pid=2454] ppid=2452 vsize=293088 CPUtime=0.44 cores=0,2,4,6
/proc/2454/stat : 2454 (python) S 2452 2454 1406 0 -1 4202496 9634 932 1 0 34 10 0 0 18 0 2 0 869335685 300122112 7142 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2454/statm: 73272 7142 1870 364 0 8159 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 293088
[startup+1.50035 s]
/proc/loadavg: 2.28 2.14 1.40 3/548 2462
/proc/meminfo: memFree=21426324/32951124 swapFree=43359760/67111528
[pid=2454] ppid=2452 vsize=293088 CPUtime=0.44 cores=0,2,4,6
/proc/2454/stat : 2454 (python) S 2452 2454 1406 0 -1 4202496 9634 932 1 0 34 10 0 0 18 0 2 0 869335685 300122112 7142 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2454/statm: 73272 7142 1870 364 0 8159 0
[pid=2460] ppid=2454 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/2460/stat : 2460 (python) S 2454 2454 1406 0 -1 4202560 705 0 0 0 0 0 0 0 18 0 1 0 869335753 289632256 5617 33554432000 4194304 5683644 140735951066112 18446744073709551615 246516854287 0 0 16781312 33554946 14021874602783768836 0 0 17 6 0 0 0
/proc/2460/statm: 70711 5617 349 364 0 5598 0
[pid=2462] ppid=2460 vsize=1860 CPUtime=0.81 cores=0,2,4,6
/proc/2462/stat : 2462 (clasp-1.3.7-x86) R 2460 2462 2462 0 -1 4202496 468 0 0 0 81 0 0 0 21 0 1 0 869335753 1904640 212 33554432000 134512640 136139019 4292285280 18446744073709551615 134634749 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/2462/statm: 465 212 183 398 0 65 0
[pid=2454/tid=2461] ppid=2452 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/2454/task/2461/stat : 2461 (python) S 2452 2454 1406 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 2 0 869335753 300122112 7142 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554434 18446604450684066880 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 577792
[startup+3.10104 s]
/proc/loadavg: 2.28 2.14 1.40 3/548 2462
/proc/meminfo: memFree=21422232/32951124 swapFree=43359760/67111528
[pid=2454] ppid=2452 vsize=293088 CPUtime=0.44 cores=0,2,4,6
/proc/2454/stat : 2454 (python) S 2452 2454 1406 0 -1 4202496 9634 932 1 0 34 10 0 0 18 0 2 0 869335685 300122112 7142 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2454/statm: 73272 7142 1870 364 0 8159 0
[pid=2460] ppid=2454 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/2460/stat : 2460 (python) S 2454 2454 1406 0 -1 4202560 728 0 0 0 0 0 0 0 18 0 1 0 869335753 289632256 5620 33554432000 4194304 5683644 140735951066112 18446744073709551615 246516854287 0 0 16781312 33554946 14021882161926209796 0 0 17 6 0 0 0
/proc/2460/statm: 70711 5620 352 364 0 5598 0
[pid=2462] ppid=2460 vsize=1860 CPUtime=2.42 cores=0,2,4,6
/proc/2462/stat : 2462 (clasp-1.3.7-x86) R 2460 2462 2462 0 -1 4202496 469 0 0 0 242 0 0 0 25 0 1 0 869335753 1904640 213 33554432000 134512640 136139019 4292285280 18446744073709551615 134876659 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/2462/statm: 465 213 183 398 0 65 0
[pid=2454/tid=2461] ppid=2452 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/2454/task/2461/stat : 2461 (python) S 2452 2454 1406 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 2 0 869335753 300122112 7142 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554434 18446604450684066880 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 577792
[startup+6.30045 s]
/proc/loadavg: 2.28 2.14 1.40 3/548 2462
/proc/meminfo: memFree=21410228/32951124 swapFree=43359760/67111528
[pid=2454] ppid=2452 vsize=293088 CPUtime=0.44 cores=0,2,4,6
/proc/2454/stat : 2454 (python) S 2452 2454 1406 0 -1 4202496 9634 932 1 0 34 10 0 0 18 0 2 0 869335685 300122112 7142 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2454/statm: 73272 7142 1870 364 0 8159 0
[pid=2460] ppid=2454 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/2460/stat : 2460 (python) S 2454 2454 1406 0 -1 4202560 864 0 0 0 0 1 0 0 18 0 1 0 869335753 289632256 5643 33554432000 4194304 5683644 140735951066112 18446744073709551615 246516854287 0 0 16781312 33554946 14021876870526501124 0 0 17 6 0 0 0
/proc/2460/statm: 70711 5643 375 364 0 5598 0
[pid=2462] ppid=2460 vsize=1860 CPUtime=5.62 cores=0,2,4,6
/proc/2462/stat : 2462 (clasp-1.3.7-x86) R 2460 2462 2462 0 -1 4202496 469 0 0 0 562 0 0 0 25 0 1 0 869335753 1904640 213 33554432000 134512640 136139019 4292285280 18446744073709551615 134742352 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/2462/statm: 465 213 183 398 0 65 0
[pid=2454/tid=2461] ppid=2452 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/2454/task/2461/stat : 2461 (python) S 2452 2454 1406 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 2 0 869335753 300122112 7142 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554434 18446604450684066880 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 577792
[startup+12.7003 s]
/proc/loadavg: 2.39 2.17 1.42 3/548 2463
/proc/meminfo: memFree=21397248/32951124 swapFree=43359760/67111528
[pid=2454] ppid=2452 vsize=293088 CPUtime=0.44 cores=0,2,4,6
/proc/2454/stat : 2454 (python) S 2452 2454 1406 0 -1 4202496 9634 932 1 0 34 10 0 0 18 0 2 0 869335685 300122112 7142 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2454/statm: 73272 7142 1870 364 0 8159 0
[pid=2460] ppid=2454 vsize=282844 CPUtime=0.02 cores=0,2,4,6
/proc/2460/stat : 2460 (python) S 2454 2454 1406 0 -1 4202560 869 0 0 0 1 1 0 0 18 0 1 0 869335753 289632256 5644 33554432000 4194304 5683644 140735951066112 18446744073709551615 246516854287 0 0 16781312 33554946 72556772316949355 0 0 17 6 0 0 0
/proc/2460/statm: 70711 5644 376 364 0 5598 0
[pid=2462] ppid=2460 vsize=1860 CPUtime=12.01 cores=0,2,4,6
/proc/2462/stat : 2462 (clasp-1.3.7-x86) R 2460 2462 2462 0 -1 4202496 470 0 0 0 1201 0 0 0 25 0 1 0 869335753 1904640 214 33554432000 134512640 136139019 4292285280 18446744073709551615 134875844 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/2462/statm: 465 214 183 398 0 65 0
[pid=2454/tid=2461] ppid=2452 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/2454/task/2461/stat : 2461 (python) S 2452 2454 1406 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 2 0 869335753 300122112 7142 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554434 18446604450684066880 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 577792
[startup+25.501 s]
/proc/loadavg: 2.33 2.17 1.42 3/548 2463
/proc/meminfo: memFree=21366976/32951124 swapFree=43359760/67111528
[pid=2454] ppid=2452 vsize=293088 CPUtime=0.44 cores=0,2,4,6
/proc/2454/stat : 2454 (python) S 2452 2454 1406 0 -1 4202496 9634 932 1 0 34 10 0 0 18 0 2 0 869335685 300122112 7142 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2454/statm: 73272 7142 1870 364 0 8159 0
[pid=2460] ppid=2454 vsize=282844 CPUtime=0.08 cores=0,2,4,6
/proc/2460/stat : 2460 (python) S 2454 2454 1406 0 -1 4202560 876 0 0 0 4 4 0 0 18 0 1 0 869335753 289632256 5644 33554432000 4194304 5683644 140735951066112 18446744073709551615 246516854287 0 0 16781312 33554946 72556772316949355 0 0 17 6 0 0 0
/proc/2460/statm: 70711 5644 376 364 0 5598 0
[pid=2462] ppid=2460 vsize=1860 CPUtime=24.82 cores=0,2,4,6
/proc/2462/stat : 2462 (clasp-1.3.7-x86) R 2460 2462 2462 0 -1 4202496 471 0 0 0 2482 0 0 0 25 0 1 0 869335753 1904640 215 33554432000 134512640 136139019 4292285280 18446744073709551615 134865689 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/2462/statm: 465 215 183 398 0 65 0
[pid=2454/tid=2461] ppid=2452 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/2454/task/2461/stat : 2461 (python) S 2452 2454 1406 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 2 0 869335753 300122112 7142 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554434 18446604450684066880 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 577792
[startup+51.1013 s]
/proc/loadavg: 2.21 2.15 1.44 3/556 2472
/proc/meminfo: memFree=21297272/32951124 swapFree=43359760/67111528
[pid=2454] ppid=2452 vsize=303884 CPUtime=0.46 cores=0,2,4,6
/proc/2454/stat : 2454 (python) S 2452 2454 1406 0 -1 4202496 10509 932 1 0 36 10 0 0 20 0 3 0 869335685 311177216 7269 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/2454/statm: 75971 7269 1873 364 0 10855 0
[pid=2460] ppid=2454 vsize=293088 CPUtime=0.16 cores=0,2,4,6
/proc/2460/stat : 2460 (python) S 2454 2454 1406 0 -1 4202560 1115 0 0 0 8 8 0 0 18 0 2 0 869335753 300122112 5685 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2460/statm: 73272 5685 412 364 0 8159 0
[pid=2462] ppid=2460 vsize=1860 CPUtime=48.17 cores=0,2,4,6
/proc/2462/stat : 2462 (clasp-1.3.7-x86) T 2460 2462 2462 0 -1 4202496 472 0 0 0 4817 0 0 0 25 0 1 0 869335753 1904640 216 33554432000 134512640 136139019 4292285280 18446744073709551615 134831212 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/2462/statm: 465 216 183 398 0 65 0
[pid=2460/tid=2469] ppid=2454 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/2460/task/2469/stat : 2469 (python) S 2454 2454 1406 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869340571 300122112 5685 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554946 18446604453849342400 0 0 -1 0 0 0 0
[pid=2470] ppid=2454 vsize=293640 CPUtime=0 cores=0,2,4,6
/proc/2470/stat : 2470 (python) S 2454 2454 1406 0 -1 4202560 787 0 0 0 0 0 0 0 15 0 1 0 869340574 300687360 5741 33554432000 4194304 5683644 140735951066112 18446744073709551615 246516854342 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/2470/statm: 73410 5741 349 364 0 8294 0
[pid=2472] ppid=2470 vsize=9052 CPUtime=2.2 cores=0,2,4,6
/proc/2472/stat : 2472 (wbo1.4a) R 2470 2472 2472 0 -1 4202496 2080 0 0 0 218 2 0 0 25 0 1 0 869340574 9269248 1816 33554432000 134512640 135751879 4289387472 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/2472/statm: 2263 1816 143 303 0 1958 0
[pid=2454/tid=2461] ppid=2452 vsize=303884 CPUtime=0 cores=0,2,4,6
/proc/2454/task/2461/stat : 2461 (python) S 2452 2454 1406 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 3 0 869335753 311177216 7269 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554434 18446604450684066880 0 0 -1 6 0 0 0
[pid=2454/tid=2471] ppid=2452 vsize=303884 CPUtime=0 cores=0,2,4,6
/proc/2454/task/2471/stat : 2471 (python) S 2452 2454 1406 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 3 0 869340574 311177216 7269 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554434 18446604450684066880 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 901524
[startup+102.317 s]
/proc/loadavg: 2.08 2.12 1.47 3/560 2477
/proc/meminfo: memFree=21172656/32951124 swapFree=43359760/67111528
[pid=2454] ppid=2452 vsize=313836 CPUtime=0.49 cores=0,2,4,6
/proc/2454/stat : 2454 (python) S 2452 2454 1406 0 -1 4202496 11404 932 1 0 39 10 0 0 19 0 4 0 869335685 321368064 7214 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/2454/statm: 78459 7214 1875 364 0 13340 0
[pid=2460] ppid=2454 vsize=293088 CPUtime=0.16 cores=0,2,4,6
/proc/2460/stat : 2460 (python) S 2454 2454 1406 0 -1 4202560 1115 0 0 0 8 8 0 0 18 0 2 0 869335753 300122112 5685 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2460/statm: 73272 5685 412 364 0 8159 0
[pid=2462] ppid=2460 vsize=1860 CPUtime=48.17 cores=0,2,4,6
/proc/2462/stat : 2462 (clasp-1.3.7-x86) T 2460 2462 2462 0 -1 4202496 472 0 0 0 4817 0 0 0 25 0 1 0 869335753 1904640 216 33554432000 134512640 136139019 4292285280 18446744073709551615 134831212 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/2462/statm: 465 216 183 398 0 65 0
[pid=2460/tid=2469] ppid=2454 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/2460/task/2469/stat : 2469 (python) S 2454 2454 1406 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869340571 300122112 5685 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554946 18446604453849342400 0 0 -1 0 0 0 0
[pid=2470] ppid=2454 vsize=293640 CPUtime=0.2 cores=0,2,4,6
/proc/2470/stat : 2470 (python) S 2454 2454 1406 0 -1 4202560 1108 0 0 0 10 10 0 0 16 0 2 0 869340574 300687360 5790 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2470/statm: 73410 5790 397 364 0 8294 0
[pid=2472] ppid=2470 vsize=102484 CPUtime=47.4 cores=0,2,4,6
/proc/2472/stat : 2472 (wbo1.4a) T 2470 2472 2472 0 -1 4202496 25395 0 0 0 4696 44 0 0 25 0 1 0 869340574 104943616 25131 33554432000 134512640 135751879 4289387472 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/2472/statm: 25621 25131 143 303 0 25316 0
[pid=2470/tid=2474] ppid=2454 vsize=293640 CPUtime=0 cores=0,2,4,6
/proc/2470/task/2474/stat : 2474 (python) S 2454 2454 1406 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869345315 300687360 5790 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554946 18446604446052169920 0 0 -1 6 0 0 0
[pid=2475] ppid=2454 vsize=303592 CPUtime=0.08 cores=0,2,4,6
/proc/2475/stat : 2475 (python) S 2454 2454 1406 0 -1 4202560 947 0 0 0 7 1 0 0 15 0 1 0 869345318 310878208 5709 33554432000 4194304 5683644 140735951066112 18446744073709551615 246516854342 0 0 16781312 33554946 3176810798580236288 0 0 17 0 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 484.99
Current children cumulated vsize (KiB) 20048288
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+481.702 s]
/proc/loadavg: 2.21 2.14 1.67 5/627 3648
/proc/meminfo: memFree=20049920/32951124 swapFree=43359760/67111528
[pid=2454] ppid=2452 vsize=355392 CPUtime=0.64 cores=0,2,4,6
/proc/2454/stat : 2454 (python) S 2452 2454 1406 0 -1 4202496 15117 932 1 0 53 11 0 0 20 0 8 0 869335685 363921408 7356 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/2454/statm: 88848 7356 1883 364 0 23717 0
[pid=2460] ppid=2454 vsize=293088 CPUtime=0.35 cores=0,2,4,6
/proc/2460/stat : 2460 (python) S 2454 2454 1406 0 -1 4202560 1152 0 0 0 18 17 0 0 18 0 2 0 869335753 300122112 5695 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2460/statm: 73272 5695 422 364 0 8159 0
[pid=2462] ppid=2460 vsize=1860 CPUtime=93.38 cores=0,2,4,6
/proc/2462/stat : 2462 (clasp-1.3.7-x86) T 2460 2462 2462 0 -1 4202496 474 0 0 0 9338 0 0 0 25 0 1 0 869335753 1904640 218 33554432000 134512640 136139019 4292285280 18446744073709551615 134629943 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/2462/statm: 465 218 183 398 0 65 0
[pid=2460/tid=2469] ppid=2454 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/2460/task/2469/stat : 2469 (python) S 2454 2454 1406 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 869340571 300122112 5695 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554946 18446604453849342400 0 0 -1 0 0 0 0
[pid=2470] ppid=2454 vsize=293640 CPUtime=0.41 cores=0,2,4,6
/proc/2470/stat : 2470 (python) S 2454 2454 1406 0 -1 4202560 1133 0 0 0 20 21 0 0 15 0 2 0 869340574 300687360 5790 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2470/statm: 73410 5790 397 364 0 8294 0
[pid=2472] ppid=2470 vsize=191344 CPUtime=96.77 cores=0,2,4,6
/proc/2472/stat : 2472 (wbo1.4a) T 2470 2472 2472 0 -1 4202496 47588 0 0 0 9590 87 0 0 25 0 1 0 869340574 195936256 47324 33554432000 134512640 135751879 4289387472 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/2472/statm: 47836 47324 143 303 0 47531 0
[pid=2470/tid=2474] ppid=2454 vsize=293640 CPUtime=0 cores=0,2,4,6
/proc/2470/task/2474/stat : 2474 (python) S 2454 2454 1406 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869345315 300687360 5790 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554946 18446604446052169920 0 0 -1 6 0 0 0
[pid=2475] ppid=2454 vsize=303844 CPUtime=0.6 cores=0,2,4,6
/proc/2475/stat : 2475 (python) S 2454 2454 1406 0 -1 4202560 1225 0 0 0 43 17 0 0 17 0 2 0 869345318 311136256 5790 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2475/statm: 75961 5790 399 364 0 10842 0
[pid=2477] ppid=2475 vsize=91264 CPUtime=51.16 cores=0,2,4,6
/proc/2477/stat : 2477 (scip-2.0.1.linu) T 2475 2477 2477 0 -1 4202496 21952 0 0 0 4797 319 0 0 18 0 1 0 869345318 93454336 20451 33554432000 4194304 13684479 140733403240016 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/2477/statm: 22816 20451 803 2317 0 20494 0
[pid=2475/tid=2502] ppid=2454 vsize=303844 CPUtime=0 cores=0,2,4,6
/proc/2475/task/2502/stat : 2502 (python) S 2454 2454 1406 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869350460 311136256 5790 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554946 18446604447903544448 0 0 -1 6 0 0 0
[pid=2503] ppid=2454 vsize=314360 CPUtime=0.17 cores=0,2,4,6
/proc/2503/stat : 2503 (python) S 2454 2454 1406 0 -1 4202560 1114 0 0 0 9 8 0 0 19 0 2 0 869350462 321904640 5834 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2503/statm: 78590 5834 397 364 0 13468 0
[pid=2505] ppid=2503 vsize=8543344 CPUtime=49.44 cores=0,2,4,6
/proc/2505/stat : 2505 (java) T 2503 2505 2505 0 -1 4202496 58632 0 1 0 4934 10 0 0 18 0 19 0 869350463 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2505/statm: 2135836 40425 2233 9 0 2126577 0
[pid=2505/tid=2506] ppid=2503 vsize=8543344 CPUtime=48.16 cores=0,2,4,6
/proc/2505/task/2506/stat : 2506 (java) T 2503 2505 2505 0 -1 4202560 35340 0 1 0 4811 5 0 0 25 0 19 0 869350463 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 46912505554390 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2505/tid=2507] ppid=2503 vsize=8543344 CPUtime=0 cores=0,2,4,6
/proc/2505/task/2507/stat : 2507 (java) T 2503 2505 2505 0 -1 4202560 1378 0 0 0 0 0 0 0 15 0 19 0 869350464 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2505/tid=2508] ppid=2503 vsize=8543344 CPUtime=0.01 cores=0,2,4,6
/proc/2505/task/2508/stat : 2508 (java) T 2503 2505 2505 0 -1 4202560 2089 0 0 0 1 0 0 0 15 0 19 0 869350464 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2505/tid=2509] ppid=2503 vsize=8543344 CPUtime=0 cores=0,2,4,6
/proc/2505/task/2509/stat : 2509 (java) T 2503 2505 2505 0 -1 4202560 842 0 0 0 0 0 0 0 15 0 19 0 869350464 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2505/tid=2510] ppid=2503 vsize=8543344 CPUtime=0 cores=0,2,4,6
/proc/2505/task/2510/stat : 2510 (java) T 2503 2505 2505 0 -1 4202560 886 0 0 0 0 0 0 0 15 0 19 0 869350464 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2505/tid=2511] ppid=2503 vsize=8543344 CPUtime=0.01 cores=0,2,4,6
/proc/2505/task/2511/stat : 2511 (java) T 2503 2505 2505 0 -1 4202560 824 0 0 0 1 0 0 0 15 0 19 0 869350464 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=2505/tid=2512] ppid=2503 vsize=8543344 CPUtime=0.01 cores=0,2,4,6
/proc/2505/task/2512/stat : 2512 (java) T 2503 2505 2505 0 -1 4202560 1414 0 0 0 1 0 0 0 15 0 19 0 869350464 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2505/tid=2513] ppid=2503 vsize=8543344 CPUtime=0.01 cores=0,2,4,6
/proc/2505/task/2513/stat : 2513 (java) T 2503 2505 2505 0 -1 4202560 1406 0 0 0 1 0 0 0 15 0 19 0 869350464 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2505/tid=2514] ppid=2503 vsize=8543344 CPUtime=0.02 cores=0,2,4,6
/proc/2505/task/2514/stat : 2514 (java) T 2503 2505 2505 0 -1 4202560 3486 0 0 0 2 0 0 0 15 0 19 0 869350464 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2505/tid=2515] ppid=2503 vsize=8543344 CPUtime=0 cores=0,2,4,6
/proc/2505/task/2515/stat : 2515 (java) T 2503 2505 2505 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 869350465 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528650752 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=2505/tid=2516] ppid=2503 vsize=8543344 CPUtime=0 cores=0,2,4,6
/proc/2505/task/2516/stat : 2516 (java) T 2503 2505 2505 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869350465 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2505/tid=2517] ppid=2503 vsize=8543344 CPUtime=0 cores=0,2,4,6
/proc/2505/task/2517/stat : 2517 (java) T 2503 2505 2505 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869350465 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2505/tid=2518] ppid=2503 vsize=8543344 CPUtime=0 cores=0,2,4,6
/proc/2505/task/2518/stat : 2518 (java) T 2503 2505 2505 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869350467 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528657841 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2505/tid=2519] ppid=2503 vsize=8543344 CPUtime=0.53 cores=0,2,4,6
/proc/2505/task/2519/stat : 2519 (java) T 2503 2505 2505 0 -1 4202560 3765 0 0 0 53 0 0 0 15 0 19 0 869350467 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2505/tid=2520] ppid=2503 vsize=8543344 CPUtime=0.56 cores=0,2,4,6
/proc/2505/task/2520/stat : 2520 (java) T 2503 2505 2505 0 -1 4202560 5799 0 0 0 56 0 0 0 18 0 19 0 869350467 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2505/tid=2521] ppid=2503 vsize=8543344 CPUtime=0 cores=0,2,4,6
/proc/2505/task/2521/stat : 2521 (java) T 2503 2505 2505 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869350467 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2505/tid=2522] ppid=2503 vsize=8543344 CPUtime=0 cores=0,2,4,6
/proc/2505/task/2522/stat : 2522 (java) T 2503 2505 2505 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869350467 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2505/tid=2523] ppid=2503 vsize=8543344 CPUtime=0 cores=0,2,4,6
/proc/2505/task/2523/stat : 2523 (java) T 2503 2505 2505 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869350478 8748384256 40425 33554432000 1073741824 1073778376 140733837182144 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=2503/tid=2530] ppid=2454 vsize=314360 CPUtime=0 cores=0,2,4,6
/proc/2503/task/2530/stat : 2530 (python) S 2454 2454 1406 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 869355296 321904640 5834 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554946 18446604447903543552 0 0 -1 6 0 0 0
[pid=2531] ppid=2454 vsize=324616 CPUtime=0.54 cores=0,2,4,6
/proc/2531/stat : 2531 (python) S 2454 2454 1406 0 -1 4202560 1157 0 0 0 26 28 0 0 19 0 2 0 869355299 332406784 5858 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2531/statm: 81154 5858 397 364 0 16029 0
[pid=2533] ppid=2531 vsize=26876 CPUtime=138.44 cores=0,2,4,6
/proc/2533/stat : 2533 (bsolo_pb10) T 2531 2533 2533 0 -1 4202496 2611 0 0 0 13836 8 0 0 25 0 1 0 869355299 27521024 2341 33554432000 134512640 137138936 4290596640 18446744073709551615 134542199 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/2533/statm: 6719 2341 192 642 0 6075 0
[pid=2531/tid=2699] ppid=2454 vsize=324616 CPUtime=0 cores=0,2,4,6
/proc/2531/task/2699/stat : 2699 (python) S 2454 2454 1406 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 869369152 332406784 5858 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554946 18446604451241001344 0 0 -1 6 0 0 0
[pid=2700] ppid=2454 vsize=334872 CPUtime=0.36 cores=0,2,4,6
/proc/2700/stat : 2700 (python) S 2454 2454 1406 0 -1 4202560 1228 0 0 0 23 13 0 0 16 0 2 0 869369154 342908928 5863 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2700/statm: 83718 5863 398 364 0 18590 0
[pid=2702] ppid=2700 vsize=72428 CPUtime=51.37 cores=0,2,4,6
/proc/2702/stat : 2702 (scip-2.0.1.linu) T 2700 2702 2702 0 -1 4202496 16983 0 0 0 4921 216 0 0 18 0 1 0 869369155 74166272 14804 33554432000 4194304 15243407 140733576432032 18446744073709551615 8077945 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/2702/statm: 18107 14804 929 2698 0 15402 0
[pid=2700/tid=2822] ppid=2454 vsize=334872 CPUtime=0 cores=0,2,4,6
/proc/2700/task/2822/stat : 2822 (python) S 2454 2454 1406 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869374299 342908928 5863 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554946 18446604453635612992 0 0 -1 6 0 0 0
[pid=3627] ppid=2454 vsize=345148 CPUtime=0 cores=0,2,4,6
/proc/3627/stat : 3627 (python) S 2454 2454 1406 0 -1 4202560 838 0 0 0 0 0 0 0 15 0 1 0 869383763 353431552 5818 33554432000 4194304 5683644 140735951066112 18446744073709551615 246516854342 0 0 16781312 33554946 37010003772571648 0 0 17 0 0 0 0
/proc/3627/statm: 86287 5818 349 364 0 21156 0
[pid=3629] ppid=3627 vsize=8556212 CPUtime=1.36 cores=0,2,4,6
/proc/3629/stat : 3629 (java) S 3627 3629 3629 0 -1 4202496 35706 0 1 0 131 5 0 0 20 0 19 0 869383763 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/3629/statm: 2139053 32397 2232 9 0 2129794 0
[pid=3629/tid=3630] ppid=3627 vsize=8556212 CPUtime=0.87 cores=0,2,4,6
/proc/3629/task/3630/stat : 3630 (java) R 3627 3629 3629 0 -1 4202560 23623 0 1 0 84 3 0 0 19 0 19 0 869383764 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 46912505548314 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3629/tid=3631] ppid=3627 vsize=8556212 CPUtime=0 cores=0,2,4,6
/proc/3629/task/3631/stat : 3631 (java) S 3627 3629 3629 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 19 0 869383765 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528650137 0 4 0 16800975 18446604449703598848 0 0 -1 0 0 0 0
[pid=3629/tid=3633] ppid=3627 vsize=8556212 CPUtime=0 cores=0,2,4,6
/proc/3629/task/3633/stat : 3633 (java) S 3627 3629 3629 0 -1 4202560 102 0 0 0 0 0 0 0 16 0 19 0 869383765 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528650137 0 4 0 16800975 18446604449703598848 0 0 -1 0 0 0 0
[pid=3629/tid=3634] ppid=3627 vsize=8556212 CPUtime=0 cores=0,2,4,6
/proc/3629/task/3634/stat : 3634 (java) S 3627 3629 3629 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869383765 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528650137 0 4 0 16800975 18446604449703598848 0 0 -1 0 0 0 0
[pid=3629/tid=3635] ppid=3627 vsize=8556212 CPUtime=0 cores=0,2,4,6
/proc/3629/task/3635/stat : 3635 (java) S 3627 3629 3629 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869383765 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528650137 0 4 0 16800975 18446604449703598848 0 0 -1 0 0 0 0
[pid=3629/tid=3636] ppid=3627 vsize=8556212 CPUtime=0 cores=0,2,4,6
/proc/3629/task/3636/stat : 3636 (java) S 3627 3629 3629 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869383765 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528650137 0 4 0 16800975 18446604449703598848 0 0 -1 6 0 0 0
[pid=3629/tid=3637] ppid=3627 vsize=8556212 CPUtime=0 cores=0,2,4,6
/proc/3629/task/3637/stat : 3637 (java) S 3627 3629 3629 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869383765 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528650137 0 4 0 16800975 18446604449703598848 0 0 -1 0 0 0 0
[pid=3629/tid=3638] ppid=3627 vsize=8556212 CPUtime=0 cores=0,2,4,6
/proc/3629/task/3638/stat : 3638 (java) S 3627 3629 3629 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869383765 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528650137 0 4 0 16800975 18446604449703598848 0 0 -1 6 0 0 0
[pid=3629/tid=3639] ppid=3627 vsize=8556212 CPUtime=0 cores=0,2,4,6
/proc/3629/task/3639/stat : 3639 (java) S 3627 3629 3629 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869383765 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528650137 0 4 0 16800975 18446604449703598848 0 0 -1 6 0 0 0
[pid=3629/tid=3640] ppid=3627 vsize=8556212 CPUtime=0 cores=0,2,4,6
/proc/3629/task/3640/stat : 3640 (java) S 3627 3629 3629 0 -1 4202560 266 0 0 0 0 0 0 0 18 0 19 0 869383766 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528650752 0 0 0 16800975 18446604449703598848 0 0 -1 0 0 0 0
[pid=3629/tid=3641] ppid=3627 vsize=8556212 CPUtime=0 cores=0,2,4,6
/proc/3629/task/3641/stat : 3641 (java) S 3627 3629 3629 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869383766 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528650137 0 4 0 16800975 18446604449703598848 0 0 -1 0 0 0 0
[pid=3629/tid=3642] ppid=3627 vsize=8556212 CPUtime=0 cores=0,2,4,6
/proc/3629/task/3642/stat : 3642 (java) S 3627 3629 3629 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869383766 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528650137 0 4 0 16800975 18446604449703598848 0 0 -1 0 0 0 0
[pid=3629/tid=3643] ppid=3627 vsize=8556212 CPUtime=0 cores=0,2,4,6
/proc/3629/task/3643/stat : 3643 (java) S 3627 3629 3629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869383769 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528657841 0 4 0 16800975 18446604449703598848 0 0 -1 6 0 0 0
[pid=3629/tid=3644] ppid=3627 vsize=8556212 CPUtime=0.33 cores=0,2,4,6
/proc/3629/task/3644/stat : 3644 (java) R 3627 3629 3629 0 -1 4202560 8056 0 0 0 32 1 0 0 16 0 19 0 869383769 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 47885674240448 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3629/tid=3645] ppid=3627 vsize=8556212 CPUtime=0.14 cores=0,2,4,6
/proc/3629/task/3645/stat : 3645 (java) S 3627 3629 3629 0 -1 4202560 2106 0 0 0 14 0 0 0 22 0 19 0 869383769 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528650137 0 4 0 16800975 18446604449703598848 0 0 -1 4 0 0 0
[pid=3629/tid=3646] ppid=3627 vsize=8556212 CPUtime=0 cores=0,2,4,6
/proc/3629/task/3646/stat : 3646 (java) S 3627 3629 3629 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869383769 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528650137 0 4 0 16800975 18446604449703598848 0 0 -1 0 0 0 0
[pid=3629/tid=3647] ppid=3627 vsize=8556212 CPUtime=0 cores=0,2,4,6
/proc/3629/task/3647/stat : 3647 (java) R 3627 3629 3629 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869383769 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528650752 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3629/tid=3648] ppid=3627 vsize=8556212 CPUtime=0 cores=0,2,4,6
/proc/3629/task/3648/stat : 3648 (java) S 3627 3629 3629 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869383779 8761561088 32397 33554432000 1073741824 1073778376 140735434712400 18446744073709551615 246528650752 0 4 0 16800975 18446604449703598848 0 0 -1 0 0 0 0
[pid=2454/tid=2461] ppid=2452 vsize=355392 CPUtime=0 cores=0,2,4,6
/proc/2454/task/2461/stat : 2461 (python) S 2452 2454 1406 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 8 0 869335753 363921408 7356 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554434 18446604450684066880 0 0 -1 6 0 0 0
[pid=2454/tid=2471] ppid=2452 vsize=355392 CPUtime=0 cores=0,2,4,6
/proc/2454/task/2471/stat : 2471 (python) S 2452 2454 1406 0 -1 4202560 34 932 0 0 0 0 0 0 18 0 8 0 869340574 363921408 7356 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554434 18446604450684066880 0 0 -1 0 0 0 0
[pid=2454/tid=2476] ppid=2452 vsize=355392 CPUtime=0 cores=0,2,4,6
/proc/2454/task/2476/stat : 2476 (python) S 2452 2454 1406 0 -1 4202560 24 932 0 0 0 0 0 0 20 0 8 0 869345318 363921408 7356 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554434 18446604450684066880 0 0 -1 0 0 0 0
[pid=2454/tid=2504] ppid=2452 vsize=355392 CPUtime=0 cores=0,2,4,6
/proc/2454/task/2504/stat : 2504 (python) S 2452 2454 1406 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 8 0 869350463 363921408 7356 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554434 18446604450684066880 0 0 -1 6 0 0 0
[pid=2454/tid=2532] ppid=2452 vsize=355392 CPUtime=0 cores=0,2,4,6
/proc/2454/task/2532/stat : 2532 (python) S 2452 2454 1406 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 8 0 869355299 363921408 7356 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554434 18446604450684066880 0 0 -1 0 0 0 0
[pid=2454/tid=2701] ppid=2452 vsize=355392 CPUtime=0 cores=0,2,4,6
/proc/2454/task/2701/stat : 2701 (python) S 2452 2454 1406 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 8 0 869369154 363921408 7356 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554434 18446604450684066880 0 0 -1 6 0 0 0
[pid=2454/tid=3628] ppid=2452 vsize=355392 CPUtime=0 cores=0,2,4,6
/proc/2454/task/3628/stat : 3628 (python) S 2452 2454 1406 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 8 0 869383763 363921408 7356 33554432000 4194304 5683644 140735951066112 18446744073709551615 246528657841 0 0 16781312 33554434 18446604450684066880 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 484.99
Current children cumulated vsize (KiB) 20048288
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2454 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=541917
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=120981
# CPU time returned by wait4() is 0.662898
# while last known CPU time is 484.99
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 481.791
CPU time (s): 484.99
CPU user time (s): 477.39
CPU system time (s): 7.6
CPU usage (%): 100.664
Max. virtual memory (cumulated for all children) (KiB): 20048288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.541917
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16054
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= 2580
involuntary context switches= 43
runsolver used 3.45547 second user time and 6.77397 second system time
The end