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-3481602-1307578473/watcher-3481602-1307578473 -o /tmp/evaluation-result-3481602-1307578473/solver-3481602-1307578473 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481602-1307578473.opb -seed 2120662226 -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: 1.94 2.08 1.84 2/786 2530
/proc/meminfo: memFree=17465192/32951124 swapFree=53733252/67111528
[pid=2530] ppid=2528 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/2530/stat : 2530 (python) S 2528 2530 1117 0 -1 4202496 727 0 0 0 0 0 0 0 21 0 1 0 869447783 15548416 616 33554432000 4194304 5683644 140734059580048 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/2530/statm: 3796 616 322 364 0 283 0
[startup+0.043951 s]
/proc/loadavg: 1.94 2.08 1.84 2/786 2530
/proc/meminfo: memFree=17465192/32951124 swapFree=53733252/67111528
[pid=2530] ppid=2528 vsize=18884 CPUtime=0.02 cores=0,2,4,6
/proc/2530/stat : 2530 (python) R 2528 2530 1117 0 -1 4202496 1284 0 0 0 2 0 0 0 21 0 1 0 869447783 19337216 1136 33554432000 4194304 5683644 140734059580048 18446744073709551615 4874226 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/2530/statm: 4721 1136 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.100958 s]
/proc/loadavg: 1.94 2.08 1.84 2/786 2530
/proc/meminfo: memFree=17465192/32951124 swapFree=53733252/67111528
[pid=2530] ppid=2528 vsize=87828 CPUtime=0.06 cores=0,2,4,6
/proc/2530/stat : 2530 (python) R 2528 2530 1117 0 -1 4202496 2690 0 0 0 5 1 0 0 17 0 1 0 869447783 89935872 2405 33554432000 4194304 5683644 140734059580048 18446744073709551615 253640546014 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/2530/statm: 21957 2405 733 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87828
[startup+0.300925 s]
/proc/loadavg: 1.94 2.08 1.84 2/786 2530
/proc/meminfo: memFree=17465192/32951124 swapFree=53733252/67111528
[pid=2530] ppid=2528 vsize=123740 CPUtime=0.18 cores=0,2,4,6
/proc/2530/stat : 2530 (python) R 2528 2530 1117 0 -1 4202496 5358 931 1 0 13 5 0 0 17 0 1 0 869447783 126709760 3744 33554432000 4194304 5683644 140734059580048 18446744073709551615 253640855557 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/2530/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.700801 s]
/proc/loadavg: 1.94 2.08 1.84 2/786 2530
/proc/meminfo: memFree=17465192/32951124 swapFree=53733252/67111528
[pid=2530] ppid=2528 vsize=282532 CPUtime=0.42 cores=0,2,4,6
/proc/2530/stat : 2530 (python) S 2528 2530 1117 0 -1 4202496 9211 931 1 0 31 11 0 0 16 0 1 0 869447783 289312768 6942 33554432000 4194304 5683644 140734059580048 18446744073709551615 253640879631 0 0 16781312 2 521491201048707072 0 0 17 6 0 0 0
/proc/2530/statm: 70633 6942 1777 364 0 5526 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282532
[startup+1.50072 s]
/proc/loadavg: 1.94 2.08 1.84 5/788 2536
/proc/meminfo: memFree=17438888/32951124 swapFree=53733252/67111528
[pid=2530] ppid=2528 vsize=299568 CPUtime=1.25 cores=0,2,4,6
/proc/2530/stat : 2530 (python) R 2528 2530 1117 0 -1 4202496 15152 1546 1 0 67 13 45 0 18 0 1 0 869447783 306757632 11184 33554432000 4194304 5683644 140734059580048 18446744073709551615 47678141677340 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/2530/statm: 74892 11184 1782 364 0 9785 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 299568
[startup+3.10043 s]
/proc/loadavg: 1.94 2.08 1.84 4/787 2536
/proc/meminfo: memFree=17419320/32951124 swapFree=53733252/67111528
[pid=2530] ppid=2528 vsize=312588 CPUtime=2.23 cores=0,2,4,6
/proc/2530/stat : 2530 (python) S 2528 2530 1117 0 -1 4202496 20673 1546 1 0 165 13 45 0 22 0 2 0 869447783 320090112 11987 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/2530/statm: 78147 11987 1871 364 0 13034 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 312588
heavy processes:
[startup+6.30083 s]
/proc/loadavg: 1.95 2.07 1.84 4/790 2539
/proc/meminfo: memFree=17142284/32951124 swapFree=53733252/67111528
[pid=2530] ppid=2528 vsize=312588 CPUtime=2.23 cores=0,2,4,6
/proc/2530/stat : 2530 (python) S 2528 2530 1117 0 -1 4202496 20673 1546 1 0 165 13 45 0 22 0 2 0 869447783 320090112 11987 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/2530/statm: 78147 11987 1871 364 0 13034 0
[pid=2537] ppid=2530 vsize=302344 CPUtime=0.02 cores=0,2,4,6
/proc/2537/stat : 2537 (python) S 2530 2530 1117 0 -1 4202560 879 0 0 0 1 1 0 0 15 0 1 0 869448032 309600256 10454 33554432000 4194304 5683644 140734059580048 18446744073709551615 253640879631 0 0 16781312 33554946 4999477211128889601 0 0 17 2 0 0 0
/proc/2537/statm: 75586 10454 342 364 0 10473 0
[pid=2539] ppid=2537 vsize=298684 CPUtime=3.79 cores=0,2,4,6
/proc/2539/stat : 2539 (scip-2.0.1.linu) R 2537 2539 2539 0 -1 4202496 73363 0 0 0 362 17 0 0 25 0 1 0 869448032 305852416 69204 33554432000 4194304 13684479 140737284766784 18446744073709551615 7359722 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/2539/statm: 74671 69204 740 2317 0 72349 0
[pid=2530/tid=2538] ppid=2528 vsize=312588 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/2538/stat : 2538 (python) S 2528 2530 1117 0 -1 4202560 30 1546 0 0 0 0 45 0 22 0 2 0 869448032 320090112 11987 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 913616
[startup+12.7007 s]
/proc/loadavg: 1.95 2.07 1.84 4/790 2539
/proc/meminfo: memFree=17124048/32951124 swapFree=53733252/67111528
[pid=2530] ppid=2528 vsize=312588 CPUtime=2.23 cores=0,2,4,6
/proc/2530/stat : 2530 (python) S 2528 2530 1117 0 -1 4202496 20673 1546 1 0 165 13 45 0 22 0 2 0 869447783 320090112 11987 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/2530/statm: 78147 11987 1871 364 0 13034 0
[pid=2537] ppid=2530 vsize=302344 CPUtime=0.04 cores=0,2,4,6
/proc/2537/stat : 2537 (python) S 2530 2530 1117 0 -1 4202560 883 0 0 0 3 1 0 0 15 0 1 0 869448032 309600256 10454 33554432000 4194304 5683644 140734059580048 18446744073709551615 253640879631 0 0 16781312 33554946 72262103200705372 0 0 17 2 0 0 0
/proc/2537/statm: 75586 10454 342 364 0 10473 0
[pid=2539] ppid=2537 vsize=311200 CPUtime=10.19 cores=0,2,4,6
/proc/2539/stat : 2539 (scip-2.0.1.linu) R 2537 2539 2539 0 -1 4202496 77815 0 0 0 1001 18 0 0 25 0 1 0 869448032 318668800 73401 33554432000 4194304 13684479 140737284766784 18446744073709551615 7390857 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/2539/statm: 77800 73401 790 2317 0 75478 0
[pid=2530/tid=2538] ppid=2528 vsize=312588 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/2538/stat : 2538 (python) S 2528 2530 1117 0 -1 4202560 30 1546 0 0 0 0 45 0 22 0 2 0 869448032 320090112 11987 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 926132
[startup+25.5013 s]
/proc/loadavg: 2.03 2.08 1.85 4/790 2540
/proc/meminfo: memFree=17124912/32951124 swapFree=53733252/67111528
[pid=2530] ppid=2528 vsize=312588 CPUtime=2.23 cores=0,2,4,6
/proc/2530/stat : 2530 (python) S 2528 2530 1117 0 -1 4202496 20673 1546 1 0 165 13 45 0 22 0 2 0 869447783 320090112 11987 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/2530/statm: 78147 11987 1871 364 0 13034 0
[pid=2537] ppid=2530 vsize=302344 CPUtime=0.09 cores=0,2,4,6
/proc/2537/stat : 2537 (python) S 2530 2530 1117 0 -1 4202560 888 0 0 0 5 4 0 0 15 0 1 0 869448032 309600256 10454 33554432000 4194304 5683644 140734059580048 18446744073709551615 253640879631 0 0 16781312 33554946 72262103200705372 0 0 17 2 0 0 0
/proc/2537/statm: 75586 10454 342 364 0 10473 0
[pid=2539] ppid=2537 vsize=311200 CPUtime=23 cores=0,2,4,6
/proc/2539/stat : 2539 (scip-2.0.1.linu) R 2537 2539 2539 0 -1 4202496 77816 0 0 0 2280 20 0 0 25 0 1 0 869448032 318668800 73402 33554432000 4194304 13684479 140737284766784 18446744073709551615 7360257 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/2539/statm: 77800 73402 790 2317 0 75478 0
[pid=2530/tid=2538] ppid=2528 vsize=312588 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/2538/stat : 2538 (python) S 2528 2530 1117 0 -1 4202560 30 1546 0 0 0 0 45 0 22 0 2 0 869448032 320090112 11987 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 926132
[startup+51.1007 s]
/proc/loadavg: 2.02 2.08 1.85 4/791 2541
/proc/meminfo: memFree=17119496/32951124 swapFree=53733252/67111528
[pid=2530] ppid=2528 vsize=312588 CPUtime=2.23 cores=0,2,4,6
/proc/2530/stat : 2530 (python) S 2528 2530 1117 0 -1 4202496 20673 1546 1 0 165 13 45 0 22 0 2 0 869447783 320090112 11987 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/2530/statm: 78147 11987 1871 364 0 13034 0
[pid=2537] ppid=2530 vsize=302344 CPUtime=0.22 cores=0,2,4,6
/proc/2537/stat : 2537 (python) S 2530 2530 1117 0 -1 4202560 900 0 0 0 12 10 0 0 15 0 1 0 869448032 309600256 10454 33554432000 4194304 5683644 140734059580048 18446744073709551615 253640879631 0 0 16781312 33554946 72262103200705372 0 0 17 2 0 0 0
/proc/2537/statm: 75586 10454 342 364 0 10473 0
[pid=2539] ppid=2537 vsize=317212 CPUtime=48.6 cores=0,2,4,6
/proc/2539/stat : 2539 (scip-2.0.1.linu) R 2537 2539 2539 0 -1 4202496 78811 0 0 0 4839 21 0 0 25 0 1 0 869448032 324825088 74338 33554432000 4194304 13684479 140737284766784 18446744073709551615 7390857 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/2539/statm: 79303 74338 735 2317 0 76981 0
[pid=2530/tid=2538] ppid=2528 vsize=312588 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/2538/stat : 2538 (python) S 2528 2530 1117 0 -1 4202560 30 1546 0 0 0 0 45 0 22 0 2 0 869448032 320090112 11987 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 932144
[startup+102.322 s]
/proc/loadavg: 1.95 2.05 1.85 3/787 2683
/proc/meminfo: memFree=16786876/32951124 swapFree=53733252/67111528
[pid=2530] ppid=2528 vsize=333100 CPUtime=2.29 cores=0,2,4,6
/proc/2530/stat : 2530 (python) S 2528 2530 1117 0 -1 4202496 22437 1546 1 0 170 14 45 0 20 0 4 0 869447783 341094400 12000 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/2530/statm: 83275 12000 1876 364 0 18156 0
[pid=2537] ppid=2530 vsize=312588 CPUtime=0.24 cores=0,2,4,6
/proc/2537/stat : 2537 (python) S 2530 2530 1117 0 -1 4202560 1098 0 0 0 13 11 0 0 16 0 2 0 869448032 320090112 10522 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/2537/statm: 78147 10522 405 364 0 13034 0
[pid=2539] ppid=2537 vsize=317212 CPUtime=48.65 cores=0,2,4,6
/proc/2539/stat : 2539 (scip-2.0.1.linu) T 2537 2539 2539 0 -1 4202496 78811 0 0 0 4844 21 0 0 25 0 1 0 869448032 324825088 74338 33554432000 4194304 13684479 140737284766784 18446744073709551615 7398152 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/2539/statm: 79303 74338 735 2317 0 76981 0
[pid=2537/tid=2542] ppid=2530 vsize=312588 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2542/stat : 2542 (python) S 2530 2530 1117 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869452898 320090112 10522 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554946 18446604441206560000 0 0 -1 2 0 0 0
[pid=2543] ppid=2530 vsize=312600 CPUtime=0.27 cores=0,2,4,6
/proc/2543/stat : 2543 (python) S 2530 2530 1117 0 -1 4202560 1121 0 0 0 15 12 0 0 17 0 2 0 869452901 320102400 10507 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/2543/statm: 78150 10507 390 364 0 13034 0
[pid=2545] ppid=2543 vsize=83856 CPUtime=50.22 cores=0,2,4,6
/proc/2545/stat : 2545 (wbo1.4a) T 2543 2545 2545 0 -1 4202496 22555 0 0 0 5010 12 0 0 25 0 1 0 869452901 85868544 20259 33554432000 134512640 135751879 4287006512 18446744073709551615 134606459 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/2545/statm: 20964 20259 146 303 0 20659 0
[pid=2543/tid=2680] ppid=2530 vsize=312600 CPUtime=0 cores=0,2,4,6
/proc/2543/task/2680/stat : 2680 (python) S 2530 2530 1117 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869457930 320102400 10507 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554946 18446604449812701568 0 0 -1 4 0 0 0
[pid=2681] ppid=2530 vsize=322856 CPUtime=0 cores=0,2,4,6
/proc/2681/stat : 2681 (python) S 2530 2530 1117 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 1 0 869457932 330604544 10439 33554432000 4194304 5683644 140734059580048 18446744073709551615 253640879686 0 0 16781312 33554946 398152234367418626 0 0 17 6 0 0 0
/proc/2681/statm: 80714 10439 319 364 0 15595 0
[pid=2683] ppid=2681 vsize=128904 CPUtime=0.82 cores=0,2,4,6
/proc/2683/stat : 2683 (scip-2.0.1.linu) R 2681 2683 2683 0 -1 4202496 30871 0 0 0 75 7 0 0 23 0 1 0 869457933 131997696 29426 33554432000 4194304 15243407 140735294819968 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/2683/statm: 32226 29426 666 2698 0 29521 0
[pid=2530/tid=2538] ppid=2528 vsize=333100 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/2538/stat : 2538 (python) S 2528 2530 1117 0 -1 4202560 30 1546 0 0 0 0 45 0 22 0 4 0 869448032 341094400 12000 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 6 0 0 0
[pid=2530/tid=2544] ppid=2528 vsize=333100 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/2544/stat : 2544 (python) S 2528 2530 1117 0 -1 4202560 31 1546 0 0 0 0 45 0 20 0 4 0 869452901 341094400 12000 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 6 0 0 0
[pid=2530/tid=2682] ppid=2528 vsize=333100 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/2682/stat : 2682 (python) S 2528 2530 1117 0 -1 4202560 31 1546 0 0 0 0 45 0 20 0 4 0 869457933 341094400 12000 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.49
Current children cumulated vsize (KiB) 1811116
[startup+162.301 s]
/proc/loadavg: 2.16 2.08 1.87 3/813 2710
/proc/meminfo: memFree=15741044/32951124 swapFree=53733252/67111528
[pid=2530] ppid=2528 vsize=343356 CPUtime=2.31 cores=0,2,4,6
/proc/2530/stat : 2530 (python) S 2528 2530 1117 0 -1 4202496 23283 1546 1 0 172 14 45 0 20 0 5 0 869447783 351596544 12006 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/2530/statm: 85839 12006 1878 364 0 20717 0
[pid=2537] ppid=2530 vsize=312588 CPUtime=0.24 cores=0,2,4,6
/proc/2537/stat : 2537 (python) S 2530 2530 1117 0 -1 4202560 1098 0 0 0 13 11 0 0 16 0 2 0 869448032 320090112 10522 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/2537/statm: 78147 10522 405 364 0 13034 0
[pid=2539] ppid=2537 vsize=317212 CPUtime=48.65 cores=0,2,4,6
/proc/2539/stat : 2539 (scip-2.0.1.linu) T 2537 2539 2539 0 -1 4202496 78811 0 0 0 4844 21 0 0 25 0 1 0 869448032 324825088 74338 33554432000 4194304 13684479 140737284766784 18446744073709551615 7398152 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/2539/statm: 79303 74338 735 2317 0 76981 0
################
# More data... #
################
[pid=2530/tid=2544] ppid=2528 vsize=353612 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/2544/stat : 2544 (python) S 2528 2530 1117 0 -1 4202560 31 1546 0 0 0 0 45 0 20 0 6 0 869452901 362098688 12012 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 6 0 0 0
[pid=2530/tid=2682] ppid=2528 vsize=353612 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/2682/stat : 2682 (python) S 2528 2530 1117 0 -1 4202560 36 1546 0 0 0 0 45 0 18 0 6 0 869457933 362098688 12012 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 4 0 0 0
[pid=2530/tid=2691] ppid=2528 vsize=353612 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/2691/stat : 2691 (python) S 2528 2530 1117 0 -1 4202560 33 1546 0 0 0 0 45 0 20 0 6 0 869462802 362098688 12012 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 6 0 0 0
[pid=2530/tid=2736] ppid=2528 vsize=353612 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/2736/stat : 2736 (python) S 2528 2530 1117 0 -1 4202560 31 1546 0 0 0 0 45 0 20 0 6 0 869467579 362098688 12012 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 345.8
Current children cumulated vsize (KiB) 11347460
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+383.802 s]
/proc/loadavg: 2.18 2.18 1.95 4/881 3083
/proc/meminfo: memFree=11846912/32951124 swapFree=53733252/67111528
[pid=2530] ppid=2528 vsize=363868 CPUtime=2.41 cores=0,2,4,6
/proc/2530/stat : 2530 (python) S 2528 2530 1117 0 -1 4202496 25218 1546 1 0 182 14 45 0 20 0 7 0 869447783 372600832 12018 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/2530/statm: 90967 12018 1882 364 0 25839 0
[pid=2537] ppid=2530 vsize=312588 CPUtime=0.49 cores=0,2,4,6
/proc/2537/stat : 2537 (python) S 2530 2530 1117 0 -1 4202560 1127 0 0 0 25 24 0 0 16 0 2 0 869448032 320090112 10523 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/2537/statm: 78147 10523 406 364 0 13034 0
[pid=2539] ppid=2537 vsize=330900 CPUtime=93.86 cores=0,2,4,6
/proc/2539/stat : 2539 (scip-2.0.1.linu) T 2537 2539 2539 0 -1 4202496 85301 0 0 0 9362 24 0 0 25 0 1 0 869448032 338841600 78321 33554432000 4194304 13684479 140737284766784 18446744073709551615 7430213 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/2539/statm: 82725 78321 735 2317 0 80403 0
[pid=2537/tid=2542] ppid=2530 vsize=312588 CPUtime=0 cores=0,2,4,6
/proc/2537/task/2542/stat : 2542 (python) S 2530 2530 1117 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 869452898 320090112 10523 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554946 18446604441206560000 0 0 -1 2 0 0 0
[pid=2543] ppid=2530 vsize=312600 CPUtime=0.27 cores=0,2,4,6
/proc/2543/stat : 2543 (python) S 2530 2530 1117 0 -1 4202560 1121 0 0 0 15 12 0 0 17 0 2 0 869452901 320102400 10507 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/2543/statm: 78150 10507 390 364 0 13034 0
[pid=2545] ppid=2543 vsize=83856 CPUtime=50.22 cores=0,2,4,6
/proc/2545/stat : 2545 (wbo1.4a) T 2543 2545 2545 0 -1 4202496 22555 0 0 0 5010 12 0 0 25 0 1 0 869452901 85868544 20259 33554432000 134512640 135751879 4287006512 18446744073709551615 134606459 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/2545/statm: 20964 20259 146 303 0 20659 0
[pid=2543/tid=2680] ppid=2530 vsize=312600 CPUtime=0 cores=0,2,4,6
/proc/2543/task/2680/stat : 2680 (python) S 2530 2530 1117 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869457930 320102400 10507 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554946 18446604449812701568 0 0 -1 4 0 0 0
[pid=2681] ppid=2530 vsize=322856 CPUtime=0.5 cores=0,2,4,6
/proc/2681/stat : 2681 (python) S 2530 2530 1117 0 -1 4202560 1158 0 0 0 24 26 0 0 15 0 2 0 869457932 330604544 10511 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2681/statm: 80714 10511 390 364 0 15595 0
[pid=2683] ppid=2681 vsize=301708 CPUtime=93.88 cores=0,2,4,6
/proc/2683/stat : 2683 (scip-2.0.1.linu) T 2681 2683 2683 0 -1 4202496 250308 0 0 0 9341 47 0 0 25 0 1 0 869457933 308948992 62403 33554432000 4194304 15243407 140735294819968 18446744073709551615 7128836 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/2683/statm: 75427 62403 837 2698 0 72722 0
[pid=2681/tid=2689] ppid=2530 vsize=322856 CPUtime=0 cores=0,2,4,6
/proc/2681/task/2689/stat : 2689 (python) S 2530 2530 1117 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 869462799 330604544 10511 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554946 18446604447246209152 0 0 -1 6 0 0 0
[pid=2690] ppid=2530 vsize=333112 CPUtime=0.24 cores=0,2,4,6
/proc/2690/stat : 2690 (python) S 2530 2530 1117 0 -1 4202560 1147 0 0 0 13 11 0 0 16 0 2 0 869462802 341106688 10515 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2690/statm: 83278 10515 390 364 0 18156 0
[pid=2692] ppid=2690 vsize=8548100 CPUtime=49.97 cores=0,2,4,6
/proc/2692/stat : 2692 (java) T 2690 2692 2692 0 -1 4202496 294905 0 1 0 4960 37 0 0 18 0 19 0 869462802 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2692/statm: 2137025 289944 2248 9 0 2127766 0
[pid=2692/tid=2693] ppid=2690 vsize=8548100 CPUtime=47.49 cores=0,2,4,6
/proc/2692/task/2693/stat : 2693 (java) T 2690 2692 2692 0 -1 4202560 233829 0 1 0 4722 27 0 0 25 0 19 0 869462803 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 46912506051570 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=2692/tid=2694] ppid=2690 vsize=8548100 CPUtime=0.05 cores=0,2,4,6
/proc/2692/task/2694/stat : 2694 (java) T 2690 2692 2692 0 -1 4202560 3856 0 0 0 5 0 0 0 15 0 19 0 869462804 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2692/tid=2695] ppid=2690 vsize=8548100 CPUtime=0.09 cores=0,2,4,6
/proc/2692/task/2695/stat : 2695 (java) T 2690 2692 2692 0 -1 4202560 7357 0 0 0 9 0 0 0 15 0 19 0 869462804 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=2692/tid=2696] ppid=2690 vsize=8548100 CPUtime=0.07 cores=0,2,4,6
/proc/2692/task/2696/stat : 2696 (java) T 2690 2692 2692 0 -1 4202560 5346 0 0 0 7 0 0 0 15 0 19 0 869462804 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2692/tid=2697] ppid=2690 vsize=8548100 CPUtime=0.07 cores=0,2,4,6
/proc/2692/task/2697/stat : 2697 (java) T 2690 2692 2692 0 -1 4202560 6506 0 0 0 7 0 0 0 15 0 19 0 869462804 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=2692/tid=2698] ppid=2690 vsize=8548100 CPUtime=0.07 cores=0,2,4,6
/proc/2692/task/2698/stat : 2698 (java) T 2690 2692 2692 0 -1 4202560 5753 0 0 0 7 0 0 0 15 0 19 0 869462804 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2692/tid=2699] ppid=2690 vsize=8548100 CPUtime=0.08 cores=0,2,4,6
/proc/2692/task/2699/stat : 2699 (java) T 2690 2692 2692 0 -1 4202560 6451 0 0 0 8 0 0 0 15 0 19 0 869462804 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2692/tid=2700] ppid=2690 vsize=8548100 CPUtime=0.08 cores=0,2,4,6
/proc/2692/task/2700/stat : 2700 (java) T 2690 2692 2692 0 -1 4202560 5637 0 0 0 7 1 0 0 15 0 19 0 869462804 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=2692/tid=2701] ppid=2690 vsize=8548100 CPUtime=0.08 cores=0,2,4,6
/proc/2692/task/2701/stat : 2701 (java) T 2690 2692 2692 0 -1 4202560 6856 0 0 0 8 0 0 0 15 0 19 0 869462804 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2692/tid=2702] ppid=2690 vsize=8548100 CPUtime=0 cores=0,2,4,6
/proc/2692/task/2702/stat : 2702 (java) T 2690 2692 2692 0 -1 4202560 966 0 0 0 0 0 0 0 15 0 19 0 869462805 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652676096 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=2692/tid=2703] ppid=2690 vsize=8548100 CPUtime=0 cores=0,2,4,6
/proc/2692/task/2703/stat : 2703 (java) T 2690 2692 2692 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869462805 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=2692/tid=2704] ppid=2690 vsize=8548100 CPUtime=0 cores=0,2,4,6
/proc/2692/task/2704/stat : 2704 (java) T 2690 2692 2692 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869462805 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=2692/tid=2705] ppid=2690 vsize=8548100 CPUtime=0 cores=0,2,4,6
/proc/2692/task/2705/stat : 2705 (java) T 2690 2692 2692 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869462807 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652683185 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=2692/tid=2706] ppid=2690 vsize=8548100 CPUtime=0.92 cores=0,2,4,6
/proc/2692/task/2706/stat : 2706 (java) T 2690 2692 2692 0 -1 4202560 5388 0 0 0 92 0 0 0 15 0 19 0 869462807 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=2692/tid=2707] ppid=2690 vsize=8548100 CPUtime=0.84 cores=0,2,4,6
/proc/2692/task/2707/stat : 2707 (java) T 2690 2692 2692 0 -1 4202560 5561 0 0 0 83 1 0 0 15 0 19 0 869462808 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=2692/tid=2708] ppid=2690 vsize=8548100 CPUtime=0 cores=0,2,4,6
/proc/2692/task/2708/stat : 2708 (java) T 2690 2692 2692 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869462808 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=2692/tid=2709] ppid=2690 vsize=8548100 CPUtime=0 cores=0,2,4,6
/proc/2692/task/2709/stat : 2709 (java) T 2690 2692 2692 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869462808 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=2692/tid=2710] ppid=2690 vsize=8548100 CPUtime=0 cores=0,2,4,6
/proc/2692/task/2710/stat : 2710 (java) T 2690 2692 2692 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869462885 8753254400 289944 33554432000 1073741824 1073778376 140736612554768 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=2690/tid=2734] ppid=2530 vsize=333112 CPUtime=0 cores=0,2,4,6
/proc/2690/task/2734/stat : 2734 (python) S 2530 2530 1117 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869467577 341106688 10515 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554946 18446604449812702464 0 0 -1 6 0 0 0
[pid=2735] ppid=2530 vsize=343368 CPUtime=0.49 cores=0,2,4,6
/proc/2735/stat : 2735 (python) S 2530 2530 1117 0 -1 4202560 1243 0 0 0 25 24 0 0 16 0 2 0 869467579 351608832 10534 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/2735/statm: 85842 10534 405 364 0 20717 0
[pid=2737] ppid=2735 vsize=109028 CPUtime=94.48 cores=0,2,4,6
/proc/2737/stat : 2737 (clasp-1.3.7-x86) T 2735 2737 2737 0 -1 4202496 27385 0 0 0 9435 13 0 0 25 0 1 0 869467580 111644672 26463 33554432000 134512640 136139019 4290836864 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/2737/statm: 27257 26463 189 398 0 26857 0
[pid=2735/tid=3034] ppid=2530 vsize=343368 CPUtime=0 cores=0,2,4,6
/proc/2735/task/3034/stat : 3034 (python) S 2530 2530 1117 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869477034 351608832 10534 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554946 18446604442458388288 0 0 -1 2 0 0 0
[pid=3063] ppid=2530 vsize=353624 CPUtime=0 cores=0,2,4,6
/proc/3063/stat : 3063 (python) S 2530 2530 1117 0 -1 4202560 815 0 0 0 0 0 0 0 19 0 1 0 869486092 362110976 10451 33554432000 4194304 5683644 140734059580048 18446744073709551615 253640879686 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/3063/statm: 88406 10451 319 364 0 23278 0
[pid=3065] ppid=3063 vsize=8541340 CPUtime=1.66 cores=0,2,4,6
/proc/3065/stat : 3065 (java) S 3063 3065 3065 0 -1 4202496 50369 0 1 0 158 8 0 0 20 0 18 0 869486092 8746332160 47392 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3065/statm: 2135335 47392 2236 9 0 2126076 0
[pid=3065/tid=3066] ppid=3063 vsize=8541340 CPUtime=0.69 cores=0,2,4,6
/proc/3065/task/3066/stat : 3066 (java) S 3063 3065 3065 0 -1 4202560 35232 0 1 0 64 5 0 0 18 0 18 0 869486093 8746332160 50450 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 253652675481 0 4 0 16800975 18446604450727820160 0 0 -1 4 0 0 0
[pid=3065/tid=3067] ppid=3063 vsize=8541340 CPUtime=0.02 cores=0,2,4,6
/proc/3065/task/3067/stat : 3067 (java) S 3063 3065 3065 0 -1 4202560 1609 0 0 0 2 0 0 0 16 0 18 0 869486093 8746332160 50456 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 253652675481 0 4 0 16800975 18446604450727820160 0 0 -1 2 0 0 0
[pid=3065/tid=3068] ppid=3063 vsize=8541340 CPUtime=0.02 cores=0,2,4,6
/proc/3065/task/3068/stat : 3068 (java) S 3063 3065 3065 0 -1 4202560 1613 0 0 0 2 0 0 0 17 0 18 0 869486093 8746332160 50462 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 253652675481 0 4 0 16800975 18446604450727820160 0 0 -1 4 0 0 0
[pid=3065/tid=3069] ppid=3063 vsize=8541340 CPUtime=0.01 cores=0,2,4,6
/proc/3065/task/3069/stat : 3069 (java) R 3063 3065 3065 0 -1 4202560 903 0 0 0 1 0 0 0 17 0 18 0 869486093 8746332160 50467 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 253652675481 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3065/tid=3070] ppid=3063 vsize=8541340 CPUtime=0.02 cores=0,2,4,6
/proc/3065/task/3070/stat : 3070 (java) R 3063 3065 3065 0 -1 4202560 1610 0 0 0 2 0 0 0 18 0 18 0 869486093 8746332160 50472 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 47555940042433 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3065/tid=3071] ppid=3063 vsize=8541340 CPUtime=0 cores=0,2,4,6
/proc/3065/task/3071/stat : 3071 (java) S 3063 3065 3065 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869486093 8746332160 50477 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 253652675481 0 4 0 16800975 18446604450727820160 0 0 -1 0 0 0 0
[pid=3065/tid=3072] ppid=3063 vsize=8541340 CPUtime=0 cores=0,2,4,6
/proc/3065/task/3072/stat : 3072 (java) S 3063 3065 3065 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869486093 8746332160 50483 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 253652675481 0 4 0 16800975 18446604450727820160 0 0 -1 2 0 0 0
[pid=3065/tid=3073] ppid=3063 vsize=8541340 CPUtime=0 cores=0,2,4,6
/proc/3065/task/3073/stat : 3073 (java) R 3063 3065 3065 0 -1 4202560 1041 0 0 0 0 0 0 0 18 0 18 0 869486093 8746332160 50489 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 47555940042433 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3065/tid=3074] ppid=3063 vsize=8541340 CPUtime=0.01 cores=0,2,4,6
/proc/3065/task/3074/stat : 3074 (java) R 3063 3065 3065 0 -1 4202560 1029 0 0 0 1 0 0 0 18 0 18 0 869486093 8746332160 50495 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 47555940042425 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3065/tid=3076] ppid=3063 vsize=8541340 CPUtime=0 cores=0,2,4,6
/proc/3065/task/3076/stat : 3076 (java) S 3063 3065 3065 0 -1 4202560 73 0 0 0 0 0 0 0 18 0 18 0 869486094 8746332160 50500 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 253652675481 0 0 0 16800975 18446604450727820160 0 0 -1 0 0 0 0
[pid=3065/tid=3077] ppid=3063 vsize=8541340 CPUtime=0 cores=0,2,4,6
/proc/3065/task/3077/stat : 3077 (java) S 3063 3065 3065 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 869486095 8746332160 50506 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 253652675481 0 4 0 16800975 18446604450727820160 0 0 -1 2 0 0 0
[pid=3065/tid=3078] ppid=3063 vsize=8541340 CPUtime=0 cores=0,2,4,6
/proc/3065/task/3078/stat : 3078 (java) S 3063 3065 3065 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 18 0 869486095 8746332160 50512 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 253652675481 0 4 0 16800975 18446604450727820160 0 0 -1 0 0 0 0
[pid=3065/tid=3079] ppid=3063 vsize=8541340 CPUtime=0 cores=0,2,4,6
/proc/3065/task/3079/stat : 3079 (java) S 3063 3065 3065 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869486097 8746332160 50518 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 253652683185 0 4 0 16800975 18446604450727820160 0 0 -1 2 0 0 0
[pid=3065/tid=3080] ppid=3063 vsize=8541340 CPUtime=0.45 cores=0,2,4,6
/proc/3065/task/3080/stat : 3080 (java) S 3063 3065 3065 0 -1 4202560 5269 0 0 0 44 1 0 0 17 0 18 0 869486097 8746332160 50524 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 253652675481 0 4 0 16800975 18446604450727820160 0 0 -1 6 0 0 0
[pid=3065/tid=3081] ppid=3063 vsize=8541340 CPUtime=0.41 cores=0,2,4,6
/proc/3065/task/3081/stat : 3081 (java) S 3063 3065 3065 0 -1 4202560 3691 0 0 0 41 0 0 0 18 0 18 0 869486097 8746332160 50528 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 253652675481 0 4 0 16800975 18446604450727820160 0 0 -1 2 0 0 0
[pid=3065/tid=3082] ppid=3063 vsize=8541340 CPUtime=0 cores=0,2,4,6
/proc/3065/task/3082/stat : 3082 (java) S 3063 3065 3065 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869486097 8746332160 50535 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 253652675481 0 4 0 16800975 18446604450727820160 0 0 -1 2 0 0 0
[pid=3065/tid=3083] ppid=3063 vsize=8541340 CPUtime=0 cores=0,2,4,6
/proc/3065/task/3083/stat : 3083 (java) S 3063 3065 3065 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869486097 8746332160 50540 33554432000 1073741824 1073778376 140736530984368 18446744073709551615 253652676096 0 4 0 16800975 18446604450727820160 0 0 -1 0 0 0 0
[pid=2530/tid=2538] ppid=2528 vsize=363868 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/2538/stat : 2538 (python) S 2528 2530 1117 0 -1 4202560 35 1546 0 0 0 0 45 0 18 0 7 0 869448032 372600832 12018 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 6 0 0 0
[pid=2530/tid=2544] ppid=2528 vsize=363868 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/2544/stat : 2544 (python) S 2528 2530 1117 0 -1 4202560 31 1546 0 0 0 0 45 0 20 0 7 0 869452901 372600832 12018 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 6 0 0 0
[pid=2530/tid=2682] ppid=2528 vsize=363868 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/2682/stat : 2682 (python) S 2528 2530 1117 0 -1 4202560 36 1546 0 0 0 0 45 0 18 0 7 0 869457933 372600832 12018 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 4 0 0 0
[pid=2530/tid=2691] ppid=2528 vsize=363868 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/2691/stat : 2691 (python) S 2528 2530 1117 0 -1 4202560 33 1546 0 0 0 0 45 0 20 0 7 0 869462802 372600832 12018 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 6 0 0 0
[pid=2530/tid=2736] ppid=2528 vsize=363868 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/2736/stat : 2736 (python) S 2528 2530 1117 0 -1 4202560 31 1546 0 0 0 0 45 0 20 0 7 0 869467579 372600832 12018 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 2 0 0 0
[pid=2530/tid=3064] ppid=2528 vsize=363868 CPUtime=0.45 cores=0,2,4,6
/proc/2530/task/3064/stat : 3064 (python) S 2528 2530 1117 0 -1 4202560 29 1546 0 0 0 0 45 0 20 0 7 0 869486092 372600832 12018 33554432000 4194304 5683644 140734059580048 18446744073709551615 253652683185 0 0 16781312 33554434 18446604440617285568 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 388.47
Current children cumulated vsize (KiB) 20256948
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 2530 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=285652
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=160975
# CPU time returned by wait4() is 2.44663
# while last known CPU time is 388.47
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 383.898
CPU time (s): 388.47
CPU user time (s): 385.95
CPU system time (s): 2.52
CPU usage (%): 101.191
Max. virtual memory (cumulated for all children) (KiB): 20256948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.28565
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26767
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= 25934
involuntary context switches= 34
runsolver used 3.23651 second user time and 6.72198 second system time
The end