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-3481767-1307576908/watcher-3481767-1307576908 -o /tmp/evaluation-result-3481767-1307576908/solver-3481767-1307576908 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481767-1307576908.opb -seed 1342833978 -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.28 1.84 0.94 2/610 15575
/proc/meminfo: memFree=19875952/32950940 swapFree=67111360/67111528
[pid=15575] ppid=15573 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/15575/stat : 15575 (python) S 15573 15575 14716 0 -1 4202496 810 0 0 0 0 0 0 0 20 0 1 0 947921647 15749120 696 33554432000 4194304 5683644 140734384513856 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/15575/statm: 3845 696 334 364 0 332 0
[startup+0.0823101 s]
/proc/loadavg: 2.28 1.84 0.94 2/610 15575
/proc/meminfo: memFree=19875952/32950940 swapFree=67111360/67111528
[pid=15575] ppid=15573 vsize=52380 CPUtime=0.05 cores=1,3,5,7
/proc/15575/stat : 15575 (python) R 15573 15575 14716 0 -1 4202496 2014 0 0 0 4 1 0 0 17 0 1 0 947921647 53637120 1774 33554432000 4194304 5683644 140734384513856 18446744073709551615 215983670288 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/15575/statm: 13095 1775 483 364 0 1276 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 52380
[startup+0.100302 s]
/proc/loadavg: 2.28 1.84 0.94 2/610 15575
/proc/meminfo: memFree=19875952/32950940 swapFree=67111360/67111528
[pid=15575] ppid=15573 vsize=87828 CPUtime=0.06 cores=1,3,5,7
/proc/15575/stat : 15575 (python) R 15573 15575 14716 0 -1 4202496 2689 0 0 0 5 1 0 0 17 0 1 0 947921647 89935872 2405 33554432000 4194304 5683644 140734384513856 18446744073709551615 4651340 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/15575/statm: 21957 2406 734 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87828
[startup+0.300317 s]
/proc/loadavg: 2.28 1.84 0.94 2/610 15575
/proc/meminfo: memFree=19875952/32950940 swapFree=67111360/67111528
[pid=15575] ppid=15573 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/15575/stat : 15575 (python) R 15573 15575 14716 0 -1 4202496 5358 932 1 0 11 6 0 0 17 0 1 0 947921647 126709760 3746 33554432000 4194304 5683644 140734384513856 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/15575/statm: 30935 3746 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700198 s]
/proc/loadavg: 2.28 1.84 0.94 2/610 15575
/proc/meminfo: memFree=19875952/32950940 swapFree=67111360/67111528
[pid=15575] ppid=15573 vsize=284652 CPUtime=0.48 cores=1,3,5,7
/proc/15575/stat : 15575 (python) R 15573 15575 14716 0 -1 4202496 9618 932 1 0 33 15 0 0 15 0 1 0 947921647 291483648 7482 33554432000 4194304 5683644 140734384513856 18446744073709551615 4272792 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/15575/statm: 71163 7482 1781 364 0 6056 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 284652
[startup+1.50106 s]
/proc/loadavg: 2.28 1.84 0.94 3/631 15600
/proc/meminfo: memFree=19835540/32950940 swapFree=67111360/67111528
[pid=15575] ppid=15573 vsize=295676 CPUtime=0.65 cores=1,3,5,7
/proc/15575/stat : 15575 (python) S 15573 15575 14716 0 -1 4202496 10565 932 1 0 50 15 0 0 18 0 2 0 947921647 302772224 7758 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15575/statm: 73919 7758 1870 364 0 8806 0
[pid=15581] ppid=15575 vsize=285432 CPUtime=0 cores=1,3,5,7
/proc/15581/stat : 15581 (python) S 15575 15575 14716 0 -1 4202560 768 0 0 0 0 0 0 0 15 0 1 0 947921735 292282368 6236 33554432000 4194304 5683644 140734384513856 18446744073709551615 215988612623 0 0 16781312 33554946 4294934791 0 0 17 1 0 0 0
/proc/15581/statm: 71358 6236 352 364 0 6245 0
[pid=15583] ppid=15581 vsize=8539996 CPUtime=1.32 cores=1,3,5,7
/proc/15583/stat : 15583 (java) S 15581 15583 15583 0 -1 4202496 18696 0 1 0 129 3 0 0 19 0 19 0 947921735 8744955904 15722 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15583/statm: 2134999 15722 2223 9 0 2125740 0
[pid=15583/tid=15584] ppid=15581 vsize=8539996 CPUtime=0.59 cores=1,3,5,7
/proc/15583/task/15584/stat : 15584 (java) R 15581 15583 15583 0 -1 4202560 11743 0 1 0 58 1 0 0 25 0 19 0 947921736 8744955904 15722 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 47620732836691 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15583/tid=15585] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15583 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947921736 8744955904 15722 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 7 0 0 0
[pid=15583/tid=15586] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15583 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947921736 8744955904 15722 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 7 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15583 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947921736 8744955904 15722 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 7 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15583 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947921736 8744955904 15723 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 7 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15583 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947921736 8744955904 15723 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 1 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15583 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947921736 8744955904 15723 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 7 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15583 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947921736 8744955904 15723 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 7 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15583 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947921736 8744955904 15723 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 5 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15583 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947921737 8744955904 15723 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000409088 0 0 0 16800975 18446604466251990208 0 0 -1 7 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15583 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947921738 8744955904 15723 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 7 0 0 0
[pid=15583/tid=15595] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15583 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 947921738 8744955904 15724 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 1 0 0 0
[pid=15583/tid=15596] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15596/stat : 15596 (java) S 15581 15583 15583 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947921740 8744955904 15724 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000416177 0 4 0 16800975 18446604466251990208 0 0 -1 7 0 0 0
[pid=15583/tid=15597] ppid=15581 vsize=8539996 CPUtime=0.36 cores=1,3,5,7
/proc/15583/task/15597/stat : 15597 (java) R 15581 15583 15583 0 -1 4202560 3704 0 0 0 36 0 0 0 25 0 19 0 947921740 8744955904 15724 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 47620729189738 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15583/tid=15598] ppid=15581 vsize=8539996 CPUtime=0.34 cores=1,3,5,7
/proc/15583/task/15598/stat : 15598 (java) R 15581 15583 15583 0 -1 4202560 1863 0 0 0 34 0 0 0 25 0 19 0 947921740 8744955904 15724 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 47620731219137 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15583/tid=15599] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15599/stat : 15599 (java) S 15581 15583 15583 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947921740 8744955904 15724 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 7 0 0 0
[pid=15583/tid=15600] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15600/stat : 15600 (java) S 15581 15583 15583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947921740 8744955904 15724 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000409088 0 4 0 16800975 18446604466251990208 0 0 -1 3 0 0 0
[pid=15575/tid=15582] ppid=15573 vsize=295676 CPUtime=0 cores=1,3,5,7
/proc/15575/task/15582/stat : 15582 (python) S 15573 15575 14716 0 -1 4202560 26 932 0 0 0 0 0 0 18 0 2 0 947921735 302772224 7758 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669252608 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 9121104
[startup+3.10078 s]
/proc/loadavg: 2.28 1.84 0.94 3/632 15601
/proc/meminfo: memFree=19767404/32950940 swapFree=67111360/67111528
[pid=15575] ppid=15573 vsize=295676 CPUtime=0.65 cores=1,3,5,7
/proc/15575/stat : 15575 (python) S 15573 15575 14716 0 -1 4202496 10565 932 1 0 50 15 0 0 18 0 2 0 947921647 302772224 7758 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15575/statm: 73919 7758 1870 364 0 8806 0
[pid=15581] ppid=15575 vsize=285432 CPUtime=0 cores=1,3,5,7
/proc/15581/stat : 15581 (python) S 15575 15575 14716 0 -1 4202560 769 0 0 0 0 0 0 0 15 0 1 0 947921735 292282368 6236 33554432000 4194304 5683644 140734384513856 18446744073709551615 215988612623 0 0 16781312 33554946 4294934791 0 0 17 1 0 0 0
/proc/15581/statm: 71358 6236 352 364 0 6245 0
[pid=15583] ppid=15581 vsize=8539996 CPUtime=3.18 cores=1,3,5,7
/proc/15583/stat : 15583 (java) S 15581 15583 15583 0 -1 4202496 29402 0 1 0 314 4 0 0 19 0 19 0 947921735 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15583/statm: 2134999 25401 2259 9 0 2125740 0
[pid=15583/tid=15584] ppid=15581 vsize=8539996 CPUtime=2.17 cores=1,3,5,7
/proc/15583/task/15584/stat : 15584 (java) R 15581 15583 15583 0 -1 4202560 13971 0 1 0 215 2 0 0 25 0 19 0 947921736 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 46912505786571 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15583/tid=15585] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15583 0 -1 4202560 548 0 0 0 0 0 0 0 15 0 19 0 947921736 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 5 0 0 0
[pid=15583/tid=15586] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15583 0 -1 4202560 620 0 0 0 0 0 0 0 16 0 19 0 947921736 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 3 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15583 0 -1 4202560 495 0 0 0 0 0 0 0 15 0 19 0 947921736 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 5 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15583 0 -1 4202560 457 0 0 0 0 0 0 0 16 0 19 0 947921736 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 3 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15583 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 947921736 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 3 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15583 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947921736 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 1 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15583 0 -1 4202560 958 0 0 0 0 0 0 0 15 0 19 0 947921736 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 1 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15583 0 -1 4202560 911 0 0 0 0 0 0 0 15 0 19 0 947921736 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 5 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=8539996 CPUtime=0.02 cores=1,3,5,7
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15583 0 -1 4202560 2775 0 0 0 2 0 0 0 15 0 19 0 947921737 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000409088 0 0 0 16800975 18446604466251990208 0 0 -1 7 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15583 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947921738 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 7 0 0 0
[pid=15583/tid=15595] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15583 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947921738 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 1 0 0 0
[pid=15583/tid=15596] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15596/stat : 15596 (java) S 15581 15583 15583 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947921740 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000416177 0 4 0 16800975 18446604466251990208 0 0 -1 7 0 0 0
[pid=15583/tid=15597] ppid=15581 vsize=8539996 CPUtime=0.51 cores=1,3,5,7
/proc/15583/task/15597/stat : 15597 (java) S 15581 15583 15583 0 -1 4202560 5355 0 0 0 51 0 0 0 18 0 19 0 947921740 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 3 0 0 0
[pid=15583/tid=15598] ppid=15581 vsize=8539996 CPUtime=0.43 cores=1,3,5,7
/proc/15583/task/15598/stat : 15598 (java) S 15581 15583 15583 0 -1 4202560 1881 0 0 0 43 0 0 0 18 0 19 0 947921740 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 1 0 0 0
[pid=15583/tid=15599] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15599/stat : 15599 (java) S 15581 15583 15583 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947921740 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 7 0 0 0
[pid=15583/tid=15600] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15600/stat : 15600 (java) S 15581 15583 15583 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947921740 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000409088 0 4 0 16800975 18446604466251990208 0 0 -1 3 0 0 0
[pid=15583/tid=15601] ppid=15581 vsize=8539996 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15601/stat : 15601 (java) S 15581 15583 15583 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947921778 8744955904 25401 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000409088 0 4 0 16800975 18446604466251990208 0 0 -1 7 0 0 0
[pid=15575/tid=15582] ppid=15573 vsize=295676 CPUtime=0 cores=1,3,5,7
/proc/15575/task/15582/stat : 15582 (python) S 15573 15575 14716 0 -1 4202560 26 932 0 0 0 0 0 0 18 0 2 0 947921735 302772224 7758 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669252608 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9121104
[startup+6.30122 s]
/proc/loadavg: 2.33 1.86 0.95 3/632 15601
/proc/meminfo: memFree=19730048/32950940 swapFree=67111360/67111528
[pid=15575] ppid=15573 vsize=295676 CPUtime=0.65 cores=1,3,5,7
/proc/15575/stat : 15575 (python) S 15573 15575 14716 0 -1 4202496 10565 932 1 0 50 15 0 0 18 0 2 0 947921647 302772224 7758 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/15575/statm: 73919 7758 1870 364 0 8806 0
[pid=15581] ppid=15575 vsize=285432 CPUtime=0.01 cores=1,3,5,7
/proc/15581/stat : 15581 (python) S 15575 15575 14716 0 -1 4202560 903 0 0 0 0 1 0 0 15 0 1 0 947921735 292282368 6260 33554432000 4194304 5683644 140734384513856 18446744073709551615 215988612623 0 0 16781312 33554946 398550687073435648 0 0 17 5 0 0 0
/proc/15581/statm: 71358 6260 376 364 0 6245 0
[pid=15583] ppid=15581 vsize=8605532 CPUtime=6.48 cores=1,3,5,7
/proc/15583/stat : 15583 (java) S 15581 15583 15583 0 -1 4202496 36788 0 1 0 643 5 0 0 19 0 19 0 947921735 8812064768 32769 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15583/statm: 2151383 32769 2259 9 0 2142124 0
[pid=15583/tid=15584] ppid=15581 vsize=8605532 CPUtime=5.26 cores=1,3,5,7
/proc/15583/task/15584/stat : 15584 (java) R 15581 15583 15583 0 -1 4202560 13973 0 1 0 524 2 0 0 25 0 19 0 947921736 8812064768 32769 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 46912505786509 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15583/tid=15585] ppid=15581 vsize=8605532 CPUtime=0.01 cores=1,3,5,7
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15583 0 -1 4202560 1278 0 0 0 1 0 0 0 15 0 19 0 947921736 8812064768 32769 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 1 0 0 0
[pid=15583/tid=15586] ppid=15581 vsize=8605532 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15583 0 -1 4202560 1041 0 0 0 0 0 0 0 15 0 19 0 947921736 8812064768 32769 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 5 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=8605532 CPUtime=0.01 cores=1,3,5,7
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15583 0 -1 4202560 1284 0 0 0 1 0 0 0 15 0 19 0 947921736 8812064768 32769 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 3 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=8605532 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15583 0 -1 4202560 785 0 0 0 0 0 0 0 16 0 19 0 947921736 8812064768 32769 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 5 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=8605532 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15583 0 -1 4202560 274 0 0 0 0 0 0 0 15 0 19 0 947921736 8812064768 32769 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 1 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=8605532 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15583 0 -1 4202560 343 0 0 0 0 0 0 0 15 0 19 0 947921736 8812064768 32769 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 5 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=8605532 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15583 0 -1 4202560 1235 0 0 0 0 0 0 0 15 0 19 0 947921736 8812064768 32769 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 5 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=8605532 CPUtime=0.01 cores=1,3,5,7
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15583 0 -1 4202560 1560 0 0 0 1 0 0 0 16 0 19 0 947921736 8812064768 32769 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446604466251990208 0 0 -1 3 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=8605532 CPUtime=0.09 cores=1,3,5,7
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15583 0 -1 4202560 6383 0 0 0 9 0 0 0 15 0 19 0 947921737 8812064768 32769 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000409088 0 0 0 16800975 18446604466251990208 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=15575/tid=15609] ppid=15573 vsize=326948 CPUtime=0 cores=1,3,5,7
/proc/15575/task/15609/stat : 15609 (python) S 15573 15575 14716 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 5 0 947926274 334794752 7903 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669252608 0 0 -1 3 0 0 0
[pid=15575/tid=15697] ppid=15573 vsize=326948 CPUtime=0 cores=1,3,5,7
/proc/15575/task/15697/stat : 15697 (python) S 15573 15575 14716 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 5 0 947935858 334794752 7903 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669252608 0 0 -1 3 0 0 0
[pid=15575/tid=15703] ppid=15573 vsize=326948 CPUtime=0 cores=1,3,5,7
/proc/15575/task/15703/stat : 15703 (python) S 15573 15575 14716 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 5 0 947940998 334794752 7903 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669252608 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 284.92
Current children cumulated vsize (KiB) 10324312
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+336.601 s]
/proc/loadavg: 2.02 1.97 1.27 8/696 15741
/proc/meminfo: memFree=18459912/32950940 swapFree=67111360/67111528
[pid=15575] ppid=15573 vsize=347460 CPUtime=0.81 cores=1,3,5,7
/proc/15575/stat : 15575 (python) S 15573 15575 14716 0 -1 4202496 15271 932 1 0 65 16 0 0 20 0 7 0 947921647 355799040 7915 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/15575/statm: 86865 7915 1881 364 0 21737 0
[pid=15581] ppid=15575 vsize=295676 CPUtime=0.46 cores=1,3,5,7
/proc/15581/stat : 15581 (python) S 15575 15575 14716 0 -1 4202560 1111 0 0 0 20 26 0 0 16 0 2 0 947921735 302772224 6297 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15581/statm: 73919 6297 408 364 0 8806 0
[pid=15583] ppid=15581 vsize=8605532 CPUtime=92.69 cores=1,3,5,7
/proc/15583/stat : 15583 (java) T 15581 15583 15583 0 -1 4202496 50625 0 1 0 9261 8 0 0 18 0 19 0 947921735 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15583/statm: 2151383 46359 2259 9 0 2142124 0
[pid=15583/tid=15584] ppid=15581 vsize=8605532 CPUtime=89.63 cores=1,3,5,7
/proc/15583/task/15584/stat : 15584 (java) T 15581 15583 15583 0 -1 4202560 14010 0 1 0 8961 2 0 0 25 0 19 0 947921736 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15583/tid=15585] ppid=15581 vsize=8605532 CPUtime=0.12 cores=1,3,5,7
/proc/15583/task/15585/stat : 15585 (java) T 15581 15583 15583 0 -1 4202560 2272 0 0 0 12 0 0 0 15 0 19 0 947921736 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15583/tid=15586] ppid=15581 vsize=8605532 CPUtime=0.1 cores=1,3,5,7
/proc/15583/task/15586/stat : 15586 (java) T 15581 15583 15583 0 -1 4202560 2153 0 0 0 10 0 0 0 15 0 19 0 947921736 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=8605532 CPUtime=0.08 cores=1,3,5,7
/proc/15583/task/15587/stat : 15587 (java) T 15581 15583 15583 0 -1 4202560 1529 0 0 0 8 0 0 0 15 0 19 0 947921736 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=8605532 CPUtime=0.09 cores=1,3,5,7
/proc/15583/task/15588/stat : 15588 (java) T 15581 15583 15583 0 -1 4202560 1717 0 0 0 9 0 0 0 15 0 19 0 947921736 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=8605532 CPUtime=0.09 cores=1,3,5,7
/proc/15583/task/15589/stat : 15589 (java) T 15581 15583 15583 0 -1 4202560 1105 0 0 0 9 0 0 0 15 0 19 0 947921736 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=8605532 CPUtime=0.1 cores=1,3,5,7
/proc/15583/task/15590/stat : 15590 (java) T 15581 15583 15583 0 -1 4202560 1645 0 0 0 10 0 0 0 15 0 19 0 947921736 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=8605532 CPUtime=0.12 cores=1,3,5,7
/proc/15583/task/15591/stat : 15591 (java) T 15581 15583 15583 0 -1 4202560 2699 0 0 0 12 0 0 0 15 0 19 0 947921736 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=8605532 CPUtime=0.11 cores=1,3,5,7
/proc/15583/task/15592/stat : 15592 (java) T 15581 15583 15583 0 -1 4202560 3298 0 0 0 11 0 0 0 15 0 19 0 947921736 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=8605532 CPUtime=1.09 cores=1,3,5,7
/proc/15583/task/15593/stat : 15593 (java) T 15581 15583 15583 0 -1 4202560 11555 0 0 0 108 1 0 0 15 0 19 0 947921737 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 47620731927127 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=8605532 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15594/stat : 15594 (java) T 15581 15583 15583 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947921738 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15583/tid=15595] ppid=15581 vsize=8605532 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15595/stat : 15595 (java) T 15581 15583 15583 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947921738 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15583/tid=15596] ppid=15581 vsize=8605532 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15596/stat : 15596 (java) T 15581 15583 15583 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947921740 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000416177 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15583/tid=15597] ppid=15581 vsize=8605532 CPUtime=0.57 cores=1,3,5,7
/proc/15583/task/15597/stat : 15597 (java) T 15581 15583 15583 0 -1 4202560 5367 0 0 0 57 0 0 0 15 0 19 0 947921740 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15583/tid=15598] ppid=15581 vsize=8605532 CPUtime=0.46 cores=1,3,5,7
/proc/15583/task/15598/stat : 15598 (java) T 15581 15583 15583 0 -1 4202560 1890 0 0 0 46 0 0 0 15 0 19 0 947921740 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15583/tid=15599] ppid=15581 vsize=8605532 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15599/stat : 15599 (java) T 15581 15583 15583 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947921740 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15583/tid=15600] ppid=15581 vsize=8605532 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15600/stat : 15600 (java) T 15581 15583 15583 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 947921740 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15583/tid=15601] ppid=15581 vsize=8605532 CPUtime=0 cores=1,3,5,7
/proc/15583/task/15601/stat : 15601 (java) T 15581 15583 15583 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947921778 8812064768 46359 33554432000 1073741824 1073778376 140735529327680 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15581/tid=15607] ppid=15575 vsize=295676 CPUtime=0 cores=1,3,5,7
/proc/15581/task/15607/stat : 15607 (python) S 15575 15575 14716 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 947926272 302772224 6297 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000416177 0 0 16781312 33554946 18446604459524297664 0 0 -1 7 0 0 0
[pid=15608] ppid=15575 vsize=296192 CPUtime=0.24 cores=1,3,5,7
/proc/15608/stat : 15608 (python) S 15575 15575 14716 0 -1 4202560 1108 0 0 0 10 14 0 0 16 0 2 0 947926274 303300608 6412 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15608/statm: 74048 6412 397 364 0 8932 0
[pid=15610] ppid=15608 vsize=106628 CPUtime=50.02 cores=1,3,5,7
/proc/15610/stat : 15610 (wbo1.4a) T 15608 15610 15610 0 -1 4202496 26672 0 0 0 4902 100 0 0 25 0 1 0 947926274 109187072 26188 33554432000 134512640 135751879 4291476864 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/15610/statm: 26657 26188 146 303 0 26352 0
[pid=15608/tid=15690] ppid=15575 vsize=296192 CPUtime=0 cores=1,3,5,7
/proc/15608/task/15690/stat : 15690 (python) S 15575 15575 14716 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 947931278 303300608 6412 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000416177 0 0 16781312 33554946 18446604459204105536 0 0 -1 1 0 0 0
[pid=15696] ppid=15575 vsize=306448 CPUtime=0.23 cores=1,3,5,7
/proc/15696/stat : 15696 (python) S 15575 15575 14716 0 -1 4202560 1180 0 0 0 11 12 0 0 16 0 2 0 947935858 313802752 6422 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15696/statm: 76612 6422 403 364 0 11493 0
[pid=15698] ppid=15696 vsize=56768 CPUtime=51.36 cores=1,3,5,7
/proc/15698/stat : 15698 (pbct-0.1.2-linu) T 15696 15698 15698 0 -1 4202496 14289 0 0 0 4928 208 0 0 25 0 1 0 947935858 58130432 13682 33554432000 134512640 136422188 4291310752 18446744073709551615 135830671 0 0 16781312 16387 18446744071562691360 0 0 17 5 0 0 0
/proc/15698/statm: 14192 13682 236 467 0 13723 0
[pid=15696/tid=15701] ppid=15575 vsize=306448 CPUtime=0 cores=1,3,5,7
/proc/15696/task/15701/stat : 15701 (python) S 15575 15575 14716 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947940996 313802752 6422 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000416177 0 0 16781312 33554946 18446604466916312256 0 0 -1 7 0 0 0
[pid=15702] ppid=15575 vsize=316704 CPUtime=0.41 cores=1,3,5,7
/proc/15702/stat : 15702 (python) S 15575 15575 14716 0 -1 4202560 1219 0 0 0 18 23 0 0 16 0 2 0 947940998 324304896 6426 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15702/statm: 79176 6426 403 364 0 14054 0
[pid=15704] ppid=15702 vsize=13416 CPUtime=92.05 cores=1,3,5,7
/proc/15704/stat : 15704 (clasp-1.3.7-x86) T 15702 15704 15704 0 -1 4202496 3388 0 0 0 9205 0 0 0 25 0 1 0 947940999 13737984 3117 33554432000 134512640 136139019 4290605664 18446744073709551615 134598561 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/15704/statm: 3354 3117 187 398 0 2954 0
[pid=15702/tid=15711] ppid=15575 vsize=316704 CPUtime=0 cores=1,3,5,7
/proc/15702/task/15711/stat : 15711 (python) S 15575 15575 14716 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 947950204 324304896 6426 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000416177 0 0 16781312 33554946 18446604468669254400 0 0 -1 7 0 0 0
[pid=15712] ppid=15575 vsize=326960 CPUtime=0.24 cores=1,3,5,7
/proc/15712/stat : 15712 (python) S 15575 15575 14716 0 -1 4202560 1148 0 0 0 11 13 0 0 17 0 2 0 947950206 334807040 6424 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15712/statm: 81740 6424 397 364 0 16615 0
[pid=15714] ppid=15712 vsize=118860 CPUtime=50.57 cores=1,3,5,7
/proc/15714/stat : 15714 (scip-2.0.1.linu) T 15712 15714 15714 0 -1 4202496 28579 0 0 0 5028 29 0 0 25 0 1 0 947950207 121712640 26447 33554432000 4194304 15243407 140737144607488 18446744073709551615 8113554 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/15714/statm: 29715 26447 925 2698 0 27010 0
[pid=15712/tid=15720] ppid=15575 vsize=326960 CPUtime=0 cores=1,3,5,7
/proc/15712/task/15720/stat : 15720 (python) S 15575 15575 14716 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 947955264 334807040 6424 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000416177 0 0 16781312 33554946 18446604464298960128 0 0 -1 7 0 0 0
[pid=15721] ppid=15575 vsize=337216 CPUtime=0 cores=1,3,5,7
/proc/15721/stat : 15721 (python) S 15575 15575 14716 0 -1 4202560 822 0 0 0 0 0 0 0 15 0 1 0 947955266 345309184 6379 33554432000 4194304 5683644 140734384513856 18446744073709551615 215988612678 0 0 16781312 33554946 3740214639850422272 0 0 17 5 0 0 0
/proc/15721/statm: 84304 6379 349 364 0 19176 0
[pid=15723] ppid=15721 vsize=8602840 CPUtime=0.82 cores=1,3,5,7
/proc/15723/stat : 15723 (java) S 15721 15723 15723 0 -1 4202496 16641 0 1 0 79 3 0 0 20 0 19 0 947955267 8809308160 14863 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15723/statm: 2150710 14863 2212 9 0 2141451 0
[pid=15723/tid=15724] ppid=15721 vsize=8602840 CPUtime=0.43 cores=1,3,5,7
/proc/15723/task/15724/stat : 15724 (java) R 15721 15723 15723 0 -1 4202560 11044 0 1 0 41 2 0 0 25 0 19 0 947955268 8809308160 14980 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 46912505566788 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15723/tid=15725] ppid=15721 vsize=8602840 CPUtime=0 cores=1,3,5,7
/proc/15723/task/15725/stat : 15725 (java) S 15721 15723 15723 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947955268 8809308160 14980 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 216000408473 0 4 0 16800975 18446604460380007488 0 0 -1 1 0 0 0
[pid=15723/tid=15726] ppid=15721 vsize=8602840 CPUtime=0 cores=1,3,5,7
/proc/15723/task/15726/stat : 15726 (java) S 15721 15723 15723 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947955268 8809308160 14980 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 216000408473 0 4 0 16800975 18446604460380007488 0 0 -1 1 0 0 0
[pid=15723/tid=15727] ppid=15721 vsize=8602840 CPUtime=0 cores=1,3,5,7
/proc/15723/task/15727/stat : 15727 (java) S 15721 15723 15723 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947955268 8809308160 14980 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 216000408473 0 4 0 16800975 18446604460380007488 0 0 -1 1 0 0 0
[pid=15723/tid=15728] ppid=15721 vsize=8602840 CPUtime=0 cores=1,3,5,7
/proc/15723/task/15728/stat : 15728 (java) S 15721 15723 15723 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947955268 8809308160 14981 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 216000408473 0 4 0 16800975 18446604460380007488 0 0 -1 3 0 0 0
[pid=15723/tid=15729] ppid=15721 vsize=8602840 CPUtime=0 cores=1,3,5,7
/proc/15723/task/15729/stat : 15729 (java) S 15721 15723 15723 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947955268 8809308160 14981 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 216000408473 0 4 0 16800975 18446604460380007488 0 0 -1 3 0 0 0
[pid=15723/tid=15730] ppid=15721 vsize=8602840 CPUtime=0 cores=1,3,5,7
/proc/15723/task/15730/stat : 15730 (java) S 15721 15723 15723 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947955268 8809308160 14981 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 216000408473 0 4 0 16800975 18446604460380007488 0 0 -1 3 0 0 0
[pid=15723/tid=15731] ppid=15721 vsize=8602840 CPUtime=0 cores=1,3,5,7
/proc/15723/task/15731/stat : 15731 (java) S 15721 15723 15723 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947955268 8809308160 14981 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 216000408473 0 4 0 16800975 18446604460380007488 0 0 -1 3 0 0 0
[pid=15723/tid=15732] ppid=15721 vsize=8602840 CPUtime=0 cores=1,3,5,7
/proc/15723/task/15732/stat : 15732 (java) S 15721 15723 15723 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947955268 8809308160 14982 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 216000408473 0 4 0 16800975 18446604460380007488 0 0 -1 3 0 0 0
[pid=15723/tid=15733] ppid=15721 vsize=8602840 CPUtime=0 cores=1,3,5,7
/proc/15723/task/15733/stat : 15733 (java) S 15721 15723 15723 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947955269 8809308160 14982 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 216000409088 0 0 0 16800975 18446604460380007488 0 0 -1 1 0 0 0
[pid=15723/tid=15734] ppid=15721 vsize=8602840 CPUtime=0 cores=1,3,5,7
/proc/15723/task/15734/stat : 15734 (java) S 15721 15723 15723 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947955270 8809308160 14982 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 216000408473 0 4 0 16800975 18446604460380007488 0 0 -1 1 0 0 0
[pid=15723/tid=15735] ppid=15721 vsize=8602840 CPUtime=0 cores=1,3,5,7
/proc/15723/task/15735/stat : 15735 (java) S 15721 15723 15723 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947955270 8809308160 14982 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 216000408473 0 4 0 16800975 18446604460380007488 0 0 -1 1 0 0 0
[pid=15723/tid=15736] ppid=15721 vsize=8602840 CPUtime=0 cores=1,3,5,7
/proc/15723/task/15736/stat : 15736 (java) S 15721 15723 15723 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947955272 8809308160 14983 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 216000416177 0 4 0 16800975 18446604460380007488 0 0 -1 1 0 0 0
[pid=15723/tid=15737] ppid=15721 vsize=8602840 CPUtime=0.21 cores=1,3,5,7
/proc/15723/task/15737/stat : 15737 (java) R 15721 15723 15723 0 -1 4202560 2263 0 0 0 21 0 0 0 25 0 19 0 947955272 8809308160 14983 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 46929063105955 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15723/tid=15738] ppid=15721 vsize=8602840 CPUtime=0.17 cores=1,3,5,7
/proc/15723/task/15738/stat : 15738 (java) R 15721 15723 15723 0 -1 4202560 2049 0 0 0 17 0 0 0 25 0 19 0 947955272 8809308160 14983 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 46929061864423 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15723/tid=15739] ppid=15721 vsize=8602840 CPUtime=0 cores=1,3,5,7
/proc/15723/task/15739/stat : 15739 (java) S 15721 15723 15723 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947955272 8809308160 14983 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 216000408473 0 4 0 16800975 18446604460380007488 0 0 -1 1 0 0 0
[pid=15723/tid=15740] ppid=15721 vsize=8602840 CPUtime=0 cores=1,3,5,7
/proc/15723/task/15740/stat : 15740 (java) R 15721 15723 15723 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947955272 8809308160 14984 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 216000409088 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15723/tid=15741] ppid=15721 vsize=8602840 CPUtime=0 cores=1,3,5,7
/proc/15723/task/15741/stat : 15741 (java) S 15721 15723 15723 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947955309 8809308160 14984 33554432000 1073741824 1073778376 140734789900944 18446744073709551615 216000409088 0 4 0 16800975 18446604460380007488 0 0 -1 1 0 0 0
[pid=15575/tid=15582] ppid=15573 vsize=347460 CPUtime=0 cores=1,3,5,7
/proc/15575/task/15582/stat : 15582 (python) S 15573 15575 14716 0 -1 4202560 31 932 0 0 0 0 0 0 18 0 7 0 947921735 355799040 7915 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669252608 0 0 -1 5 0 0 0
[pid=15575/tid=15609] ppid=15573 vsize=347460 CPUtime=0 cores=1,3,5,7
/proc/15575/task/15609/stat : 15609 (python) S 15573 15575 14716 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 7 0 947926274 355799040 7915 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669252608 0 0 -1 3 0 0 0
[pid=15575/tid=15697] ppid=15573 vsize=347460 CPUtime=0 cores=1,3,5,7
/proc/15575/task/15697/stat : 15697 (python) S 15573 15575 14716 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 7 0 947935858 355799040 7915 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669252608 0 0 -1 3 0 0 0
[pid=15575/tid=15703] ppid=15573 vsize=347460 CPUtime=0 cores=1,3,5,7
/proc/15575/task/15703/stat : 15703 (python) S 15573 15575 14716 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 7 0 947940998 355799040 7915 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669252608 0 0 -1 5 0 0 0
[pid=15575/tid=15713] ppid=15573 vsize=347460 CPUtime=0 cores=1,3,5,7
/proc/15575/task/15713/stat : 15713 (python) S 15573 15575 14716 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 7 0 947950206 355799040 7915 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669252608 0 0 -1 5 0 0 0
[pid=15575/tid=15722] ppid=15573 vsize=347460 CPUtime=0 cores=1,3,5,7
/proc/15575/task/15722/stat : 15722 (python) S 15573 15575 14716 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 7 0 947955267 355799040 7915 33554432000 4194304 5683644 140734384513856 18446744073709551615 216000416177 0 0 16781312 33554434 18446604468669252608 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 339.9
Current children cumulated vsize (KiB) 19730700
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 15575 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=653900
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=170974
# CPU time returned by wait4() is 0.824874
# while last known CPU time is 339.9
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 336.692
CPU time (s): 339.9
CPU user time (s): 335.38
CPU system time (s): 4.52
CPU usage (%): 100.953
Max. virtual memory (cumulated for all children) (KiB): 19730700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.6539
system time used= 0.170974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16207
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= 2567
involuntary context switches= 21
runsolver used 2.09468 second user time and 4.66429 second system time
The end