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-3481461-1307577850/watcher-3481461-1307577850 -o /tmp/evaluation-result-3481461-1307577850/solver-3481461-1307577850 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481461-1307577850.opb -seed 949937892 -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.34 2.15 1.67 2/702 16914
/proc/meminfo: memFree=14091800/32950940 swapFree=67111360/67111528
[pid=16914] ppid=16912 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/16914/stat : 16914 (python) R 16912 16914 14716 0 -1 4202496 994 0 0 0 0 0 0 0 25 0 1 0 948015807 16625664 867 33554432000 4194304 5683644 140733532896592 18446744073709551615 215988253381 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16914/statm: 4059 868 368 364 0 546 0
[startup+0.0807481 s]
/proc/loadavg: 2.34 2.15 1.67 2/702 16914
/proc/meminfo: memFree=14091800/32950940 swapFree=67111360/67111528
[pid=16914] ppid=16912 vsize=85356 CPUtime=0.05 cores=1,3,5,7
/proc/16914/stat : 16914 (python) D 16912 16914 14716 0 -1 4202496 2584 0 0 0 4 1 0 0 18 0 1 0 948015807 87404544 2309 33554432000 4194304 5683644 140733532896592 18446744073709551615 215988598327 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/16914/statm: 21339 2309 709 364 0 1556 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85356
[startup+0.808613 s]
/proc/loadavg: 2.34 2.15 1.67 2/702 16914
/proc/meminfo: memFree=14091800/32950940 swapFree=67111360/67111528
[pid=16914] ppid=16912 vsize=282536 CPUtime=0.39 cores=1,3,5,7
/proc/16914/stat : 16914 (python) R 16912 16914 14716 0 -1 4202496 9219 931 1 0 30 9 0 0 18 0 1 0 948015807 289316864 6951 33554432000 4194304 5683644 140733532896592 18446744073709551615 215988612623 0 0 16781312 2 0 0 0 17 7 0 0 30
/proc/16914/statm: 70634 6951 1777 364 0 5527 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 282536
[startup+0.900594 s]
/proc/loadavg: 2.34 2.15 1.67 2/702 16914
/proc/meminfo: memFree=14091800/32950940 swapFree=67111360/67111528
[pid=16914] ppid=16912 vsize=284944 CPUtime=0.55 cores=1,3,5,7
/proc/16914/stat : 16914 (python) R 16912 16914 14716 0 -1 4202496 10431 1366 1 0 37 12 5 1 18 0 1 0 948015807 291782656 7550 33554432000 4194304 5683644 140733532896592 18446744073709551615 4602978 0 0 16781312 2 0 0 0 17 7 0 0 30
/proc/16914/statm: 71236 7550 1782 364 0 6129 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 284944
[startup+1.00058 s]
/proc/loadavg: 2.34 2.15 1.67 2/702 16914
/proc/meminfo: memFree=14091800/32950940 swapFree=67111360/67111528
[pid=16914] ppid=16912 vsize=285256 CPUtime=0.65 cores=1,3,5,7
/proc/16914/stat : 16914 (python) R 16912 16914 14716 0 -1 4202496 11289 1366 1 0 47 12 5 1 18 0 1 0 948015807 292102144 7662 33554432000 4194304 5683644 140733532896592 18446744073709551615 215992001469 0 0 16781312 33554434 0 0 0 17 7 0 0 30
/proc/16914/statm: 71314 7662 1816 364 0 6207 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 285256
[startup+1.50049 s]
/proc/loadavg: 2.34 2.15 1.67 2/702 16914
/proc/meminfo: memFree=14091800/32950940 swapFree=67111360/67111528
[pid=16914] ppid=16912 vsize=295724 CPUtime=0.76 cores=1,3,5,7
/proc/16914/stat : 16914 (python) S 16912 16914 14716 0 -1 4202496 12025 1366 1 0 58 12 5 1 20 0 2 0 948015807 302821376 7795 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 30
/proc/16914/statm: 73931 7795 1871 364 0 8818 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 295724
[startup+3.10021 s]
/proc/loadavg: 2.39 2.16 1.67 3/706 16923
/proc/meminfo: memFree=13984144/32950940 swapFree=67111360/67111528
[pid=16914] ppid=16912 vsize=295724 CPUtime=0.76 cores=1,3,5,7
/proc/16914/stat : 16914 (python) S 16912 16914 14716 0 -1 4202496 12025 1366 1 0 58 12 5 1 20 0 2 0 948015807 302821376 7795 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 30
/proc/16914/statm: 73931 7795 1871 364 0 8818 0
[pid=16921] ppid=16914 vsize=285480 CPUtime=0 cores=1,3,5,7
/proc/16921/stat : 16921 (python) S 16914 16914 14716 0 -1 4202560 727 0 0 0 0 0 0 0 15 0 1 0 948015918 292331520 6239 33554432000 4194304 5683644 140733532896592 18446744073709551615 215988612623 0 0 16781312 33554946 2733116659446317056 0 0 17 7 0 0 0
/proc/16921/statm: 71370 6239 319 364 0 6257 0
[pid=16923] ppid=16921 vsize=90616 CPUtime=1.95 cores=1,3,5,7
/proc/16923/stat : 16923 (scip-2.0.1.linu) R 16921 16923 16923 0 -1 4202496 22705 0 0 0 162 33 0 0 25 0 1 0 948015918 92790784 20292 33554432000 4194304 13684479 140734085093856 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16923/statm: 22654 20292 943 2317 0 20332 0
[pid=16914/tid=16922] ppid=16912 vsize=295724 CPUtime=0.06 cores=1,3,5,7
/proc/16914/task/16922/stat : 16922 (python) S 16912 16914 14716 0 -1 4202560 27 1366 0 0 0 0 5 1 20 0 2 0 948015918 302821376 7795 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469121879040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 671820
[startup+6.30065 s]
/proc/loadavg: 2.36 2.16 1.67 3/706 16923
/proc/meminfo: memFree=13985304/32950940 swapFree=67111360/67111528
[pid=16914] ppid=16912 vsize=295724 CPUtime=0.76 cores=1,3,5,7
/proc/16914/stat : 16914 (python) S 16912 16914 14716 0 -1 4202496 12025 1366 1 0 58 12 5 1 20 0 2 0 948015807 302821376 7795 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 30
/proc/16914/statm: 73931 7795 1871 364 0 8818 0
[pid=16921] ppid=16914 vsize=285480 CPUtime=0.02 cores=1,3,5,7
/proc/16921/stat : 16921 (python) S 16914 16914 14716 0 -1 4202560 863 0 0 0 1 1 0 0 15 0 1 0 948015918 292331520 6262 33554432000 4194304 5683644 140733532896592 18446744073709551615 215988612623 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/16921/statm: 71370 6262 342 364 0 6257 0
[pid=16923] ppid=16921 vsize=127668 CPUtime=5.15 cores=1,3,5,7
/proc/16923/stat : 16923 (scip-2.0.1.linu) R 16921 16923 16923 0 -1 4202496 32703 0 0 0 474 41 0 0 25 0 1 0 948015918 130732032 29078 33554432000 4194304 13684479 140734085093856 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16923/statm: 31917 29078 791 2317 0 29595 0
[pid=16914/tid=16922] ppid=16912 vsize=295724 CPUtime=0.06 cores=1,3,5,7
/proc/16914/task/16922/stat : 16922 (python) S 16912 16914 14716 0 -1 4202560 27 1366 0 0 0 0 5 1 20 0 2 0 948015918 302821376 7795 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469121879040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 708872
[startup+12.7005 s]
/proc/loadavg: 2.33 2.16 1.68 3/706 16924
/proc/meminfo: memFree=13988404/32950940 swapFree=67111360/67111528
[pid=16914] ppid=16912 vsize=295724 CPUtime=0.76 cores=1,3,5,7
/proc/16914/stat : 16914 (python) S 16912 16914 14716 0 -1 4202496 12025 1366 1 0 58 12 5 1 20 0 2 0 948015807 302821376 7795 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 30
/proc/16914/statm: 73931 7795 1871 364 0 8818 0
[pid=16921] ppid=16914 vsize=285480 CPUtime=0.04 cores=1,3,5,7
/proc/16921/stat : 16921 (python) S 16914 16914 14716 0 -1 4202560 865 0 0 0 2 2 0 0 15 0 1 0 948015918 292331520 6263 33554432000 4194304 5683644 140733532896592 18446744073709551615 215988612623 0 0 16781312 33554946 5623753486446373553 0 0 17 7 0 0 0
/proc/16921/statm: 71370 6263 343 364 0 6257 0
[pid=16923] ppid=16921 vsize=94252 CPUtime=11.56 cores=1,3,5,7
/proc/16923/stat : 16923 (scip-2.0.1.linu) R 16921 16923 16923 0 -1 4202496 33213 0 0 0 1102 54 0 0 25 0 1 0 948015918 96514048 21040 33554432000 4194304 13684479 140734085093856 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16923/statm: 23563 21040 806 2317 0 21241 0
[pid=16914/tid=16922] ppid=16912 vsize=295724 CPUtime=0.06 cores=1,3,5,7
/proc/16914/task/16922/stat : 16922 (python) S 16912 16914 14716 0 -1 4202560 27 1366 0 0 0 0 5 1 20 0 2 0 948015918 302821376 7795 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469121879040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 675456
[startup+25.5003 s]
/proc/loadavg: 2.28 2.15 1.68 3/706 16924
/proc/meminfo: memFree=13989344/32950940 swapFree=67111360/67111528
[pid=16914] ppid=16912 vsize=295724 CPUtime=0.76 cores=1,3,5,7
/proc/16914/stat : 16914 (python) S 16912 16914 14716 0 -1 4202496 12025 1366 1 0 58 12 5 1 20 0 2 0 948015807 302821376 7795 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 30
/proc/16914/statm: 73931 7795 1871 364 0 8818 0
[pid=16921] ppid=16914 vsize=285480 CPUtime=0.11 cores=1,3,5,7
/proc/16921/stat : 16921 (python) S 16914 16914 14716 0 -1 4202560 871 0 0 0 5 6 0 0 15 0 1 0 948015918 292331520 6263 33554432000 4194304 5683644 140733532896592 18446744073709551615 215988612623 0 0 16781312 33554946 5623753486446373553 0 0 17 7 0 0 0
/proc/16921/statm: 71370 6263 343 364 0 6257 0
[pid=16923] ppid=16921 vsize=94888 CPUtime=24.35 cores=1,3,5,7
/proc/16923/stat : 16923 (scip-2.0.1.linu) R 16921 16923 16923 0 -1 4202496 33456 0 0 0 2365 70 0 0 25 0 1 0 948015918 97165312 21283 33554432000 4194304 13684479 140734085093856 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16923/statm: 23722 21283 807 2317 0 21400 0
[pid=16914/tid=16922] ppid=16912 vsize=295724 CPUtime=0.06 cores=1,3,5,7
/proc/16914/task/16922/stat : 16922 (python) S 16912 16914 14716 0 -1 4202560 27 1366 0 0 0 0 5 1 20 0 2 0 948015918 302821376 7795 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469121879040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 676092
[startup+51.1008 s]
/proc/loadavg: 2.18 2.14 1.69 3/710 16929
/proc/meminfo: memFree=13907764/32950940 swapFree=67111360/67111528
[pid=16914] ppid=16912 vsize=305980 CPUtime=0.78 cores=1,3,5,7
/proc/16914/stat : 16914 (python) S 16912 16914 14716 0 -1 4202496 12867 1366 1 0 60 12 5 1 20 0 3 0 948015807 313323520 7802 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 30
/proc/16914/statm: 76495 7802 1874 364 0 11379 0
[pid=16921] ppid=16914 vsize=295724 CPUtime=0.21 cores=1,3,5,7
/proc/16921/stat : 16921 (python) S 16914 16914 14716 0 -1 4202560 1077 0 0 0 9 12 0 0 17 0 2 0 948015918 302821376 6331 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16921/statm: 73931 6331 406 364 0 8818 0
[pid=16923] ppid=16921 vsize=97412 CPUtime=47.7 cores=1,3,5,7
/proc/16923/stat : 16923 (scip-2.0.1.linu) T 16921 16923 16923 0 -1 4202496 34121 0 0 0 4670 100 0 0 25 0 1 0 948015918 99749888 21916 33554432000 4194304 13684479 140734085093856 18446744073709551615 7293077 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/16923/statm: 24353 21916 812 2317 0 22031 0
[pid=16921/tid=16926] ppid=16914 vsize=295724 CPUtime=0 cores=1,3,5,7
/proc/16921/task/16926/stat : 16926 (python) S 16914 16914 14716 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 948020692 302821376 6331 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554946 18446604458747673280 0 0 -1 7 0 0 0
[pid=16927] ppid=16914 vsize=295736 CPUtime=0 cores=1,3,5,7
/proc/16927/stat : 16927 (python) S 16914 16914 14716 0 -1 4202560 757 0 0 0 0 0 0 0 15 0 1 0 948020694 302833664 6244 33554432000 4194304 5683644 140733532896592 18446744073709551615 215988612678 0 0 16781312 33554946 2877361692973465600 0 0 17 1 0 0 0
/proc/16927/statm: 73934 6244 320 364 0 8818 0
[pid=16929] ppid=16927 vsize=95092 CPUtime=2.21 cores=1,3,5,7
/proc/16929/stat : 16929 (scip-2.0.1.linu) R 16927 16929 16929 0 -1 4202496 23070 0 0 0 189 32 0 0 25 0 1 0 948020695 97374208 20585 33554432000 4194304 15243407 140736401747440 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16929/statm: 23773 20585 873 2698 0 21068 0
[pid=16914/tid=16922] ppid=16912 vsize=305980 CPUtime=0.06 cores=1,3,5,7
/proc/16914/task/16922/stat : 16922 (python) S 16912 16914 14716 0 -1 4202560 27 1366 0 0 0 0 5 1 20 0 3 0 948015918 313323520 7802 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469121879040 0 0 -1 7 0 0 0
[pid=16914/tid=16928] ppid=16912 vsize=305980 CPUtime=0.06 cores=1,3,5,7
/proc/16914/task/16928/stat : 16928 (python) S 16912 16914 14716 0 -1 4202560 26 1366 0 0 0 0 5 1 20 0 3 0 948020695 313323520 7802 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469121879040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 1089944
[startup+102.302 s]
/proc/loadavg: 2.07 2.11 1.70 3/735 16955
/proc/meminfo: memFree=13503348/32950940 swapFree=67111360/67111528
[pid=16914] ppid=16912 vsize=316236 CPUtime=0.81 cores=1,3,5,7
/proc/16914/stat : 16914 (python) S 16912 16914 14716 0 -1 4202496 13722 1366 1 0 63 12 5 1 19 0 4 0 948015807 323825664 7808 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 30
/proc/16914/statm: 79059 7808 1876 364 0 13940 0
[pid=16921] ppid=16914 vsize=295724 CPUtime=0.21 cores=1,3,5,7
/proc/16921/stat : 16921 (python) S 16914 16914 14716 0 -1 4202560 1077 0 0 0 9 12 0 0 17 0 2 0 948015918 302821376 6331 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16921/statm: 73931 6331 406 364 0 8818 0
[pid=16923] ppid=16921 vsize=97412 CPUtime=47.7 cores=1,3,5,7
/proc/16923/stat : 16923 (scip-2.0.1.linu) T 16921 16923 16923 0 -1 4202496 34121 0 0 0 4670 100 0 0 25 0 1 0 948015918 99749888 21916 33554432000 4194304 13684479 140734085093856 18446744073709551615 7293077 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/16923/statm: 24353 21916 812 2317 0 22031 0
[pid=16921/tid=16926] ppid=16914 vsize=295724 CPUtime=0 cores=1,3,5,7
/proc/16921/task/16926/stat : 16926 (python) S 16914 16914 14716 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 948020692 302821376 6331 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554946 18446604458747673280 0 0 -1 7 0 0 0
[pid=16927] ppid=16914 vsize=295736 CPUtime=0.22 cores=1,3,5,7
/proc/16927/stat : 16927 (python) S 16914 16914 14716 0 -1 4202560 1124 0 0 0 11 11 0 0 17 0 2 0 948020694 302833664 6316 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16927/statm: 73934 6316 391 364 0 8818 0
[pid=16929] ppid=16927 vsize=99964 CPUtime=48.08 cores=1,3,5,7
/proc/16929/stat : 16929 (scip-2.0.1.linu) T 16927 16929 16929 0 -1 4202496 46988 0 0 0 4750 58 0 0 25 0 1 0 948020695 102363136 21429 33554432000 4194304 15243407 140736401747440 18446744073709551615 7436005 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/16929/statm: 24991 21429 924 2698 0 22286 0
[pid=16927/tid=16934] ppid=16914 vsize=295736 CPUtime=0 cores=1,3,5,7
/proc/16927/task/16934/stat : 16934 (python) S 16914 16914 14716 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 948025504 302833664 6316 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554946 18446604464298960128 0 0 -1 7 0 0 0
[pid=16935] ppid=16914 vsize=305992 CPUtime=0.01 cores=1,3,5,7
/proc/16935/stat : 16935 (python) S 16914 16914 14716 0 -1 4202560 906 0 0 0 0 1 0 0 15 0 1 0 948025507 313335808 6272 33554432000 4194304 5683644 140733532896592 18446744073709551615 215988612678 0 0 16781312 33554946 3930475480540512256 0 0 17 3 0 0 0
/proc/16935/statm: 76498 6272 344 364 0 11379 0
[pid=16937] ppid=16935 vsize=8543236 CPUtime=6.42 cores=1,3,5,7
/proc/16937/stat : 16937 (java) S 16935 16937 16937 0 -1 4202496 125919 0 1 0 626 16 0 0 19 0 19 0 948025507 8748273664 123108 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16937/statm: 2135809 123111 2262 9 0 2126550 0
[pid=16937/tid=16938] ppid=16935 vsize=8543236 CPUtime=5.09 cores=1,3,5,7
/proc/16937/task/16938/stat : 16938 (java) R 16935 16937 16937 0 -1 4202560 104288 0 1 0 496 13 0 0 25 0 19 0 948025508 8748273664 123114 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 46912505610175 0 4 0 16800975 0 0 0 -1 3 0 0 8
[pid=16937/tid=16939] ppid=16935 vsize=8543236 CPUtime=0 cores=1,3,5,7
/proc/16937/task/16939/stat : 16939 (java) S 16935 16937 16937 0 -1 4202560 921 0 0 0 0 0 0 0 15 0 19 0 948025509 8748273664 123117 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446604470149872384 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=16937/tid=16945] ppid=16935 vsize=8543236 CPUtime=0.01 cores=1,3,5,7
/proc/16937/task/16945/stat : 16945 (java) S 16935 16937 16937 0 -1 4202560 956 0 0 0 1 0 0 0 16 0 19 0 948025509 8748273664 123130 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446604470149872384 0 0 -1 5 0 0 0
[pid=16937/tid=16946] ppid=16935 vsize=8543236 CPUtime=0.01 cores=1,3,5,7
/proc/16937/task/16946/stat : 16946 (java) S 16935 16937 16937 0 -1 4202560 710 0 0 0 1 0 0 0 16 0 19 0 948025509 8748273664 123132 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446604470149872384 0 0 -1 3 0 0 0
[pid=16937/tid=16947] ppid=16935 vsize=8543236 CPUtime=0.05 cores=1,3,5,7
/proc/16937/task/16947/stat : 16947 (java) S 16935 16937 16937 0 -1 4202560 2236 0 0 0 5 0 0 0 15 0 19 0 948025510 8748273664 123135 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000409088 0 0 0 16800975 18446604470149872384 0 0 -1 1 0 0 0
[pid=16937/tid=16948] ppid=16935 vsize=8543236 CPUtime=0 cores=1,3,5,7
/proc/16937/task/16948/stat : 16948 (java) S 16935 16937 16937 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948025510 8748273664 123135 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446604470149872384 0 0 -1 5 0 0 0
[pid=16937/tid=16949] ppid=16935 vsize=8543236 CPUtime=0 cores=1,3,5,7
/proc/16937/task/16949/stat : 16949 (java) S 16935 16937 16937 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 948025510 8748273664 123139 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446604470149872384 0 0 -1 5 0 0 0
[pid=16937/tid=16950] ppid=16935 vsize=8543236 CPUtime=0 cores=1,3,5,7
/proc/16937/task/16950/stat : 16950 (java) S 16935 16937 16937 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948025512 8748273664 123142 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000416177 0 4 0 16800975 18446604470149872384 0 0 -1 5 0 0 0
[pid=16937/tid=16951] ppid=16935 vsize=8543236 CPUtime=0.56 cores=1,3,5,7
/proc/16937/task/16951/stat : 16951 (java) S 16935 16937 16937 0 -1 4202560 5015 0 0 0 55 1 0 0 16 0 19 0 948025512 8748273664 123145 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446604470149872384 0 0 -1 5 0 0 0
[pid=16937/tid=16952] ppid=16935 vsize=8543236 CPUtime=0.56 cores=1,3,5,7
/proc/16937/task/16952/stat : 16952 (java) S 16935 16937 16937 0 -1 4202560 3562 0 0 0 56 0 0 0 15 0 19 0 948025512 8748273664 123147 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446604470149872384 0 0 -1 1 0 0 0
[pid=16937/tid=16953] ppid=16935 vsize=8543236 CPUtime=0 cores=1,3,5,7
/proc/16937/task/16953/stat : 16953 (java) S 16935 16937 16937 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948025512 8748273664 123148 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446604470149872384 0 0 -1 3 0 0 0
[pid=16937/tid=16954] ppid=16935 vsize=8543236 CPUtime=0 cores=1,3,5,7
/proc/16937/task/16954/stat : 16954 (java) S 16935 16937 16937 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 948025512 8748273664 123149 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000409088 0 4 0 16800975 18446604470149872384 0 0 -1 3 0 0 0
[pid=16937/tid=16955] ppid=16935 vsize=8543236 CPUtime=0 cores=1,3,5,7
/proc/16937/task/16955/stat : 16955 (java) S 16935 16937 16937 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 948025563 8748273664 123149 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000409088 0 4 0 16800975 18446604470149872384 0 0 -1 7 0 0 0
[pid=16914/tid=16922] ppid=16912 vsize=316236 CPUtime=0.06 cores=1,3,5,7
/proc/16914/task/16922/stat : 16922 (python) S 16912 16914 14716 0 -1 4202560 27 1366 0 0 0 0 5 1 20 0 4 0 948015918 323825664 7808 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469121879040 0 0 -1 7 0 0 0
[pid=16914/tid=16928] ppid=16912 vsize=316236 CPUtime=0.06 cores=1,3,5,7
/proc/16914/task/16928/stat : 16928 (python) S 16912 16914 14716 0 -1 4202560 26 1366 0 0 0 0 5 1 20 0 4 0 948020695 323825664 7808 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469121879040 0 0 -1 7 0 0 0
[pid=16914/tid=16936] ppid=16912 vsize=316236 CPUtime=0.06 cores=1,3,5,7
/proc/16914/task/16936/stat : 16936 (python) S 16912 16914 14716 0 -1 4202560 28 1366 0 0 0 0 5 1 20 0 4 0 948025507 323825664 7808 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469121879040 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 103.45
Current children cumulated vsize (KiB) 9954300
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+144.701 s]
/proc/loadavg: 1.99 2.08 1.71 4/745 17144
/proc/meminfo: memFree=13149680/32950940 swapFree=67111360/67111528
[pid=16914] ppid=16912 vsize=326492 CPUtime=0.83 cores=1,3,5,7
/proc/16914/stat : 16914 (python) S 16912 16914 14716 0 -1 4202496 14641 1366 1 0 65 12 5 1 20 0 5 0 948015807 334327808 7814 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 30
/proc/16914/statm: 81623 7814 1878 364 0 16501 0
[pid=16921] ppid=16914 vsize=295724 CPUtime=0.21 cores=1,3,5,7
/proc/16921/stat : 16921 (python) S 16914 16914 14716 0 -1 4202560 1077 0 0 0 9 12 0 0 17 0 2 0 948015918 302821376 6331 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16921/statm: 73931 6331 406 364 0 8818 0
[pid=16923] ppid=16921 vsize=97412 CPUtime=47.7 cores=1,3,5,7
/proc/16923/stat : 16923 (scip-2.0.1.linu) T 16921 16923 16923 0 -1 4202496 34121 0 0 0 4670 100 0 0 25 0 1 0 948015918 99749888 21916 33554432000 4194304 13684479 140734085093856 18446744073709551615 7293077 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/16923/statm: 24353 21916 812 2317 0 22031 0
[pid=16921/tid=16926] ppid=16914 vsize=295724 CPUtime=0 cores=1,3,5,7
/proc/16921/task/16926/stat : 16926 (python) S 16914 16914 14716 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 948020692 302821376 6331 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554946 18446604458747673280 0 0 -1 7 0 0 0
[pid=16927] ppid=16914 vsize=295736 CPUtime=0.22 cores=1,3,5,7
/proc/16927/stat : 16927 (python) S 16914 16914 14716 0 -1 4202560 1124 0 0 0 11 11 0 0 17 0 2 0 948020694 302833664 6316 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16927/statm: 73934 6316 391 364 0 8818 0
[pid=16929] ppid=16927 vsize=99964 CPUtime=48.08 cores=1,3,5,7
/proc/16929/stat : 16929 (scip-2.0.1.linu) T 16927 16929 16929 0 -1 4202496 46988 0 0 0 4750 58 0 0 25 0 1 0 948020695 102363136 21429 33554432000 4194304 15243407 140736401747440 18446744073709551615 7436005 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/16929/statm: 24991 21429 924 2698 0 22286 0
[pid=16927/tid=16934] ppid=16914 vsize=295736 CPUtime=0 cores=1,3,5,7
/proc/16927/task/16934/stat : 16934 (python) S 16914 16914 14716 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 948025504 302833664 6316 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554946 18446604464298960128 0 0 -1 7 0 0 0
[pid=16935] ppid=16914 vsize=305992 CPUtime=0.25 cores=1,3,5,7
/proc/16935/stat : 16935 (python) S 16914 16914 14716 0 -1 4202560 1120 0 0 0 11 14 0 0 16 0 2 0 948025507 313335808 6320 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/16935/statm: 76498 6320 391 364 0 11379 0
[pid=16937] ppid=16935 vsize=8543236 CPUtime=48.99 cores=1,3,5,7
/proc/16937/stat : 16937 (java) T 16935 16937 16937 0 -1 4202496 159497 0 1 0 4877 22 0 0 18 0 19 0 948025507 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16937/statm: 2135809 115305 2262 9 0 2126550 0
[pid=16937/tid=16938] ppid=16935 vsize=8543236 CPUtime=46.67 cores=1,3,5,7
/proc/16937/task/16938/stat : 16938 (java) T 16935 16937 16937 0 -1 4202560 129002 0 1 0 4652 15 0 0 25 0 19 0 948025508 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 46912505906274 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 8
[pid=16937/tid=16939] ppid=16935 vsize=8543236 CPUtime=0.05 cores=1,3,5,7
/proc/16937/task/16939/stat : 16939 (java) T 16935 16937 16937 0 -1 4202560 1351 0 0 0 5 0 0 0 15 0 19 0 948025509 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16937/tid=16940] ppid=16935 vsize=8543236 CPUtime=0.08 cores=1,3,5,7
/proc/16937/task/16940/stat : 16940 (java) T 16935 16937 16937 0 -1 4202560 2633 0 0 0 8 0 0 0 15 0 19 0 948025509 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16937/tid=16941] ppid=16935 vsize=8543236 CPUtime=0.09 cores=1,3,5,7
/proc/16937/task/16941/stat : 16941 (java) T 16935 16937 16937 0 -1 4202560 2949 0 0 0 9 0 0 0 15 0 19 0 948025509 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16937/tid=16942] ppid=16935 vsize=8543236 CPUtime=0.06 cores=1,3,5,7
/proc/16937/task/16942/stat : 16942 (java) T 16935 16937 16937 0 -1 4202560 1509 0 0 0 6 0 0 0 15 0 19 0 948025509 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16937/tid=16943] ppid=16935 vsize=8543236 CPUtime=0.07 cores=1,3,5,7
/proc/16937/task/16943/stat : 16943 (java) T 16935 16937 16937 0 -1 4202560 2296 0 0 0 7 0 0 0 15 0 19 0 948025509 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16937/tid=16944] ppid=16935 vsize=8543236 CPUtime=0.1 cores=1,3,5,7
/proc/16937/task/16944/stat : 16944 (java) T 16935 16937 16937 0 -1 4202560 3002 0 0 0 10 0 0 0 15 0 19 0 948025509 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16937/tid=16945] ppid=16935 vsize=8543236 CPUtime=0.07 cores=1,3,5,7
/proc/16937/task/16945/stat : 16945 (java) T 16935 16937 16937 0 -1 4202560 2098 0 0 0 7 0 0 0 15 0 19 0 948025509 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16937/tid=16946] ppid=16935 vsize=8543236 CPUtime=0.07 cores=1,3,5,7
/proc/16937/task/16946/stat : 16946 (java) T 16935 16937 16937 0 -1 4202560 1974 0 0 0 7 0 0 0 15 0 19 0 948025509 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16937/tid=16947] ppid=16935 vsize=8543236 CPUtime=0.45 cores=1,3,5,7
/proc/16937/task/16947/stat : 16947 (java) T 16935 16937 16937 0 -1 4202560 2701 0 0 0 44 1 0 0 15 0 19 0 948025510 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000409088 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16937/tid=16948] ppid=16935 vsize=8543236 CPUtime=0 cores=1,3,5,7
/proc/16937/task/16948/stat : 16948 (java) T 16935 16937 16937 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948025510 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16937/tid=16949] ppid=16935 vsize=8543236 CPUtime=0 cores=1,3,5,7
/proc/16937/task/16949/stat : 16949 (java) T 16935 16937 16937 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 948025510 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16937/tid=16950] ppid=16935 vsize=8543236 CPUtime=0 cores=1,3,5,7
/proc/16937/task/16950/stat : 16950 (java) T 16935 16937 16937 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948025512 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000416177 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16937/tid=16951] ppid=16935 vsize=8543236 CPUtime=0.58 cores=1,3,5,7
/proc/16937/task/16951/stat : 16951 (java) T 16935 16937 16937 0 -1 4202560 5029 0 0 0 57 1 0 0 15 0 19 0 948025512 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16937/tid=16952] ppid=16935 vsize=8543236 CPUtime=0.59 cores=1,3,5,7
/proc/16937/task/16952/stat : 16952 (java) T 16935 16937 16937 0 -1 4202560 3563 0 0 0 59 0 0 0 15 0 19 0 948025512 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16937/tid=16953] ppid=16935 vsize=8543236 CPUtime=0 cores=1,3,5,7
/proc/16937/task/16953/stat : 16953 (java) T 16935 16937 16937 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948025512 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16937/tid=16954] ppid=16935 vsize=8543236 CPUtime=0 cores=1,3,5,7
/proc/16937/task/16954/stat : 16954 (java) T 16935 16937 16937 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948025512 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16937/tid=16955] ppid=16935 vsize=8543236 CPUtime=0 cores=1,3,5,7
/proc/16937/task/16955/stat : 16955 (java) T 16935 16937 16937 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948025563 8748273664 115305 33554432000 1073741824 1073778376 140734758384432 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16935/tid=17124] ppid=16914 vsize=305992 CPUtime=0 cores=1,3,5,7
/proc/16935/task/17124/stat : 17124 (python) S 16914 16914 14716 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 948030261 313335808 6320 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554946 18446604455686323008 0 0 -1 3 0 0 0
[pid=17125] ppid=16914 vsize=316248 CPUtime=0 cores=1,3,5,7
/proc/17125/stat : 17125 (python) S 16914 16914 14716 0 -1 4202560 804 0 0 0 0 0 0 0 19 0 1 0 948030264 323837952 6252 33554432000 4194304 5683644 140733532896592 18446744073709551615 215988612678 0 0 16781312 33554946 2282747745997422592 0 0 17 1 0 0 0
/proc/17125/statm: 79062 6252 320 364 0 13940 0
[pid=17127] ppid=17125 vsize=8532824 CPUtime=0.19 cores=1,3,5,7
/proc/17127/stat : 17127 (java) S 17125 17127 17127 0 -1 4202496 6054 0 1 0 18 1 0 0 20 0 18 0 948030264 8737611776 5482 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17127/statm: 2133206 5482 2157 9 0 2123947 0
[pid=17127/tid=17128] ppid=17125 vsize=8532824 CPUtime=0.15 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (java) R 17125 17127 17127 0 -1 4202560 3801 0 1 0 15 0 0 0 22 0 18 0 948030265 8737611776 5542 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17127/tid=17129] ppid=17125 vsize=8532824 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (java) S 17125 17127 17127 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948030265 8737611776 5542 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000408473 0 4 0 16800975 18446604460238637888 0 0 -1 5 0 0 0
[pid=17127/tid=17130] ppid=17125 vsize=8532824 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (java) S 17125 17127 17127 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948030265 8737611776 5543 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000408473 0 4 0 16800975 18446604460238637888 0 0 -1 5 0 0 0
[pid=17127/tid=17131] ppid=17125 vsize=8532824 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17131/stat : 17131 (java) S 17125 17127 17127 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948030265 8737611776 5543 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000408473 0 4 0 16800975 18446604460238637888 0 0 -1 5 0 0 0
[pid=17127/tid=17132] ppid=17125 vsize=8532824 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17132/stat : 17132 (java) S 17125 17127 17127 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948030265 8737611776 5543 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000408473 0 4 0 16800975 18446604460238637888 0 0 -1 5 0 0 0
[pid=17127/tid=17133] ppid=17125 vsize=8532824 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17133/stat : 17133 (java) S 17125 17127 17127 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948030265 8737611776 5543 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000408473 0 4 0 16800975 18446604460238637888 0 0 -1 5 0 0 0
[pid=17127/tid=17134] ppid=17125 vsize=8532824 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17134/stat : 17134 (java) S 17125 17127 17127 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948030265 8737611776 5543 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000408473 0 4 0 16800975 18446604460238637888 0 0 -1 5 0 0 0
[pid=17127/tid=17135] ppid=17125 vsize=8532824 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17135/stat : 17135 (java) S 17125 17127 17127 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948030265 8737611776 5543 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000408473 0 4 0 16800975 18446604460238637888 0 0 -1 5 0 0 0
[pid=17127/tid=17136] ppid=17125 vsize=8532824 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17136/stat : 17136 (java) S 17125 17127 17127 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948030265 8737611776 5543 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000408473 0 4 0 16800975 18446604460238637888 0 0 -1 5 0 0 0
[pid=17127/tid=17137] ppid=17125 vsize=8532824 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17137/stat : 17137 (java) S 17125 17127 17127 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948030266 8737611776 5543 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000409088 0 0 0 16800975 18446604460238637888 0 0 -1 5 0 0 0
[pid=17127/tid=17138] ppid=17125 vsize=8532824 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17138/stat : 17138 (java) S 17125 17127 17127 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 948030267 8737611776 5544 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000408473 0 4 0 16800975 18446604460238637888 0 0 -1 5 0 0 0
[pid=17127/tid=17139] ppid=17125 vsize=8532824 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17139/stat : 17139 (java) S 17125 17127 17127 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 948030267 8737611776 5544 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000408473 0 4 0 16800975 18446604460238637888 0 0 -1 1 0 0 0
[pid=17127/tid=17140] ppid=17125 vsize=8532824 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17140/stat : 17140 (java) S 17125 17127 17127 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948030269 8737611776 5544 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000416177 0 4 0 16800975 18446604460238637888 0 0 -1 5 0 0 0
[pid=17127/tid=17141] ppid=17125 vsize=8532824 CPUtime=0.01 cores=1,3,5,7
/proc/17127/task/17141/stat : 17141 (java) S 17125 17127 17127 0 -1 4202560 293 0 0 0 1 0 0 0 19 0 18 0 948030269 8737611776 5544 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000408473 0 4 0 16800975 18446604460238637888 0 0 -1 5 0 0 0
[pid=17127/tid=17142] ppid=17125 vsize=8532824 CPUtime=0.03 cores=1,3,5,7
/proc/17127/task/17142/stat : 17142 (java) S 17125 17127 17127 0 -1 4202560 620 0 0 0 3 0 0 0 17 0 18 0 948030269 8737611776 5544 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000408473 0 4 0 16800975 18446604460238637888 0 0 -1 5 0 0 0
[pid=17127/tid=17143] ppid=17125 vsize=8532824 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17143/stat : 17143 (java) S 17125 17127 17127 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948030269 8737611776 5544 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000408473 0 4 0 16800975 18446604460238637888 0 0 -1 7 0 0 0
[pid=17127/tid=17144] ppid=17125 vsize=8532824 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17144/stat : 17144 (java) S 17125 17127 17127 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 948030269 8737611776 5544 33554432000 1073741824 1073778376 140733249619760 18446744073709551615 216000409088 0 4 0 16800975 18446604460238637888 0 0 -1 3 0 0 0
[pid=16914/tid=16922] ppid=16912 vsize=326492 CPUtime=0.06 cores=1,3,5,7
/proc/16914/task/16922/stat : 16922 (python) S 16912 16914 14716 0 -1 4202560 27 1366 0 0 0 0 5 1 20 0 5 0 948015918 334327808 7814 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469121879040 0 0 -1 7 0 0 0
[pid=16914/tid=16928] ppid=16912 vsize=326492 CPUtime=0.06 cores=1,3,5,7
/proc/16914/task/16928/stat : 16928 (python) S 16912 16914 14716 0 -1 4202560 26 1366 0 0 0 0 5 1 20 0 5 0 948020695 334327808 7814 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469121879040 0 0 -1 7 0 0 0
[pid=16914/tid=16936] ppid=16912 vsize=326492 CPUtime=0.06 cores=1,3,5,7
/proc/16914/task/16936/stat : 16936 (python) S 16912 16914 14716 0 -1 4202560 28 1366 0 0 0 0 5 1 20 0 5 0 948025507 334327808 7814 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469121879040 0 0 -1 1 0 0 0
[pid=16914/tid=17126] ppid=16912 vsize=326492 CPUtime=0.06 cores=1,3,5,7
/proc/16914/task/17126/stat : 17126 (python) S 16912 16914 14716 0 -1 4202560 28 1366 0 0 0 0 5 1 20 0 5 0 948030264 334327808 7814 33554432000 4194304 5683644 140733532896592 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469121879040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 146.47
Current children cumulated vsize (KiB) 18813628
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 16914 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=717890
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=145977
# CPU time returned by wait4() is 0.863867
# while last known CPU time is 146.47
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 144.782
CPU time (s): 146.47
CPU user time (s): 144.16
CPU system time (s): 2.31
CPU usage (%): 101.166
Max. virtual memory (cumulated for all children) (KiB): 18813628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.71789
system time used= 0.145977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16484
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= 3828
involuntary context switches= 25
runsolver used 0.882865 second user time and 1.9557 second system time
The end