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-3481598-1307578457/watcher-3481598-1307578457 -o /tmp/evaluation-result-3481598-1307578457/solver-3481598-1307578457 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481598-1307578457.opb -seed 1305617703 -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.44 2.22 1.92 3/630 4695
/proc/meminfo: memFree=12011080/32951124 swapFree=67057920/67111528
[pid=4695] ppid=4693 vsize=15912 CPUtime=0 cores=0,2,4,6
/proc/4695/stat : 4695 (python) S 4693 4695 2733 0 -1 4202496 958 0 0 0 0 0 0 0 25 0 1 0 850261130 16293888 834 33554432000 4194304 5683644 140735317436672 18446744073709551615 254261614592 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/4695/statm: 3978 834 357 364 0 465 0
[startup+0.0223289 s]
/proc/loadavg: 2.44 2.22 1.92 3/630 4695
/proc/meminfo: memFree=12011080/32951124 swapFree=67057920/67111528
[pid=4695] ppid=4693 vsize=16400 CPUtime=0.01 cores=0,2,4,6
/proc/4695/stat : 4695 (python) R 4693 4695 2733 0 -1 4202496 1148 0 0 0 1 0 0 0 25 0 1 0 850261130 16793600 1014 33554432000 4194304 5683644 140735317436672 18446744073709551615 4623805 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4695/statm: 4100 1015 413 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400
[startup+0.100343 s]
/proc/loadavg: 2.44 2.22 1.92 3/630 4695
/proc/meminfo: memFree=12011080/32951124 swapFree=67057920/67111528
[pid=4695] ppid=4693 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/4695/stat : 4695 (python) R 4693 4695 2733 0 -1 4202496 3169 928 1 0 5 3 0 0 18 0 1 0 850261130 98435072 2483 33554432000 4194304 5683644 140735317436672 18446744073709551615 5168736 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4695/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.300297 s]
/proc/loadavg: 2.44 2.22 1.92 3/630 4695
/proc/meminfo: memFree=12011080/32951124 swapFree=67057920/67111528
[pid=4695] ppid=4693 vsize=202996 CPUtime=0.23 cores=0,2,4,6
/proc/4695/stat : 4695 (python) R 4693 4695 2733 0 -1 4202496 6700 928 1 0 16 7 0 0 17 0 1 0 850261130 207867904 4981 33554432000 4194304 5683644 140735317436672 18446744073709551615 254261614592 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4695/statm: 50749 4981 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202996
[startup+0.700173 s]
/proc/loadavg: 2.44 2.22 1.92 3/630 4695
/proc/meminfo: memFree=12011080/32951124 swapFree=67057920/67111528
[pid=4695] ppid=4693 vsize=293756 CPUtime=0.49 cores=0,2,4,6
/proc/4695/stat : 4695 (python) S 4693 4695 2733 0 -1 4202496 10895 1331 1 0 36 12 1 0 20 0 2 0 850261130 300806144 7280 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4695/statm: 73439 7280 1871 364 0 8326 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 293756
[startup+1.50109 s]
/proc/loadavg: 2.44 2.22 1.92 3/634 4704
/proc/meminfo: memFree=11952644/32951124 swapFree=67057920/67111528
[pid=4695] ppid=4693 vsize=293756 CPUtime=0.49 cores=0,2,4,6
/proc/4695/stat : 4695 (python) S 4693 4695 2733 0 -1 4202496 10895 1331 1 0 36 12 1 0 20 0 2 0 850261130 300806144 7280 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4695/statm: 73439 7280 1871 364 0 8326 0
[pid=4702] ppid=4695 vsize=283512 CPUtime=0 cores=0,2,4,6
/proc/4702/stat : 4702 (python) S 4695 4695 2733 0 -1 4202560 806 0 0 0 0 0 0 0 15 0 1 0 850261188 290316288 5731 33554432000 4194304 5683644 140735317436672 18446744073709551615 254261636623 0 0 16781312 33554946 6211385315542663428 0 0 17 4 0 0 0
/proc/4702/statm: 70878 5731 325 364 0 5765 0
[pid=4704] ppid=4702 vsize=55604 CPUtime=0.91 cores=0,2,4,6
/proc/4704/stat : 4704 (scip-2.0.1.linu) R 4702 4704 4704 0 -1 4202496 12026 0 0 0 83 8 0 0 18 0 1 0 850261188 56938496 11337 33554432000 4194304 13684479 140735052590512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4704/statm: 13901 11337 800 2317 0 11579 0
[pid=4695/tid=4703] ppid=4693 vsize=293756 CPUtime=0.01 cores=0,2,4,6
/proc/4695/task/4703/stat : 4703 (python) S 4693 4695 2733 0 -1 4202560 27 1331 0 0 0 0 1 0 20 0 2 0 850261188 300806144 7280 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441447503744 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 632872
[startup+3.10081 s]
/proc/loadavg: 2.44 2.22 1.92 3/634 4704
/proc/meminfo: memFree=11952644/32951124 swapFree=67057920/67111528
[pid=4695] ppid=4693 vsize=293756 CPUtime=0.49 cores=0,2,4,6
/proc/4695/stat : 4695 (python) S 4693 4695 2733 0 -1 4202496 10895 1331 1 0 36 12 1 0 20 0 2 0 850261130 300806144 7280 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4695/statm: 73439 7280 1871 364 0 8326 0
[pid=4702] ppid=4695 vsize=283512 CPUtime=0 cores=0,2,4,6
/proc/4702/stat : 4702 (python) S 4695 4695 2733 0 -1 4202560 812 0 0 0 0 0 0 0 15 0 1 0 850261188 290316288 5732 33554432000 4194304 5683644 140735317436672 18446744073709551615 254261636623 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/4702/statm: 70878 5732 325 364 0 5765 0
[pid=4704] ppid=4702 vsize=55604 CPUtime=2.51 cores=0,2,4,6
/proc/4704/stat : 4704 (scip-2.0.1.linu) R 4702 4704 4704 0 -1 4202496 12050 0 0 0 242 9 0 0 18 0 1 0 850261188 56938496 11361 33554432000 4194304 13684479 140735052590512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4704/statm: 13901 11361 819 2317 0 11579 0
[pid=4695/tid=4703] ppid=4693 vsize=293756 CPUtime=0.01 cores=0,2,4,6
/proc/4695/task/4703/stat : 4703 (python) S 4693 4695 2733 0 -1 4202560 27 1331 0 0 0 0 1 0 20 0 2 0 850261188 300806144 7280 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441447503744 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 632872
[startup+6.30125 s]
/proc/loadavg: 2.73 2.28 1.94 3/634 4704
/proc/meminfo: memFree=11943716/32951124 swapFree=67057920/67111528
[pid=4695] ppid=4693 vsize=293756 CPUtime=0.49 cores=0,2,4,6
/proc/4695/stat : 4695 (python) S 4693 4695 2733 0 -1 4202496 10895 1331 1 0 36 12 1 0 20 0 2 0 850261130 300806144 7280 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4695/statm: 73439 7280 1871 364 0 8326 0
[pid=4702] ppid=4695 vsize=283512 CPUtime=0.01 cores=0,2,4,6
/proc/4702/stat : 4702 (python) S 4695 4695 2733 0 -1 4202560 946 0 0 0 1 0 0 0 16 0 1 0 850261188 290316288 5755 33554432000 4194304 5683644 140735317436672 18446744073709551615 254261636623 0 0 16781312 33554946 3749477265105223680 0 0 17 4 0 0 0
/proc/4702/statm: 70878 5755 348 364 0 5765 0
[pid=4704] ppid=4702 vsize=55992 CPUtime=5.71 cores=0,2,4,6
/proc/4704/stat : 4704 (scip-2.0.1.linu) R 4702 4704 4704 0 -1 4202496 13277 0 0 0 560 11 0 0 19 0 1 0 850261188 57335808 11851 33554432000 4194304 13684479 140735052590512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4704/statm: 13998 11851 823 2317 0 11676 0
[pid=4695/tid=4703] ppid=4693 vsize=293756 CPUtime=0.01 cores=0,2,4,6
/proc/4695/task/4703/stat : 4703 (python) S 4693 4695 2733 0 -1 4202560 27 1331 0 0 0 0 1 0 20 0 2 0 850261188 300806144 7280 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441447503744 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 633260
[startup+12.7011 s]
/proc/loadavg: 2.67 2.28 1.94 3/634 4704
/proc/meminfo: memFree=11939520/32951124 swapFree=67057920/67111528
[pid=4695] ppid=4693 vsize=293756 CPUtime=0.49 cores=0,2,4,6
/proc/4695/stat : 4695 (python) S 4693 4695 2733 0 -1 4202496 10895 1331 1 0 36 12 1 0 20 0 2 0 850261130 300806144 7280 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4695/statm: 73439 7280 1871 364 0 8326 0
[pid=4702] ppid=4695 vsize=283512 CPUtime=0.04 cores=0,2,4,6
/proc/4702/stat : 4702 (python) S 4695 4695 2733 0 -1 4202560 948 0 0 0 2 2 0 0 15 0 1 0 850261188 290316288 5755 33554432000 4194304 5683644 140735317436672 18446744073709551615 254261636623 0 0 16781312 33554946 72409437758827288 0 0 17 4 0 0 0
/proc/4702/statm: 70878 5755 348 364 0 5765 0
[pid=4704] ppid=4702 vsize=55992 CPUtime=12.11 cores=0,2,4,6
/proc/4704/stat : 4704 (scip-2.0.1.linu) R 4702 4704 4704 0 -1 4202496 13277 0 0 0 1197 14 0 0 25 0 1 0 850261188 57335808 11851 33554432000 4194304 13684479 140735052590512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4704/statm: 13998 11851 823 2317 0 11676 0
[pid=4695/tid=4703] ppid=4693 vsize=293756 CPUtime=0.01 cores=0,2,4,6
/proc/4695/task/4703/stat : 4703 (python) S 4693 4695 2733 0 -1 4202560 27 1331 0 0 0 0 1 0 20 0 2 0 850261188 300806144 7280 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441447503744 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 633260
[startup+25.5009 s]
/proc/loadavg: 2.59 2.28 1.95 3/634 4704
/proc/meminfo: memFree=11930104/32951124 swapFree=67057920/67111528
[pid=4695] ppid=4693 vsize=293756 CPUtime=0.49 cores=0,2,4,6
/proc/4695/stat : 4695 (python) S 4693 4695 2733 0 -1 4202496 10895 1331 1 0 36 12 1 0 20 0 2 0 850261130 300806144 7280 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4695/statm: 73439 7280 1871 364 0 8326 0
[pid=4702] ppid=4695 vsize=283512 CPUtime=0.09 cores=0,2,4,6
/proc/4702/stat : 4702 (python) S 4695 4695 2733 0 -1 4202560 956 0 0 0 4 5 0 0 15 0 1 0 850261188 290316288 5755 33554432000 4194304 5683644 140735317436672 18446744073709551615 254261636623 0 0 16781312 33554946 72556772316949272 0 0 17 6 0 0 0
/proc/4702/statm: 70878 5755 348 364 0 5765 0
[pid=4704] ppid=4702 vsize=55992 CPUtime=24.91 cores=0,2,4,6
/proc/4704/stat : 4704 (scip-2.0.1.linu) R 4702 4704 4704 0 -1 4202496 13280 0 0 0 2468 23 0 0 25 0 1 0 850261188 57335808 11854 33554432000 4194304 13684479 140735052590512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4704/statm: 13998 11854 826 2317 0 11676 0
[pid=4695/tid=4703] ppid=4693 vsize=293756 CPUtime=0.01 cores=0,2,4,6
/proc/4695/task/4703/stat : 4703 (python) S 4693 4695 2733 0 -1 4202560 27 1331 0 0 0 0 1 0 20 0 2 0 850261188 300806144 7280 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441447503744 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 633260
[startup+51.1013 s]
/proc/loadavg: 2.69 2.32 1.97 3/642 4713
/proc/meminfo: memFree=11828516/32951124 swapFree=67057920/67111528
[pid=4695] ppid=4693 vsize=304468 CPUtime=0.51 cores=0,2,4,6
/proc/4695/stat : 4695 (python) S 4693 4695 2733 0 -1 4202496 11704 1331 1 0 38 12 1 0 20 0 3 0 850261130 311775232 7399 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4695/statm: 76117 7399 1874 364 0 11001 0
[pid=4702] ppid=4695 vsize=293756 CPUtime=0.19 cores=0,2,4,6
/proc/4702/stat : 4702 (python) S 4695 4695 2733 0 -1 4202560 1165 0 0 0 9 10 0 0 16 0 2 0 850261188 300806144 5823 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4702/statm: 73439 5823 411 364 0 8326 0
[pid=4704] ppid=4702 vsize=55992 CPUtime=48.24 cores=0,2,4,6
/proc/4704/stat : 4704 (scip-2.0.1.linu) T 4702 4704 4704 0 -1 4202496 13284 0 0 0 4781 43 0 0 25 0 1 0 850261188 57335808 11858 33554432000 4194304 13684479 140735052590512 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4704/statm: 13998 11858 829 2317 0 11676 0
[pid=4702/tid=4710] ppid=4695 vsize=293756 CPUtime=0 cores=0,2,4,6
/proc/4702/task/4710/stat : 4710 (python) S 4695 4695 2733 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850266013 300806144 5823 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554946 18446604453375880064 0 0 -1 6 0 0 0
[pid=4711] ppid=4695 vsize=294224 CPUtime=0 cores=0,2,4,6
/proc/4711/stat : 4711 (python) S 4695 4695 2733 0 -1 4202560 781 0 0 0 0 0 0 0 17 0 1 0 850266016 301285376 5841 33554432000 4194304 5683644 140735317436672 18446744073709551615 254261636678 0 0 16781312 33554946 3019702127548170240 0 0 17 0 0 0 0
/proc/4711/statm: 73556 5841 320 364 0 8440 0
[pid=4713] ppid=4711 vsize=35856 CPUtime=2.23 cores=0,2,4,6
/proc/4713/stat : 4713 (scip-2.0.1.linu) R 4711 4713 4713 0 -1 4202496 6776 0 0 0 215 8 0 0 25 0 1 0 850266016 36716544 6134 33554432000 4194304 15243407 140736446062432 18446744073709551615 6052495 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/4713/statm: 8964 6134 831 2698 0 6259 0
[pid=4695/tid=4703] ppid=4693 vsize=304468 CPUtime=0.01 cores=0,2,4,6
/proc/4695/task/4703/stat : 4703 (python) S 4693 4695 2733 0 -1 4202560 27 1331 0 0 0 0 1 0 20 0 3 0 850261188 311775232 7399 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441447503744 0 0 -1 4 0 0 0
[pid=4695/tid=4712] ppid=4693 vsize=304468 CPUtime=0.01 cores=0,2,4,6
/proc/4695/task/4712/stat : 4712 (python) S 4693 4695 2733 0 -1 4202560 29 1331 0 0 0 0 1 0 20 0 3 0 850266016 311775232 7399 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441447503744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 984296
[startup+102.32 s]
/proc/loadavg: 2.32 2.28 1.97 3/668 4740
/proc/meminfo: memFree=11314664/32951124 swapFree=67057920/67111528
[pid=4695] ppid=4693 vsize=314724 CPUtime=0.54 cores=0,2,4,6
/proc/4695/stat : 4695 (python) S 4693 4695 2733 0 -1 4202496 12574 1331 1 0 41 12 1 0 20 0 4 0 850261130 322277376 7422 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4695/statm: 78681 7422 1876 364 0 13562 0
[pid=4702] ppid=4695 vsize=293756 CPUtime=0.19 cores=0,2,4,6
/proc/4702/stat : 4702 (python) S 4695 4695 2733 0 -1 4202560 1165 0 0 0 9 10 0 0 16 0 2 0 850261188 300806144 5823 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4702/statm: 73439 5823 411 364 0 8326 0
[pid=4704] ppid=4702 vsize=55992 CPUtime=48.24 cores=0,2,4,6
/proc/4704/stat : 4704 (scip-2.0.1.linu) T 4702 4704 4704 0 -1 4202496 13284 0 0 0 4781 43 0 0 25 0 1 0 850261188 57335808 11858 33554432000 4194304 13684479 140735052590512 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4704/statm: 13998 11858 829 2317 0 11676 0
[pid=4702/tid=4710] ppid=4695 vsize=293756 CPUtime=0 cores=0,2,4,6
/proc/4702/task/4710/stat : 4710 (python) S 4695 4695 2733 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850266013 300806144 5823 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554946 18446604453375880064 0 0 -1 6 0 0 0
[pid=4711] ppid=4695 vsize=294224 CPUtime=0.21 cores=0,2,4,6
/proc/4711/stat : 4711 (python) S 4695 4695 2733 0 -1 4202560 1132 0 0 0 10 11 0 0 17 0 2 0 850266016 301285376 5913 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4711/statm: 73556 5913 391 364 0 8440 0
[pid=4713] ppid=4711 vsize=65812 CPUtime=46.28 cores=0,2,4,6
/proc/4713/stat : 4713 (scip-2.0.1.linu) T 4711 4713 4713 0 -1 4202496 31639 0 0 0 4604 24 0 0 25 0 1 0 850266016 67391488 13741 33554432000 4194304 15243407 140736446062432 18446744073709551615 8046934 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/4713/statm: 16453 13741 950 2698 0 13748 0
[pid=4711/tid=4719] ppid=4695 vsize=294224 CPUtime=0 cores=0,2,4,6
/proc/4711/task/4719/stat : 4719 (python) S 4695 4695 2733 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 850270648 301285376 5913 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554946 18446604442322036032 0 0 -1 6 0 0 0
[pid=4720] ppid=4695 vsize=304480 CPUtime=0.02 cores=0,2,4,6
/proc/4720/stat : 4720 (python) S 4695 4695 2733 0 -1 4202560 906 0 0 0 1 1 0 0 15 0 1 0 850270650 311787520 5886 33554432000 4194304 5683644 140735317436672 18446744073709551615 254261636678 0 0 16781312 33554946 4294934785 0 0 17 0 0 0 0
################
# More data... #
################
[pid=4722/tid=4731] ppid=4720 vsize=8541016 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4731/stat : 4731 (java) S 4720 4722 4722 0 -1 4202560 412 0 0 0 0 0 0 0 15 0 19 0 850270652 8746000384 40896 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446604448574877760 0 0 -1 6 0 0 0
[pid=4722/tid=4732] ppid=4720 vsize=8541016 CPUtime=0.04 cores=0,2,4,6
/proc/4722/task/4732/stat : 4732 (java) S 4720 4722 4722 0 -1 4202560 895 0 0 0 4 0 0 0 16 0 19 0 850270653 8746000384 40896 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273433088 0 0 0 16800975 18446604448574877760 0 0 -1 4 0 0 0
[pid=4722/tid=4733] ppid=4720 vsize=8541016 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4733/stat : 4733 (java) S 4720 4722 4722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850270654 8746000384 40896 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446604448574877760 0 0 -1 4 0 0 0
[pid=4722/tid=4734] ppid=4720 vsize=8541016 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4734/stat : 4734 (java) S 4720 4722 4722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850270654 8746000384 40896 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446604448574877760 0 0 -1 4 0 0 0
[pid=4722/tid=4735] ppid=4720 vsize=8541016 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4735/stat : 4735 (java) S 4720 4722 4722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850270656 8746000384 40896 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273440177 0 4 0 16800975 18446604448574877760 0 0 -1 4 0 0 0
[pid=4722/tid=4736] ppid=4720 vsize=8541016 CPUtime=0.29 cores=0,2,4,6
/proc/4722/task/4736/stat : 4736 (java) S 4720 4722 4722 0 -1 4202560 2056 0 0 0 29 0 0 0 15 0 19 0 850270656 8746000384 40896 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446604448574877760 0 0 -1 0 0 0 0
[pid=4722/tid=4737] ppid=4720 vsize=8541016 CPUtime=0.31 cores=0,2,4,6
/proc/4722/task/4737/stat : 4737 (java) S 4720 4722 4722 0 -1 4202560 2564 0 0 0 31 0 0 0 15 0 19 0 850270656 8746000384 40896 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446604448574877760 0 0 -1 6 0 0 0
[pid=4722/tid=4738] ppid=4720 vsize=8541016 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4738/stat : 4738 (java) S 4720 4722 4722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850270656 8746000384 40896 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446604448574877760 0 0 -1 4 0 0 0
[pid=4722/tid=4739] ppid=4720 vsize=8541016 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4739/stat : 4739 (java) S 4720 4722 4722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850270656 8746000384 40896 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273433088 0 4 0 16800975 18446604448574877760 0 0 -1 6 0 0 0
[pid=4722/tid=4740] ppid=4720 vsize=8541016 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4740/stat : 4740 (java) S 4720 4722 4722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850270679 8746000384 40896 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273433088 0 4 0 16800975 18446604448574877760 0 0 -1 0 0 0 0
[pid=4695/tid=4703] ppid=4693 vsize=314724 CPUtime=0.01 cores=0,2,4,6
/proc/4695/task/4703/stat : 4703 (python) S 4693 4695 2733 0 -1 4202560 27 1331 0 0 0 0 1 0 20 0 4 0 850261188 322277376 7422 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441447503744 0 0 -1 4 0 0 0
[pid=4695/tid=4712] ppid=4693 vsize=314724 CPUtime=0.01 cores=0,2,4,6
/proc/4695/task/4712/stat : 4712 (python) S 4693 4695 2733 0 -1 4202560 29 1331 0 0 0 0 1 0 20 0 4 0 850266016 322277376 7422 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441447503744 0 0 -1 0 0 0 0
[pid=4695/tid=4721] ppid=4693 vsize=314724 CPUtime=0.01 cores=0,2,4,6
/proc/4695/task/4721/stat : 4721 (python) S 4693 4695 2733 0 -1 4202560 29 1331 0 0 0 0 1 0 20 0 4 0 850270650 322277376 7422 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441447503744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 103.21
Current children cumulated vsize (KiB) 9870004
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+142.901 s]
/proc/loadavg: 2.16 2.24 1.97 5/712 4785
/proc/meminfo: memFree=10110472/32951124 swapFree=67057920/67111528
[pid=4695] ppid=4693 vsize=325120 CPUtime=0.57 cores=0,2,4,6
/proc/4695/stat : 4695 (python) S 4693 4695 2733 0 -1 4202496 13493 1331 1 0 43 13 1 0 20 0 5 0 850261130 332922880 7446 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4695/statm: 81280 7446 1878 364 0 16158 0
[pid=4702] ppid=4695 vsize=293756 CPUtime=0.19 cores=0,2,4,6
/proc/4702/stat : 4702 (python) S 4695 4695 2733 0 -1 4202560 1165 0 0 0 9 10 0 0 16 0 2 0 850261188 300806144 5823 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4702/statm: 73439 5823 411 364 0 8326 0
[pid=4704] ppid=4702 vsize=55992 CPUtime=48.24 cores=0,2,4,6
/proc/4704/stat : 4704 (scip-2.0.1.linu) T 4702 4704 4704 0 -1 4202496 13284 0 0 0 4781 43 0 0 25 0 1 0 850261188 57335808 11858 33554432000 4194304 13684479 140735052590512 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4704/statm: 13998 11858 829 2317 0 11676 0
[pid=4702/tid=4710] ppid=4695 vsize=293756 CPUtime=0 cores=0,2,4,6
/proc/4702/task/4710/stat : 4710 (python) S 4695 4695 2733 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850266013 300806144 5823 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554946 18446604453375880064 0 0 -1 6 0 0 0
[pid=4711] ppid=4695 vsize=294224 CPUtime=0.21 cores=0,2,4,6
/proc/4711/stat : 4711 (python) S 4695 4695 2733 0 -1 4202560 1132 0 0 0 10 11 0 0 17 0 2 0 850266016 301285376 5913 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4711/statm: 73556 5913 391 364 0 8440 0
[pid=4713] ppid=4711 vsize=65812 CPUtime=46.28 cores=0,2,4,6
/proc/4713/stat : 4713 (scip-2.0.1.linu) T 4711 4713 4713 0 -1 4202496 31639 0 0 0 4604 24 0 0 25 0 1 0 850266016 67391488 13741 33554432000 4194304 15243407 140736446062432 18446744073709551615 8046934 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/4713/statm: 16453 13741 950 2698 0 13748 0
[pid=4711/tid=4719] ppid=4695 vsize=294224 CPUtime=0 cores=0,2,4,6
/proc/4711/task/4719/stat : 4719 (python) S 4695 4695 2733 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 850270648 301285376 5913 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554946 18446604442322036032 0 0 -1 6 0 0 0
[pid=4720] ppid=4695 vsize=304480 CPUtime=0.23 cores=0,2,4,6
/proc/4720/stat : 4720 (python) S 4695 4695 2733 0 -1 4202560 1115 0 0 0 12 11 0 0 17 0 2 0 850270650 311787520 5934 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4720/statm: 76120 5934 391 364 0 11001 0
[pid=4722] ppid=4720 vsize=8541016 CPUtime=47.78 cores=0,2,4,6
/proc/4722/stat : 4722 (java) T 4720 4722 4722 0 -1 4202496 50006 0 1 0 4770 8 0 0 18 0 19 0 850270651 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4722/statm: 2135254 30877 2254 9 0 2125995 0
[pid=4722/tid=4723] ppid=4720 vsize=8541016 CPUtime=46.44 cores=0,2,4,6
/proc/4722/task/4723/stat : 4723 (java) T 4720 4722 4722 0 -1 4202560 35375 0 1 0 4640 4 0 0 25 0 19 0 850270652 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4722/tid=4724] ppid=4720 vsize=8541016 CPUtime=0.04 cores=0,2,4,6
/proc/4722/task/4724/stat : 4724 (java) T 4720 4722 4722 0 -1 4202560 838 0 0 0 4 0 0 0 16 0 19 0 850270652 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4722/tid=4725] ppid=4720 vsize=8541016 CPUtime=0.05 cores=0,2,4,6
/proc/4722/task/4725/stat : 4725 (java) T 4720 4722 4722 0 -1 4202560 830 0 0 0 5 0 0 0 15 0 19 0 850270652 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4722/tid=4726] ppid=4720 vsize=8541016 CPUtime=0.04 cores=0,2,4,6
/proc/4722/task/4726/stat : 4726 (java) T 4720 4722 4722 0 -1 4202560 977 0 0 0 4 0 0 0 16 0 19 0 850270652 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4722/tid=4727] ppid=4720 vsize=8541016 CPUtime=0.05 cores=0,2,4,6
/proc/4722/task/4727/stat : 4727 (java) T 4720 4722 4722 0 -1 4202560 1375 0 0 0 5 0 0 0 16 0 19 0 850270652 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4722/tid=4728] ppid=4720 vsize=8541016 CPUtime=0.05 cores=0,2,4,6
/proc/4722/task/4728/stat : 4728 (java) T 4720 4722 4722 0 -1 4202560 644 0 0 0 5 0 0 0 16 0 19 0 850270652 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273442485 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4722/tid=4729] ppid=4720 vsize=8541016 CPUtime=0.03 cores=0,2,4,6
/proc/4722/task/4729/stat : 4729 (java) T 4720 4722 4722 0 -1 4202560 276 0 0 0 3 0 0 0 16 0 19 0 850270652 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4722/tid=4730] ppid=4720 vsize=8541016 CPUtime=0.03 cores=0,2,4,6
/proc/4722/task/4730/stat : 4730 (java) T 4720 4722 4722 0 -1 4202560 933 0 0 0 3 0 0 0 15 0 19 0 850270652 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4722/tid=4731] ppid=4720 vsize=8541016 CPUtime=0.04 cores=0,2,4,6
/proc/4722/task/4731/stat : 4731 (java) T 4720 4722 4722 0 -1 4202560 1274 0 0 0 4 0 0 0 16 0 19 0 850270652 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4722/tid=4732] ppid=4720 vsize=8541016 CPUtime=0.29 cores=0,2,4,6
/proc/4722/task/4732/stat : 4732 (java) T 4720 4722 4722 0 -1 4202560 1469 0 0 0 29 0 0 0 15 0 19 0 850270653 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 47012319975151 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4722/tid=4733] ppid=4720 vsize=8541016 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4733/stat : 4733 (java) T 4720 4722 4722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850270654 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4722/tid=4734] ppid=4720 vsize=8541016 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4734/stat : 4734 (java) T 4720 4722 4722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850270654 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4722/tid=4735] ppid=4720 vsize=8541016 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4735/stat : 4735 (java) T 4720 4722 4722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850270656 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273440177 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4722/tid=4736] ppid=4720 vsize=8541016 CPUtime=0.29 cores=0,2,4,6
/proc/4722/task/4736/stat : 4736 (java) T 4720 4722 4722 0 -1 4202560 2056 0 0 0 29 0 0 0 15 0 19 0 850270656 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4722/tid=4737] ppid=4720 vsize=8541016 CPUtime=0.32 cores=0,2,4,6
/proc/4722/task/4737/stat : 4737 (java) T 4720 4722 4722 0 -1 4202560 2564 0 0 0 32 0 0 0 15 0 19 0 850270656 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4722/tid=4738] ppid=4720 vsize=8541016 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4738/stat : 4738 (java) T 4720 4722 4722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850270656 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4722/tid=4739] ppid=4720 vsize=8541016 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4739/stat : 4739 (java) T 4720 4722 4722 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 850270656 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273433088 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4722/tid=4740] ppid=4720 vsize=8541016 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4740/stat : 4740 (java) T 4720 4722 4722 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850270679 8746000384 30877 33554432000 1073741824 1073778376 140733349662080 18446744073709551615 254273433088 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4720/tid=4764] ppid=4695 vsize=304480 CPUtime=0 cores=0,2,4,6
/proc/4720/task/4764/stat : 4764 (python) S 4695 4695 2733 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850275349 311787520 5934 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554946 18446604442335200320 0 0 -1 6 0 0 0
[pid=4765] ppid=4695 vsize=314876 CPUtime=0 cores=0,2,4,6
/proc/4765/stat : 4765 (python) S 4695 4695 2733 0 -1 4202560 789 0 0 0 0 0 0 0 15 0 1 0 850275351 322433024 5884 33554432000 4194304 5683644 140735317436672 18446744073709551615 254261636678 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/4765/statm: 78719 5884 320 364 0 13597 0
[pid=4767] ppid=4765 vsize=8547700 CPUtime=1.59 cores=0,2,4,6
/proc/4767/stat : 4767 (java) S 4765 4767 4767 0 -1 4202496 27463 0 1 0 154 5 0 0 20 0 19 0 850275352 8752844800 23886 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4767/statm: 2136925 23887 2223 9 0 2127666 0
[pid=4767/tid=4768] ppid=4765 vsize=8547700 CPUtime=0.7 cores=0,2,4,6
/proc/4767/task/4768/stat : 4768 (java) R 4765 4767 4767 0 -1 4202560 15405 0 1 0 67 3 0 0 18 0 19 0 850275352 8752844800 24170 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 46912505768318 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4767/tid=4769] ppid=4765 vsize=8547700 CPUtime=0 cores=0,2,4,6
/proc/4767/task/4769/stat : 4769 (java) S 4765 4767 4767 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850275353 8752844800 24172 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 254273432473 0 4 0 16800975 18446604451908469056 0 0 -1 4 0 0 0
[pid=4767/tid=4770] ppid=4765 vsize=8547700 CPUtime=0 cores=0,2,4,6
/proc/4767/task/4770/stat : 4770 (java) S 4765 4767 4767 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850275353 8752844800 24172 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 254273432473 0 4 0 16800975 18446604451908469056 0 0 -1 4 0 0 0
[pid=4767/tid=4771] ppid=4765 vsize=8547700 CPUtime=0 cores=0,2,4,6
/proc/4767/task/4771/stat : 4771 (java) S 4765 4767 4767 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850275353 8752844800 24173 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 254273432473 0 4 0 16800975 18446604451908469056 0 0 -1 4 0 0 0
[pid=4767/tid=4772] ppid=4765 vsize=8547700 CPUtime=0 cores=0,2,4,6
/proc/4767/task/4772/stat : 4772 (java) S 4765 4767 4767 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850275353 8752844800 24175 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 254273432473 0 4 0 16800975 18446604451908469056 0 0 -1 6 0 0 0
[pid=4767/tid=4773] ppid=4765 vsize=8547700 CPUtime=0 cores=0,2,4,6
/proc/4767/task/4773/stat : 4773 (java) S 4765 4767 4767 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850275353 8752844800 24176 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 254273432473 0 4 0 16800975 18446604451908469056 0 0 -1 6 0 0 0
[pid=4767/tid=4774] ppid=4765 vsize=8547700 CPUtime=0 cores=0,2,4,6
/proc/4767/task/4774/stat : 4774 (java) S 4765 4767 4767 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850275353 8752844800 24177 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 254273432473 0 4 0 16800975 18446604451908469056 0 0 -1 6 0 0 0
[pid=4767/tid=4775] ppid=4765 vsize=8547700 CPUtime=0 cores=0,2,4,6
/proc/4767/task/4775/stat : 4775 (java) S 4765 4767 4767 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850275353 8752844800 24178 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 254273432473 0 4 0 16800975 18446604451908469056 0 0 -1 6 0 0 0
[pid=4767/tid=4776] ppid=4765 vsize=8547700 CPUtime=0 cores=0,2,4,6
/proc/4767/task/4776/stat : 4776 (java) S 4765 4767 4767 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850275353 8752844800 24179 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 254273432473 0 4 0 16800975 18446604451908469056 0 0 -1 6 0 0 0
[pid=4767/tid=4777] ppid=4765 vsize=8547700 CPUtime=0 cores=0,2,4,6
/proc/4767/task/4777/stat : 4777 (java) S 4765 4767 4767 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850275354 8752844800 24180 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 254273433088 0 0 0 16800975 18446604451908469056 0 0 -1 4 0 0 0
[pid=4767/tid=4778] ppid=4765 vsize=8547700 CPUtime=0 cores=0,2,4,6
/proc/4767/task/4778/stat : 4778 (java) S 4765 4767 4767 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850275354 8752844800 24181 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 254273432473 0 4 0 16800975 18446604451908469056 0 0 -1 4 0 0 0
[pid=4767/tid=4779] ppid=4765 vsize=8547700 CPUtime=0 cores=0,2,4,6
/proc/4767/task/4779/stat : 4779 (java) S 4765 4767 4767 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850275354 8752844800 24182 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 254273432473 0 4 0 16800975 18446604451908469056 0 0 -1 4 0 0 0
[pid=4767/tid=4780] ppid=4765 vsize=8547700 CPUtime=0 cores=0,2,4,6
/proc/4767/task/4780/stat : 4780 (java) S 4765 4767 4767 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850275356 8752844800 24182 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 254273440177 0 4 0 16800975 18446604451908469056 0 0 -1 4 0 0 0
[pid=4767/tid=4781] ppid=4765 vsize=8547700 CPUtime=0.45 cores=0,2,4,6
/proc/4767/task/4781/stat : 4781 (java) R 4765 4767 4767 0 -1 4202560 4749 0 0 0 45 0 0 0 25 0 19 0 850275356 8752844800 24184 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 47007511338353 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4767/tid=4782] ppid=4765 vsize=8547700 CPUtime=0.43 cores=0,2,4,6
/proc/4767/task/4782/stat : 4782 (java) R 4765 4767 4767 0 -1 4202560 6196 0 0 0 42 1 0 0 17 0 19 0 850275356 8752844800 24184 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 47007511455680 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4767/tid=4783] ppid=4765 vsize=8547700 CPUtime=0 cores=0,2,4,6
/proc/4767/task/4783/stat : 4783 (java) S 4765 4767 4767 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850275356 8752844800 24185 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 254273432473 0 4 0 16800975 18446604451908469056 0 0 -1 4 0 0 0
[pid=4767/tid=4784] ppid=4765 vsize=8547700 CPUtime=0 cores=0,2,4,6
/proc/4767/task/4784/stat : 4784 (java) S 4765 4767 4767 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850275356 8752844800 24186 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 254273433088 0 4 0 16800975 18446604451908469056 0 0 -1 0 0 0 0
[pid=4767/tid=4785] ppid=4765 vsize=8547700 CPUtime=0 cores=0,2,4,6
/proc/4767/task/4785/stat : 4785 (java) S 4765 4767 4767 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850275379 8752844800 24187 33554432000 1073741824 1073778376 140735175912560 18446744073709551615 254273433088 0 4 0 16800975 18446604451908469056 0 0 -1 6 0 0 0
[pid=4695/tid=4703] ppid=4693 vsize=325120 CPUtime=0.01 cores=0,2,4,6
/proc/4695/task/4703/stat : 4703 (python) S 4693 4695 2733 0 -1 4202560 27 1331 0 0 0 0 1 0 20 0 5 0 850261188 332922880 7446 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441447503744 0 0 -1 4 0 0 0
[pid=4695/tid=4712] ppid=4693 vsize=325120 CPUtime=0.01 cores=0,2,4,6
/proc/4695/task/4712/stat : 4712 (python) S 4693 4695 2733 0 -1 4202560 29 1331 0 0 0 0 1 0 20 0 5 0 850266016 332922880 7446 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441447503744 0 0 -1 0 0 0 0
[pid=4695/tid=4721] ppid=4693 vsize=325120 CPUtime=0.01 cores=0,2,4,6
/proc/4695/task/4721/stat : 4721 (python) S 4693 4695 2733 0 -1 4202560 29 1331 0 0 0 0 1 0 20 0 5 0 850270650 332922880 7446 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441447503744 0 0 -1 6 0 0 0
[pid=4695/tid=4766] ppid=4693 vsize=325120 CPUtime=0.01 cores=0,2,4,6
/proc/4695/task/4766/stat : 4766 (python) S 4693 4695 2733 0 -1 4202560 26 1331 0 0 0 0 1 0 20 0 5 0 850275352 332922880 7446 33554432000 4194304 5683644 140735317436672 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441447503744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 145.09
Current children cumulated vsize (KiB) 18742976
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 4695 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=456930
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=135979
# CPU time returned by wait4() is 0.592909
# while last known CPU time is 145.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 142.979
CPU time (s): 145.09
CPU user time (s): 143.84
CPU system time (s): 1.25
CPU usage (%): 101.477
Max. virtual memory (cumulated for all children) (KiB): 18742976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.45693
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14826
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= 2129
involuntary context switches= 17
runsolver used 0.928858 second user time and 1.67674 second system time
The end