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-3481553-1307578137/watcher-3481553-1307578137 -o /tmp/evaluation-result-3481553-1307578137/solver-3481553-1307578137 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481553-1307578137.opb -seed 965774613 -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.27 2.21 1.83 2/599 4449
/proc/meminfo: memFree=13540900/32951124 swapFree=67057920/67111528
[pid=4449] ppid=4447 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/4449/stat : 4449 (python) R 4447 4449 2733 0 -1 4202496 890 0 0 0 0 0 0 0 20 0 1 0 850229160 16154624 771 33554432000 4194304 5683644 140735385517168 18446744073709551615 254261277381 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4449/statm: 3944 772 343 364 0 431 0
[startup+0.0249411 s]
/proc/loadavg: 2.27 2.21 1.83 2/599 4449
/proc/meminfo: memFree=13540900/32951124 swapFree=67057920/67111528
[pid=4449] ppid=4447 vsize=16400 CPUtime=0.01 cores=1,3,5,7
/proc/4449/stat : 4449 (python) S 4447 4449 2733 0 -1 4202496 1111 0 0 0 1 0 0 0 20 0 1 0 850229160 16793600 979 33554432000 4194304 5683644 140735385517168 18446744073709551615 254261612389 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/4449/statm: 4100 979 407 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400
[startup+0.100928 s]
/proc/loadavg: 2.27 2.21 1.83 2/599 4449
/proc/meminfo: memFree=13540900/32951124 swapFree=67057920/67111528
[pid=4449] ppid=4447 vsize=85628 CPUtime=0.06 cores=1,3,5,7
/proc/4449/stat : 4449 (python) R 4447 4449 2733 0 -1 4202496 2665 0 0 0 4 2 0 0 17 0 1 0 850229160 87683072 2383 33554432000 4194304 5683644 140735385517168 18446744073709551615 4990235 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4449/statm: 21407 2383 715 364 0 1624 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85628
[startup+0.300884 s]
/proc/loadavg: 2.27 2.21 1.83 2/599 4449
/proc/meminfo: memFree=13540900/32951124 swapFree=67057920/67111528
[pid=4449] ppid=4447 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/4449/stat : 4449 (python) R 4447 4449 2733 0 -1 4202496 5357 927 1 0 12 5 0 0 16 0 1 0 850229160 126713856 3744 33554432000 4194304 5683644 140735385517168 18446744073709551615 254261612549 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4449/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.705855 s]
/proc/loadavg: 2.27 2.21 1.83 2/599 4449
/proc/meminfo: memFree=13540900/32951124 swapFree=67057920/67111528
[pid=4449] ppid=4447 vsize=282404 CPUtime=0.42 cores=1,3,5,7
/proc/4449/stat : 4449 (python) S 4447 4449 2733 0 -1 4202496 9203 927 1 0 30 12 0 0 15 0 1 0 850229160 289181696 6937 33554432000 4194304 5683644 140735385517168 18446744073709551615 254261636623 0 0 16781312 2 2625995858641944576 0 0 17 5 0 0 0
/proc/4449/statm: 70601 6937 1777 364 0 5494 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282404
[startup+1.50067 s]
/proc/loadavg: 2.27 2.21 1.83 3/603 4458
/proc/meminfo: memFree=13492872/32951124 swapFree=67057920/67111528
[pid=4449] ppid=4447 vsize=294784 CPUtime=0.65 cores=1,3,5,7
/proc/4449/stat : 4449 (python) S 4447 4449 2733 0 -1 4202496 11327 1350 1 0 47 14 3 1 18 0 2 0 850229160 301858816 7535 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4449/statm: 73696 7535 1871 364 0 8583 0
[pid=4456] ppid=4449 vsize=284540 CPUtime=0 cores=1,3,5,7
/proc/4456/stat : 4456 (python) S 4449 4449 2733 0 -1 4202560 735 0 0 0 0 0 0 0 15 0 1 0 850229251 291368960 5979 33554432000 4194304 5683644 140735385517168 18446744073709551615 254261636623 0 0 16781312 33554946 1470095515042447360 0 0 17 5 0 0 0
/proc/4456/statm: 71135 5979 319 364 0 6022 0
[pid=4458] ppid=4456 vsize=42664 CPUtime=0.58 cores=1,3,5,7
/proc/4458/stat : 4458 (scip-2.0.1.linu) R 4456 4458 4458 0 -1 4202496 9037 0 0 0 47 11 0 0 18 0 1 0 850229251 43687936 8334 33554432000 4194304 13684479 140735103336688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4458/statm: 10666 8334 757 2317 0 8344 0
[pid=4449/tid=4457] ppid=4447 vsize=294784 CPUtime=0.04 cores=1,3,5,7
/proc/4449/task/4457/stat : 4457 (python) S 4447 4449 2733 0 -1 4202560 30 1350 0 0 0 0 3 1 18 0 2 0 850229251 301858816 7535 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554434 18446604466396922112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 621988
[startup+3.10039 s]
/proc/loadavg: 2.25 2.21 1.83 3/603 4458
/proc/meminfo: memFree=13473900/32951124 swapFree=67057920/67111528
[pid=4449] ppid=4447 vsize=294784 CPUtime=0.65 cores=1,3,5,7
/proc/4449/stat : 4449 (python) S 4447 4449 2733 0 -1 4202496 11327 1350 1 0 47 14 3 1 18 0 2 0 850229160 301858816 7535 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4449/statm: 73696 7535 1871 364 0 8583 0
[pid=4456] ppid=4449 vsize=284540 CPUtime=0 cores=1,3,5,7
/proc/4456/stat : 4456 (python) S 4449 4449 2733 0 -1 4202560 739 0 0 0 0 0 0 0 15 0 1 0 850229251 291368960 5979 33554432000 4194304 5683644 140735385517168 18446744073709551615 254261636623 0 0 16781312 33554946 4123158764389924864 0 0 17 5 0 0 0
/proc/4456/statm: 71135 5979 319 364 0 6022 0
[pid=4458] ppid=4456 vsize=59312 CPUtime=2.18 cores=1,3,5,7
/proc/4458/stat : 4458 (scip-2.0.1.linu) R 4456 4458 4458 0 -1 4202496 13290 0 0 0 203 15 0 0 18 0 1 0 850229251 60735488 12540 33554432000 4194304 13684479 140735103336688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4458/statm: 14828 12540 758 2317 0 12506 0
[pid=4449/tid=4457] ppid=4447 vsize=294784 CPUtime=0.04 cores=1,3,5,7
/proc/4449/task/4457/stat : 4457 (python) S 4447 4449 2733 0 -1 4202560 30 1350 0 0 0 0 3 1 18 0 2 0 850229251 301858816 7535 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554434 18446604466396922112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 638636
[startup+6.30083 s]
/proc/loadavg: 2.25 2.21 1.83 3/603 4458
/proc/meminfo: memFree=13443248/32951124 swapFree=67057920/67111528
[pid=4449] ppid=4447 vsize=294784 CPUtime=0.65 cores=1,3,5,7
/proc/4449/stat : 4449 (python) S 4447 4449 2733 0 -1 4202496 11327 1350 1 0 47 14 3 1 18 0 2 0 850229160 301858816 7535 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4449/statm: 73696 7535 1871 364 0 8583 0
[pid=4456] ppid=4449 vsize=284540 CPUtime=0.02 cores=1,3,5,7
/proc/4456/stat : 4456 (python) S 4449 4449 2733 0 -1 4202560 881 0 0 0 1 1 0 0 15 0 1 0 850229251 291368960 6003 33554432000 4194304 5683644 140735385517168 18446744073709551615 254261636623 0 0 16781312 33554946 4294934790 0 0 17 5 0 0 0
/proc/4456/statm: 71135 6003 343 364 0 6022 0
[pid=4458] ppid=4456 vsize=84720 CPUtime=5.38 cores=1,3,5,7
/proc/4458/stat : 4458 (scip-2.0.1.linu) R 4456 4458 4458 0 -1 4202496 19682 0 0 0 514 24 0 0 18 0 1 0 850229251 86753280 18866 33554432000 4194304 13684479 140735103336688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4458/statm: 21180 18866 783 2317 0 18858 0
[pid=4449/tid=4457] ppid=4447 vsize=294784 CPUtime=0.04 cores=1,3,5,7
/proc/4449/task/4457/stat : 4457 (python) S 4447 4449 2733 0 -1 4202560 30 1350 0 0 0 0 3 1 18 0 2 0 850229251 301858816 7535 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554434 18446604466396922112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 664044
[startup+12.7007 s]
/proc/loadavg: 2.21 2.20 1.83 3/603 4458
/proc/meminfo: memFree=13387716/32951124 swapFree=67057920/67111528
[pid=4449] ppid=4447 vsize=294784 CPUtime=0.65 cores=1,3,5,7
/proc/4449/stat : 4449 (python) S 4447 4449 2733 0 -1 4202496 11327 1350 1 0 47 14 3 1 18 0 2 0 850229160 301858816 7535 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4449/statm: 73696 7535 1871 364 0 8583 0
[pid=4456] ppid=4449 vsize=284540 CPUtime=0.06 cores=1,3,5,7
/proc/4456/stat : 4456 (python) S 4449 4449 2733 0 -1 4202560 893 0 0 0 3 3 0 0 15 0 1 0 850229251 291368960 6003 33554432000 4194304 5683644 140735385517168 18446744073709551615 254261636623 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/4456/statm: 71135 6003 343 364 0 6022 0
[pid=4458] ppid=4456 vsize=93204 CPUtime=11.78 cores=1,3,5,7
/proc/4458/stat : 4458 (scip-2.0.1.linu) R 4456 4458 4458 0 -1 4202496 21896 0 0 0 1138 40 0 0 18 0 1 0 850229251 95440896 20978 33554432000 4194304 13684479 140735103336688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4458/statm: 23301 20978 760 2317 0 20979 0
[pid=4449/tid=4457] ppid=4447 vsize=294784 CPUtime=0.04 cores=1,3,5,7
/proc/4449/task/4457/stat : 4457 (python) S 4447 4449 2733 0 -1 4202560 30 1350 0 0 0 0 3 1 18 0 2 0 850229251 301858816 7535 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554434 18446604466396922112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 672528
[startup+25.5004 s]
/proc/loadavg: 2.18 2.19 1.83 3/603 4459
/proc/meminfo: memFree=13383300/32951124 swapFree=67057920/67111528
[pid=4449] ppid=4447 vsize=294784 CPUtime=0.65 cores=1,3,5,7
/proc/4449/stat : 4449 (python) S 4447 4449 2733 0 -1 4202496 11327 1350 1 0 47 14 3 1 18 0 2 0 850229160 301858816 7535 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4449/statm: 73696 7535 1871 364 0 8583 0
[pid=4456] ppid=4449 vsize=284540 CPUtime=0.1 cores=1,3,5,7
/proc/4456/stat : 4456 (python) S 4449 4449 2733 0 -1 4202560 899 0 0 0 5 5 0 0 15 0 1 0 850229251 291368960 6003 33554432000 4194304 5683644 140735385517168 18446744073709551615 254261636623 0 0 16781312 33554946 7027739022327808 0 0 17 7 0 0 0
/proc/4456/statm: 71135 6003 343 364 0 6022 0
[pid=4458] ppid=4456 vsize=93724 CPUtime=24.58 cores=1,3,5,7
/proc/4458/stat : 4458 (scip-2.0.1.linu) R 4456 4458 4458 0 -1 4202496 22826 0 0 0 2368 90 0 0 25 0 1 0 850229251 95973376 21171 33554432000 4194304 13684479 140735103336688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4458/statm: 23431 21171 837 2317 0 21109 0
[pid=4449/tid=4457] ppid=4447 vsize=294784 CPUtime=0.04 cores=1,3,5,7
/proc/4449/task/4457/stat : 4457 (python) S 4447 4449 2733 0 -1 4202560 30 1350 0 0 0 0 3 1 18 0 2 0 850229251 301858816 7535 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554434 18446604466396922112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 673048
[startup+51.1009 s]
/proc/loadavg: 2.17 2.19 1.84 3/603 4459
/proc/meminfo: memFree=13365632/32951124 swapFree=67057920/67111528
[pid=4449] ppid=4447 vsize=294784 CPUtime=0.65 cores=1,3,5,7
/proc/4449/stat : 4449 (python) S 4447 4449 2733 0 -1 4202496 11327 1350 1 0 47 14 3 1 18 0 2 0 850229160 301858816 7535 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4449/statm: 73696 7535 1871 364 0 8583 0
[pid=4456] ppid=4449 vsize=284540 CPUtime=0.23 cores=1,3,5,7
/proc/4456/stat : 4456 (python) S 4449 4449 2733 0 -1 4202560 913 0 0 0 11 12 0 0 15 0 1 0 850229251 291368960 6003 33554432000 4194304 5683644 140735385517168 18446744073709551615 254261636623 0 0 16781312 33554946 3541407273802792960 0 0 17 5 0 0 0
/proc/4456/statm: 71135 6003 343 364 0 6022 0
[pid=4458] ppid=4456 vsize=99508 CPUtime=50.18 cores=1,3,5,7
/proc/4458/stat : 4458 (scip-2.0.1.linu) R 4456 4458 4458 0 -1 4202496 26527 0 0 0 4804 214 0 0 25 0 1 0 850229251 101896192 22646 33554432000 4194304 13684479 140735103336688 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4458/statm: 24877 22646 806 2317 0 22555 0
[pid=4449/tid=4457] ppid=4447 vsize=294784 CPUtime=0.04 cores=1,3,5,7
/proc/4449/task/4457/stat : 4457 (python) S 4447 4449 2733 0 -1 4202560 30 1350 0 0 0 0 3 1 18 0 2 0 850229251 301858816 7535 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554434 18446604466396922112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 678832
[startup+102.32 s]
/proc/loadavg: 2.07 2.16 1.84 3/630 4492
/proc/meminfo: memFree=13111824/32951124 swapFree=67057920/67111528
[pid=4449] ppid=4447 vsize=315800 CPUtime=0.7 cores=1,3,5,7
/proc/4449/stat : 4449 (python) S 4447 4449 2733 0 -1 4202496 13112 1350 1 0 52 14 3 1 20 0 4 0 850229160 323379200 7674 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4449/statm: 78950 7674 1876 364 0 13831 0
[pid=4456] ppid=4449 vsize=294784 CPUtime=0.25 cores=1,3,5,7
/proc/4456/stat : 4456 (python) S 4449 4449 2733 0 -1 4202560 1114 0 0 0 12 13 0 0 16 0 2 0 850229251 301858816 6071 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/4456/statm: 73696 6071 406 364 0 8583 0
[pid=4458] ppid=4456 vsize=99508 CPUtime=51.02 cores=1,3,5,7
/proc/4458/stat : 4458 (scip-2.0.1.linu) T 4456 4458 4458 0 -1 4202496 26527 0 0 0 4882 220 0 0 25 0 1 0 850229251 101896192 22646 33554432000 4194304 13684479 140735103336688 18446744073709551615 7390577 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/4458/statm: 24877 22646 806 2317 0 22555 0
[pid=4456/tid=4461] ppid=4449 vsize=294784 CPUtime=0 cores=1,3,5,7
/proc/4456/task/4461/stat : 4461 (python) S 4449 4449 2733 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850234354 301858816 6071 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554946 18446604466396923008 0 0 -1 5 0 0 0
[pid=4462] ppid=4449 vsize=295300 CPUtime=0.21 cores=1,3,5,7
/proc/4462/stat : 4462 (python) S 4449 4449 2733 0 -1 4202560 1160 0 0 0 9 12 0 0 17 0 2 0 850234357 302387200 6188 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4462/statm: 73825 6188 397 364 0 8709 0
[pid=4464] ppid=4462 vsize=8548948 CPUtime=45.74 cores=1,3,5,7
/proc/4464/stat : 4464 (java) T 4462 4464 4464 0 -1 4202496 49750 0 1 0 4566 8 0 0 18 0 19 0 850234357 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4464/statm: 2137237 45578 2259 9 0 2127978 0
[pid=4464/tid=4465] ppid=4462 vsize=8548948 CPUtime=42.77 cores=1,3,5,7
/proc/4464/task/4465/stat : 4465 (java) T 4462 4464 4464 0 -1 4202560 22277 0 1 0 4274 3 0 0 25 0 19 0 850234358 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4464/tid=4466] ppid=4462 vsize=8548948 CPUtime=0.07 cores=1,3,5,7
/proc/4464/task/4466/stat : 4466 (java) T 4462 4464 4464 0 -1 4202560 1829 0 0 0 7 0 0 0 15 0 19 0 850234358 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4464/tid=4467] ppid=4462 vsize=8548948 CPUtime=0.08 cores=1,3,5,7
/proc/4464/task/4467/stat : 4467 (java) T 4462 4464 4464 0 -1 4202560 974 0 0 0 8 0 0 0 15 0 19 0 850234358 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4464/tid=4468] ppid=4462 vsize=8548948 CPUtime=0.04 cores=1,3,5,7
/proc/4464/task/4468/stat : 4468 (java) T 4462 4464 4464 0 -1 4202560 520 0 0 0 4 0 0 0 15 0 19 0 850234358 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4464/tid=4470] ppid=4462 vsize=8548948 CPUtime=0.07 cores=1,3,5,7
/proc/4464/task/4470/stat : 4470 (java) T 4462 4464 4464 0 -1 4202560 1417 0 0 0 7 0 0 0 15 0 19 0 850234358 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4464/tid=4471] ppid=4462 vsize=8548948 CPUtime=0.06 cores=1,3,5,7
/proc/4464/task/4471/stat : 4471 (java) T 4462 4464 4464 0 -1 4202560 235 0 0 0 6 0 0 0 15 0 19 0 850234358 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4464/tid=4472] ppid=4462 vsize=8548948 CPUtime=0.06 cores=1,3,5,7
/proc/4464/task/4472/stat : 4472 (java) T 4462 4464 4464 0 -1 4202560 712 0 0 0 6 0 0 0 15 0 19 0 850234358 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=4464/tid=4479] ppid=4462 vsize=8548948 CPUtime=0 cores=1,3,5,7
/proc/4464/task/4479/stat : 4479 (java) T 4462 4464 4464 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850234362 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273440177 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4464/tid=4480] ppid=4462 vsize=8548948 CPUtime=0.68 cores=1,3,5,7
/proc/4464/task/4480/stat : 4480 (java) T 4462 4464 4464 0 -1 4202560 4280 0 0 0 68 0 0 0 15 0 19 0 850234362 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4464/tid=4481] ppid=4462 vsize=8548948 CPUtime=0.55 cores=1,3,5,7
/proc/4464/task/4481/stat : 4481 (java) T 4462 4464 4464 0 -1 4202560 6784 0 0 0 55 0 0 0 15 0 19 0 850234362 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4464/tid=4482] ppid=4462 vsize=8548948 CPUtime=0 cores=1,3,5,7
/proc/4464/task/4482/stat : 4482 (java) T 4462 4464 4464 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850234362 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4464/tid=4483] ppid=4462 vsize=8548948 CPUtime=0 cores=1,3,5,7
/proc/4464/task/4483/stat : 4483 (java) T 4462 4464 4464 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850234362 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273433088 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4464/tid=4484] ppid=4462 vsize=8548948 CPUtime=0 cores=1,3,5,7
/proc/4464/task/4484/stat : 4484 (java) T 4462 4464 4464 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850234399 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273433088 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4462/tid=4489] ppid=4449 vsize=295300 CPUtime=0 cores=1,3,5,7
/proc/4462/task/4489/stat : 4489 (python) S 4449 4449 2733 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850238772 302387200 6188 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554946 18446604458276534272 0 0 -1 7 0 0 0
[pid=4490] ppid=4449 vsize=305556 CPUtime=0.02 cores=1,3,5,7
/proc/4490/stat : 4490 (python) S 4449 4449 2733 0 -1 4202560 1011 0 0 0 1 1 0 0 15 0 1 0 850238775 312889344 6144 33554432000 4194304 5683644 140735385517168 18446744073709551615 254261636678 0 0 16781312 33554946 749399903989399552 0 0 17 3 0 0 0
/proc/4490/statm: 76389 6144 350 364 0 11270 0
[pid=4492] ppid=4490 vsize=78400 CPUtime=6.16 cores=1,3,5,7
/proc/4492/stat : 4492 (scip-2.0.1.linu) R 4490 4492 4492 0 -1 4202496 17364 0 0 0 600 16 0 0 18 0 1 0 850238775 80281600 16743 33554432000 4194304 15243407 140733441746592 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4492/statm: 19600 16743 865 2698 0 16895 0
[pid=4449/tid=4457] ppid=4447 vsize=315800 CPUtime=0.04 cores=1,3,5,7
/proc/4449/task/4457/stat : 4457 (python) S 4447 4449 2733 0 -1 4202560 30 1350 0 0 0 0 3 1 18 0 4 0 850229251 323379200 7674 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554434 18446604466396922112 0 0 -1 7 0 0 0
[pid=4449/tid=4463] ppid=4447 vsize=315800 CPUtime=0.04 cores=1,3,5,7
/proc/4449/task/4463/stat : 4463 (python) S 4447 4449 2733 0 -1 4202560 32 1350 0 0 0 0 3 1 20 0 4 0 850234357 323379200 7674 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554434 18446604466396922112 0 0 -1 5 0 0 0
[pid=4449/tid=4491] ppid=4447 vsize=315800 CPUtime=0.04 cores=1,3,5,7
/proc/4449/task/4491/stat : 4491 (python) S 4447 4449 2733 0 -1 4202560 31 1350 0 0 0 0 3 1 20 0 4 0 850238775 323379200 7674 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554434 18446604466396922112 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 104.1
Current children cumulated vsize (KiB) 9938296
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+144.001 s]
/proc/loadavg: 2.03 2.14 1.84 7/652 4515
/proc/meminfo: memFree=13047872/32951124 swapFree=67057920/67111528
[pid=4449] ppid=4447 vsize=326056 CPUtime=0.73 cores=1,3,5,7
/proc/4449/stat : 4449 (python) S 4447 4449 2733 0 -1 4202496 14074 1350 1 0 55 14 3 1 19 0 5 0 850229160 333881344 7680 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4449/statm: 81514 7680 1878 364 0 16392 0
[pid=4456] ppid=4449 vsize=294784 CPUtime=0.25 cores=1,3,5,7
/proc/4456/stat : 4456 (python) S 4449 4449 2733 0 -1 4202560 1114 0 0 0 12 13 0 0 16 0 2 0 850229251 301858816 6071 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/4456/statm: 73696 6071 406 364 0 8583 0
[pid=4458] ppid=4456 vsize=99508 CPUtime=51.02 cores=1,3,5,7
/proc/4458/stat : 4458 (scip-2.0.1.linu) T 4456 4458 4458 0 -1 4202496 26527 0 0 0 4882 220 0 0 25 0 1 0 850229251 101896192 22646 33554432000 4194304 13684479 140735103336688 18446744073709551615 7390577 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/4458/statm: 24877 22646 806 2317 0 22555 0
[pid=4456/tid=4461] ppid=4449 vsize=294784 CPUtime=0 cores=1,3,5,7
/proc/4456/task/4461/stat : 4461 (python) S 4449 4449 2733 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850234354 301858816 6071 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554946 18446604466396923008 0 0 -1 5 0 0 0
[pid=4462] ppid=4449 vsize=295300 CPUtime=0.21 cores=1,3,5,7
/proc/4462/stat : 4462 (python) S 4449 4449 2733 0 -1 4202560 1160 0 0 0 9 12 0 0 17 0 2 0 850234357 302387200 6188 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4462/statm: 73825 6188 397 364 0 8709 0
[pid=4464] ppid=4462 vsize=8548948 CPUtime=45.74 cores=1,3,5,7
/proc/4464/stat : 4464 (java) T 4462 4464 4464 0 -1 4202496 49750 0 1 0 4566 8 0 0 18 0 19 0 850234357 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4464/statm: 2137237 45578 2259 9 0 2127978 0
[pid=4464/tid=4465] ppid=4462 vsize=8548948 CPUtime=42.77 cores=1,3,5,7
/proc/4464/task/4465/stat : 4465 (java) T 4462 4464 4464 0 -1 4202560 22277 0 1 0 4274 3 0 0 25 0 19 0 850234358 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4464/tid=4466] ppid=4462 vsize=8548948 CPUtime=0.07 cores=1,3,5,7
/proc/4464/task/4466/stat : 4466 (java) T 4462 4464 4464 0 -1 4202560 1829 0 0 0 7 0 0 0 15 0 19 0 850234358 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4464/tid=4467] ppid=4462 vsize=8548948 CPUtime=0.08 cores=1,3,5,7
/proc/4464/task/4467/stat : 4467 (java) T 4462 4464 4464 0 -1 4202560 974 0 0 0 8 0 0 0 15 0 19 0 850234358 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4464/tid=4468] ppid=4462 vsize=8548948 CPUtime=0.04 cores=1,3,5,7
/proc/4464/task/4468/stat : 4468 (java) T 4462 4464 4464 0 -1 4202560 520 0 0 0 4 0 0 0 15 0 19 0 850234358 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4464/tid=4470] ppid=4462 vsize=8548948 CPUtime=0.07 cores=1,3,5,7
/proc/4464/task/4470/stat : 4470 (java) T 4462 4464 4464 0 -1 4202560 1417 0 0 0 7 0 0 0 15 0 19 0 850234358 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4464/tid=4471] ppid=4462 vsize=8548948 CPUtime=0.06 cores=1,3,5,7
/proc/4464/task/4471/stat : 4471 (java) T 4462 4464 4464 0 -1 4202560 235 0 0 0 6 0 0 0 15 0 19 0 850234358 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4464/tid=4472] ppid=4462 vsize=8548948 CPUtime=0.06 cores=1,3,5,7
/proc/4464/task/4472/stat : 4472 (java) T 4462 4464 4464 0 -1 4202560 712 0 0 0 6 0 0 0 15 0 19 0 850234358 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4464/tid=4473] ppid=4462 vsize=8548948 CPUtime=0.1 cores=1,3,5,7
/proc/4464/task/4473/stat : 4473 (java) T 4462 4464 4464 0 -1 4202560 1267 0 0 0 10 0 0 0 15 0 19 0 850234358 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4464/tid=4474] ppid=4462 vsize=8548948 CPUtime=0.08 cores=1,3,5,7
/proc/4464/task/4474/stat : 4474 (java) T 4462 4464 4464 0 -1 4202560 409 0 0 0 8 0 0 0 15 0 19 0 850234358 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4464/tid=4475] ppid=4462 vsize=8548948 CPUtime=1.08 cores=1,3,5,7
/proc/4464/task/4475/stat : 4475 (java) T 4462 4464 4464 0 -1 4202560 7653 0 0 0 107 1 0 0 15 0 19 0 850234359 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 47534387039375 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4464/tid=4476] ppid=4462 vsize=8548948 CPUtime=0 cores=1,3,5,7
/proc/4464/task/4476/stat : 4476 (java) T 4462 4464 4464 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850234360 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4464/tid=4477] ppid=4462 vsize=8548948 CPUtime=0 cores=1,3,5,7
/proc/4464/task/4477/stat : 4477 (java) T 4462 4464 4464 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850234360 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4464/tid=4479] ppid=4462 vsize=8548948 CPUtime=0 cores=1,3,5,7
/proc/4464/task/4479/stat : 4479 (java) T 4462 4464 4464 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850234362 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273440177 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4464/tid=4480] ppid=4462 vsize=8548948 CPUtime=0.68 cores=1,3,5,7
/proc/4464/task/4480/stat : 4480 (java) T 4462 4464 4464 0 -1 4202560 4280 0 0 0 68 0 0 0 15 0 19 0 850234362 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4464/tid=4481] ppid=4462 vsize=8548948 CPUtime=0.55 cores=1,3,5,7
/proc/4464/task/4481/stat : 4481 (java) T 4462 4464 4464 0 -1 4202560 6784 0 0 0 55 0 0 0 15 0 19 0 850234362 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4464/tid=4482] ppid=4462 vsize=8548948 CPUtime=0 cores=1,3,5,7
/proc/4464/task/4482/stat : 4482 (java) T 4462 4464 4464 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850234362 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4464/tid=4483] ppid=4462 vsize=8548948 CPUtime=0 cores=1,3,5,7
/proc/4464/task/4483/stat : 4483 (java) T 4462 4464 4464 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850234362 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273433088 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4464/tid=4484] ppid=4462 vsize=8548948 CPUtime=0 cores=1,3,5,7
/proc/4464/task/4484/stat : 4484 (java) T 4462 4464 4464 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850234399 8754122752 45578 33554432000 1073741824 1073778376 140733711810336 18446744073709551615 254273433088 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4462/tid=4489] ppid=4449 vsize=295300 CPUtime=0 cores=1,3,5,7
/proc/4462/task/4489/stat : 4489 (python) S 4449 4449 2733 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850238772 302387200 6188 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554946 18446604458276534272 0 0 -1 7 0 0 0
[pid=4490] ppid=4449 vsize=305556 CPUtime=0.23 cores=1,3,5,7
/proc/4490/stat : 4490 (python) S 4449 4449 2733 0 -1 4202560 1185 0 0 0 11 12 0 0 17 0 2 0 850238775 312889344 6192 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4490/statm: 76389 6192 397 364 0 11270 0
[pid=4492] ppid=4490 vsize=81816 CPUtime=47.21 cores=1,3,5,7
/proc/4492/stat : 4492 (scip-2.0.1.linu) T 4490 4492 4492 0 -1 4202496 25037 0 0 0 4651 70 0 0 25 0 1 0 850238775 83779584 17545 33554432000 4194304 15243407 140733441746592 18446744073709551615 7431740 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/4492/statm: 20454 17545 925 2698 0 17749 0
[pid=4490/tid=4494] ppid=4449 vsize=305556 CPUtime=0 cores=1,3,5,7
/proc/4490/task/4494/stat : 4494 (python) S 4449 4449 2733 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850243498 312889344 6192 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554946 18446604469049945152 0 0 -1 7 0 0 0
[pid=4495] ppid=4449 vsize=315812 CPUtime=0 cores=1,3,5,7
/proc/4495/stat : 4495 (python) S 4449 4449 2733 0 -1 4202560 789 0 0 0 0 0 0 0 15 0 1 0 850243500 323391488 6118 33554432000 4194304 5683644 140735385517168 18446744073709551615 254261636678 0 0 16781312 33554946 3694206267275870208 0 0 17 1 0 0 0
/proc/4495/statm: 78953 6118 320 364 0 13831 0
[pid=4497] ppid=4495 vsize=8549788 CPUtime=1.31 cores=1,3,5,7
/proc/4497/stat : 4497 (java) S 4495 4497 4497 0 -1 4202496 19688 0 1 0 128 3 0 0 17 0 19 0 850243501 8754982912 15872 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4497/statm: 2137447 15872 2225 9 0 2128188 0
[pid=4497/tid=4498] ppid=4495 vsize=8549788 CPUtime=0.6 cores=1,3,5,7
/proc/4497/task/4498/stat : 4498 (java) R 4495 4497 4497 0 -1 4202560 7165 0 1 0 59 1 0 0 19 0 19 0 850243502 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 46912505215680 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4497/tid=4499] ppid=4495 vsize=8549788 CPUtime=0 cores=1,3,5,7
/proc/4497/task/4499/stat : 4499 (java) S 4495 4497 4497 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850243502 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 5 0 0 0
[pid=4497/tid=4500] ppid=4495 vsize=8549788 CPUtime=0 cores=1,3,5,7
/proc/4497/task/4500/stat : 4500 (java) S 4495 4497 4497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850243502 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 1 0 0 0
[pid=4497/tid=4501] ppid=4495 vsize=8549788 CPUtime=0 cores=1,3,5,7
/proc/4497/task/4501/stat : 4501 (java) S 4495 4497 4497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850243502 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 1 0 0 0
[pid=4497/tid=4502] ppid=4495 vsize=8549788 CPUtime=0 cores=1,3,5,7
/proc/4497/task/4502/stat : 4502 (java) S 4495 4497 4497 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850243502 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 5 0 0 0
[pid=4497/tid=4503] ppid=4495 vsize=8549788 CPUtime=0 cores=1,3,5,7
/proc/4497/task/4503/stat : 4503 (java) S 4495 4497 4497 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850243502 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 5 0 0 0
[pid=4497/tid=4504] ppid=4495 vsize=8549788 CPUtime=0 cores=1,3,5,7
/proc/4497/task/4504/stat : 4504 (java) S 4495 4497 4497 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850243502 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 1 0 0 0
[pid=4497/tid=4505] ppid=4495 vsize=8549788 CPUtime=0 cores=1,3,5,7
/proc/4497/task/4505/stat : 4505 (java) S 4495 4497 4497 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 850243502 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 1 0 0 0
[pid=4497/tid=4506] ppid=4495 vsize=8549788 CPUtime=0 cores=1,3,5,7
/proc/4497/task/4506/stat : 4506 (java) S 4495 4497 4497 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850243502 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 5 0 0 0
[pid=4497/tid=4507] ppid=4495 vsize=8549788 CPUtime=0 cores=1,3,5,7
/proc/4497/task/4507/stat : 4507 (java) S 4495 4497 4497 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 850243503 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 254273433088 0 0 0 16800975 18446604466105236288 0 0 -1 7 0 0 0
[pid=4497/tid=4508] ppid=4495 vsize=8549788 CPUtime=0 cores=1,3,5,7
/proc/4497/task/4508/stat : 4508 (java) S 4495 4497 4497 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 850243504 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 1 0 0 0
[pid=4497/tid=4509] ppid=4495 vsize=8549788 CPUtime=0 cores=1,3,5,7
/proc/4497/task/4509/stat : 4509 (java) S 4495 4497 4497 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 850243504 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 1 0 0 0
[pid=4497/tid=4510] ppid=4495 vsize=8549788 CPUtime=0 cores=1,3,5,7
/proc/4497/task/4510/stat : 4510 (java) S 4495 4497 4497 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850243506 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 254273440177 0 4 0 16800975 18446604466105236288 0 0 -1 1 0 0 0
[pid=4497/tid=4511] ppid=4495 vsize=8549788 CPUtime=0.37 cores=1,3,5,7
/proc/4497/task/4511/stat : 4511 (java) R 4495 4497 4497 0 -1 4202560 6337 0 0 0 36 1 0 0 18 0 19 0 850243506 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 46963877642048 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4497/tid=4512] ppid=4495 vsize=8549788 CPUtime=0.33 cores=1,3,5,7
/proc/4497/task/4512/stat : 4512 (java) R 4495 4497 4497 0 -1 4202560 4809 0 0 0 33 0 0 0 18 0 19 0 850243506 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 46963877985789 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4497/tid=4513] ppid=4495 vsize=8549788 CPUtime=0 cores=1,3,5,7
/proc/4497/task/4513/stat : 4513 (java) S 4495 4497 4497 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850243506 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 254273432473 0 4 0 16800975 18446604466105236288 0 0 -1 1 0 0 0
[pid=4497/tid=4514] ppid=4495 vsize=8549788 CPUtime=0 cores=1,3,5,7
/proc/4497/task/4514/stat : 4514 (java) R 4495 4497 4497 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850243506 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 254273433088 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4497/tid=4515] ppid=4495 vsize=8549788 CPUtime=0 cores=1,3,5,7
/proc/4497/task/4515/stat : 4515 (java) S 4495 4497 4497 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850243546 8754982912 15897 33554432000 1073741824 1073778376 140733224155088 18446744073709551615 254273433088 0 4 0 16800975 18446604466105236288 0 0 -1 1 0 0 0
[pid=4449/tid=4457] ppid=4447 vsize=326056 CPUtime=0.04 cores=1,3,5,7
/proc/4449/task/4457/stat : 4457 (python) S 4447 4449 2733 0 -1 4202560 30 1350 0 0 0 0 3 1 18 0 5 0 850229251 333881344 7680 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554434 18446604466396922112 0 0 -1 7 0 0 0
[pid=4449/tid=4463] ppid=4447 vsize=326056 CPUtime=0.04 cores=1,3,5,7
/proc/4449/task/4463/stat : 4463 (python) S 4447 4449 2733 0 -1 4202560 32 1350 0 0 0 0 3 1 20 0 5 0 850234357 333881344 7680 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554434 18446604466396922112 0 0 -1 5 0 0 0
[pid=4449/tid=4491] ppid=4447 vsize=326056 CPUtime=0.04 cores=1,3,5,7
/proc/4449/task/4491/stat : 4491 (python) S 4447 4449 2733 0 -1 4202560 31 1350 0 0 0 0 3 1 20 0 5 0 850238775 333881344 7680 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554434 18446604466396922112 0 0 -1 1 0 0 0
[pid=4449/tid=4496] ppid=4447 vsize=326056 CPUtime=0.04 cores=1,3,5,7
/proc/4449/task/4496/stat : 4496 (python) S 4447 4449 2733 0 -1 4202560 30 1350 0 0 0 0 3 1 20 0 5 0 850243500 333881344 7680 33554432000 4194304 5683644 140735385517168 18446744073709551615 254273440177 0 0 16781312 33554434 18446604466396922112 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 146.7
Current children cumulated vsize (KiB) 18817568
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 4449 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=590910
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=159975
# CPU time returned by wait4() is 0.750885
# while last known CPU time is 146.7
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 144.078
CPU time (s): 146.7
CPU user time (s): 143.17
CPU system time (s): 3.53
CPU usage (%): 101.82
Max. virtual memory (cumulated for all children) (KiB): 18817568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.59091
system time used= 0.159975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15425
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= 5654
involuntary context switches= 18
runsolver used 0.78588 second user time and 1.73574 second system time
The end