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-3482024-1307576712/watcher-3482024-1307576712 -o /tmp/evaluation-result-3482024-1307576712/solver-3482024-1307576712 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482024-1307576712.opb -seed 1097835597 -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.12 1.39 0.62 2/449 11293
/proc/meminfo: memFree=29028724/32950904 swapFree=56615552/67111528
[pid=11293] ppid=11291 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (python) R 11291 11293 11000 0 -1 4202496 903 0 0 0 0 0 0 0 17 0 1 0 869271030 16154624 784 33554432000 4194304 5683644 140735104757632 18446744073709551615 237278875493 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/11293/statm: 3944 784 346 364 0 431 0
[startup+0.0200919 s]
/proc/loadavg: 2.12 1.39 0.62 2/449 11293
/proc/meminfo: memFree=29028724/32950904 swapFree=56615552/67111528
[pid=11293] ppid=11291 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/11293/stat : 11293 (python) S 11291 11293 11000 0 -1 4202496 1115 0 0 0 1 0 0 0 17 0 1 0 869271030 16789504 984 33554432000 4194304 5683644 140735104757632 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/11293/statm: 4099 984 408 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.101106 s]
/proc/loadavg: 2.12 1.39 0.62 2/449 11293
/proc/meminfo: memFree=29028724/32950904 swapFree=56615552/67111528
[pid=11293] ppid=11291 vsize=94064 CPUtime=0.07 cores=0,2,4,6
/proc/11293/stat : 11293 (python) R 11291 11293 11000 0 -1 4202496 2905 465 1 0 5 2 0 0 18 0 1 0 869271030 96321536 2479 33554432000 4194304 5683644 140735104757632 18446744073709551615 4418304 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/11293/statm: 23516 2479 788 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 94064
[startup+0.301092 s]
/proc/loadavg: 2.12 1.39 0.62 2/449 11293
/proc/meminfo: memFree=29028724/32950904 swapFree=56615552/67111528
[pid=11293] ppid=11291 vsize=123744 CPUtime=0.18 cores=0,2,4,6
/proc/11293/stat : 11293 (python) R 11291 11293 11000 0 -1 4202496 5357 931 1 0 12 6 0 0 17 0 1 0 869271030 126713856 3745 33554432000 4194304 5683644 140735104757632 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/11293/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123744
[startup+0.701024 s]
/proc/loadavg: 2.12 1.39 0.62 2/449 11293
/proc/meminfo: memFree=29028724/32950904 swapFree=56615552/67111528
[pid=11293] ppid=11291 vsize=283004 CPUtime=0.46 cores=0,2,4,6
/proc/11293/stat : 11293 (python) R 11291 11293 11000 0 -1 4202496 9439 931 1 0 34 12 0 0 16 0 1 0 869271030 289796096 7160 33554432000 4194304 5683644 140735104757632 18446744073709551615 237282318079 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/11293/statm: 70751 7160 1863 364 0 5641 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 283004
Solver just ended. Dumping a history of the last processes samples
[startup+1.11588 s]
/proc/loadavg: 2.11 1.40 0.62 5/471 11319
/proc/meminfo: memFree=28981244/32950904 swapFree=56615552/67111528
[pid=11293] ppid=11291 vsize=293260 CPUtime=0.46 cores=0,2,4,6
/proc/11293/stat : 11293 (python) S 11291 11293 11000 0 -1 4202496 9671 931 1 0 34 12 0 0 18 0 2 0 869271030 300298240 7180 33554432000 4194304 5683644 140735104757632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/11293/statm: 73315 7180 1870 364 0 8202 0
[pid=11299] ppid=11293 vsize=283016 CPUtime=0 cores=0,2,4,6
/proc/11299/stat : 11299 (python) S 11293 11293 11000 0 -1 4202560 753 0 0 0 0 0 0 0 15 0 1 0 869271100 289808384 5658 33554432000 4194304 5683644 140735104757632 18446744073709551615 237278899727 0 0 16781312 33554946 18119647649438073092 0 0 17 6 0 0 0
/proc/11299/statm: 70754 5658 352 364 0 5641 0
[pid=11301] ppid=11299 vsize=8540340 CPUtime=0.76 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11301 11301 0 -1 4202496 9030 0 1 0 75 1 0 0 19 0 19 0 869271100 8745308160 8128 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11301/statm: 2135085 8128 2209 9 0 2125826 0
[pid=11301/tid=11302] ppid=11299 vsize=8540340 CPUtime=0.38 cores=0,2,4,6
/proc/11301/task/11302/stat : 11302 (java) R 11299 11301 11301 0 -1 4202560 4586 0 1 0 38 0 0 0 19 0 19 0 869271101 8745308160 8128 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 46912505659612 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11301/tid=11303] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11303/stat : 11303 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869271102 8745308160 8128 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11304] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11304/stat : 11304 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869271102 8745308160 8128 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11305] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11305/stat : 11305 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869271102 8745308160 8128 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11306] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11306/stat : 11306 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869271102 8745308160 8128 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11307] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11307/stat : 11307 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869271102 8745308160 8128 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11308] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11308/stat : 11308 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869271102 8745308160 8128 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11309] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11309/stat : 11309 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869271102 8745308160 8128 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11310] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869271102 8745308160 8128 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 4 0 0 0
[pid=11301/tid=11311] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11301 11301 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869271103 8745308160 8128 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290696192 0 0 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11312] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) S 11299 11301 11301 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869271103 8745308160 8128 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11313] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) S 11299 11301 11301 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869271103 8745308160 8128 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11314] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869271105 8745308160 8129 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290703281 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11315] ppid=11299 vsize=8540340 CPUtime=0.2 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11301 11301 0 -1 4202560 1531 0 0 0 20 0 0 0 25 0 19 0 869271105 8745308160 8129 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 4 0 0 0
[pid=11301/tid=11316] ppid=11299 vsize=8540340 CPUtime=0.15 cores=0,2,4,6
/proc/11301/task/11316/stat : 11316 (java) S 11299 11301 11301 0 -1 4202560 1523 0 0 0 15 0 0 0 16 0 19 0 869271105 8745308160 8129 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 0 0 0 0
[pid=11301/tid=11317] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11317/stat : 11317 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869271105 8745308160 8129 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11318] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11318/stat : 11318 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869271106 8745308160 8129 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290696192 0 4 0 16800975 18446604453912540992 0 0 -1 4 0 0 0
[pid=11301/tid=11319] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11319/stat : 11319 (java) S 11299 11301 11301 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869271122 8745308160 8129 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290696192 0 4 0 16800975 18446604453912540992 0 0 -1 4 0 0 0
[pid=11293/tid=11300] ppid=11291 vsize=293260 CPUtime=0 cores=0,2,4,6
/proc/11293/task/11300/stat : 11300 (python) S 11291 11293 11000 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 869271100 300298240 7180 33554432000 4194304 5683644 140735104757632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604449825210432 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 9116616
[startup+1.2009 s]
/proc/loadavg: 2.11 1.40 0.62 5/471 11319
/proc/meminfo: memFree=28981244/32950904 swapFree=56615552/67111528
[pid=11293] ppid=11291 vsize=293260 CPUtime=0.46 cores=0,2,4,6
/proc/11293/stat : 11293 (python) S 11291 11293 11000 0 -1 4202496 9671 931 1 0 34 12 0 0 18 0 2 0 869271030 300298240 7180 33554432000 4194304 5683644 140735104757632 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/11293/statm: 73315 7180 1870 364 0 8202 0
[pid=11299] ppid=11293 vsize=283016 CPUtime=0 cores=0,2,4,6
/proc/11299/stat : 11299 (python) S 11293 11293 11000 0 -1 4202560 756 0 0 0 0 0 0 0 15 0 1 0 869271100 289808384 5658 33554432000 4194304 5683644 140735104757632 18446744073709551615 237278899727 0 0 16781312 33554946 18119647649438073092 0 0 17 6 0 0 0
/proc/11299/statm: 70754 5658 352 364 0 5641 0
[pid=11301] ppid=11299 vsize=8540340 CPUtime=0.88 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11301 11301 0 -1 4202496 9241 0 1 0 87 1 0 0 19 0 19 0 869271100 8745308160 8339 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11301/statm: 2135085 8339 2210 9 0 2125826 0
[pid=11301/tid=11302] ppid=11299 vsize=8540340 CPUtime=0.47 cores=0,2,4,6
/proc/11301/task/11302/stat : 11302 (java) R 11299 11301 11301 0 -1 4202560 4791 0 1 0 47 0 0 0 19 0 19 0 869271101 8745308160 8339 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 46912505575418 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11301/tid=11303] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11303/stat : 11303 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869271102 8745308160 8339 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11304] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11304/stat : 11304 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869271102 8745308160 8339 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11305] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11305/stat : 11305 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869271102 8745308160 8339 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11306] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11306/stat : 11306 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869271102 8745308160 8339 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11307] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11307/stat : 11307 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869271102 8745308160 8339 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11308] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11308/stat : 11308 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869271102 8745308160 8339 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11309] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11309/stat : 11309 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869271102 8745308160 8339 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11310] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869271102 8745308160 8340 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 4 0 0 0
[pid=11301/tid=11311] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11301 11301 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869271103 8745308160 8340 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290696192 0 0 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11312] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) S 11299 11301 11301 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869271103 8745308160 8340 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11313] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) S 11299 11301 11301 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869271103 8745308160 8340 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11314] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869271105 8745308160 8340 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290703281 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11315] ppid=11299 vsize=8540340 CPUtime=0.21 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11301 11301 0 -1 4202560 1532 0 0 0 21 0 0 0 25 0 19 0 869271105 8745308160 8340 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 4 0 0 0
[pid=11301/tid=11316] ppid=11299 vsize=8540340 CPUtime=0.17 cores=0,2,4,6
/proc/11301/task/11316/stat : 11316 (java) S 11299 11301 11301 0 -1 4202560 1528 0 0 0 17 0 0 0 15 0 19 0 869271105 8745308160 8340 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 0 0 0 0
[pid=11301/tid=11317] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11317/stat : 11317 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869271105 8745308160 8340 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290695577 0 4 0 16800975 18446604453912540992 0 0 -1 2 0 0 0
[pid=11301/tid=11318] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11318/stat : 11318 (java) S 11299 11301 11301 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869271106 8745308160 8340 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290696192 0 4 0 16800975 18446604453912540992 0 0 -1 4 0 0 0
[pid=11301/tid=11319] ppid=11299 vsize=8540340 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11319/stat : 11319 (java) S 11299 11301 11301 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869271122 8745308160 8340 33554432000 1073741824 1073778376 140735870596464 18446744073709551615 237290696192 0 4 0 16800975 18446604453912540992 0 0 -1 4 0 0 0
[pid=11293/tid=11300] ppid=11291 vsize=293260 CPUtime=0 cores=0,2,4,6
/proc/11293/task/11300/stat : 11300 (python) S 11291 11293 11000 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 869271100 300298240 7180 33554432000 4194304 5683644 140735104757632 18446744073709551615 237290703281 0 0 16781312 33554434 18446604449825210432 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9116616
Child status: 0
Real time (s): 1.27792
CPU time (s): 1.45278
CPU user time (s): 1.2998
CPU system time (s): 0.152976
CPU usage (%): 113.683
Max. virtual memory (cumulated for all children) (KiB): 9116616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.2998
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25402
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2811
involuntary context switches= 58
runsolver used 0.008998 second user time and 0.020996 second system time
The end