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-3481806-1307576910/watcher-3481806-1307576910 -o /tmp/evaluation-result-3481806-1307576910/solver-3481806-1307576910 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481806-1307576910.opb -seed 1710174457 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 1.75 0.92 2/532 15386
/proc/meminfo: memFree=23929608/32951124 swapFree=57654872/67111528
[pid=15386] ppid=15384 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/15386/stat : 15386 (python) R 15384 15386 14938 0 -1 4202496 859 0 0 0 0 0 0 0 17 0 1 0 869289260 16154624 740 33554432000 4194304 5683644 140737226017888 18446744073709551615 232335892112 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15386/statm: 3944 740 335 364 0 431 0
[startup+0.0316651 s]
/proc/loadavg: 2.12 1.75 0.92 2/532 15386
/proc/meminfo: memFree=23929608/32951124 swapFree=57654872/67111528
[pid=15386] ppid=15384 vsize=18888 CPUtime=0.01 cores=1,3,5,7
/proc/15386/stat : 15386 (python) R 15384 15386 14938 0 -1 4202496 1274 0 0 0 1 0 0 0 17 0 1 0 869289260 19341312 1126 33554432000 4194304 5683644 140737226017888 18446744073709551615 4877030 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15386/statm: 4722 1127 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888
[startup+0.100651 s]
/proc/loadavg: 2.12 1.75 0.92 2/532 15386
/proc/meminfo: memFree=23929608/32951124 swapFree=57654872/67111528
[pid=15386] ppid=15384 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/15386/stat : 15386 (python) R 15384 15386 14938 0 -1 4202496 3167 932 1 0 5 2 0 0 18 0 1 0 869289260 98435072 2483 33554432000 4194304 5683644 140737226017888 18446744073709551615 5170282 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15386/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300611 s]
/proc/loadavg: 2.12 1.75 0.92 2/532 15386
/proc/meminfo: memFree=23929608/32951124 swapFree=57654872/67111528
[pid=15386] ppid=15384 vsize=123744 CPUtime=0.2 cores=1,3,5,7
/proc/15386/stat : 15386 (python) S 15384 15386 14938 0 -1 4202496 5359 932 1 0 14 6 0 0 16 0 1 0 869289260 126713856 3746 33554432000 4194304 5683644 140737226017888 18446744073709551615 232335888389 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0
/proc/15386/statm: 30936 3746 987 364 0 2768 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 123744
[startup+0.700532 s]
/proc/loadavg: 2.12 1.75 0.92 2/532 15386
/proc/meminfo: memFree=23929608/32951124 swapFree=57654872/67111528
[pid=15386] ppid=15384 vsize=285516 CPUtime=0.52 cores=1,3,5,7
/proc/15386/stat : 15386 (python) R 15384 15386 14938 0 -1 4202496 10108 932 1 0 40 12 0 0 16 0 1 0 869289260 292368384 7725 33554432000 4194304 5683644 140737226017888 18446744073709551615 47905829679405 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/15386/statm: 71379 7725 1815 364 0 6272 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 285516
[startup+2.00527 s]
/proc/loadavg: 2.12 1.75 0.92 2/532 15386
/proc/meminfo: memFree=23929608/32951124 swapFree=57654872/67111528
[pid=15386] ppid=15384 vsize=295924 CPUtime=0.66 cores=1,3,5,7
/proc/15386/stat : 15386 (python) S 15384 15386 14938 0 -1 4202496 10558 932 1 0 54 12 0 0 18 0 2 0 869289260 303026176 7819 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15386/statm: 73981 7819 1870 364 0 8868 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 295924
heavy processes:
[startup+3.10111 s]
/proc/loadavg: 2.11 1.75 0.92 3/554 15413
/proc/meminfo: memFree=23818704/32951124 swapFree=57654872/67111528
[pid=15386] ppid=15384 vsize=295924 CPUtime=0.66 cores=1,3,5,7
/proc/15386/stat : 15386 (python) S 15384 15386 14938 0 -1 4202496 10558 932 1 0 54 12 0 0 18 0 2 0 869289260 303026176 7819 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15386/statm: 73981 7819 1870 364 0 8868 0
[pid=15392] ppid=15386 vsize=285680 CPUtime=0 cores=1,3,5,7
/proc/15392/stat : 15392 (python) S 15386 15386 14938 0 -1 4202560 770 0 0 0 0 0 0 0 15 0 1 0 869289344 292536320 6297 33554432000 4194304 5683644 140737226017888 18446744073709551615 232335912463 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/15392/statm: 71420 6297 352 364 0 6307 0
[pid=15394] ppid=15392 vsize=8539056 CPUtime=3.11 cores=1,3,5,7
/proc/15394/stat : 15394 (java) S 15392 15394 15394 0 -1 4202496 28312 0 1 0 306 5 0 0 19 0 19 0 869289344 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15394/statm: 2134764 24938 2256 9 0 2125505 0
[pid=15394/tid=15395] ppid=15392 vsize=8539056 CPUtime=2.15 cores=1,3,5,7
/proc/15394/task/15395/stat : 15395 (java) R 15392 15394 15394 0 -1 4202560 13843 0 1 0 212 3 0 0 21 0 19 0 869289345 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 46912505366612 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15394/tid=15396] ppid=15392 vsize=8539056 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15394 0 -1 4202560 828 0 0 0 0 0 0 0 15 0 19 0 869289345 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 3 0 0 0
[pid=15394/tid=15397] ppid=15392 vsize=8539056 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15394 0 -1 4202560 644 0 0 0 0 0 0 0 15 0 19 0 869289345 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 3 0 0 0
[pid=15394/tid=15398] ppid=15392 vsize=8539056 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15394 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 869289345 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 7 0 0 0
[pid=15394/tid=15399] ppid=15392 vsize=8539056 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15399/stat : 15399 (java) S 15392 15394 15394 0 -1 4202560 1046 0 0 0 0 0 0 0 16 0 19 0 869289345 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 7 0 0 0
[pid=15394/tid=15400] ppid=15392 vsize=8539056 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15400/stat : 15400 (java) S 15392 15394 15394 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869289345 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 3 0 0 0
[pid=15394/tid=15401] ppid=15392 vsize=8539056 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15401/stat : 15401 (java) S 15392 15394 15394 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869289345 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 7 0 0 0
[pid=15394/tid=15402] ppid=15392 vsize=8539056 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15402/stat : 15402 (java) S 15392 15394 15394 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869289345 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 7 0 0 0
[pid=15394/tid=15403] ppid=15392 vsize=8539056 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15403/stat : 15403 (java) S 15392 15394 15394 0 -1 4202560 1477 0 0 0 0 0 0 0 15 0 19 0 869289345 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 7 0 0 0
[pid=15394/tid=15404] ppid=15392 vsize=8539056 CPUtime=0.02 cores=1,3,5,7
/proc/15394/task/15404/stat : 15404 (java) S 15392 15394 15394 0 -1 4202560 2898 0 0 0 2 0 0 0 16 0 19 0 869289346 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708928 0 0 0 16800975 18446604456754537600 0 0 -1 1 0 0 0
[pid=15394/tid=15405] ppid=15392 vsize=8539056 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15405/stat : 15405 (java) S 15392 15394 15394 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869289347 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 1 0 0 0
[pid=15394/tid=15406] ppid=15392 vsize=8539056 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15406/stat : 15406 (java) S 15392 15394 15394 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869289347 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 1 0 0 0
[pid=15394/tid=15407] ppid=15392 vsize=8539056 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15407/stat : 15407 (java) S 15392 15394 15394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869289349 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347716017 0 4 0 16800975 18446604456754537600 0 0 -1 1 0 0 0
[pid=15394/tid=15408] ppid=15392 vsize=8539056 CPUtime=0.41 cores=1,3,5,7
/proc/15394/task/15408/stat : 15408 (java) S 15392 15394 15394 0 -1 4202560 3484 0 0 0 41 0 0 0 15 0 19 0 869289349 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 3 0 0 0
[pid=15394/tid=15409] ppid=15392 vsize=8539056 CPUtime=0.48 cores=1,3,5,7
/proc/15394/task/15409/stat : 15409 (java) S 15392 15394 15394 0 -1 4202560 2568 0 0 0 48 0 0 0 15 0 19 0 869289349 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 7 0 0 0
[pid=15394/tid=15410] ppid=15392 vsize=8539056 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15410/stat : 15410 (java) S 15392 15394 15394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869289349 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 1 0 0 0
[pid=15394/tid=15411] ppid=15392 vsize=8539056 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15411/stat : 15411 (java) S 15392 15394 15394 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869289349 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708928 0 4 0 16800975 18446604456754537600 0 0 -1 3 0 0 0
[pid=15394/tid=15412] ppid=15392 vsize=8539056 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15412/stat : 15412 (java) S 15392 15394 15394 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869289387 8743993344 24938 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708928 0 4 0 16800975 18446604456754537600 0 0 -1 1 0 0 0
[pid=15386/tid=15393] ppid=15384 vsize=295924 CPUtime=0 cores=1,3,5,7
/proc/15386/task/15393/stat : 15393 (python) S 15384 15386 14938 0 -1 4202560 27 932 0 0 0 0 0 0 18 0 2 0 869289344 303026176 7819 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604456754538496 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 9120660
[startup+6.30155 s]
/proc/loadavg: 2.10 1.75 0.93 3/554 15413
/proc/meminfo: memFree=23779900/32951124 swapFree=57654872/67111528
[pid=15386] ppid=15384 vsize=295924 CPUtime=0.66 cores=1,3,5,7
/proc/15386/stat : 15386 (python) S 15384 15386 14938 0 -1 4202496 10558 932 1 0 54 12 0 0 18 0 2 0 869289260 303026176 7819 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15386/statm: 73981 7819 1870 364 0 8868 0
[pid=15392] ppid=15386 vsize=285680 CPUtime=0.01 cores=1,3,5,7
/proc/15392/stat : 15392 (python) S 15386 15386 14938 0 -1 4202560 903 0 0 0 0 1 0 0 15 0 1 0 869289344 292536320 6321 33554432000 4194304 5683644 140737226017888 18446744073709551615 232335912463 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/15392/statm: 71420 6321 376 364 0 6307 0
[pid=15394] ppid=15392 vsize=8538044 CPUtime=6.4 cores=1,3,5,7
/proc/15394/stat : 15394 (java) S 15392 15394 15394 0 -1 4202496 33053 0 1 0 635 5 0 0 19 0 19 0 869289344 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15394/statm: 2134511 29439 2257 9 0 2125252 0
[pid=15394/tid=15395] ppid=15392 vsize=8538044 CPUtime=5.27 cores=1,3,5,7
/proc/15394/task/15395/stat : 15395 (java) R 15392 15394 15394 0 -1 4202560 13847 0 1 0 524 3 0 0 25 0 19 0 869289345 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 46912505883084 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15394/tid=15396] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15394 0 -1 4202560 828 0 0 0 0 0 0 0 15 0 19 0 869289345 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 3 0 0 0
[pid=15394/tid=15397] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15394 0 -1 4202560 916 0 0 0 0 0 0 0 15 0 19 0 869289345 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 7 0 0 0
[pid=15394/tid=15398] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15394 0 -1 4202560 330 0 0 0 0 0 0 0 16 0 19 0 869289345 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 7 0 0 0
[pid=15394/tid=15399] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15399/stat : 15399 (java) S 15392 15394 15394 0 -1 4202560 1540 0 0 0 0 0 0 0 16 0 19 0 869289345 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 7 0 0 0
[pid=15394/tid=15400] ppid=15392 vsize=8538044 CPUtime=0.01 cores=1,3,5,7
/proc/15394/task/15400/stat : 15400 (java) S 15392 15394 15394 0 -1 4202560 563 0 0 0 1 0 0 0 15 0 19 0 869289345 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 3 0 0 0
[pid=15394/tid=15401] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15401/stat : 15401 (java) S 15392 15394 15394 0 -1 4202560 779 0 0 0 0 0 0 0 15 0 19 0 869289345 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 3 0 0 0
[pid=15394/tid=15402] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15402/stat : 15402 (java) S 15392 15394 15394 0 -1 4202560 262 0 0 0 0 0 0 0 16 0 19 0 869289345 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 3 0 0 0
[pid=15394/tid=15403] ppid=15392 vsize=8538044 CPUtime=0.01 cores=1,3,5,7
/proc/15394/task/15403/stat : 15403 (java) S 15392 15394 15394 0 -1 4202560 1797 0 0 0 1 0 0 0 15 0 19 0 869289345 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 3 0 0 0
[pid=15394/tid=15404] ppid=15392 vsize=8538044 CPUtime=0.07 cores=1,3,5,7
/proc/15394/task/15404/stat : 15404 (java) S 15392 15394 15394 0 -1 4202560 4743 0 0 0 7 0 0 0 16 0 19 0 869289346 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708928 0 0 0 16800975 18446604456754537600 0 0 -1 1 0 0 0
[pid=15394/tid=15405] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15405/stat : 15405 (java) S 15392 15394 15394 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869289347 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 1 0 0 0
[pid=15394/tid=15406] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15406/stat : 15406 (java) S 15392 15394 15394 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869289347 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 1 0 0 0
[pid=15394/tid=15407] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15407/stat : 15407 (java) S 15392 15394 15394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869289349 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347716017 0 4 0 16800975 18446604456754537600 0 0 -1 1 0 0 0
[pid=15394/tid=15408] ppid=15392 vsize=8538044 CPUtime=0.42 cores=1,3,5,7
/proc/15394/task/15408/stat : 15408 (java) S 15392 15394 15394 0 -1 4202560 3484 0 0 0 42 0 0 0 15 0 19 0 869289349 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 3 0 0 0
[pid=15394/tid=15409] ppid=15392 vsize=8538044 CPUtime=0.54 cores=1,3,5,7
/proc/15394/task/15409/stat : 15409 (java) S 15392 15394 15394 0 -1 4202560 2583 0 0 0 54 0 0 0 15 0 19 0 869289349 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 3 0 0 0
[pid=15394/tid=15410] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15410/stat : 15410 (java) S 15392 15394 15394 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869289349 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 1 0 0 0
[pid=15394/tid=15411] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15411/stat : 15411 (java) S 15392 15394 15394 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869289349 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708928 0 4 0 16800975 18446604456754537600 0 0 -1 3 0 0 0
[pid=15394/tid=15412] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15412/stat : 15412 (java) S 15392 15394 15394 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869289387 8742957056 29439 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708928 0 4 0 16800975 18446604456754537600 0 0 -1 1 0 0 0
[pid=15386/tid=15393] ppid=15384 vsize=295924 CPUtime=0 cores=1,3,5,7
/proc/15386/task/15393/stat : 15393 (python) S 15384 15386 14938 0 -1 4202560 27 932 0 0 0 0 0 0 18 0 2 0 869289344 303026176 7819 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604456754538496 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 9119648
[startup+12.7014 s]
/proc/loadavg: 2.09 1.76 0.93 3/554 15413
/proc/meminfo: memFree=23750552/32951124 swapFree=57654872/67111528
[pid=15386] ppid=15384 vsize=295924 CPUtime=0.66 cores=1,3,5,7
/proc/15386/stat : 15386 (python) S 15384 15386 14938 0 -1 4202496 10558 932 1 0 54 12 0 0 18 0 2 0 869289260 303026176 7819 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15386/statm: 73981 7819 1870 364 0 8868 0
[pid=15392] ppid=15386 vsize=285680 CPUtime=0.03 cores=1,3,5,7
/proc/15392/stat : 15392 (python) S 15386 15386 14938 0 -1 4202560 905 0 0 0 1 2 0 0 15 0 1 0 869289344 292536320 6321 33554432000 4194304 5683644 140737226017888 18446744073709551615 232335912463 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/15392/statm: 71420 6321 376 364 0 6307 0
[pid=15394] ppid=15392 vsize=8538044 CPUtime=12.86 cores=1,3,5,7
/proc/15394/stat : 15394 (java) S 15392 15394 15394 0 -1 4202496 38024 0 1 0 1280 6 0 0 19 0 19 0 869289344 8742957056 34231 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15394/statm: 2134511 34231 2257 9 0 2125252 0
[pid=15394/tid=15395] ppid=15392 vsize=8538044 CPUtime=11.57 cores=1,3,5,7
/proc/15394/task/15395/stat : 15395 (java) R 15392 15394 15394 0 -1 4202560 13851 0 1 0 1154 3 0 0 25 0 19 0 869289345 8742957056 34231 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 46912505883603 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15394/tid=15396] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15394 0 -1 4202560 828 0 0 0 0 0 0 0 15 0 19 0 869289345 8742957056 34231 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 3 0 0 0
[pid=15394/tid=15397] ppid=15392 vsize=8538044 CPUtime=0.01 cores=1,3,5,7
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15394 0 -1 4202560 1731 0 0 0 1 0 0 0 16 0 19 0 869289345 8742957056 34231 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 7 0 0 0
[pid=15394/tid=15398] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15394 0 -1 4202560 330 0 0 0 0 0 0 0 15 0 19 0 869289345 8742957056 34231 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446604456754537600 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=15386/tid=15417] ppid=15384 vsize=337452 CPUtime=0 cores=1,3,5,7
/proc/15386/task/15417/stat : 15417 (python) S 15384 15386 14938 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 6 0 869294035 345550848 7970 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604456754538496 0 0 -1 5 0 0 0
[pid=15386/tid=15423] ppid=15384 vsize=337452 CPUtime=0 cores=1,3,5,7
/proc/15386/task/15423/stat : 15423 (python) S 15384 15386 14938 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 6 0 869303306 345550848 7970 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604456754538496 0 0 -1 5 0 0 0
[pid=15386/tid=15428] ppid=15384 vsize=337452 CPUtime=0 cores=1,3,5,7
/proc/15386/task/15428/stat : 15428 (python) S 15384 15386 14938 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 6 0 869308108 345550848 7970 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604456754538496 0 0 -1 1 0 0 0
[pid=15386/tid=15435] ppid=15384 vsize=337452 CPUtime=0 cores=1,3,5,7
/proc/15386/task/15435/stat : 15435 (python) S 15384 15386 14938 0 -1 4202560 32 932 0 0 0 0 0 0 20 0 6 0 869317260 345550848 7970 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604456754538496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 284.56
Current children cumulated vsize (KiB) 10674408
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+329.02 s]
/proc/loadavg: 2.01 1.95 1.25 3/591 15458
/proc/meminfo: memFree=22973484/32951124 swapFree=57654872/67111528
[pid=15386] ppid=15384 vsize=347708 CPUtime=0.81 cores=1,3,5,7
/proc/15386/stat : 15386 (python) S 15384 15386 14938 0 -1 4202496 15226 932 1 0 68 13 0 0 20 0 7 0 869289260 356052992 7976 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15386/statm: 86927 7976 1881 364 0 21799 0
[pid=15392] ppid=15386 vsize=295924 CPUtime=0.42 cores=1,3,5,7
/proc/15392/stat : 15392 (python) S 15386 15386 14938 0 -1 4202560 1114 0 0 0 21 21 0 0 15 0 2 0 869289344 303026176 6358 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/15392/statm: 73981 6358 408 364 0 8868 0
[pid=15394] ppid=15392 vsize=8538044 CPUtime=92.64 cores=1,3,5,7
/proc/15394/stat : 15394 (java) T 15392 15394 15394 0 -1 4202496 47939 0 1 0 9256 8 0 0 18 0 19 0 869289344 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15394/statm: 2134511 44043 2257 9 0 2125252 0
[pid=15394/tid=15395] ppid=15392 vsize=8538044 CPUtime=90.03 cores=1,3,5,7
/proc/15394/task/15395/stat : 15395 (java) T 15392 15394 15394 0 -1 4202560 13880 0 1 0 9000 3 0 0 25 0 19 0 869289345 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 46912505649706 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15394/tid=15396] ppid=15392 vsize=8538044 CPUtime=0.09 cores=1,3,5,7
/proc/15394/task/15396/stat : 15396 (java) T 15392 15394 15394 0 -1 4202560 1532 0 0 0 9 0 0 0 15 0 19 0 869289345 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15394/tid=15397] ppid=15392 vsize=8538044 CPUtime=0.06 cores=1,3,5,7
/proc/15394/task/15397/stat : 15397 (java) T 15392 15394 15394 0 -1 4202560 2102 0 0 0 6 0 0 0 15 0 19 0 869289345 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15394/tid=15398] ppid=15392 vsize=8538044 CPUtime=0.07 cores=1,3,5,7
/proc/15394/task/15398/stat : 15398 (java) T 15392 15394 15394 0 -1 4202560 345 0 0 0 7 0 0 0 15 0 19 0 869289345 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15394/tid=15399] ppid=15392 vsize=8538044 CPUtime=0.08 cores=1,3,5,7
/proc/15394/task/15399/stat : 15399 (java) T 15392 15394 15394 0 -1 4202560 3905 0 0 0 8 0 0 0 15 0 19 0 869289345 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15394/tid=15400] ppid=15392 vsize=8538044 CPUtime=0.11 cores=1,3,5,7
/proc/15394/task/15400/stat : 15400 (java) T 15392 15394 15394 0 -1 4202560 2779 0 0 0 11 0 0 0 15 0 19 0 869289345 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15394/tid=15401] ppid=15392 vsize=8538044 CPUtime=0.08 cores=1,3,5,7
/proc/15394/task/15401/stat : 15401 (java) T 15392 15394 15394 0 -1 4202560 1196 0 0 0 8 0 0 0 15 0 19 0 869289345 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15394/tid=15402] ppid=15392 vsize=8538044 CPUtime=0.05 cores=1,3,5,7
/proc/15394/task/15402/stat : 15402 (java) T 15392 15394 15394 0 -1 4202560 1326 0 0 0 5 0 0 0 15 0 19 0 869289345 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15394/tid=15403] ppid=15392 vsize=8538044 CPUtime=0.05 cores=1,3,5,7
/proc/15394/task/15403/stat : 15403 (java) T 15392 15394 15394 0 -1 4202560 2630 0 0 0 5 0 0 0 15 0 19 0 869289345 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15394/tid=15404] ppid=15392 vsize=8538044 CPUtime=0.92 cores=1,3,5,7
/proc/15394/task/15404/stat : 15404 (java) T 15392 15394 15394 0 -1 4202560 10786 0 0 0 92 0 0 0 15 0 19 0 869289346 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708928 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15394/tid=15405] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15405/stat : 15405 (java) T 15392 15394 15394 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869289347 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15394/tid=15406] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15406/stat : 15406 (java) T 15392 15394 15394 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869289347 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15394/tid=15407] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15407/stat : 15407 (java) T 15392 15394 15394 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869289349 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347716017 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15394/tid=15408] ppid=15392 vsize=8538044 CPUtime=0.42 cores=1,3,5,7
/proc/15394/task/15408/stat : 15408 (java) T 15392 15394 15394 0 -1 4202560 3484 0 0 0 42 0 0 0 15 0 19 0 869289349 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15394/tid=15409] ppid=15392 vsize=8538044 CPUtime=0.56 cores=1,3,5,7
/proc/15394/task/15409/stat : 15409 (java) T 15392 15394 15394 0 -1 4202560 2587 0 0 0 56 0 0 0 15 0 19 0 869289349 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15394/tid=15410] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15410/stat : 15410 (java) T 15392 15394 15394 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869289349 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15394/tid=15411] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15411/stat : 15411 (java) T 15392 15394 15394 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869289349 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15394/tid=15412] ppid=15392 vsize=8538044 CPUtime=0 cores=1,3,5,7
/proc/15394/task/15412/stat : 15412 (java) T 15392 15394 15394 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869289387 8742957056 44043 33554432000 1073741824 1073778376 140733667674592 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15392/tid=15415] ppid=15386 vsize=295924 CPUtime=0 cores=1,3,5,7
/proc/15392/task/15415/stat : 15415 (python) S 15386 15386 14938 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 869294032 303026176 6358 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554946 18446604458553255168 0 0 -1 7 0 0 0
[pid=15416] ppid=15386 vsize=296440 CPUtime=0.22 cores=1,3,5,7
/proc/15416/stat : 15416 (python) S 15386 15386 14938 0 -1 4202560 1135 0 0 0 10 12 0 0 17 0 2 0 869294035 303554560 6473 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15416/statm: 74110 6473 397 364 0 8994 0
[pid=15418] ppid=15416 vsize=107164 CPUtime=48.16 cores=1,3,5,7
/proc/15418/stat : 15418 (wbo1.4a) T 15416 15418 15418 0 -1 4202496 26809 0 0 0 4754 62 0 0 25 0 1 0 869294035 109735936 26277 33554432000 134512640 135751879 4292354624 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/15418/statm: 26791 26277 146 303 0 26486 0
[pid=15416/tid=15420] ppid=15386 vsize=296440 CPUtime=0 cores=1,3,5,7
/proc/15416/task/15420/stat : 15420 (python) S 15386 15386 14938 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869298852 303554560 6473 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554946 18446604466853291904 0 0 -1 7 0 0 0
[pid=15422] ppid=15386 vsize=306696 CPUtime=0.19 cores=1,3,5,7
/proc/15422/stat : 15422 (python) S 15386 15386 14938 0 -1 4202560 1175 0 0 0 9 10 0 0 17 0 2 0 869303306 314056704 6483 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15422/statm: 76674 6483 403 364 0 11555 0
[pid=15424] ppid=15422 vsize=55404 CPUtime=47.99 cores=1,3,5,7
/proc/15424/stat : 15424 (pbct-0.1.2-linu) T 15422 15424 15424 0 -1 4202496 14031 0 0 0 4656 143 0 0 25 0 1 0 869303306 56733696 13346 33554432000 134512640 136422188 4294946160 18446744073709551615 135022546 0 0 16781312 16387 18446744071562691360 0 0 17 1 0 0 0
/proc/15424/statm: 13851 13346 236 467 0 13382 0
[pid=15422/tid=15426] ppid=15386 vsize=306696 CPUtime=0 cores=1,3,5,7
/proc/15422/task/15426/stat : 15426 (python) S 15386 15386 14938 0 -1 4202560 100 0 0 0 0 0 0 0 17 0 2 0 869308105 314056704 6483 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554946 18446604470629299520 0 0 -1 7 0 0 0
[pid=15427] ppid=15386 vsize=316952 CPUtime=0.37 cores=1,3,5,7
/proc/15427/stat : 15427 (python) S 15386 15386 14938 0 -1 4202560 1220 0 0 0 17 20 0 0 16 0 2 0 869308108 324558848 6487 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15427/statm: 79238 6487 403 364 0 14116 0
[pid=15429] ppid=15427 vsize=13648 CPUtime=91.48 cores=1,3,5,7
/proc/15429/stat : 15429 (clasp-1.3.7-x86) T 15427 15429 15429 0 -1 4202496 3721 0 0 0 9148 0 0 0 25 0 1 0 869308108 13975552 3176 33554432000 134512640 136139019 4289414064 18446744073709551615 134599754 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/15429/statm: 3412 3176 187 398 0 3012 0
[pid=15427/tid=15433] ppid=15386 vsize=316952 CPUtime=0 cores=1,3,5,7
/proc/15427/task/15433/stat : 15433 (python) S 15386 15386 14938 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869317257 324558848 6487 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554946 18446604469724768256 0 0 -1 7 0 0 0
[pid=15434] ppid=15386 vsize=327208 CPUtime=0.22 cores=1,3,5,7
/proc/15434/stat : 15434 (python) S 15386 15386 14938 0 -1 4202560 1153 0 0 0 11 11 0 0 17 0 2 0 869317259 335060992 6485 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15434/statm: 81802 6485 397 364 0 16677 0
[pid=15436] ppid=15434 vsize=124048 CPUtime=48.87 cores=1,3,5,7
/proc/15436/stat : 15436 (scip-2.0.1.linu) T 15434 15436 15436 0 -1 4202496 29300 0 0 0 4856 31 0 0 25 0 1 0 869317260 127025152 27730 33554432000 4194304 15243407 140733262052112 18446744073709551615 7108107 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/15436/statm: 31012 27730 925 2698 0 28307 0
[pid=15434/tid=15438] ppid=15386 vsize=327208 CPUtime=0 cores=1,3,5,7
/proc/15434/task/15438/stat : 15438 (python) S 15386 15386 14938 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869322148 335060992 6485 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554946 18446604464316236928 0 0 -1 7 0 0 0
[pid=15439] ppid=15386 vsize=337464 CPUtime=0 cores=1,3,5,7
/proc/15439/stat : 15439 (python) S 15386 15386 14938 0 -1 4202560 824 0 0 0 0 0 0 0 19 0 1 0 869322150 345563136 6440 33554432000 4194304 5683644 140737226017888 18446744073709551615 232335912518 0 0 16781312 33554946 2226961309142876160 0 0 17 1 0 0 0
/proc/15439/statm: 84366 6440 349 364 0 19238 0
[pid=15441] ppid=15439 vsize=8532500 CPUtime=0.14 cores=1,3,5,7
/proc/15441/stat : 15441 (java) S 15439 15441 15441 0 -1 4202496 5728 0 1 0 13 1 0 0 17 0 18 0 869322150 8737280000 5157 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15441/statm: 2133125 5157 2126 9 0 2123866 0
[pid=15441/tid=15442] ppid=15439 vsize=8532500 CPUtime=0.11 cores=1,3,5,7
/proc/15441/task/15442/stat : 15442 (java) R 15439 15441 15441 0 -1 4202560 3514 0 1 0 11 0 0 0 18 0 18 0 869322151 8737280000 5205 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 46912505121414 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15441/tid=15443] ppid=15439 vsize=8532500 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15443/stat : 15443 (java) S 15439 15441 15441 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869322152 8737280000 5205 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347708313 0 4 0 16800975 18446604459188956224 0 0 -1 5 0 0 0
[pid=15441/tid=15444] ppid=15439 vsize=8532500 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15444/stat : 15444 (java) S 15439 15441 15441 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869322152 8737280000 5205 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347708313 0 4 0 16800975 18446604459188956224 0 0 -1 3 0 0 0
[pid=15441/tid=15445] ppid=15439 vsize=8532500 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15445/stat : 15445 (java) S 15439 15441 15441 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869322152 8737280000 5206 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347708313 0 4 0 16800975 18446604459188956224 0 0 -1 3 0 0 0
[pid=15441/tid=15446] ppid=15439 vsize=8532500 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15446/stat : 15446 (java) S 15439 15441 15441 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869322152 8737280000 5206 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347708313 0 4 0 16800975 18446604459188956224 0 0 -1 3 0 0 0
[pid=15441/tid=15447] ppid=15439 vsize=8532500 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15447/stat : 15447 (java) S 15439 15441 15441 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869322152 8737280000 5206 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347708313 0 4 0 16800975 18446604459188956224 0 0 -1 3 0 0 0
[pid=15441/tid=15448] ppid=15439 vsize=8532500 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15448/stat : 15448 (java) S 15439 15441 15441 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869322152 8737280000 5206 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347708313 0 4 0 16800975 18446604459188956224 0 0 -1 3 0 0 0
[pid=15441/tid=15449] ppid=15439 vsize=8532500 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15449/stat : 15449 (java) S 15439 15441 15441 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869322152 8737280000 5206 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347708313 0 4 0 16800975 18446604459188956224 0 0 -1 3 0 0 0
[pid=15441/tid=15450] ppid=15439 vsize=8532500 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15450/stat : 15450 (java) S 15439 15441 15441 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869322152 8737280000 5206 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347708313 0 4 0 16800975 18446604459188956224 0 0 -1 3 0 0 0
[pid=15441/tid=15451] ppid=15439 vsize=8532500 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15451/stat : 15451 (java) S 15439 15441 15441 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869322153 8737280000 5206 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347708928 0 0 0 16800975 18446604459188956224 0 0 -1 7 0 0 0
[pid=15441/tid=15452] ppid=15439 vsize=8532500 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15452/stat : 15452 (java) S 15439 15441 15441 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869322153 8737280000 5206 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347708313 0 4 0 16800975 18446604459188956224 0 0 -1 5 0 0 0
[pid=15441/tid=15453] ppid=15439 vsize=8532500 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15453/stat : 15453 (java) S 15439 15441 15441 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 869322153 8737280000 5206 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347708313 0 4 0 16800975 18446604459188956224 0 0 -1 3 0 0 0
[pid=15441/tid=15454] ppid=15439 vsize=8532500 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15454/stat : 15454 (java) S 15439 15441 15441 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869322156 8737280000 5206 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347716017 0 4 0 16800975 18446604459188956224 0 0 -1 5 0 0 0
[pid=15441/tid=15455] ppid=15439 vsize=8532500 CPUtime=0.01 cores=1,3,5,7
/proc/15441/task/15455/stat : 15455 (java) R 15439 15441 15441 0 -1 4202560 353 0 0 0 1 0 0 0 20 0 18 0 869322156 8737280000 5207 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347708313 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15441/tid=15456] ppid=15439 vsize=8532500 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15456/stat : 15456 (java) S 15439 15441 15441 0 -1 4202560 515 0 0 0 0 0 0 0 20 0 18 0 869322156 8737280000 5207 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347708313 0 4 0 16800975 18446604459188956224 0 0 -1 5 0 0 0
[pid=15441/tid=15457] ppid=15439 vsize=8532500 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15457/stat : 15457 (java) S 15439 15441 15441 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869322156 8737280000 5207 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347708313 0 4 0 16800975 18446604459188956224 0 0 -1 5 0 0 0
[pid=15441/tid=15458] ppid=15439 vsize=8532500 CPUtime=0 cores=1,3,5,7
/proc/15441/task/15458/stat : 15458 (java) S 15439 15441 15441 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869322156 8737280000 5207 33554432000 1073741824 1073778376 140733639937696 18446744073709551615 232347708928 0 4 0 16800975 18446604459188956224 0 0 -1 7 0 0 0
[pid=15386/tid=15393] ppid=15384 vsize=347708 CPUtime=0 cores=1,3,5,7
/proc/15386/task/15393/stat : 15393 (python) S 15384 15386 14938 0 -1 4202560 31 932 0 0 0 0 0 0 18 0 7 0 869289344 356052992 7976 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604456754538496 0 0 -1 5 0 0 0
[pid=15386/tid=15417] ppid=15384 vsize=347708 CPUtime=0 cores=1,3,5,7
/proc/15386/task/15417/stat : 15417 (python) S 15384 15386 14938 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 7 0 869294035 356052992 7976 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604456754538496 0 0 -1 5 0 0 0
[pid=15386/tid=15423] ppid=15384 vsize=347708 CPUtime=0 cores=1,3,5,7
/proc/15386/task/15423/stat : 15423 (python) S 15384 15386 14938 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 7 0 869303306 356052992 7976 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604456754538496 0 0 -1 5 0 0 0
[pid=15386/tid=15428] ppid=15384 vsize=347708 CPUtime=0 cores=1,3,5,7
/proc/15386/task/15428/stat : 15428 (python) S 15384 15386 14938 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 7 0 869308108 356052992 7976 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604456754538496 0 0 -1 1 0 0 0
[pid=15386/tid=15435] ppid=15384 vsize=347708 CPUtime=0 cores=1,3,5,7
/proc/15386/task/15435/stat : 15435 (python) S 15384 15386 14938 0 -1 4202560 32 932 0 0 0 0 0 0 20 0 7 0 869317260 356052992 7976 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604456754538496 0 0 -1 1 0 0 0
[pid=15386/tid=15440] ppid=15384 vsize=347708 CPUtime=0 cores=1,3,5,7
/proc/15386/task/15440/stat : 15440 (python) S 15384 15386 14938 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 7 0 869322150 356052992 7976 33554432000 4194304 5683644 140737226017888 18446744073709551615 232347716017 0 0 16781312 33554434 18446604456754538496 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 331.51
Current children cumulated vsize (KiB) 19599200
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15386 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=686895
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=137979
# CPU time returned by wait4() is 0.824874
# while last known CPU time is 331.51
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 329.088
CPU time (s): 331.51
CPU user time (s): 328.19
CPU system time (s): 3.32
CPU usage (%): 100.736
Max. virtual memory (cumulated for all children) (KiB): 19599200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.686895
system time used= 0.137979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16161
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= 1863
involuntary context switches= 19
runsolver used 1.9707 second user time and 3.99239 second system time
The end