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-3481591-1307578418/watcher-3481591-1307578418 -o /tmp/evaluation-result-3481591-1307578418/solver-3481591-1307578418 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481591-1307578418.opb -seed 208597832 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 2.11 1.84 2/840 20346
/proc/meminfo: memFree=6054944/32950928 swapFree=38525204/67111528
[pid=20346] ppid=20344 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/20346/stat : 20346 (python) R 20344 20346 17436 0 -1 4202496 1038 0 0 0 0 0 0 0 25 0 1 0 869441582 16625664 909 33554432000 4194304 5683644 140734823743232 18446744073709551615 4870108 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/20346/statm: 4059 910 380 364 0 546 0
[startup+0.110241 s]
/proc/loadavg: 2.15 2.11 1.84 2/840 20346
/proc/meminfo: memFree=6054944/32950928 swapFree=38525204/67111528
[pid=20346] ppid=20344 vsize=96128 CPUtime=0.06 cores=0,2,4,6
/proc/20346/stat : 20346 (python) S 20344 20346 17436 0 -1 4202496 3033 464 1 0 4 2 0 0 25 0 1 0 869441582 98435072 2483 33554432000 4194304 5683644 140734823743232 18446744073709551615 208080232192 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/20346/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.200239 s]
/proc/loadavg: 2.15 2.11 1.84 2/840 20346
/proc/meminfo: memFree=6054944/32950928 swapFree=38525204/67111528
[pid=20346] ppid=20344 vsize=120400 CPUtime=0.12 cores=0,2,4,6
/proc/20346/stat : 20346 (python) R 20344 20346 17436 0 -1 4202496 5052 928 1 0 9 3 0 0 25 0 1 0 869441582 123289600 3467 33554432000 4194304 5683644 140734823743232 18446744073709551615 4288618 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/20346/statm: 30100 3467 925 364 0 2549 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 120400
[startup+0.300188 s]
/proc/loadavg: 2.15 2.11 1.84 2/840 20346
/proc/meminfo: memFree=6054944/32950928 swapFree=38525204/67111528
[pid=20346] ppid=20344 vsize=123740 CPUtime=0.17 cores=0,2,4,6
/proc/20346/stat : 20346 (python) R 20344 20346 17436 0 -1 4202496 5357 928 1 0 12 5 0 0 25 0 1 0 869441582 126709760 3744 33554432000 4194304 5683644 140734823743232 18446744073709551615 208079594307 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/20346/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.701112 s]
/proc/loadavg: 2.15 2.11 1.84 2/840 20346
/proc/meminfo: memFree=6054944/32950928 swapFree=38525204/67111528
[pid=20346] ppid=20344 vsize=282532 CPUtime=0.41 cores=0,2,4,6
/proc/20346/stat : 20346 (python) S 20344 20346 17436 0 -1 4202496 9222 928 1 0 29 12 0 0 17 0 1 0 869441582 289312768 6953 33554432000 4194304 5683644 140734823743232 18446744073709551615 208080252431 0 0 16781312 2 1665756538372882432 0 0 17 6 0 0 0
/proc/20346/statm: 70633 6953 1777 364 0 5526 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282532
[startup+1.50091 s]
/proc/loadavg: 2.14 2.11 1.84 3/841 20352
/proc/meminfo: memFree=6025172/32950928 swapFree=38525204/67111528
[pid=20346] ppid=20344 vsize=296768 CPUtime=0.84 cores=0,2,4,6
/proc/20346/stat : 20346 (python) S 20344 20346 17436 0 -1 4202496 12407 1378 1 0 61 13 9 1 20 0 2 0 869441582 303890432 8032 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/20346/statm: 74192 8032 1871 364 0 9079 0
[pid=20346/tid=20354] ppid=20344 vsize=296768 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20354/stat : 20354 (python) S 20344 20346 17436 0 -1 4202560 28 1378 0 0 0 0 9 1 20 0 2 0 869441694 303890432 8032 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 296768
[startup+3.10074 s]
/proc/loadavg: 2.14 2.11 1.84 3/844 20355
/proc/meminfo: memFree=5954128/32950928 swapFree=38525204/67111528
[pid=20346] ppid=20344 vsize=296768 CPUtime=0.84 cores=0,2,4,6
/proc/20346/stat : 20346 (python) S 20344 20346 17436 0 -1 4202496 12407 1378 1 0 61 13 9 1 20 0 2 0 869441582 303890432 8032 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/20346/statm: 74192 8032 1871 364 0 9079 0
[pid=20353] ppid=20346 vsize=286524 CPUtime=0 cores=0,2,4,6
/proc/20353/stat : 20353 (python) S 20346 20346 17436 0 -1 4202560 714 0 0 0 0 0 0 0 15 0 1 0 869441694 293400576 6476 33554432000 4194304 5683644 140734823743232 18446744073709551615 208080252431 0 0 16781312 33554946 2631870304455983362 0 0 17 4 0 0 0
/proc/20353/statm: 71631 6476 319 364 0 6518 0
[pid=20355] ppid=20353 vsize=84472 CPUtime=1.97 cores=0,2,4,6
/proc/20355/stat : 20355 (scip-2.0.1.linu) R 20353 20355 20355 0 -1 4202496 19541 0 0 0 188 9 0 0 25 0 1 0 869441694 86499328 18446 33554432000 4194304 13684479 140733883469664 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/20355/statm: 21118 18446 731 2317 0 18796 0
[pid=20346/tid=20354] ppid=20344 vsize=296768 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20354/stat : 20354 (python) S 20344 20346 17436 0 -1 4202560 28 1378 0 0 0 0 9 1 20 0 2 0 869441694 303890432 8032 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 667764
[startup+6.30099 s]
/proc/loadavg: 2.13 2.11 1.84 3/844 20355
/proc/meminfo: memFree=5952532/32950928 swapFree=38525204/67111528
[pid=20346] ppid=20344 vsize=296768 CPUtime=0.84 cores=0,2,4,6
/proc/20346/stat : 20346 (python) S 20344 20346 17436 0 -1 4202496 12407 1378 1 0 61 13 9 1 20 0 2 0 869441582 303890432 8032 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/20346/statm: 74192 8032 1871 364 0 9079 0
[pid=20353] ppid=20346 vsize=286524 CPUtime=0.02 cores=0,2,4,6
/proc/20353/stat : 20353 (python) S 20346 20346 17436 0 -1 4202560 879 0 0 0 1 1 0 0 15 0 1 0 869441694 293400576 6500 33554432000 4194304 5683644 140734823743232 18446744073709551615 208080252431 0 0 16781312 33554946 10627734503361052930 0 0 17 4 0 0 0
/proc/20353/statm: 71631 6500 343 364 0 6518 0
[pid=20355] ppid=20353 vsize=85644 CPUtime=5.17 cores=0,2,4,6
/proc/20355/stat : 20355 (scip-2.0.1.linu) R 20353 20355 20355 0 -1 4202496 19837 0 0 0 508 9 0 0 25 0 1 0 869441694 87699456 18698 33554432000 4194304 13684479 140733883469664 18446744073709551615 7390467 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/20355/statm: 21411 18698 731 2317 0 19089 0
[pid=20346/tid=20354] ppid=20344 vsize=296768 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20354/stat : 20354 (python) S 20344 20346 17436 0 -1 4202560 28 1378 0 0 0 0 9 1 20 0 2 0 869441694 303890432 8032 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 668936
[startup+12.7008 s]
/proc/loadavg: 2.12 2.10 1.84 3/844 20355
/proc/meminfo: memFree=5943148/32950928 swapFree=38525204/67111528
[pid=20346] ppid=20344 vsize=296768 CPUtime=0.84 cores=0,2,4,6
/proc/20346/stat : 20346 (python) S 20344 20346 17436 0 -1 4202496 12407 1378 1 0 61 13 9 1 20 0 2 0 869441582 303890432 8032 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/20346/statm: 74192 8032 1871 364 0 9079 0
[pid=20353] ppid=20346 vsize=286524 CPUtime=0.04 cores=0,2,4,6
/proc/20353/stat : 20353 (python) S 20346 20346 17436 0 -1 4202560 884 0 0 0 2 2 0 0 15 0 1 0 869441694 293400576 6500 33554432000 4194304 5683644 140734823743232 18446744073709551615 208080252431 0 0 16781312 33554946 72556772316949242 0 0 17 6 0 0 0
/proc/20353/statm: 71631 6500 343 364 0 6518 0
[pid=20355] ppid=20353 vsize=94716 CPUtime=11.59 cores=0,2,4,6
/proc/20355/stat : 20355 (scip-2.0.1.linu) R 20353 20355 20355 0 -1 4202496 22749 0 0 0 1149 10 0 0 25 0 1 0 869441694 96989184 20988 33554432000 4194304 13684479 140733883469664 18446744073709551615 7397971 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/20355/statm: 23679 20988 833 2317 0 21357 0
[pid=20346/tid=20354] ppid=20344 vsize=296768 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20354/stat : 20354 (python) S 20344 20346 17436 0 -1 4202560 28 1378 0 0 0 0 9 1 20 0 2 0 869441694 303890432 8032 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 678008
[startup+25.5003 s]
/proc/loadavg: 2.10 2.10 1.84 3/844 20356
/proc/meminfo: memFree=5897772/32950928 swapFree=38525204/67111528
[pid=20346] ppid=20344 vsize=296768 CPUtime=0.84 cores=0,2,4,6
/proc/20346/stat : 20346 (python) S 20344 20346 17436 0 -1 4202496 12407 1378 1 0 61 13 9 1 20 0 2 0 869441582 303890432 8032 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/20346/statm: 74192 8032 1871 364 0 9079 0
[pid=20353] ppid=20346 vsize=286524 CPUtime=0.1 cores=0,2,4,6
/proc/20353/stat : 20353 (python) S 20346 20346 17436 0 -1 4202560 892 0 0 0 5 5 0 0 15 0 1 0 869441694 293400576 6500 33554432000 4194304 5683644 140734823743232 18446744073709551615 208080252431 0 0 16781312 33554946 72409437758827258 0 0 17 4 0 0 0
/proc/20353/statm: 71631 6500 343 364 0 6518 0
[pid=20355] ppid=20353 vsize=139492 CPUtime=24.38 cores=0,2,4,6
/proc/20355/stat : 20355 (scip-2.0.1.linu) R 20353 20355 20355 0 -1 4202496 35439 0 0 0 2419 19 0 0 25 0 1 0 869441694 142839808 32636 33554432000 4194304 13684479 140733883469664 18446744073709551615 7342990 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/20355/statm: 34873 32636 823 2317 0 32551 0
[pid=20346/tid=20354] ppid=20344 vsize=296768 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20354/stat : 20354 (python) S 20344 20346 17436 0 -1 4202560 28 1378 0 0 0 0 9 1 20 0 2 0 869441694 303890432 8032 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 722784
[startup+51.1006 s]
/proc/loadavg: 2.19 2.12 1.85 3/848 20360
/proc/meminfo: memFree=5820236/32950928 swapFree=38525204/67111528
[pid=20346] ppid=20344 vsize=307024 CPUtime=0.87 cores=0,2,4,6
/proc/20346/stat : 20346 (python) S 20344 20346 17436 0 -1 4202496 13289 1378 1 0 64 13 9 1 20 0 3 0 869441582 314392576 8039 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/20346/statm: 76756 8039 1874 364 0 11640 0
[pid=20353] ppid=20346 vsize=296768 CPUtime=0.21 cores=0,2,4,6
/proc/20353/stat : 20353 (python) S 20346 20346 17436 0 -1 4202560 1098 0 0 0 10 11 0 0 17 0 2 0 869441694 303890432 6568 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20353/statm: 74192 6568 406 364 0 9079 0
[pid=20355] ppid=20353 vsize=145584 CPUtime=47.65 cores=0,2,4,6
/proc/20355/stat : 20355 (scip-2.0.1.linu) T 20353 20355 20355 0 -1 4202496 36709 0 0 0 4740 25 0 0 25 0 1 0 869441694 149078016 33906 33554432000 4194304 13684479 140733883469664 18446744073709551615 6053743 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/20355/statm: 36396 33906 835 2317 0 34074 0
[pid=20353/tid=20357] ppid=20346 vsize=296768 CPUtime=0 cores=0,2,4,6
/proc/20353/task/20357/stat : 20357 (python) S 20346 20346 17436 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869446461 303890432 6568 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554946 18446604446485127296 0 0 -1 6 0 0 0
[pid=20358] ppid=20346 vsize=296780 CPUtime=0 cores=0,2,4,6
/proc/20358/stat : 20358 (python) S 20346 20346 17436 0 -1 4202560 746 0 0 0 0 0 0 0 15 0 1 0 869446463 303902720 6481 33554432000 4194304 5683644 140734823743232 18446744073709551615 208080252486 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/20358/statm: 74195 6481 320 364 0 9079 0
[pid=20360] ppid=20358 vsize=84200 CPUtime=2.28 cores=0,2,4,6
/proc/20360/stat : 20360 (scip-2.0.1.linu) R 20358 20360 20360 0 -1 4202496 21302 0 0 0 219 9 0 0 25 0 1 0 869446463 86220800 16828 33554432000 4194304 15243407 140734587404944 18446744073709551615 6951814 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/20360/statm: 21050 16828 824 2698 0 18345 0
[pid=20346/tid=20354] ppid=20344 vsize=307024 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20354/stat : 20354 (python) S 20344 20346 17436 0 -1 4202560 28 1378 0 0 0 0 9 1 20 0 3 0 869441694 314392576 8039 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 4 0 0 0
[pid=20346/tid=20359] ppid=20344 vsize=307024 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20359/stat : 20359 (python) S 20344 20346 17436 0 -1 4202560 31 1378 0 0 0 0 9 1 20 0 3 0 869446463 314392576 8039 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 1130356
[startup+102.301 s]
/proc/loadavg: 2.20 2.13 1.87 3/852 20366
/proc/meminfo: memFree=5793720/32950928 swapFree=38525204/67111528
[pid=20346] ppid=20344 vsize=317280 CPUtime=0.89 cores=0,2,4,6
/proc/20346/stat : 20346 (python) S 20344 20346 17436 0 -1 4202496 14149 1378 1 0 66 13 9 1 19 0 4 0 869441582 324894720 8045 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/20346/statm: 79320 8045 1876 364 0 14201 0
[pid=20353] ppid=20346 vsize=296768 CPUtime=0.21 cores=0,2,4,6
/proc/20353/stat : 20353 (python) S 20346 20346 17436 0 -1 4202560 1098 0 0 0 10 11 0 0 17 0 2 0 869441694 303890432 6568 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20353/statm: 74192 6568 406 364 0 9079 0
[pid=20355] ppid=20353 vsize=145584 CPUtime=47.65 cores=0,2,4,6
/proc/20355/stat : 20355 (scip-2.0.1.linu) T 20353 20355 20355 0 -1 4202496 36709 0 0 0 4740 25 0 0 25 0 1 0 869441694 149078016 33906 33554432000 4194304 13684479 140733883469664 18446744073709551615 6053743 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/20355/statm: 36396 33906 835 2317 0 34074 0
[pid=20353/tid=20357] ppid=20346 vsize=296768 CPUtime=0 cores=0,2,4,6
/proc/20353/task/20357/stat : 20357 (python) S 20346 20346 17436 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869446461 303890432 6568 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554946 18446604446485127296 0 0 -1 6 0 0 0
[pid=20358] ppid=20346 vsize=296780 CPUtime=0.22 cores=0,2,4,6
/proc/20358/stat : 20358 (python) S 20346 20346 17436 0 -1 4202560 1162 0 0 0 12 10 0 0 17 0 2 0 869446463 303902720 6559 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20358/statm: 74195 6559 397 364 0 9079 0
[pid=20360] ppid=20358 vsize=86304 CPUtime=47.56 cores=0,2,4,6
/proc/20360/stat : 20360 (scip-2.0.1.linu) T 20358 20360 20360 0 -1 4202496 96428 0 0 0 4732 24 0 0 25 0 1 0 869446463 88375296 17432 33554432000 4194304 15243407 140734587404944 18446744073709551615 8137696 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/20360/statm: 21576 17432 838 2698 0 18871 0
[pid=20358/tid=20362] ppid=20346 vsize=296780 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20362/stat : 20362 (python) S 20346 20346 17436 0 -1 4202560 106 0 0 0 0 0 0 0 17 0 2 0 869451221 303902720 6559 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554946 18446604453608552320 0 0 -1 6 0 0 0
[pid=20363] ppid=20346 vsize=307036 CPUtime=0.01 cores=0,2,4,6
/proc/20363/stat : 20363 (python) S 20346 20346 17436 0 -1 4202560 1010 0 0 0 1 0 0 0 15 0 1 0 869451224 314404864 6515 33554432000 4194304 5683644 140734823743232 18446744073709551615 208080252486 0 0 16781312 33554946 3322980819269582848 0 0 17 6 0 0 0
/proc/20363/statm: 76759 6515 350 364 0 11640 0
[pid=20365] ppid=20363 vsize=17648 CPUtime=5.87 cores=0,2,4,6
/proc/20365/stat : 20365 (wbo1.4a) R 20363 20365 20365 0 -1 4202496 4502 0 0 0 585 2 0 0 25 0 1 0 869451224 18071552 3970 33554432000 134512640 135751879 4291372224 18446744073709551615 134606351 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/20365/statm: 4412 3970 146 303 0 4107 0
[pid=20346/tid=20354] ppid=20344 vsize=317280 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20354/stat : 20354 (python) S 20344 20346 17436 0 -1 4202560 28 1378 0 0 0 0 9 1 20 0 4 0 869441694 324894720 8045 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=20371/tid=20386] ppid=20369 vsize=8544204 CPUtime=0.82 cores=0,2,4,6
/proc/20371/task/20386/stat : 20386 (java) T 20369 20371 20371 0 -1 4202560 8699 0 0 0 81 1 0 0 15 0 19 0 869455860 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20371/tid=20387] ppid=20369 vsize=8544204 CPUtime=0 cores=0,2,4,6
/proc/20371/task/20387/stat : 20387 (java) T 20369 20371 20371 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869455860 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20371/tid=20388] ppid=20369 vsize=8544204 CPUtime=0 cores=0,2,4,6
/proc/20371/task/20388/stat : 20388 (java) T 20369 20371 20371 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869455860 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20371/tid=20389] ppid=20369 vsize=8544204 CPUtime=0 cores=0,2,4,6
/proc/20371/task/20389/stat : 20389 (java) T 20369 20371 20371 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869455910 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=20369/tid=20391] ppid=20346 vsize=317292 CPUtime=0 cores=0,2,4,6
/proc/20369/task/20391/stat : 20391 (python) S 20346 20346 17436 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869460379 324907008 6561 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554946 18446604446485128192 0 0 -1 6 0 0 0
[pid=20346/tid=20354] ppid=20344 vsize=327536 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20354/stat : 20354 (python) S 20344 20346 17436 0 -1 4202560 34 1378 0 0 0 0 9 1 18 0 5 0 869441694 335396864 8051 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 4 0 0 0
[pid=20346/tid=20359] ppid=20344 vsize=327536 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20359/stat : 20359 (python) S 20344 20346 17436 0 -1 4202560 31 1378 0 0 0 0 9 1 20 0 5 0 869446463 335396864 8051 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 0 0 0 0
[pid=20346/tid=20364] ppid=20344 vsize=327536 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20364/stat : 20364 (python) S 20344 20346 17436 0 -1 4202560 30 1378 0 0 0 0 9 1 20 0 5 0 869451224 335396864 8051 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 0 0 0 0
[pid=20346/tid=20370] ppid=20344 vsize=327536 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20370/stat : 20370 (python) S 20344 20346 17436 0 -1 4202560 31 1378 0 0 0 0 9 1 20 0 5 0 869455854 335396864 8051 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 224.97
Current children cumulated vsize (KiB) 10426940
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+281.102 s]
/proc/loadavg: 2.08 2.09 1.90 6/898 20416
/proc/meminfo: memFree=5320224/32950928 swapFree=38525204/67111528
[pid=20346] ppid=20344 vsize=338296 CPUtime=1.01 cores=0,2,4,6
/proc/20346/stat : 20346 (python) S 20344 20346 17436 0 -1 4202496 16147 1378 1 0 77 14 9 1 20 0 6 0 869441582 346415104 8183 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/20346/statm: 84574 8183 1880 364 0 19449 0
[pid=20353] ppid=20346 vsize=296768 CPUtime=0.46 cores=0,2,4,6
/proc/20353/stat : 20353 (python) S 20346 20346 17436 0 -1 4202560 1128 0 0 0 22 24 0 0 15 0 2 0 869441694 303890432 6569 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20353/statm: 74192 6569 407 364 0 9079 0
[pid=20355] ppid=20353 vsize=145584 CPUtime=95.27 cores=0,2,4,6
/proc/20355/stat : 20355 (scip-2.0.1.linu) T 20353 20355 20355 0 -1 4202496 36712 0 0 0 9494 33 0 0 25 0 1 0 869441694 149078016 33909 33554432000 4194304 13684479 140733883469664 18446744073709551615 7400992 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/20355/statm: 36396 33909 837 2317 0 34074 0
[pid=20353/tid=20357] ppid=20346 vsize=296768 CPUtime=0 cores=0,2,4,6
/proc/20353/task/20357/stat : 20357 (python) S 20346 20346 17436 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869446461 303890432 6569 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554946 18446604446485127296 0 0 -1 0 0 0 0
[pid=20358] ppid=20346 vsize=296780 CPUtime=0.44 cores=0,2,4,6
/proc/20358/stat : 20358 (python) S 20346 20346 17436 0 -1 4202560 1206 0 0 0 24 20 0 0 15 0 2 0 869446463 303902720 6559 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20358/statm: 74195 6559 397 364 0 9079 0
[pid=20360] ppid=20358 vsize=86912 CPUtime=92.79 cores=0,2,4,6
/proc/20360/stat : 20360 (scip-2.0.1.linu) T 20358 20360 20360 0 -1 4202496 172047 0 0 0 9242 37 0 0 25 0 1 0 869446463 88997888 17706 33554432000 4194304 15243407 140734587404944 18446744073709551615 12374153 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/20360/statm: 21728 17706 840 2698 0 19023 0
[pid=20358/tid=20362] ppid=20346 vsize=296780 CPUtime=0 cores=0,2,4,6
/proc/20358/task/20362/stat : 20362 (python) S 20346 20346 17436 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 2 0 869451221 303902720 6559 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554946 18446604453608552320 0 0 -1 6 0 0 0
[pid=20363] ppid=20346 vsize=307036 CPUtime=0.22 cores=0,2,4,6
/proc/20363/stat : 20363 (python) S 20346 20346 17436 0 -1 4202560 1184 0 0 0 11 11 0 0 17 0 2 0 869451224 314404864 6563 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20363/statm: 76759 6563 397 364 0 11640 0
[pid=20365] ppid=20363 vsize=105436 CPUtime=46.26 cores=0,2,4,6
/proc/20365/stat : 20365 (wbo1.4a) T 20363 20365 20365 0 -1 4202496 26447 0 0 0 4615 11 0 0 25 0 1 0 869451224 107966464 25915 33554432000 134512640 135751879 4291372224 18446744073709551615 134606387 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/20365/statm: 26359 25915 146 303 0 26054 0
[pid=20363/tid=20368] ppid=20346 vsize=307036 CPUtime=0 cores=0,2,4,6
/proc/20363/task/20368/stat : 20368 (python) S 20346 20346 17436 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869455851 314404864 6563 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554946 18446604443124307904 0 0 -1 6 0 0 0
[pid=20369] ppid=20346 vsize=317292 CPUtime=0.23 cores=0,2,4,6
/proc/20369/stat : 20369 (python) S 20346 20346 17436 0 -1 4202560 1141 0 0 0 9 14 0 0 17 0 2 0 869455854 324907008 6561 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/20369/statm: 79323 6561 391 364 0 14201 0
[pid=20371] ppid=20369 vsize=8544204 CPUtime=47.16 cores=0,2,4,6
/proc/20371/stat : 20371 (java) T 20369 20371 20371 0 -1 4202496 106328 0 1 0 4702 14 0 0 18 0 19 0 869455854 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20371/statm: 2136051 86695 2250 9 0 2126792 0
[pid=20371/tid=20372] ppid=20369 vsize=8544204 CPUtime=45.02 cores=0,2,4,6
/proc/20371/task/20372/stat : 20372 (java) T 20369 20371 20371 0 -1 4202560 63618 0 1 0 4495 7 0 0 25 0 19 0 869455855 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 46912505838052 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20371/tid=20373] ppid=20369 vsize=8544204 CPUtime=0.05 cores=0,2,4,6
/proc/20371/task/20373/stat : 20373 (java) T 20369 20371 20371 0 -1 4202560 4055 0 0 0 5 0 0 0 15 0 19 0 869455856 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20371/tid=20374] ppid=20369 vsize=8544204 CPUtime=0.08 cores=0,2,4,6
/proc/20371/task/20374/stat : 20374 (java) T 20369 20371 20371 0 -1 4202560 5798 0 0 0 7 1 0 0 15 0 19 0 869455856 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20371/tid=20375] ppid=20369 vsize=8544204 CPUtime=0.03 cores=0,2,4,6
/proc/20371/task/20375/stat : 20375 (java) T 20369 20371 20371 0 -1 4202560 2276 0 0 0 3 0 0 0 15 0 19 0 869455856 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20371/tid=20376] ppid=20369 vsize=8544204 CPUtime=0.05 cores=0,2,4,6
/proc/20371/task/20376/stat : 20376 (java) T 20369 20371 20371 0 -1 4202560 4144 0 0 0 5 0 0 0 15 0 19 0 869455856 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20371/tid=20377] ppid=20369 vsize=8544204 CPUtime=0.03 cores=0,2,4,6
/proc/20371/task/20377/stat : 20377 (java) T 20369 20371 20371 0 -1 4202560 2272 0 0 0 3 0 0 0 15 0 19 0 869455856 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20371/tid=20378] ppid=20369 vsize=8544204 CPUtime=0.03 cores=0,2,4,6
/proc/20371/task/20378/stat : 20378 (java) T 20369 20371 20371 0 -1 4202560 1958 0 0 0 3 0 0 0 15 0 19 0 869455856 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20371/tid=20379] ppid=20369 vsize=8544204 CPUtime=0.05 cores=0,2,4,6
/proc/20371/task/20379/stat : 20379 (java) T 20369 20371 20371 0 -1 4202560 3407 0 0 0 5 0 0 0 15 0 19 0 869455856 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20371/tid=20380] ppid=20369 vsize=8544204 CPUtime=0.05 cores=0,2,4,6
/proc/20371/task/20380/stat : 20380 (java) T 20369 20371 20371 0 -1 4202560 3526 0 0 0 5 0 0 0 15 0 19 0 869455856 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20371/tid=20381] ppid=20369 vsize=8544204 CPUtime=0 cores=0,2,4,6
/proc/20371/task/20381/stat : 20381 (java) T 20369 20371 20371 0 -1 4202560 191 0 0 0 0 0 0 0 15 0 19 0 869455857 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048896 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20371/tid=20382] ppid=20369 vsize=8544204 CPUtime=0 cores=0,2,4,6
/proc/20371/task/20382/stat : 20382 (java) T 20369 20371 20371 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869455857 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20371/tid=20383] ppid=20369 vsize=8544204 CPUtime=0 cores=0,2,4,6
/proc/20371/task/20383/stat : 20383 (java) T 20369 20371 20371 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869455857 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20371/tid=20384] ppid=20369 vsize=8544204 CPUtime=0 cores=0,2,4,6
/proc/20371/task/20384/stat : 20384 (java) T 20369 20371 20371 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869455860 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092055985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20371/tid=20385] ppid=20369 vsize=8544204 CPUtime=0.84 cores=0,2,4,6
/proc/20371/task/20385/stat : 20385 (java) T 20369 20371 20371 0 -1 4202560 4990 0 0 0 84 0 0 0 15 0 19 0 869455860 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=20371/tid=20386] ppid=20369 vsize=8544204 CPUtime=0.82 cores=0,2,4,6
/proc/20371/task/20386/stat : 20386 (java) T 20369 20371 20371 0 -1 4202560 8699 0 0 0 81 1 0 0 15 0 19 0 869455860 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=20371/tid=20387] ppid=20369 vsize=8544204 CPUtime=0 cores=0,2,4,6
/proc/20371/task/20387/stat : 20387 (java) T 20369 20371 20371 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869455860 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20371/tid=20388] ppid=20369 vsize=8544204 CPUtime=0 cores=0,2,4,6
/proc/20371/task/20388/stat : 20388 (java) T 20369 20371 20371 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869455860 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=20371/tid=20389] ppid=20369 vsize=8544204 CPUtime=0 cores=0,2,4,6
/proc/20371/task/20389/stat : 20389 (java) T 20369 20371 20371 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869455910 8749264896 86695 33554432000 1073741824 1073778376 140735539163424 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=20369/tid=20391] ppid=20346 vsize=317292 CPUtime=0 cores=0,2,4,6
/proc/20369/task/20391/stat : 20391 (python) S 20346 20346 17436 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869460379 324907008 6561 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554946 18446604446485128192 0 0 -1 6 0 0 0
[pid=20397] ppid=20346 vsize=328052 CPUtime=0 cores=0,2,4,6
/proc/20397/stat : 20397 (python) S 20346 20346 17436 0 -1 4202560 775 0 0 0 0 0 0 0 18 0 1 0 869469671 335925248 6619 33554432000 4194304 5683644 140734823743232 18446744073709551615 208080252486 0 0 16781312 33554946 290233999870099716 0 0 17 6 0 0 0
/proc/20397/statm: 82013 6619 320 364 0 16888 0
[pid=20399] ppid=20397 vsize=8536364 CPUtime=0.36 cores=0,2,4,6
/proc/20399/stat : 20399 (java) S 20397 20399 20399 0 -1 4202496 8401 0 1 0 35 1 0 0 20 0 18 0 869469671 8741236736 7405 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20399/statm: 2134091 7406 2185 9 0 2124832 0
[pid=20399/tid=20400] ppid=20397 vsize=8536364 CPUtime=0.24 cores=0,2,4,6
/proc/20399/task/20400/stat : 20400 (java) R 20397 20399 20399 0 -1 4202560 4851 0 1 0 23 1 0 0 18 0 18 0 869469672 8741236736 7534 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 46912505219213 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20399/tid=20401] ppid=20397 vsize=8536364 CPUtime=0 cores=0,2,4,6
/proc/20399/task/20401/stat : 20401 (java) S 20397 20399 20399 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869469673 8741236736 7551 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 208092048281 0 4 0 16800975 18446604438559680512 0 0 -1 2 0 0 0
[pid=20399/tid=20402] ppid=20397 vsize=8536364 CPUtime=0 cores=0,2,4,6
/proc/20399/task/20402/stat : 20402 (java) S 20397 20399 20399 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869469673 8741236736 7556 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 208092048281 0 4 0 16800975 18446604438559680512 0 0 -1 2 0 0 0
[pid=20399/tid=20403] ppid=20397 vsize=8536364 CPUtime=0 cores=0,2,4,6
/proc/20399/task/20403/stat : 20403 (java) S 20397 20399 20399 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869469673 8741236736 7556 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 208092048281 0 4 0 16800975 18446604438559680512 0 0 -1 2 0 0 0
[pid=20399/tid=20404] ppid=20397 vsize=8536364 CPUtime=0 cores=0,2,4,6
/proc/20399/task/20404/stat : 20404 (java) S 20397 20399 20399 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469673 8741236736 7557 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 208092048281 0 4 0 16800975 18446604438559680512 0 0 -1 6 0 0 0
[pid=20399/tid=20405] ppid=20397 vsize=8536364 CPUtime=0 cores=0,2,4,6
/proc/20399/task/20405/stat : 20405 (java) S 20397 20399 20399 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469673 8741236736 7557 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 208092048281 0 4 0 16800975 18446604438559680512 0 0 -1 6 0 0 0
[pid=20399/tid=20406] ppid=20397 vsize=8536364 CPUtime=0 cores=0,2,4,6
/proc/20399/task/20406/stat : 20406 (java) S 20397 20399 20399 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469673 8741236736 7557 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 208092048281 0 4 0 16800975 18446604438559680512 0 0 -1 6 0 0 0
[pid=20399/tid=20407] ppid=20397 vsize=8536364 CPUtime=0 cores=0,2,4,6
/proc/20399/task/20407/stat : 20407 (java) S 20397 20399 20399 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469673 8741236736 7557 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 208092048281 0 4 0 16800975 18446604438559680512 0 0 -1 6 0 0 0
[pid=20399/tid=20408] ppid=20397 vsize=8536364 CPUtime=0 cores=0,2,4,6
/proc/20399/task/20408/stat : 20408 (java) S 20397 20399 20399 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469673 8741236736 7557 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 208092048281 0 4 0 16800975 18446604438559680512 0 0 -1 6 0 0 0
[pid=20399/tid=20409] ppid=20397 vsize=8536364 CPUtime=0 cores=0,2,4,6
/proc/20399/task/20409/stat : 20409 (java) S 20397 20399 20399 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869469674 8741236736 7558 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 208092048896 0 0 0 16800975 18446604438559680512 0 0 -1 2 0 0 0
[pid=20399/tid=20410] ppid=20397 vsize=8536364 CPUtime=0 cores=0,2,4,6
/proc/20399/task/20410/stat : 20410 (java) S 20397 20399 20399 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869469674 8741236736 7558 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 208092048281 0 4 0 16800975 18446604438559680512 0 0 -1 2 0 0 0
[pid=20399/tid=20411] ppid=20397 vsize=8536364 CPUtime=0 cores=0,2,4,6
/proc/20399/task/20411/stat : 20411 (java) S 20397 20399 20399 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869469674 8741236736 7558 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 208092048281 0 4 0 16800975 18446604438559680512 0 0 -1 2 0 0 0
[pid=20399/tid=20412] ppid=20397 vsize=8536364 CPUtime=0 cores=0,2,4,6
/proc/20399/task/20412/stat : 20412 (java) S 20397 20399 20399 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469676 8741236736 7558 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 208092055985 0 4 0 16800975 18446604438559680512 0 0 -1 2 0 0 0
[pid=20399/tid=20413] ppid=20397 vsize=8536364 CPUtime=0.02 cores=0,2,4,6
/proc/20399/task/20413/stat : 20413 (java) R 20397 20399 20399 0 -1 4202560 581 0 0 0 2 0 0 0 24 0 18 0 869469676 8741236736 7559 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 47091585434064 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20399/tid=20414] ppid=20397 vsize=8536364 CPUtime=0.11 cores=0,2,4,6
/proc/20399/task/20414/stat : 20414 (java) R 20397 20399 20399 0 -1 4202560 1721 0 0 0 11 0 0 0 17 0 18 0 869469676 8741236736 7559 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 47091587162103 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20399/tid=20415] ppid=20397 vsize=8536364 CPUtime=0 cores=0,2,4,6
/proc/20399/task/20415/stat : 20415 (java) S 20397 20399 20399 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469676 8741236736 7559 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 208092048281 0 4 0 16800975 18446604438559680512 0 0 -1 6 0 0 0
[pid=20399/tid=20416] ppid=20397 vsize=8536364 CPUtime=0 cores=0,2,4,6
/proc/20399/task/20416/stat : 20416 (java) S 20397 20399 20399 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869469676 8741236736 7559 33554432000 1073741824 1073778376 140733709329792 18446744073709551615 208092048896 0 4 0 16800975 18446604438559680512 0 0 -1 6 0 0 0
[pid=20346/tid=20354] ppid=20344 vsize=338296 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20354/stat : 20354 (python) S 20344 20346 17436 0 -1 4202560 34 1378 0 0 0 0 9 1 18 0 6 0 869441694 346415104 8183 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 4 0 0 0
[pid=20346/tid=20359] ppid=20344 vsize=338296 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20359/stat : 20359 (python) S 20344 20346 17436 0 -1 4202560 36 1378 0 0 0 0 9 1 18 0 6 0 869446463 346415104 8183 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 0 0 0 0
[pid=20346/tid=20364] ppid=20344 vsize=338296 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20364/stat : 20364 (python) S 20344 20346 17436 0 -1 4202560 30 1378 0 0 0 0 9 1 20 0 6 0 869451224 346415104 8183 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 0 0 0 0
[pid=20346/tid=20370] ppid=20344 vsize=338296 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20370/stat : 20370 (python) S 20344 20346 17436 0 -1 4202560 31 1378 0 0 0 0 9 1 20 0 6 0 869455854 346415104 8183 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 0 0 0 0
[pid=20346/tid=20398] ppid=20344 vsize=338296 CPUtime=0.1 cores=0,2,4,6
/proc/20346/task/20398/stat : 20398 (python) S 20344 20346 17436 0 -1 4202560 26 1378 0 0 0 0 9 1 20 0 6 0 869469671 346415104 8183 33554432000 4194304 5683644 140734823743232 18446744073709551615 208092055985 0 0 16781312 33554434 18446604449364771776 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 284.2
Current children cumulated vsize (KiB) 19302724
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 20346 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=867868
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=157975
# CPU time returned by wait4() is 1.02584
# while last known CPU time is 284.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 281.187
CPU time (s): 284.2
CPU user time (s): 282.4
CPU system time (s): 1.8
CPU usage (%): 101.071
Max. virtual memory (cumulated for all children) (KiB): 19302724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.867868
system time used= 0.157975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17528
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= 9449
involuntary context switches= 35
runsolver used 2.09668 second user time and 4.33434 second system time
The end