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-3482035-1307576729/watcher-3482035-1307576729 -o /tmp/evaluation-result-3482035-1307576729/solver-3482035-1307576729 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482035-1307576729.opb -seed 717738632 -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.15 1.46 0.65 2/532 22805
/proc/meminfo: memFree=23355180/32950928 swapFree=61542368/67111528
[pid=22805] ppid=22803 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/22805/stat : 22805 (python) R 22803 22805 22387 0 -1 4202496 902 0 0 0 0 0 0 0 25 0 1 0 947903668 16150528 782 33554432000 4194304 5683644 140737187315168 18446744073709551615 4426576 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/22805/statm: 3943 782 345 364 0 430 0
[startup+0.0500031 s]
/proc/loadavg: 2.15 1.46 0.65 2/532 22805
/proc/meminfo: memFree=23355180/32950928 swapFree=61542368/67111528
[pid=22805] ppid=22803 vsize=29784 CPUtime=0.03 cores=0,2,4,6
/proc/22805/stat : 22805 (python) S 22803 22805 22387 0 -1 4202496 1414 0 0 0 3 0 0 0 25 0 1 0 947903668 30498816 1257 33554432000 4194304 5683644 140737187315168 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/22805/statm: 7446 1257 443 364 0 816 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29784
[startup+0.10213 s]
/proc/loadavg: 2.15 1.46 0.65 2/532 22805
/proc/meminfo: memFree=23355180/32950928 swapFree=61542368/67111528
[pid=22805] ppid=22803 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/22805/stat : 22805 (python) S 22803 22805 22387 0 -1 4202496 3033 465 1 0 5 2 0 0 25 0 1 0 947903668 98435072 2483 33554432000 4194304 5683644 140737187315168 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/22805/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300931 s]
/proc/loadavg: 2.15 1.46 0.65 2/532 22805
/proc/meminfo: memFree=23355180/32950928 swapFree=61542368/67111528
[pid=22805] ppid=22803 vsize=168308 CPUtime=0.19 cores=0,2,4,6
/proc/22805/stat : 22805 (python) R 22803 22805 22387 0 -1 4202496 5974 930 1 0 13 6 0 0 25 0 1 0 947903668 172347392 4291 33554432000 4194304 5683644 140737187315168 18446744073709551615 260905053764 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/22805/statm: 42077 4291 1200 364 0 3294 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 168308
[startup+0.700889 s]
/proc/loadavg: 2.15 1.46 0.65 2/532 22805
/proc/meminfo: memFree=23355180/32950928 swapFree=61542368/67111528
[pid=22805] ppid=22803 vsize=284392 CPUtime=0.53 cores=0,2,4,6
/proc/22805/stat : 22805 (python) R 22803 22805 22387 0 -1 4202496 9911 930 1 0 43 10 0 0 25 0 1 0 947903668 291217408 7475 33554432000 4194304 5683644 140737187315168 18446744073709551615 47863707869761 0 0 16781312 33554434 0 0 0 17 6 0 0 0
/proc/22805/statm: 71098 7475 1816 364 0 5991 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 284392
[startup+1.50074 s]
/proc/loadavg: 2.15 1.46 0.65 5/553 22830
/proc/meminfo: memFree=23305104/32950928 swapFree=61542368/67111528
[pid=22805] ppid=22803 vsize=294836 CPUtime=0.58 cores=0,2,4,6
/proc/22805/stat : 22805 (python) S 22803 22805 22387 0 -1 4202496 10228 930 1 0 48 10 0 0 25 0 2 0 947903668 301912064 7562 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/22805/statm: 73709 7562 1870 364 0 8596 0
[pid=22811] ppid=22805 vsize=284592 CPUtime=0 cores=0,2,4,6
/proc/22811/stat : 22811 (python) S 22805 22805 22387 0 -1 4202560 851 0 0 0 0 0 0 0 20 0 1 0 947903743 291422208 6046 33554432000 4194304 5683644 140737187315168 18446744073709551615 260905414159 0 0 16781312 33554946 17962705489993105667 0 0 17 2 0 0 0
/proc/22811/statm: 71148 6046 358 364 0 6035 0
[pid=22813] ppid=22811 vsize=8537856 CPUtime=1.33 cores=0,2,4,6
/proc/22813/stat : 22813 (java) S 22811 22813 22813 0 -1 4202496 15342 0 1 0 130 3 0 0 25 0 19 0 947903743 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/22813/statm: 2134464 13510 2220 9 0 2125205 0
[pid=22813/tid=22814] ppid=22811 vsize=8537856 CPUtime=0.72 cores=0,2,4,6
/proc/22813/task/22814/stat : 22814 (java) R 22811 22813 22813 0 -1 4202560 9799 0 1 0 70 2 0 0 25 0 19 0 947903744 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 46912505718768 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22813/tid=22815] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22815/stat : 22815 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947903744 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22816] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22816/stat : 22816 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947903744 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22817] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22817/stat : 22817 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947903744 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22818] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22818/stat : 22818 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947903744 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22819] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22819/stat : 22819 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947903744 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22820] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22820/stat : 22820 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947903744 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22821] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22821/stat : 22821 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947903744 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22822] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22822/stat : 22822 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947903744 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22823] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22823/stat : 22823 (java) S 22811 22813 22813 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947903745 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210624 0 0 0 16800975 18446604443201312000 0 0 -1 6 0 0 0
[pid=22813/tid=22824] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22824/stat : 22824 (java) S 22811 22813 22813 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947903746 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0
[pid=22813/tid=22825] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22825/stat : 22825 (java) S 22811 22813 22813 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947903746 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0
[pid=22813/tid=22826] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22826/stat : 22826 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947903748 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917217713 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0
[pid=22813/tid=22827] ppid=22811 vsize=8537856 CPUtime=0.25 cores=0,2,4,6
/proc/22813/task/22827/stat : 22827 (java) S 22811 22813 22813 0 -1 4202560 1846 0 0 0 25 0 0 0 24 0 19 0 947903748 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0
[pid=22813/tid=22828] ppid=22811 vsize=8537856 CPUtime=0.33 cores=0,2,4,6
/proc/22813/task/22828/stat : 22828 (java) S 22811 22813 22813 0 -1 4202560 2313 0 0 0 33 0 0 0 25 0 19 0 947903748 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 4 0 0 0
[pid=22813/tid=22829] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22829/stat : 22829 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947903748 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0
[pid=22813/tid=22830] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22830/stat : 22830 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947903748 8742764544 13510 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22805/tid=22812] ppid=22803 vsize=294836 CPUtime=0 cores=0,2,4,6
/proc/22805/task/22812/stat : 22812 (python) S 22803 22805 22387 0 -1 4202560 28 930 0 0 0 0 0 0 25 0 2 0 947903743 301912064 7562 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554434 18446604450937344256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 9117284
[startup+3.10153 s]
/proc/loadavg: 2.15 1.46 0.65 3/554 22831
/proc/meminfo: memFree=23270624/32950928 swapFree=61542368/67111528
[pid=22805] ppid=22803 vsize=294836 CPUtime=0.58 cores=0,2,4,6
/proc/22805/stat : 22805 (python) S 22803 22805 22387 0 -1 4202496 10228 930 1 0 48 10 0 0 25 0 2 0 947903668 301912064 7562 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/22805/statm: 73709 7562 1870 364 0 8596 0
[pid=22811] ppid=22805 vsize=284592 CPUtime=0 cores=0,2,4,6
/proc/22811/stat : 22811 (python) S 22805 22805 22387 0 -1 4202560 859 0 0 0 0 0 0 0 15 0 1 0 947903743 291422208 6046 33554432000 4194304 5683644 140737187315168 18446744073709551615 260905414159 0 0 16781312 33554946 17962705489993105667 0 0 17 2 0 0 0
/proc/22811/statm: 71148 6046 358 364 0 6035 0
[pid=22813] ppid=22811 vsize=8537856 CPUtime=3.18 cores=0,2,4,6
/proc/22813/stat : 22813 (java) S 22811 22813 22813 0 -1 4202496 19407 0 1 0 315 3 0 0 25 0 19 0 947903743 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/22813/statm: 2134464 17247 2254 9 0 2125205 0
[pid=22813/tid=22814] ppid=22811 vsize=8537856 CPUtime=2.29 cores=0,2,4,6
/proc/22813/task/22814/stat : 22814 (java) R 22811 22813 22813 0 -1 4202560 10496 0 1 0 227 2 0 0 25 0 19 0 947903744 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 46912505725888 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22813/tid=22815] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22815/stat : 22815 (java) S 22811 22813 22813 0 -1 4202560 412 0 0 0 0 0 0 0 15 0 19 0 947903744 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22816] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22816/stat : 22816 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947903744 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22817] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22817/stat : 22817 (java) S 22811 22813 22813 0 -1 4202560 303 0 0 0 0 0 0 0 16 0 19 0 947903744 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22818] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22818/stat : 22818 (java) S 22811 22813 22813 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 19 0 947903744 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22819] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22819/stat : 22819 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947903744 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22820] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22820/stat : 22820 (java) S 22811 22813 22813 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 947903744 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22821] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22821/stat : 22821 (java) S 22811 22813 22813 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 19 0 947903744 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22822] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22822/stat : 22822 (java) S 22811 22813 22813 0 -1 4202560 283 0 0 0 0 0 0 0 16 0 19 0 947903744 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22823] ppid=22811 vsize=8537856 CPUtime=0.01 cores=0,2,4,6
/proc/22813/task/22823/stat : 22823 (java) S 22811 22813 22813 0 -1 4202560 803 0 0 0 1 0 0 0 15 0 19 0 947903745 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210624 0 0 0 16800975 18446604443201312000 0 0 -1 6 0 0 0
[pid=22813/tid=22824] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22824/stat : 22824 (java) S 22811 22813 22813 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 947903746 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0
[pid=22813/tid=22825] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22825/stat : 22825 (java) S 22811 22813 22813 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947903746 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0
[pid=22813/tid=22826] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22826/stat : 22826 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947903748 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917217713 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0
[pid=22813/tid=22827] ppid=22811 vsize=8537856 CPUtime=0.33 cores=0,2,4,6
/proc/22813/task/22827/stat : 22827 (java) S 22811 22813 22813 0 -1 4202560 2132 0 0 0 33 0 0 0 15 0 19 0 947903748 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0
[pid=22813/tid=22828] ppid=22811 vsize=8537856 CPUtime=0.5 cores=0,2,4,6
/proc/22813/task/22828/stat : 22828 (java) S 22811 22813 22813 0 -1 4202560 3141 0 0 0 50 0 0 0 15 0 19 0 947903748 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 4 0 0 0
[pid=22813/tid=22829] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22829/stat : 22829 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947903748 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0
[pid=22813/tid=22830] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22830/stat : 22830 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947903748 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22831] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22831/stat : 22831 (java) S 22811 22813 22813 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947903783 8742764544 17247 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210624 0 4 0 16800975 18446604443201312000 0 0 -1 6 0 0 0
[pid=22805/tid=22812] ppid=22803 vsize=294836 CPUtime=0 cores=0,2,4,6
/proc/22805/task/22812/stat : 22812 (python) S 22803 22805 22387 0 -1 4202560 28 930 0 0 0 0 0 0 25 0 2 0 947903743 301912064 7562 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554434 18446604450937344256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 9117284
[startup+6.30094 s]
/proc/loadavg: 2.14 1.46 0.65 3/554 22831
/proc/meminfo: memFree=23256684/32950928 swapFree=61542368/67111528
[pid=22805] ppid=22803 vsize=294836 CPUtime=0.58 cores=0,2,4,6
/proc/22805/stat : 22805 (python) S 22803 22805 22387 0 -1 4202496 10228 930 1 0 48 10 0 0 25 0 2 0 947903668 301912064 7562 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/22805/statm: 73709 7562 1870 364 0 8596 0
[pid=22811] ppid=22805 vsize=284592 CPUtime=0.01 cores=0,2,4,6
/proc/22811/stat : 22811 (python) S 22805 22805 22387 0 -1 4202560 1002 0 0 0 1 0 0 0 15 0 1 0 947903743 291422208 6069 33554432000 4194304 5683644 140737187315168 18446744073709551615 260905414159 0 0 16781312 33554946 4294934787 0 0 17 2 0 0 0
/proc/22811/statm: 71148 6069 381 364 0 6035 0
[pid=22813] ppid=22811 vsize=8537856 CPUtime=6.42 cores=0,2,4,6
/proc/22813/stat : 22813 (java) S 22811 22813 22813 0 -1 4202496 21044 0 1 0 638 4 0 0 25 0 19 0 947903743 8742764544 18631 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/22813/statm: 2134464 18631 2254 9 0 2125205 0
[pid=22813/tid=22814] ppid=22811 vsize=8537856 CPUtime=5.42 cores=0,2,4,6
/proc/22813/task/22814/stat : 22814 (java) R 22811 22813 22813 0 -1 4202560 10500 0 1 0 540 2 0 0 25 0 19 0 947903744 8742764544 18631 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 46912505842271 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22813/tid=22815] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22815/stat : 22815 (java) S 22811 22813 22813 0 -1 4202560 538 0 0 0 0 0 0 0 15 0 19 0 947903744 8742764544 18631 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22816] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22816/stat : 22816 (java) S 22811 22813 22813 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 947903744 8742764544 18631 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22817] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22817/stat : 22817 (java) S 22811 22813 22813 0 -1 4202560 431 0 0 0 0 0 0 0 15 0 19 0 947903744 8742764544 18631 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22818] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22818/stat : 22818 (java) S 22811 22813 22813 0 -1 4202560 248 0 0 0 0 0 0 0 15 0 19 0 947903744 8742764544 18631 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22819] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22819/stat : 22819 (java) S 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947903744 8742764544 18631 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22820] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22820/stat : 22820 (java) S 22811 22813 22813 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 19 0 947903744 8742764544 18631 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 4 0 0 0
[pid=22813/tid=22821] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22821/stat : 22821 (java) S 22811 22813 22813 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 19 0 947903744 8742764544 18631 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22822] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22822/stat : 22822 (java) S 22811 22813 22813 0 -1 4202560 689 0 0 0 0 0 0 0 15 0 19 0 947903744 8742764544 18631 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446604443201312000 0 0 -1 2 0 0 0
[pid=22813/tid=22823] ppid=22811 vsize=8537856 CPUtime=0.05 cores=0,2,4,6
/proc/22813/task/22823/stat : 22823 (java) S 22811 22813 22813 0 -1 4202560 1385 0 0 0 5 0 0 0 16 0 19 0 947903745 8742764544 18631 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210624 0 0 0 16800975 18446604443201312000 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=22805/tid=22947] ppid=22803 vsize=346676 CPUtime=0 cores=0,2,4,6
/proc/22805/task/22947/stat : 22947 (python) S 22803 22805 22387 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 7 0 947908224 354996224 7719 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554434 18446604450937344256 0 0 -1 2 0 0 0
[pid=22805/tid=22956] ppid=22803 vsize=346676 CPUtime=0 cores=0,2,4,6
/proc/22805/task/22956/stat : 22956 (python) S 22803 22805 22387 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 7 0 947912906 354996224 7719 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554434 18446604450937344256 0 0 -1 0 0 0 0
[pid=22805/tid=22965] ppid=22803 vsize=346676 CPUtime=0 cores=0,2,4,6
/proc/22805/task/22965/stat : 22965 (python) S 22803 22805 22387 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 7 0 947917554 354996224 7719 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554434 18446604450937344256 0 0 -1 6 0 0 0
[pid=22805/tid=23084] ppid=22803 vsize=346676 CPUtime=0 cores=0,2,4,6
/proc/22805/task/23084/stat : 23084 (python) S 22803 22805 22387 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 7 0 947926992 354996224 7719 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554434 18446604450937344256 0 0 -1 0 0 0 0
[pid=22805/tid=23093] ppid=22803 vsize=346676 CPUtime=0 cores=0,2,4,6
/proc/22805/task/23093/stat : 23093 (python) S 22803 22805 22387 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 7 0 947931742 354996224 7719 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554434 18446604450937344256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.21
Current children cumulated vsize (KiB) 19465256
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+281.512 s]
/proc/loadavg: 2.04 1.84 1.02 7/635 23112
/proc/meminfo: memFree=22344192/32950928 swapFree=61542368/67111528
[pid=22805] ppid=22803 vsize=346676 CPUtime=0.71 cores=0,2,4,6
/proc/22805/stat : 22805 (python) S 22803 22805 22387 0 -1 4202496 14737 930 1 0 60 11 0 0 20 0 7 0 947903668 354996224 7719 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/22805/statm: 86669 7719 1881 364 0 21541 0
[pid=22811] ppid=22805 vsize=294836 CPUtime=0.19 cores=0,2,4,6
/proc/22811/stat : 22811 (python) S 22805 22805 22387 0 -1 4202560 1157 0 0 0 9 10 0 0 17 0 2 0 947903743 301912064 6105 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/22811/statm: 73709 6105 412 364 0 8596 0
[pid=22813] ppid=22811 vsize=8537856 CPUtime=45.73 cores=0,2,4,6
/proc/22813/stat : 22813 (java) T 22811 22813 22813 0 -1 4202496 21854 0 1 0 4568 5 0 0 18 0 19 0 947903743 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/22813/statm: 2134464 18731 2254 9 0 2125205 0
[pid=22813/tid=22814] ppid=22811 vsize=8537856 CPUtime=44.15 cores=0,2,4,6
/proc/22813/task/22814/stat : 22814 (java) T 22811 22813 22813 0 -1 4202560 10531 0 1 0 4413 2 0 0 25 0 19 0 947903744 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22813/tid=22815] ppid=22811 vsize=8537856 CPUtime=0.03 cores=0,2,4,6
/proc/22813/task/22815/stat : 22815 (java) T 22811 22813 22813 0 -1 4202560 546 0 0 0 3 0 0 0 15 0 19 0 947903744 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22813/tid=22816] ppid=22811 vsize=8537856 CPUtime=0.02 cores=0,2,4,6
/proc/22813/task/22816/stat : 22816 (java) T 22811 22813 22813 0 -1 4202560 204 0 0 0 2 0 0 0 15 0 19 0 947903744 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22813/tid=22817] ppid=22811 vsize=8537856 CPUtime=0.02 cores=0,2,4,6
/proc/22813/task/22817/stat : 22817 (java) T 22811 22813 22813 0 -1 4202560 438 0 0 0 2 0 0 0 15 0 19 0 947903744 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22813/tid=22818] ppid=22811 vsize=8537856 CPUtime=0.03 cores=0,2,4,6
/proc/22813/task/22818/stat : 22818 (java) T 22811 22813 22813 0 -1 4202560 322 0 0 0 3 0 0 0 15 0 19 0 947903744 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22813/tid=22819] ppid=22811 vsize=8537856 CPUtime=0.01 cores=0,2,4,6
/proc/22813/task/22819/stat : 22819 (java) T 22811 22813 22813 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 947903744 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22813/tid=22820] ppid=22811 vsize=8537856 CPUtime=0.01 cores=0,2,4,6
/proc/22813/task/22820/stat : 22820 (java) T 22811 22813 22813 0 -1 4202560 208 0 0 0 1 0 0 0 15 0 19 0 947903744 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22813/tid=22821] ppid=22811 vsize=8537856 CPUtime=0.01 cores=0,2,4,6
/proc/22813/task/22821/stat : 22821 (java) T 22811 22813 22813 0 -1 4202560 269 0 0 0 1 0 0 0 15 0 19 0 947903744 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22813/tid=22822] ppid=22811 vsize=8537856 CPUtime=0.02 cores=0,2,4,6
/proc/22813/task/22822/stat : 22822 (java) T 22811 22813 22813 0 -1 4202560 692 0 0 0 2 0 0 0 15 0 19 0 947903744 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22813/tid=22823] ppid=22811 vsize=8537856 CPUtime=0.44 cores=0,2,4,6
/proc/22813/task/22823/stat : 22823 (java) T 22811 22813 22813 0 -1 4202560 1975 0 0 0 44 0 0 0 15 0 19 0 947903745 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 47972978688116 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22813/tid=22824] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22824/stat : 22824 (java) T 22811 22813 22813 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 947903746 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22813/tid=22825] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22825/stat : 22825 (java) T 22811 22813 22813 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947903746 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22813/tid=22826] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22826/stat : 22826 (java) T 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947903748 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917217713 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22813/tid=22827] ppid=22811 vsize=8537856 CPUtime=0.38 cores=0,2,4,6
/proc/22813/task/22827/stat : 22827 (java) T 22811 22813 22813 0 -1 4202560 2141 0 0 0 38 0 0 0 15 0 19 0 947903748 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22813/tid=22828] ppid=22811 vsize=8537856 CPUtime=0.5 cores=0,2,4,6
/proc/22813/task/22828/stat : 22828 (java) T 22811 22813 22813 0 -1 4202560 3141 0 0 0 50 0 0 0 15 0 19 0 947903748 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22813/tid=22829] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22829/stat : 22829 (java) T 22811 22813 22813 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947903748 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22813/tid=22830] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22830/stat : 22830 (java) T 22811 22813 22813 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947903748 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22813/tid=22831] ppid=22811 vsize=8537856 CPUtime=0 cores=0,2,4,6
/proc/22813/task/22831/stat : 22831 (java) T 22811 22813 22813 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947903783 8742764544 18731 33554432000 1073741824 1073778376 140735155560400 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22811/tid=22945] ppid=22805 vsize=294836 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22945/stat : 22945 (python) S 22805 22805 22387 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 947908221 301912064 6105 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554946 18446604451149461568 0 0 -1 6 0 0 0
[pid=22946] ppid=22805 vsize=294848 CPUtime=0.19 cores=0,2,4,6
/proc/22946/stat : 22946 (python) S 22805 22805 22387 0 -1 4202560 1120 0 0 0 10 9 0 0 16 0 2 0 947908224 301924352 6090 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/22946/statm: 73712 6090 397 364 0 8596 0
[pid=22948] ppid=22946 vsize=66952 CPUtime=46.78 cores=0,2,4,6
/proc/22948/stat : 22948 (scip-2.0.1.linu) T 22946 22948 22948 0 -1 4202496 64393 0 0 0 4644 34 0 0 25 0 1 0 947908224 68558848 14288 33554432000 4194304 13684479 140734097900080 18446744073709551615 7268195 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/22948/statm: 16738 14288 807 2317 0 14416 0
[pid=22946/tid=22954] ppid=22805 vsize=294848 CPUtime=0 cores=0,2,4,6
/proc/22946/task/22954/stat : 22954 (python) S 22805 22805 22387 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 947912903 301924352 6090 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554946 18446604453769348416 0 0 -1 6 0 0 0
[pid=22955] ppid=22805 vsize=305664 CPUtime=0.22 cores=0,2,4,6
/proc/22955/stat : 22955 (python) S 22805 22805 22387 0 -1 4202560 1138 0 0 0 12 10 0 0 17 0 2 0 947912906 312999936 6220 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/22955/statm: 76416 6220 397 364 0 11297 0
[pid=22957] ppid=22955 vsize=62664 CPUtime=46.44 cores=0,2,4,6
/proc/22957/stat : 22957 (wbo1.4a) T 22955 22957 22957 0 -1 4202496 15623 0 0 0 4589 55 0 0 25 0 1 0 947912906 64167936 15201 33554432000 134512640 135751879 4287637744 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/22957/statm: 15666 15201 146 303 0 15361 0
[pid=22955/tid=22963] ppid=22805 vsize=305664 CPUtime=0 cores=0,2,4,6
/proc/22955/task/22963/stat : 22963 (python) S 22805 22805 22387 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 947917551 312999936 6220 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554946 18446604453769347520 0 0 -1 6 0 0 0
[pid=22964] ppid=22805 vsize=315920 CPUtime=0.39 cores=0,2,4,6
/proc/22964/stat : 22964 (python) S 22805 22805 22387 0 -1 4202560 1167 0 0 0 20 19 0 0 16 0 2 0 947917553 323502080 6224 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/22964/statm: 78980 6224 397 364 0 13858 0
[pid=22966] ppid=22964 vsize=2980 CPUtime=94.33 cores=0,2,4,6
/proc/22966/stat : 22966 (clasp-1.3.7-x86) T 22964 22966 22966 0 -1 4202496 760 0 0 0 9433 0 0 0 25 0 1 0 947917554 3051520 487 33554432000 134512640 136139019 4292231920 18446744073709551615 134632459 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/22966/statm: 745 487 189 398 0 345 0
[pid=22964/tid=23082] ppid=22805 vsize=315920 CPUtime=0 cores=0,2,4,6
/proc/22964/task/23082/stat : 23082 (python) S 22805 22805 22387 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 947926989 323502080 6224 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554946 18446604449015814272 0 0 -1 6 0 0 0
[pid=23083] ppid=22805 vsize=326176 CPUtime=0.19 cores=0,2,4,6
/proc/23083/stat : 23083 (python) S 22805 22805 22387 0 -1 4202560 1139 0 0 0 9 10 0 0 19 0 2 0 947926992 334004224 6228 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23083/statm: 81544 6228 397 364 0 16419 0
[pid=23085] ppid=23083 vsize=36512 CPUtime=47.46 cores=0,2,4,6
/proc/23085/stat : 23085 (pbct-0.1.2-linu) T 23083 23085 23085 0 -1 4202496 9190 0 0 0 4613 133 0 0 25 0 1 0 947926992 37388288 8629 33554432000 134512640 136422188 4293444064 18446744073709551615 134860336 0 0 16781312 16387 18446744071562691360 0 0 17 0 0 0 0
/proc/23085/statm: 9128 8629 236 467 0 8659 0
[pid=23083/tid=23091] ppid=22805 vsize=326176 CPUtime=0 cores=0,2,4,6
/proc/23083/task/23091/stat : 23091 (python) S 22805 22805 22387 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 947931739 334004224 6228 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554946 18446604444275062720 0 0 -1 6 0 0 0
[pid=23092] ppid=22805 vsize=336432 CPUtime=0 cores=0,2,4,6
/proc/23092/stat : 23092 (python) S 22805 22805 22387 0 -1 4202560 843 0 0 0 0 0 0 0 15 0 1 0 947931742 344506368 6183 33554432000 4194304 5683644 140737187315168 18446744073709551615 260905414214 0 0 16781312 33554946 4125995981130956800 0 0 17 4 0 0 0
/proc/23092/statm: 84108 6183 349 364 0 18980 0
[pid=23094] ppid=23092 vsize=8537740 CPUtime=1.58 cores=0,2,4,6
/proc/23094/stat : 23094 (java) S 23092 23094 23094 0 -1 4202496 24524 0 1 0 154 4 0 0 20 0 19 0 947931742 8742645760 21839 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23094/statm: 2134435 21839 2224 9 0 2125176 0
[pid=23094/tid=23095] ppid=23092 vsize=8537740 CPUtime=0.78 cores=0,2,4,6
/proc/23094/task/23095/stat : 23095 (java) R 23092 23094 23094 0 -1 4202560 17619 0 1 0 75 3 0 0 18 0 19 0 947931743 8742645760 21915 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 46912505896643 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23094/tid=23096] ppid=23092 vsize=8537740 CPUtime=0 cores=0,2,4,6
/proc/23094/task/23096/stat : 23096 (java) S 23092 23094 23094 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947931744 8742645760 21915 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 260917210009 0 4 0 16800975 18446604451034761344 0 0 -1 4 0 0 0
[pid=23094/tid=23097] ppid=23092 vsize=8537740 CPUtime=0 cores=0,2,4,6
/proc/23094/task/23097/stat : 23097 (java) S 23092 23094 23094 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947931744 8742645760 21916 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 260917210009 0 4 0 16800975 18446604451034761344 0 0 -1 4 0 0 0
[pid=23094/tid=23098] ppid=23092 vsize=8537740 CPUtime=0 cores=0,2,4,6
/proc/23094/task/23098/stat : 23098 (java) S 23092 23094 23094 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947931744 8742645760 21916 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 260917210009 0 4 0 16800975 18446604451034761344 0 0 -1 4 0 0 0
[pid=23094/tid=23099] ppid=23092 vsize=8537740 CPUtime=0 cores=0,2,4,6
/proc/23094/task/23099/stat : 23099 (java) S 23092 23094 23094 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947931744 8742645760 21917 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 260917210009 0 4 0 16800975 18446604451034761344 0 0 -1 0 0 0 0
[pid=23094/tid=23100] ppid=23092 vsize=8537740 CPUtime=0 cores=0,2,4,6
/proc/23094/task/23100/stat : 23100 (java) S 23092 23094 23094 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947931744 8742645760 21917 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 260917210009 0 4 0 16800975 18446604451034761344 0 0 -1 0 0 0 0
[pid=23094/tid=23101] ppid=23092 vsize=8537740 CPUtime=0 cores=0,2,4,6
/proc/23094/task/23101/stat : 23101 (java) S 23092 23094 23094 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947931744 8742645760 21917 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 260917210009 0 4 0 16800975 18446604451034761344 0 0 -1 0 0 0 0
[pid=23094/tid=23102] ppid=23092 vsize=8537740 CPUtime=0 cores=0,2,4,6
/proc/23094/task/23102/stat : 23102 (java) S 23092 23094 23094 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947931744 8742645760 21917 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 260917210009 0 4 0 16800975 18446604451034761344 0 0 -1 0 0 0 0
[pid=23094/tid=23103] ppid=23092 vsize=8537740 CPUtime=0 cores=0,2,4,6
/proc/23094/task/23103/stat : 23103 (java) S 23092 23094 23094 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947931744 8742645760 21918 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 260917210009 0 4 0 16800975 18446604451034761344 0 0 -1 0 0 0 0
[pid=23094/tid=23104] ppid=23092 vsize=8537740 CPUtime=0 cores=0,2,4,6
/proc/23094/task/23104/stat : 23104 (java) S 23092 23094 23094 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947931745 8742645760 21918 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 260917210624 0 0 0 16800975 18446604451034761344 0 0 -1 4 0 0 0
[pid=23094/tid=23105] ppid=23092 vsize=8537740 CPUtime=0 cores=0,2,4,6
/proc/23094/task/23105/stat : 23105 (java) S 23092 23094 23094 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947931745 8742645760 21918 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 260917210009 0 4 0 16800975 18446604451034761344 0 0 -1 4 0 0 0
[pid=23094/tid=23106] ppid=23092 vsize=8537740 CPUtime=0 cores=0,2,4,6
/proc/23094/task/23106/stat : 23106 (java) S 23092 23094 23094 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947931745 8742645760 21918 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 260917210009 0 4 0 16800975 18446604451034761344 0 0 -1 4 0 0 0
[pid=23094/tid=23107] ppid=23092 vsize=8537740 CPUtime=0 cores=0,2,4,6
/proc/23094/task/23107/stat : 23107 (java) S 23092 23094 23094 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947931748 8742645760 21918 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 260917217713 0 4 0 16800975 18446604451034761344 0 0 -1 4 0 0 0
[pid=23094/tid=23108] ppid=23092 vsize=8537740 CPUtime=0.4 cores=0,2,4,6
/proc/23094/task/23108/stat : 23108 (java) R 23092 23094 23094 0 -1 4202560 1556 0 0 0 40 0 0 0 15 0 19 0 947931748 8742645760 21919 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 47282871662592 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23094/tid=23109] ppid=23092 vsize=8537740 CPUtime=0.42 cores=0,2,4,6
/proc/23094/task/23109/stat : 23109 (java) R 23092 23094 23094 0 -1 4202560 4024 0 0 0 42 0 0 0 16 0 19 0 947931748 8742645760 21919 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 47282872218727 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23094/tid=23110] ppid=23092 vsize=8537740 CPUtime=0 cores=0,2,4,6
/proc/23094/task/23110/stat : 23110 (java) S 23092 23094 23094 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947931748 8742645760 21919 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 260917210009 0 4 0 16800975 18446604451034761344 0 0 -1 4 0 0 0
[pid=23094/tid=23111] ppid=23092 vsize=8537740 CPUtime=0 cores=0,2,4,6
/proc/23094/task/23111/stat : 23111 (java) R 23092 23094 23094 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947931748 8742645760 21919 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 260917210624 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23094/tid=23112] ppid=23092 vsize=8537740 CPUtime=0 cores=0,2,4,6
/proc/23094/task/23112/stat : 23112 (java) S 23092 23094 23094 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947931781 8742645760 21919 33554432000 1073741824 1073778376 140734267899456 18446744073709551615 260917210624 0 4 0 16800975 18446604451034761344 0 0 -1 0 0 0 0
[pid=22805/tid=22812] ppid=22803 vsize=346676 CPUtime=0 cores=0,2,4,6
/proc/22805/task/22812/stat : 22812 (python) S 22803 22805 22387 0 -1 4202560 28 930 0 0 0 0 0 0 25 0 7 0 947903743 354996224 7719 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554434 18446604450937344256 0 0 -1 2 0 0 0
[pid=22805/tid=22947] ppid=22803 vsize=346676 CPUtime=0 cores=0,2,4,6
/proc/22805/task/22947/stat : 22947 (python) S 22803 22805 22387 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 7 0 947908224 354996224 7719 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554434 18446604450937344256 0 0 -1 2 0 0 0
[pid=22805/tid=22956] ppid=22803 vsize=346676 CPUtime=0 cores=0,2,4,6
/proc/22805/task/22956/stat : 22956 (python) S 22803 22805 22387 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 7 0 947912906 354996224 7719 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554434 18446604450937344256 0 0 -1 0 0 0 0
[pid=22805/tid=22965] ppid=22803 vsize=346676 CPUtime=0 cores=0,2,4,6
/proc/22805/task/22965/stat : 22965 (python) S 22803 22805 22387 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 7 0 947917554 354996224 7719 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554434 18446604450937344256 0 0 -1 6 0 0 0
[pid=22805/tid=23084] ppid=22803 vsize=346676 CPUtime=0 cores=0,2,4,6
/proc/22805/task/23084/stat : 23084 (python) S 22803 22805 22387 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 7 0 947926992 354996224 7719 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554434 18446604450937344256 0 0 -1 0 0 0 0
[pid=22805/tid=23093] ppid=22803 vsize=346676 CPUtime=0 cores=0,2,4,6
/proc/22805/task/23093/stat : 23093 (python) S 22803 22805 22387 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 7 0 947931742 354996224 7719 33554432000 4194304 5683644 140737187315168 18446744073709551615 260917217713 0 0 16781312 33554434 18446604450937344256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.21
Current children cumulated vsize (KiB) 19465256
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22805 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=606907
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=117982
# CPU time returned by wait4() is 0.724889
# while last known CPU time is 284.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 281.601
CPU time (s): 284.21
CPU user time (s): 281.21
CPU system time (s): 3
CPU usage (%): 100.926
Max. virtual memory (cumulated for all children) (KiB): 19465256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.606907
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15670
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= 1739
involuntary context switches= 26
runsolver used 2.03969 second user time and 3.75743 second system time
The end