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-3481758-1307576888/watcher-3481758-1307576888 -o /tmp/evaluation-result-3481758-1307576888/solver-3481758-1307576888 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481758-1307576888.opb -seed 1809437737 -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.20 1.75 0.88 2/608 19975
/proc/meminfo: memFree=26420224/32950928 swapFree=26914392/67111528
[pid=19975] ppid=19973 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/19975/stat : 19975 (python) R 19973 19975 19061 0 -1 4202496 1040 0 0 0 0 0 0 0 17 0 1 0 869285595 16633856 912 33554432000 4194304 5683644 140733721192624 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19975/statm: 4061 912 380 364 0 548 0
[startup+0.0421899 s]
/proc/loadavg: 2.20 1.75 0.88 2/608 19975
/proc/meminfo: memFree=26420224/32950928 swapFree=26914392/67111528
[pid=19975] ppid=19973 vsize=18892 CPUtime=0.02 cores=0,2,4,6
/proc/19975/stat : 19975 (python) R 19973 19975 19061 0 -1 4202496 1288 0 0 0 2 0 0 0 17 0 1 0 869285595 19345408 1141 33554432000 4194304 5683644 140733721192624 18446744073709551615 4591900 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19975/statm: 4723 1141 421 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18892
[startup+0.108214 s]
/proc/loadavg: 2.20 1.75 0.88 2/608 19975
/proc/meminfo: memFree=26420224/32950928 swapFree=26914392/67111528
[pid=19975] ppid=19973 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/19975/stat : 19975 (python) R 19973 19975 19061 0 -1 4202496 3169 931 1 0 6 1 0 0 18 0 1 0 869285595 98435072 2483 33554432000 4194304 5683644 140733721192624 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19975/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.301096 s]
/proc/loadavg: 2.20 1.75 0.88 2/608 19975
/proc/meminfo: memFree=26420224/32950928 swapFree=26914392/67111528
[pid=19975] ppid=19973 vsize=190668 CPUtime=0.24 cores=0,2,4,6
/proc/19975/stat : 19975 (python) S 19973 19975 19061 0 -1 4202496 6553 931 1 0 19 5 0 0 17 0 1 0 869285595 195244032 4846 33554432000 4194304 5683644 140733721192624 18446744073709551615 254495768199 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/19975/statm: 48324 4866 1417 364 0 3677 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 190668
[startup+0.701054 s]
/proc/loadavg: 2.20 1.75 0.88 2/608 19975
/proc/meminfo: memFree=26420224/32950928 swapFree=26914392/67111528
[pid=19975] ppid=19973 vsize=294952 CPUtime=0.55 cores=0,2,4,6
/proc/19975/stat : 19975 (python) S 19973 19975 19061 0 -1 4202496 10033 931 1 0 46 9 0 0 19 0 2 0 869285595 302030848 7537 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19975/statm: 73738 7537 1862 364 0 8625 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 294952
[startup+1.50092 s]
/proc/loadavg: 2.20 1.75 0.88 3/612 19983
/proc/meminfo: memFree=26350876/32950928 swapFree=26914392/67111528
[pid=19975] ppid=19973 vsize=294952 CPUtime=0.55 cores=0,2,4,6
/proc/19975/stat : 19975 (python) S 19973 19975 19061 0 -1 4202496 10033 931 1 0 46 9 0 0 19 0 2 0 869285595 302030848 7537 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19975/statm: 73738 7537 1862 364 0 8625 0
[pid=19981] ppid=19975 vsize=284708 CPUtime=0 cores=0,2,4,6
/proc/19981/stat : 19981 (python) S 19975 19975 19061 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 1 0 869285659 291540992 6023 33554432000 4194304 5683644 140733721192624 18446744073709551615 254500711951 0 0 16781312 33554946 7139282144798408961 0 0 17 6 0 0 0
/proc/19981/statm: 71177 6023 352 364 0 6064 0
[pid=19983] ppid=19981 vsize=58160 CPUtime=0.85 cores=0,2,4,6
/proc/19983/stat : 19983 (scip-2.0.1.linu) R 19981 19983 19983 0 -1 4202496 12722 0 0 0 82 3 0 0 21 0 1 0 869285659 59555840 12069 33554432000 4194304 13684479 140733315596400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19983/statm: 14540 12069 742 2317 0 12218 0
[pid=19975/tid=19982] ppid=19973 vsize=294952 CPUtime=0 cores=0,2,4,6
/proc/19975/task/19982/stat : 19982 (python) S 19973 19975 19061 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 2 0 869285659 302030848 7537 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 637820
[startup+3.1006 s]
/proc/loadavg: 2.20 1.75 0.88 3/612 19983
/proc/meminfo: memFree=26347992/32950928 swapFree=26914392/67111528
[pid=19975] ppid=19973 vsize=294952 CPUtime=0.55 cores=0,2,4,6
/proc/19975/stat : 19975 (python) S 19973 19975 19061 0 -1 4202496 10033 931 1 0 46 9 0 0 19 0 2 0 869285595 302030848 7537 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19975/statm: 73738 7537 1862 364 0 8625 0
[pid=19981] ppid=19975 vsize=284708 CPUtime=0 cores=0,2,4,6
/proc/19981/stat : 19981 (python) S 19975 19975 19061 0 -1 4202560 765 0 0 0 0 0 0 0 15 0 1 0 869285659 291540992 6023 33554432000 4194304 5683644 140733721192624 18446744073709551615 254500711951 0 0 16781312 33554946 7139282144798408961 0 0 17 6 0 0 0
/proc/19981/statm: 71177 6023 352 364 0 6064 0
[pid=19983] ppid=19981 vsize=58332 CPUtime=2.45 cores=0,2,4,6
/proc/19983/stat : 19983 (scip-2.0.1.linu) R 19981 19983 19983 0 -1 4202496 12796 0 0 0 241 4 0 0 25 0 1 0 869285659 59731968 12143 33554432000 4194304 13684479 140733315596400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19983/statm: 14583 12143 742 2317 0 12261 0
[pid=19975/tid=19982] ppid=19973 vsize=294952 CPUtime=0 cores=0,2,4,6
/proc/19975/task/19982/stat : 19982 (python) S 19973 19975 19061 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 2 0 869285659 302030848 7537 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 637992
[startup+6.30096 s]
/proc/loadavg: 2.34 1.79 0.90 3/612 19983
/proc/meminfo: memFree=26347684/32950928 swapFree=26914392/67111528
[pid=19975] ppid=19973 vsize=294952 CPUtime=0.55 cores=0,2,4,6
/proc/19975/stat : 19975 (python) S 19973 19975 19061 0 -1 4202496 10033 931 1 0 46 9 0 0 19 0 2 0 869285595 302030848 7537 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19975/statm: 73738 7537 1862 364 0 8625 0
[pid=19981] ppid=19975 vsize=284708 CPUtime=0.01 cores=0,2,4,6
/proc/19981/stat : 19981 (python) S 19975 19975 19061 0 -1 4202560 908 0 0 0 0 1 0 0 15 0 1 0 869285659 291540992 6052 33554432000 4194304 5683644 140733721192624 18446744073709551615 254500711951 0 0 16781312 33554946 7139291971683582209 0 0 17 6 0 0 0
/proc/19981/statm: 71177 6052 376 364 0 6064 0
[pid=19983] ppid=19981 vsize=60164 CPUtime=5.65 cores=0,2,4,6
/proc/19983/stat : 19983 (scip-2.0.1.linu) R 19981 19983 19983 0 -1 4202496 13224 0 0 0 561 4 0 0 25 0 1 0 869285659 61607936 12571 33554432000 4194304 13684479 140733315596400 18446744073709551615 7390244 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19983/statm: 15041 12571 746 2317 0 12719 0
[pid=19975/tid=19982] ppid=19973 vsize=294952 CPUtime=0 cores=0,2,4,6
/proc/19975/task/19982/stat : 19982 (python) S 19973 19975 19061 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 2 0 869285659 302030848 7537 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 639824
[startup+12.7007 s]
/proc/loadavg: 2.32 1.79 0.90 3/612 19983
/proc/meminfo: memFree=26315968/32950928 swapFree=26914392/67111528
[pid=19975] ppid=19973 vsize=294952 CPUtime=0.55 cores=0,2,4,6
/proc/19975/stat : 19975 (python) S 19973 19975 19061 0 -1 4202496 10033 931 1 0 46 9 0 0 19 0 2 0 869285595 302030848 7537 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19975/statm: 73738 7537 1862 364 0 8625 0
[pid=19981] ppid=19975 vsize=284708 CPUtime=0.05 cores=0,2,4,6
/proc/19981/stat : 19981 (python) S 19975 19975 19061 0 -1 4202560 919 0 0 0 2 3 0 0 16 0 1 0 869285659 291540992 6053 33554432000 4194304 5683644 140733721192624 18446744073709551615 254500711951 0 0 16781312 33554946 72556772316949190 0 0 17 6 0 0 0
/proc/19981/statm: 71177 6053 376 364 0 6064 0
[pid=19983] ppid=19981 vsize=91344 CPUtime=12.05 cores=0,2,4,6
/proc/19983/stat : 19983 (scip-2.0.1.linu) R 19981 19983 19983 0 -1 4202496 20940 0 0 0 1192 13 0 0 25 0 1 0 869285659 93536256 20254 33554432000 4194304 13684479 140733315596400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19983/statm: 22836 20254 808 2317 0 20514 0
[pid=19975/tid=19982] ppid=19973 vsize=294952 CPUtime=0 cores=0,2,4,6
/proc/19975/task/19982/stat : 19982 (python) S 19973 19975 19061 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 2 0 869285659 302030848 7537 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 671004
[startup+25.5011 s]
/proc/loadavg: 2.25 1.80 0.92 3/612 19983
/proc/meminfo: memFree=26314792/32950928 swapFree=26914392/67111528
[pid=19975] ppid=19973 vsize=294952 CPUtime=0.55 cores=0,2,4,6
/proc/19975/stat : 19975 (python) S 19973 19975 19061 0 -1 4202496 10033 931 1 0 46 9 0 0 19 0 2 0 869285595 302030848 7537 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19975/statm: 73738 7537 1862 364 0 8625 0
[pid=19981] ppid=19975 vsize=284708 CPUtime=0.1 cores=0,2,4,6
/proc/19981/stat : 19981 (python) S 19975 19975 19061 0 -1 4202560 923 0 0 0 4 6 0 0 15 0 1 0 869285659 291540992 6053 33554432000 4194304 5683644 140733721192624 18446744073709551615 254500711951 0 0 16781312 33554946 3619938324153630720 0 0 17 6 0 0 0
/proc/19981/statm: 71177 6053 376 364 0 6064 0
[pid=19983] ppid=19981 vsize=92916 CPUtime=24.85 cores=0,2,4,6
/proc/19983/stat : 19983 (scip-2.0.1.linu) R 19981 19983 19983 0 -1 4202496 21425 0 0 0 2467 18 0 0 25 0 1 0 869285659 95145984 20739 33554432000 4194304 13684479 140733315596400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19983/statm: 23229 20739 825 2317 0 20907 0
[pid=19975/tid=19982] ppid=19973 vsize=294952 CPUtime=0 cores=0,2,4,6
/proc/19975/task/19982/stat : 19982 (python) S 19973 19975 19061 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 2 0 869285659 302030848 7537 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 672576
[startup+51.101 s]
/proc/loadavg: 2.16 1.81 0.95 3/634 20006
/proc/meminfo: memFree=26203040/32950928 swapFree=26914392/67111528
[pid=19975] ppid=19973 vsize=294952 CPUtime=0.55 cores=0,2,4,6
/proc/19975/stat : 19975 (python) S 19973 19975 19061 0 -1 4202496 10033 931 1 0 46 9 0 0 19 0 2 0 869285595 302030848 7537 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19975/statm: 73738 7537 1862 364 0 8625 0
[pid=19981] ppid=19975 vsize=284708 CPUtime=0.21 cores=0,2,4,6
/proc/19981/stat : 19981 (python) S 19975 19975 19061 0 -1 4202560 932 0 0 0 9 12 0 0 15 0 1 0 869285659 291540992 6053 33554432000 4194304 5683644 140733721192624 18446744073709551615 254500711951 0 0 16781312 33554946 72556772316949190 0 0 17 6 0 0 0
/proc/19981/statm: 71177 6053 376 364 0 6064 0
[pid=19983] ppid=19981 vsize=92916 CPUtime=50.45 cores=0,2,4,6
/proc/19983/stat : 19983 (scip-2.0.1.linu) R 19981 19983 19983 0 -1 4202496 21425 0 0 0 5021 24 0 0 25 0 1 0 869285659 95145984 20739 33554432000 4194304 13684479 140733315596400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19983/statm: 23229 20739 825 2317 0 20907 0
[pid=19975/tid=19982] ppid=19973 vsize=294952 CPUtime=0 cores=0,2,4,6
/proc/19975/task/19982/stat : 19982 (python) S 19973 19975 19061 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 2 0 869285659 302030848 7537 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 672576
[startup+102.321 s]
/proc/loadavg: 2.07 1.84 1.00 3/664 20037
/proc/meminfo: memFree=25911760/32950928 swapFree=26914392/67111528
[pid=19975] ppid=19973 vsize=315968 CPUtime=0.6 cores=0,2,4,6
/proc/19975/stat : 19975 (python) S 19973 19975 19061 0 -1 4202496 11820 931 1 0 51 9 0 0 20 0 4 0 869285595 323551232 7686 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19975/statm: 78992 7686 1875 364 0 13873 0
[pid=19981] ppid=19975 vsize=294952 CPUtime=0.23 cores=0,2,4,6
/proc/19981/stat : 19981 (python) S 19975 19975 19061 0 -1 4202560 1092 0 0 0 10 13 0 0 16 0 2 0 869285659 302030848 6089 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19981/statm: 73738 6089 407 364 0 8625 0
[pid=19983] ppid=19981 vsize=92916 CPUtime=50.7 cores=0,2,4,6
/proc/19983/stat : 19983 (scip-2.0.1.linu) T 19981 19983 19983 0 -1 4202496 21425 0 0 0 5046 24 0 0 25 0 1 0 869285659 95145984 20739 33554432000 4194304 13684479 140733315596400 18446744073709551615 7343085 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/19983/statm: 23229 20739 825 2317 0 20907 0
[pid=19981/tid=20007] ppid=19975 vsize=294952 CPUtime=0 cores=0,2,4,6
/proc/19981/task/20007/stat : 20007 (python) S 19975 19975 19061 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869290730 302030848 6089 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554946 18446604440599881536 0 0 -1 6 0 0 0
[pid=20008] ppid=19975 vsize=295468 CPUtime=0.27 cores=0,2,4,6
/proc/20008/stat : 20008 (python) S 19975 19975 19061 0 -1 4202560 1098 0 0 0 13 14 0 0 16 0 2 0 869290733 302559232 6206 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/20008/statm: 73867 6206 397 364 0 8751 0
[pid=20010] ppid=20008 vsize=8537812 CPUtime=47.32 cores=0,2,4,6
/proc/20010/stat : 20010 (java) T 20008 20010 20010 0 -1 4202496 48306 0 1 0 4725 7 0 0 18 0 19 0 869290733 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20010/statm: 2134453 45745 2254 9 0 2125194 0
[pid=20010/tid=20011] ppid=20008 vsize=8537812 CPUtime=46.05 cores=0,2,4,6
/proc/20010/task/20011/stat : 20011 (java) T 20008 20010 20010 0 -1 4202560 23469 0 1 0 4602 3 0 0 25 0 19 0 869290734 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20010/tid=20012] ppid=20008 vsize=8537812 CPUtime=0.01 cores=0,2,4,6
/proc/20010/task/20012/stat : 20012 (java) T 20008 20010 20010 0 -1 4202560 2320 0 0 0 1 0 0 0 15 0 19 0 869290735 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20010/tid=20013] ppid=20008 vsize=8537812 CPUtime=0.03 cores=0,2,4,6
/proc/20010/task/20013/stat : 20013 (java) T 20008 20010 20010 0 -1 4202560 2768 0 0 0 3 0 0 0 15 0 19 0 869290735 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20010/tid=20014] ppid=20008 vsize=8537812 CPUtime=0.01 cores=0,2,4,6
/proc/20010/task/20014/stat : 20014 (java) T 20008 20010 20010 0 -1 4202560 3073 0 0 0 1 0 0 0 15 0 19 0 869290735 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20010/tid=20015] ppid=20008 vsize=8537812 CPUtime=0.03 cores=0,2,4,6
/proc/20010/task/20015/stat : 20015 (java) T 20008 20010 20010 0 -1 4202560 1335 0 0 0 3 0 0 0 15 0 19 0 869290735 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254500645175 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20010/tid=20016] ppid=20008 vsize=8537812 CPUtime=0.03 cores=0,2,4,6
/proc/20010/task/20016/stat : 20016 (java) T 20008 20010 20010 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 19 0 869290735 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20010/tid=20017] ppid=20008 vsize=8537812 CPUtime=0 cores=0,2,4,6
/proc/20010/task/20017/stat : 20017 (java) T 20008 20010 20010 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 869290735 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=19975/tid=19982] ppid=19973 vsize=346900 CPUtime=0 cores=0,2,4,6
/proc/19975/task/19982/stat : 19982 (python) S 19973 19975 19061 0 -1 4202560 34 931 0 0 0 0 0 0 18 0 7 0 869285659 355225600 7747 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 0 0 0 0
[pid=19975/tid=20009] ppid=19973 vsize=346900 CPUtime=0 cores=0,2,4,6
/proc/19975/task/20009/stat : 20009 (python) S 19973 19975 19061 0 -1 4202560 23 931 0 0 0 0 0 0 20 0 7 0 869290733 355225600 7747 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 0 0 0 0
[pid=19975/tid=20036] ppid=19973 vsize=346900 CPUtime=0 cores=0,2,4,6
/proc/19975/task/20036/stat : 20036 (python) S 19973 19975 19061 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 7 0 869295388 355225600 7747 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 0 0 0 0
[pid=19975/tid=20106] ppid=19973 vsize=346900 CPUtime=0 cores=0,2,4,6
/proc/19975/task/20106/stat : 20106 (python) S 19973 19975 19061 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 7 0 869304747 355225600 7747 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 6 0 0 0
[pid=19975/tid=20134] ppid=19973 vsize=346900 CPUtime=0 cores=0,2,4,6
/proc/19975/task/20134/stat : 20134 (python) S 19973 19975 19061 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 7 0 869313542 355225600 7747 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 6 0 0 0
[pid=19975/tid=20139] ppid=19973 vsize=346900 CPUtime=0 cores=0,2,4,6
/proc/19975/task/20139/stat : 20139 (python) S 19973 19975 19061 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 7 0 869318454 355225600 7747 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 331.23
Current children cumulated vsize (KiB) 19736400
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+328.801 s]
/proc/loadavg: 2.21 2.03 1.25 7/711 20157
/proc/meminfo: memFree=24982348/32950928 swapFree=26914392/67111528
[pid=19975] ppid=19973 vsize=346900 CPUtime=0.72 cores=0,2,4,6
/proc/19975/stat : 19975 (python) S 19973 19975 19061 0 -1 4202496 14608 931 1 0 62 10 0 0 20 0 7 0 869285595 355225600 7747 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/19975/statm: 86725 7747 1881 364 0 21597 0
[pid=19981] ppid=19975 vsize=294952 CPUtime=0.43 cores=0,2,4,6
/proc/19981/stat : 19981 (python) S 19975 19975 19061 0 -1 4202560 1118 0 0 0 20 23 0 0 15 0 2 0 869285659 302030848 6090 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19981/statm: 73738 6090 408 364 0 8625 0
[pid=19983] ppid=19981 vsize=92916 CPUtime=91.89 cores=0,2,4,6
/proc/19983/stat : 19983 (scip-2.0.1.linu) T 19981 19983 19983 0 -1 4202496 21425 0 0 0 9157 32 0 0 25 0 1 0 869285659 95145984 20739 33554432000 4194304 13684479 140733315596400 18446744073709551615 7456808 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/19983/statm: 23229 20739 825 2317 0 20907 0
[pid=19981/tid=20007] ppid=19975 vsize=294952 CPUtime=0 cores=0,2,4,6
/proc/19981/task/20007/stat : 20007 (python) S 19975 19975 19061 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 869290730 302030848 6090 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554946 18446604440599881536 0 0 -1 0 0 0 0
[pid=20008] ppid=19975 vsize=295468 CPUtime=0.27 cores=0,2,4,6
/proc/20008/stat : 20008 (python) S 19975 19975 19061 0 -1 4202560 1098 0 0 0 13 14 0 0 16 0 2 0 869290733 302559232 6206 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/20008/statm: 73867 6206 397 364 0 8751 0
[pid=20010] ppid=20008 vsize=8537812 CPUtime=47.32 cores=0,2,4,6
/proc/20010/stat : 20010 (java) T 20008 20010 20010 0 -1 4202496 48306 0 1 0 4725 7 0 0 18 0 19 0 869290733 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20010/statm: 2134453 45745 2254 9 0 2125194 0
[pid=20010/tid=20011] ppid=20008 vsize=8537812 CPUtime=46.05 cores=0,2,4,6
/proc/20010/task/20011/stat : 20011 (java) T 20008 20010 20010 0 -1 4202560 23469 0 1 0 4602 3 0 0 25 0 19 0 869290734 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20010/tid=20012] ppid=20008 vsize=8537812 CPUtime=0.01 cores=0,2,4,6
/proc/20010/task/20012/stat : 20012 (java) T 20008 20010 20010 0 -1 4202560 2320 0 0 0 1 0 0 0 15 0 19 0 869290735 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20010/tid=20013] ppid=20008 vsize=8537812 CPUtime=0.03 cores=0,2,4,6
/proc/20010/task/20013/stat : 20013 (java) T 20008 20010 20010 0 -1 4202560 2768 0 0 0 3 0 0 0 15 0 19 0 869290735 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20010/tid=20014] ppid=20008 vsize=8537812 CPUtime=0.01 cores=0,2,4,6
/proc/20010/task/20014/stat : 20014 (java) T 20008 20010 20010 0 -1 4202560 3073 0 0 0 1 0 0 0 15 0 19 0 869290735 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20010/tid=20015] ppid=20008 vsize=8537812 CPUtime=0.03 cores=0,2,4,6
/proc/20010/task/20015/stat : 20015 (java) T 20008 20010 20010 0 -1 4202560 1335 0 0 0 3 0 0 0 15 0 19 0 869290735 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254500645175 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20010/tid=20016] ppid=20008 vsize=8537812 CPUtime=0.03 cores=0,2,4,6
/proc/20010/task/20016/stat : 20016 (java) T 20008 20010 20010 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 19 0 869290735 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20010/tid=20017] ppid=20008 vsize=8537812 CPUtime=0 cores=0,2,4,6
/proc/20010/task/20017/stat : 20017 (java) T 20008 20010 20010 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 869290735 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20010/tid=20018] ppid=20008 vsize=8537812 CPUtime=0 cores=0,2,4,6
/proc/20010/task/20018/stat : 20018 (java) T 20008 20010 20010 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869290735 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20010/tid=20019] ppid=20008 vsize=8537812 CPUtime=0.02 cores=0,2,4,6
/proc/20010/task/20019/stat : 20019 (java) T 20008 20010 20010 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 19 0 869290735 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254500645175 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20010/tid=20020] ppid=20008 vsize=8537812 CPUtime=0.2 cores=0,2,4,6
/proc/20010/task/20020/stat : 20020 (java) T 20008 20010 20010 0 -1 4202560 8713 0 0 0 19 1 0 0 15 0 19 0 869290736 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20010/tid=20021] ppid=20008 vsize=8537812 CPUtime=0 cores=0,2,4,6
/proc/20010/task/20021/stat : 20021 (java) T 20008 20010 20010 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869290736 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20010/tid=20022] ppid=20008 vsize=8537812 CPUtime=0 cores=0,2,4,6
/proc/20010/task/20022/stat : 20022 (java) T 20008 20010 20010 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869290736 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20010/tid=20023] ppid=20008 vsize=8537812 CPUtime=0 cores=0,2,4,6
/proc/20010/task/20023/stat : 20023 (java) T 20008 20010 20010 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869290738 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512515505 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20010/tid=20024] ppid=20008 vsize=8537812 CPUtime=0.38 cores=0,2,4,6
/proc/20010/task/20024/stat : 20024 (java) T 20008 20010 20010 0 -1 4202560 1858 0 0 0 38 0 0 0 15 0 19 0 869290738 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20010/tid=20025] ppid=20008 vsize=8537812 CPUtime=0.47 cores=0,2,4,6
/proc/20010/task/20025/stat : 20025 (java) T 20008 20010 20010 0 -1 4202560 3365 0 0 0 46 1 0 0 15 0 19 0 869290738 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20010/tid=20026] ppid=20008 vsize=8537812 CPUtime=0 cores=0,2,4,6
/proc/20010/task/20026/stat : 20026 (java) T 20008 20010 20010 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869290738 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20010/tid=20027] ppid=20008 vsize=8537812 CPUtime=0 cores=0,2,4,6
/proc/20010/task/20027/stat : 20027 (java) T 20008 20010 20010 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 869290738 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20010/tid=20028] ppid=20008 vsize=8537812 CPUtime=0 cores=0,2,4,6
/proc/20010/task/20028/stat : 20028 (java) T 20008 20010 20010 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869290785 8742719488 45745 33554432000 1073741824 1073778376 140736793602544 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20008/tid=20034] ppid=19975 vsize=295468 CPUtime=0 cores=0,2,4,6
/proc/20008/task/20034/stat : 20034 (python) S 19975 19975 19061 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869295385 302559232 6206 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554946 18446604441955337280 0 0 -1 0 0 0 0
[pid=20035] ppid=19975 vsize=305724 CPUtime=0.43 cores=0,2,4,6
/proc/20035/stat : 20035 (python) S 19975 19975 19061 0 -1 4202560 1123 0 0 0 23 20 0 0 17 0 2 0 869295387 313061376 6211 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20035/statm: 76431 6211 397 364 0 11312 0
[pid=20037] ppid=20035 vsize=70152 CPUtime=93.55 cores=0,2,4,6
/proc/20037/stat : 20037 (scip-2.0.1.linu) T 20035 20037 20037 0 -1 4202496 36250 0 0 0 9333 22 0 0 25 0 1 0 869295388 71835648 13693 33554432000 4194304 15243407 140734029790768 18446744073709551615 8135871 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/20037/statm: 17538 13693 936 2698 0 14833 0
[pid=20035/tid=20104] ppid=19975 vsize=305724 CPUtime=0 cores=0,2,4,6
/proc/20035/task/20104/stat : 20104 (python) S 19975 19975 19061 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869304744 313061376 6211 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554946 18446604452340167744 0 0 -1 6 0 0 0
[pid=20105] ppid=19975 vsize=315980 CPUtime=0.33 cores=0,2,4,6
/proc/20105/stat : 20105 (python) S 19975 19975 19061 0 -1 4202560 1187 0 0 0 19 14 0 0 17 0 2 0 869304746 323563520 6222 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20105/statm: 78995 6222 403 364 0 13873 0
[pid=20107] ppid=20105 vsize=150872 CPUtime=46.68 cores=0,2,4,6
/proc/20107/stat : 20107 (wbo1.4a) T 20105 20107 20107 0 -1 4202496 83944 0 0 0 4590 78 0 0 25 0 1 0 869304747 154492928 37262 33554432000 134512640 135751879 4291602576 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/20107/statm: 37718 37262 146 303 0 37413 0
[pid=20105/tid=20109] ppid=19975 vsize=315980 CPUtime=0 cores=0,2,4,6
/proc/20105/task/20109/stat : 20109 (python) S 19975 19975 19061 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 869309417 323563520 6222 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554946 18446604453477114880 0 0 -1 6 0 0 0
[pid=20133] ppid=19975 vsize=326400 CPUtime=0.25 cores=0,2,4,6
/proc/20133/stat : 20133 (python) S 19975 19975 19061 0 -1 4202560 1163 0 0 0 12 13 0 0 16 0 2 0 869313542 334233600 6268 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/20133/statm: 81600 6268 403 364 0 16475 0
[pid=20135] ppid=20133 vsize=127360 CPUtime=49.03 cores=0,2,4,6
/proc/20135/stat : 20135 (bsolo_pb10) T 20133 20135 20135 0 -1 4202496 29891 0 0 0 4898 5 0 0 25 0 1 0 869313542 130416640 29414 33554432000 134512640 137138936 4293888560 18446744073709551615 134542310 0 0 16781312 16384 18446744071562691360 0 0 17 6 0 0 0
/proc/20135/statm: 31840 29414 192 642 0 31196 0
[pid=20133/tid=20137] ppid=19975 vsize=326400 CPUtime=0 cores=0,2,4,6
/proc/20133/task/20137/stat : 20137 (python) S 19975 19975 19061 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869318451 334233600 6268 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554946 18446604452924897472 0 0 -1 0 0 0 0
[pid=20138] ppid=19975 vsize=336656 CPUtime=0 cores=0,2,4,6
/proc/20138/stat : 20138 (python) S 19975 19975 19061 0 -1 4202560 819 0 0 0 0 0 0 0 18 0 1 0 869318453 344735744 6212 33554432000 4194304 5683644 140733721192624 18446744073709551615 254500712006 0 0 16781312 33554946 1347775525057200128 0 0 17 0 0 0 0
/proc/20138/statm: 84164 6212 349 364 0 19036 0
[pid=20140] ppid=20138 vsize=8535208 CPUtime=0.33 cores=0,2,4,6
/proc/20140/stat : 20140 (java) S 20138 20140 20140 0 -1 4202496 7222 0 1 0 32 1 0 0 20 0 18 0 869318454 8740052992 6646 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20140/statm: 2133802 6646 2179 9 0 2124543 0
[pid=20140/tid=20141] ppid=20138 vsize=8535208 CPUtime=0.22 cores=0,2,4,6
/proc/20140/task/20141/stat : 20141 (java) R 20138 20140 20140 0 -1 4202560 4348 0 1 0 22 0 0 0 18 0 18 0 869318455 8740052992 6679 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20140/tid=20142] ppid=20138 vsize=8535208 CPUtime=0 cores=0,2,4,6
/proc/20140/task/20142/stat : 20142 (java) S 20138 20140 20140 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869318455 8740052992 6679 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 254512507801 0 4 0 16800975 18446604452340169536 0 0 -1 0 0 0 0
[pid=20140/tid=20143] ppid=20138 vsize=8535208 CPUtime=0 cores=0,2,4,6
/proc/20140/task/20143/stat : 20143 (java) S 20138 20140 20140 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869318455 8740052992 6679 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 254512507801 0 4 0 16800975 18446604452340169536 0 0 -1 0 0 0 0
[pid=20140/tid=20144] ppid=20138 vsize=8535208 CPUtime=0 cores=0,2,4,6
/proc/20140/task/20144/stat : 20144 (java) S 20138 20140 20140 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869318455 8740052992 6680 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 254512507801 0 4 0 16800975 18446604452340169536 0 0 -1 0 0 0 0
[pid=20140/tid=20145] ppid=20138 vsize=8535208 CPUtime=0 cores=0,2,4,6
/proc/20140/task/20145/stat : 20145 (java) S 20138 20140 20140 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869318455 8740052992 6680 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 254512507801 0 4 0 16800975 18446604452340169536 0 0 -1 0 0 0 0
[pid=20140/tid=20146] ppid=20138 vsize=8535208 CPUtime=0 cores=0,2,4,6
/proc/20140/task/20146/stat : 20146 (java) S 20138 20140 20140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869318455 8740052992 6680 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 254512507801 0 4 0 16800975 18446604452340169536 0 0 -1 6 0 0 0
[pid=20140/tid=20147] ppid=20138 vsize=8535208 CPUtime=0 cores=0,2,4,6
/proc/20140/task/20147/stat : 20147 (java) S 20138 20140 20140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869318455 8740052992 6680 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 254512507801 0 4 0 16800975 18446604452340169536 0 0 -1 6 0 0 0
[pid=20140/tid=20148] ppid=20138 vsize=8535208 CPUtime=0 cores=0,2,4,6
/proc/20140/task/20148/stat : 20148 (java) S 20138 20140 20140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869318455 8740052992 6680 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 254512507801 0 4 0 16800975 18446604452340169536 0 0 -1 6 0 0 0
[pid=20140/tid=20149] ppid=20138 vsize=8535208 CPUtime=0 cores=0,2,4,6
/proc/20140/task/20149/stat : 20149 (java) S 20138 20140 20140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869318455 8740052992 6680 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 254512507801 0 4 0 16800975 18446604452340169536 0 0 -1 6 0 0 0
[pid=20140/tid=20150] ppid=20138 vsize=8535208 CPUtime=0 cores=0,2,4,6
/proc/20140/task/20150/stat : 20150 (java) S 20138 20140 20140 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869318457 8740052992 6680 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 254512508416 0 0 0 16800975 18446604452340169536 0 0 -1 6 0 0 0
[pid=20140/tid=20151] ppid=20138 vsize=8535208 CPUtime=0 cores=0,2,4,6
/proc/20140/task/20151/stat : 20151 (java) S 20138 20140 20140 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869318457 8740052992 6680 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 254512507801 0 4 0 16800975 18446604452340169536 0 0 -1 6 0 0 0
[pid=20140/tid=20152] ppid=20138 vsize=8535208 CPUtime=0 cores=0,2,4,6
/proc/20140/task/20152/stat : 20152 (java) S 20138 20140 20140 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869318457 8740052992 6680 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 254512507801 0 4 0 16800975 18446604452340169536 0 0 -1 6 0 0 0
[pid=20140/tid=20153] ppid=20138 vsize=8535208 CPUtime=0 cores=0,2,4,6
/proc/20140/task/20153/stat : 20153 (java) S 20138 20140 20140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869318459 8740052992 6680 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 254512515505 0 4 0 16800975 18446604452340169536 0 0 -1 6 0 0 0
[pid=20140/tid=20154] ppid=20138 vsize=8535208 CPUtime=0.08 cores=0,2,4,6
/proc/20140/task/20154/stat : 20154 (java) R 20138 20140 20140 0 -1 4202560 850 0 0 0 8 0 0 0 17 0 18 0 869318459 8740052992 6680 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 254512507801 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20140/tid=20155] ppid=20138 vsize=8535208 CPUtime=0.02 cores=0,2,4,6
/proc/20140/task/20155/stat : 20155 (java) R 20138 20140 20140 0 -1 4202560 663 0 0 0 2 0 0 0 25 0 18 0 869318459 8740052992 6681 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 47542939364234 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20140/tid=20156] ppid=20138 vsize=8535208 CPUtime=0 cores=0,2,4,6
/proc/20140/task/20156/stat : 20156 (java) S 20138 20140 20140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869318459 8740052992 6681 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 254512507801 0 4 0 16800975 18446604452340169536 0 0 -1 6 0 0 0
[pid=20140/tid=20157] ppid=20138 vsize=8535208 CPUtime=0 cores=0,2,4,6
/proc/20140/task/20157/stat : 20157 (java) R 20138 20140 20140 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869318459 8740052992 6681 33554432000 1073741824 1073778376 140736597057008 18446744073709551615 254512508416 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19975/tid=19982] ppid=19973 vsize=346900 CPUtime=0 cores=0,2,4,6
/proc/19975/task/19982/stat : 19982 (python) S 19973 19975 19061 0 -1 4202560 34 931 0 0 0 0 0 0 18 0 7 0 869285659 355225600 7747 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 0 0 0 0
[pid=19975/tid=20009] ppid=19973 vsize=346900 CPUtime=0 cores=0,2,4,6
/proc/19975/task/20009/stat : 20009 (python) S 19973 19975 19061 0 -1 4202560 23 931 0 0 0 0 0 0 20 0 7 0 869290733 355225600 7747 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 0 0 0 0
[pid=19975/tid=20036] ppid=19973 vsize=346900 CPUtime=0 cores=0,2,4,6
/proc/19975/task/20036/stat : 20036 (python) S 19973 19975 19061 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 7 0 869295388 355225600 7747 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 0 0 0 0
[pid=19975/tid=20106] ppid=19973 vsize=346900 CPUtime=0 cores=0,2,4,6
/proc/19975/task/20106/stat : 20106 (python) S 19973 19975 19061 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 7 0 869304747 355225600 7747 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 6 0 0 0
[pid=19975/tid=20134] ppid=19973 vsize=346900 CPUtime=0 cores=0,2,4,6
/proc/19975/task/20134/stat : 20134 (python) S 19973 19975 19061 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 7 0 869313542 355225600 7747 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 6 0 0 0
[pid=19975/tid=20139] ppid=19973 vsize=346900 CPUtime=0 cores=0,2,4,6
/proc/19975/task/20139/stat : 20139 (python) S 19973 19975 19061 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 7 0 869318454 355225600 7747 33554432000 4194304 5683644 140733721192624 18446744073709551615 254512515505 0 0 16781312 33554434 18446604445917833920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 331.23
Current children cumulated vsize (KiB) 19736400
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19975 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=622905
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=107983
# CPU time returned by wait4() is 0.730888
# while last known CPU time is 331.23
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 328.905
CPU time (s): 331.23
CPU user time (s): 328.84
CPU system time (s): 2.39
CPU usage (%): 100.707
Max. virtual memory (cumulated for all children) (KiB): 19736400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.622905
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15542
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= 1013
involuntary context switches= 28
runsolver used 2.54161 second user time and 4.78927 second system time
The end