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-3481585-1307578380/watcher-3481585-1307578380 -o /tmp/evaluation-result-3481585-1307578380/solver-3481585-1307578380 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481585-1307578380.opb -seed 156440586 -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.93 2.02 1.80 3/839 32253
/proc/meminfo: memFree=18988260/32950928 swapFree=43925852/67111528
[pid=32253] ppid=32251 vsize=16540 CPUtime=0.01 cores=0,2,4,6
/proc/32253/stat : 32253 (python) R 32251 32253 30488 0 -1 4202496 1180 0 0 0 1 0 0 0 25 0 1 0 869436868 16936960 1041 33554432000 4194304 5683644 140734443903040 18446744073709551615 268272732295 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32253/statm: 4135 1041 415 364 0 622 0
[startup+0.0940689 s]
/proc/loadavg: 1.93 2.02 1.80 3/839 32253
/proc/meminfo: memFree=18988260/32950928 swapFree=43925852/67111528
[pid=32253] ppid=32251 vsize=96132 CPUtime=0.06 cores=0,2,4,6
/proc/32253/stat : 32253 (python) S 32251 32253 30488 0 -1 4202496 3042 467 1 0 4 2 0 0 18 0 1 0 869436868 98439168 2484 33554432000 4194304 5683644 140734443903040 18446744073709551615 268272688896 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/32253/statm: 24033 2484 792 364 0 1628 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96132
[startup+0.105109 s]
/proc/loadavg: 1.93 2.02 1.80 3/839 32253
/proc/meminfo: memFree=18988260/32950928 swapFree=43925852/67111528
[pid=32253] ppid=32251 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/32253/stat : 32253 (python) R 32251 32253 30488 0 -1 4202496 3170 934 1 0 5 2 0 0 18 0 1 0 869436868 98435072 2483 33554432000 4194304 5683644 140734443903040 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32253/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.301156 s]
/proc/loadavg: 1.93 2.02 1.80 3/839 32253
/proc/meminfo: memFree=18988260/32950928 swapFree=43925852/67111528
[pid=32253] ppid=32251 vsize=202996 CPUtime=0.22 cores=0,2,4,6
/proc/32253/stat : 32253 (python) S 32251 32253 30488 0 -1 4202496 6689 934 1 0 17 5 0 0 18 0 1 0 869436868 207867904 4971 33554432000 4194304 5683644 140734443903040 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/32253/statm: 50749 4971 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 202996
[startup+0.701005 s]
/proc/loadavg: 1.93 2.02 1.80 3/839 32253
/proc/meminfo: memFree=18988260/32950928 swapFree=43925852/67111528
[pid=32253] ppid=32251 vsize=295100 CPUtime=0.59 cores=0,2,4,6
/proc/32253/stat : 32253 (python) S 32251 32253 30488 0 -1 4202496 11216 1353 1 0 46 9 4 0 20 0 2 0 869436868 302182400 7606 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/32253/statm: 73775 7606 1863 364 0 8662 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 295100
[startup+1.50088 s]
/proc/loadavg: 1.94 2.02 1.80 3/843 32262
/proc/meminfo: memFree=18925608/32950928 swapFree=43925852/67111528
[pid=32253] ppid=32251 vsize=295100 CPUtime=0.59 cores=0,2,4,6
/proc/32253/stat : 32253 (python) S 32251 32253 30488 0 -1 4202496 11216 1353 1 0 46 9 4 0 20 0 2 0 869436868 302182400 7606 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/32253/statm: 73775 7606 1863 364 0 8662 0
[pid=32260] ppid=32253 vsize=284856 CPUtime=0 cores=0,2,4,6
/proc/32260/stat : 32260 (python) S 32253 32253 30488 0 -1 4202560 783 0 0 0 0 0 0 0 18 0 1 0 869436938 291692544 6064 33554432000 4194304 5683644 140734443903040 18446744073709551615 268272709135 0 0 16781312 33554946 2996591505528815874 0 0 17 6 0 0 0
/proc/32260/statm: 71214 6064 325 364 0 6101 0
[pid=32262] ppid=32260 vsize=49396 CPUtime=0.79 cores=0,2,4,6
/proc/32262/stat : 32262 (scip-2.0.1.linu) R 32260 32262 32262 0 -1 4202496 10543 0 0 0 70 9 0 0 25 0 1 0 869436938 50581504 9742 33554432000 4194304 13684479 140734496475776 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32262/statm: 12349 9742 734 2317 0 10027 0
[pid=32253/tid=32261] ppid=32251 vsize=295100 CPUtime=0.04 cores=0,2,4,6
/proc/32253/task/32261/stat : 32261 (python) S 32251 32253 30488 0 -1 4202560 28 1353 0 0 0 0 4 0 20 0 2 0 869436938 302182400 7606 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554434 18446604445685389440 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 629352
[startup+3.10052 s]
/proc/loadavg: 1.94 2.02 1.80 3/843 32262
/proc/meminfo: memFree=18891260/32950928 swapFree=43925852/67111528
[pid=32253] ppid=32251 vsize=295100 CPUtime=0.59 cores=0,2,4,6
/proc/32253/stat : 32253 (python) S 32251 32253 30488 0 -1 4202496 11216 1353 1 0 46 9 4 0 20 0 2 0 869436868 302182400 7606 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/32253/statm: 73775 7606 1863 364 0 8662 0
[pid=32260] ppid=32253 vsize=284856 CPUtime=0 cores=0,2,4,6
/proc/32260/stat : 32260 (python) S 32253 32253 30488 0 -1 4202560 794 0 0 0 0 0 0 0 15 0 1 0 869436938 291692544 6064 33554432000 4194304 5683644 140734443903040 18446744073709551615 268272709135 0 0 16781312 33554946 2996591505528815874 0 0 17 6 0 0 0
/proc/32260/statm: 71214 6064 325 364 0 6101 0
[pid=32262] ppid=32260 vsize=78740 CPUtime=2.38 cores=0,2,4,6
/proc/32262/stat : 32262 (scip-2.0.1.linu) R 32260 32262 32262 0 -1 4202496 19165 0 0 0 226 12 0 0 19 0 1 0 869436938 80629760 17509 33554432000 4194304 13684479 140734496475776 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32262/statm: 19685 17509 821 2317 0 17363 0
[pid=32253/tid=32261] ppid=32251 vsize=295100 CPUtime=0.04 cores=0,2,4,6
/proc/32253/task/32261/stat : 32261 (python) S 32251 32253 30488 0 -1 4202560 28 1353 0 0 0 0 4 0 20 0 2 0 869436938 302182400 7606 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554434 18446604445685389440 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 658696
[startup+6.30095 s]
/proc/loadavg: 1.94 2.02 1.80 3/843 32262
/proc/meminfo: memFree=18892020/32950928 swapFree=43925852/67111528
[pid=32253] ppid=32251 vsize=295100 CPUtime=0.59 cores=0,2,4,6
/proc/32253/stat : 32253 (python) S 32251 32253 30488 0 -1 4202496 11216 1353 1 0 46 9 4 0 20 0 2 0 869436868 302182400 7606 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/32253/statm: 73775 7606 1863 364 0 8662 0
[pid=32260] ppid=32253 vsize=284856 CPUtime=0.01 cores=0,2,4,6
/proc/32260/stat : 32260 (python) S 32253 32253 30488 0 -1 4202560 947 0 0 0 1 0 0 0 15 0 1 0 869436938 291692544 6087 33554432000 4194304 5683644 140734443903040 18446744073709551615 268272709135 0 0 16781312 33554946 1734527344263036928 0 0 17 6 0 0 0
/proc/32260/statm: 71214 6087 348 364 0 6101 0
[pid=32262] ppid=32260 vsize=85336 CPUtime=5.59 cores=0,2,4,6
/proc/32262/stat : 32262 (scip-2.0.1.linu) R 32260 32262 32262 0 -1 4202496 20412 0 0 0 545 14 0 0 25 0 1 0 869436938 87384064 18756 33554432000 4194304 13684479 140734496475776 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32262/statm: 21334 18756 831 2317 0 19012 0
[pid=32253/tid=32261] ppid=32251 vsize=295100 CPUtime=0.04 cores=0,2,4,6
/proc/32253/task/32261/stat : 32261 (python) S 32251 32253 30488 0 -1 4202560 28 1353 0 0 0 0 4 0 20 0 2 0 869436938 302182400 7606 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554434 18446604445685389440 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 665292
[startup+12.7009 s]
/proc/loadavg: 1.95 2.02 1.80 3/843 32262
/proc/meminfo: memFree=18888168/32950928 swapFree=43925852/67111528
[pid=32253] ppid=32251 vsize=295100 CPUtime=0.59 cores=0,2,4,6
/proc/32253/stat : 32253 (python) S 32251 32253 30488 0 -1 4202496 11216 1353 1 0 46 9 4 0 20 0 2 0 869436868 302182400 7606 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/32253/statm: 73775 7606 1863 364 0 8662 0
[pid=32260] ppid=32253 vsize=284856 CPUtime=0.05 cores=0,2,4,6
/proc/32260/stat : 32260 (python) S 32253 32253 30488 0 -1 4202560 952 0 0 0 3 2 0 0 15 0 1 0 869436938 291692544 6087 33554432000 4194304 5683644 140734443903040 18446744073709551615 268272709135 0 0 16781312 33554946 2417001998399307776 0 0 17 6 0 0 0
/proc/32260/statm: 71214 6087 348 364 0 6101 0
[pid=32262] ppid=32260 vsize=85336 CPUtime=11.99 cores=0,2,4,6
/proc/32262/stat : 32262 (scip-2.0.1.linu) R 32260 32262 32262 0 -1 4202496 20457 0 0 0 1181 18 0 0 25 0 1 0 869436938 87384064 18801 33554432000 4194304 13684479 140734496475776 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32262/statm: 21334 18801 858 2317 0 19012 0
[pid=32253/tid=32261] ppid=32251 vsize=295100 CPUtime=0.04 cores=0,2,4,6
/proc/32253/task/32261/stat : 32261 (python) S 32251 32253 30488 0 -1 4202560 28 1353 0 0 0 0 4 0 20 0 2 0 869436938 302182400 7606 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554434 18446604445685389440 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 665292
[startup+25.5007 s]
/proc/loadavg: 1.96 2.02 1.81 3/843 32263
/proc/meminfo: memFree=18888900/32950928 swapFree=43925852/67111528
[pid=32253] ppid=32251 vsize=295100 CPUtime=0.59 cores=0,2,4,6
/proc/32253/stat : 32253 (python) S 32251 32253 30488 0 -1 4202496 11216 1353 1 0 46 9 4 0 20 0 2 0 869436868 302182400 7606 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/32253/statm: 73775 7606 1863 364 0 8662 0
[pid=32260] ppid=32253 vsize=284856 CPUtime=0.12 cores=0,2,4,6
/proc/32260/stat : 32260 (python) S 32253 32253 30488 0 -1 4202560 958 0 0 0 6 6 0 0 15 0 1 0 869436938 291692544 6087 33554432000 4194304 5683644 140734443903040 18446744073709551615 268272709135 0 0 16781312 33554946 72556772316949354 0 0 17 6 0 0 0
/proc/32260/statm: 71214 6087 348 364 0 6101 0
[pid=32262] ppid=32260 vsize=85336 CPUtime=24.79 cores=0,2,4,6
/proc/32262/stat : 32262 (scip-2.0.1.linu) R 32260 32262 32262 0 -1 4202496 20459 0 0 0 2457 22 0 0 25 0 1 0 869436938 87384064 18803 33554432000 4194304 13684479 140734496475776 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32262/statm: 21334 18803 860 2317 0 19012 0
[pid=32253/tid=32261] ppid=32251 vsize=295100 CPUtime=0.04 cores=0,2,4,6
/proc/32253/task/32261/stat : 32261 (python) S 32251 32253 30488 0 -1 4202560 28 1353 0 0 0 0 4 0 20 0 2 0 869436938 302182400 7606 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554434 18446604445685389440 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 665292
[startup+51.1011 s]
/proc/loadavg: 1.97 2.02 1.81 4/847 32268
/proc/meminfo: memFree=18837156/32950928 swapFree=43925852/67111528
[pid=32253] ppid=32251 vsize=295100 CPUtime=0.59 cores=0,2,4,6
/proc/32253/stat : 32253 (python) S 32251 32253 30488 0 -1 4202496 11216 1353 1 0 46 9 4 0 20 0 2 0 869436868 302182400 7606 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/32253/statm: 73775 7606 1863 364 0 8662 0
[pid=32260] ppid=32253 vsize=284856 CPUtime=0.25 cores=0,2,4,6
/proc/32260/stat : 32260 (python) S 32253 32253 30488 0 -1 4202560 969 0 0 0 12 13 0 0 15 0 1 0 869436938 291692544 6087 33554432000 4194304 5683644 140734443903040 18446744073709551615 268272709135 0 0 16781312 33554946 72556772316949354 0 0 17 6 0 0 0
/proc/32260/statm: 71214 6087 348 364 0 6101 0
[pid=32262] ppid=32260 vsize=85336 CPUtime=50.39 cores=0,2,4,6
/proc/32262/stat : 32262 (scip-2.0.1.linu) R 32260 32262 32262 0 -1 4202496 20462 0 0 0 5003 36 0 0 25 0 1 0 869436938 87384064 18806 33554432000 4194304 13684479 140734496475776 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32262/statm: 21334 18806 863 2317 0 19012 0
[pid=32253/tid=32261] ppid=32251 vsize=295100 CPUtime=0.04 cores=0,2,4,6
/proc/32253/task/32261/stat : 32261 (python) S 32251 32253 30488 0 -1 4202560 28 1353 0 0 0 0 4 0 20 0 2 0 869436938 302182400 7606 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554434 18446604445685389440 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 665292
[startup+102.325 s]
/proc/loadavg: 2.15 2.05 1.83 3/895 32317
/proc/meminfo: memFree=18280872/32950928 swapFree=43925852/67111528
[pid=32253] ppid=32251 vsize=316116 CPUtime=0.64 cores=0,2,4,6
/proc/32253/stat : 32253 (python) S 32251 32253 30488 0 -1 4202496 12976 1353 1 0 51 9 4 0 20 0 4 0 869436868 323702784 7753 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/32253/statm: 79029 7753 1876 364 0 13910 0
[pid=32260] ppid=32253 vsize=295100 CPUtime=0.28 cores=0,2,4,6
/proc/32260/stat : 32260 (python) S 32253 32253 30488 0 -1 4202560 1174 0 0 0 13 15 0 0 16 0 2 0 869436938 302182400 6155 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32260/statm: 73775 6155 411 364 0 8662 0
[pid=32262] ppid=32260 vsize=85336 CPUtime=50.79 cores=0,2,4,6
/proc/32262/stat : 32262 (scip-2.0.1.linu) T 32260 32262 32262 0 -1 4202496 20462 0 0 0 5043 36 0 0 25 0 1 0 869436938 87384064 18806 33554432000 4194304 13684479 140734496475776 18446744073709551615 7390400 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/32262/statm: 21334 18806 863 2317 0 19012 0
[pid=32260/tid=32269] ppid=32253 vsize=295100 CPUtime=0 cores=0,2,4,6
/proc/32260/task/32269/stat : 32269 (python) S 32253 32253 30488 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869442018 302182400 6155 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554946 18446604448351085504 0 0 -1 6 0 0 0
[pid=32270] ppid=32253 vsize=295616 CPUtime=0.25 cores=0,2,4,6
/proc/32270/stat : 32270 (python) S 32253 32253 30488 0 -1 4202560 1121 0 0 0 12 13 0 0 16 0 2 0 869442021 302710784 6261 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32270/statm: 73904 6261 391 364 0 8788 0
[pid=32272] ppid=32270 vsize=90288 CPUtime=46.31 cores=0,2,4,6
/proc/32272/stat : 32272 (scip-2.0.1.linu) T 32270 32272 32272 0 -1 4202496 25558 0 0 0 4611 20 0 0 25 0 1 0 869442021 92454912 19584 33554432000 4194304 15243407 140735404143824 18446744073709551615 8135889 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/32272/statm: 22572 19584 961 2698 0 19867 0
[pid=32270/tid=32296] ppid=32253 vsize=295616 CPUtime=0 cores=0,2,4,6
/proc/32270/task/32296/stat : 32296 (python) S 32253 32253 30488 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869446653 302710784 6261 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554946 18446604447121024128 0 0 -1 6 0 0 0
[pid=32297] ppid=32253 vsize=305872 CPUtime=0.02 cores=0,2,4,6
/proc/32297/stat : 32297 (python) S 32253 32253 30488 0 -1 4202560 920 0 0 0 1 1 0 0 15 0 1 0 869446656 313212928 6217 33554432000 4194304 5683644 140734443903040 18446744073709551615 268272709190 0 0 16781312 33554946 4294934785 0 0 17 0 0 0 0
/proc/32297/statm: 76468 6217 344 364 0 11349 0
[pid=32299] ppid=32297 vsize=8546408 CPUtime=5.56 cores=0,2,4,6
/proc/32299/stat : 32299 (java) S 32297 32299 32299 0 -1 4202496 83448 0 1 0 546 10 0 0 20 0 19 0 869446656 8751521792 78066 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/32299/statm: 2136602 78066 2260 9 0 2127343 0
[pid=32299/tid=32300] ppid=32297 vsize=8546408 CPUtime=4.34 cores=0,2,4,6
/proc/32299/task/32300/stat : 32300 (java) R 32297 32299 32299 0 -1 4202560 65735 0 1 0 426 8 0 0 25 0 19 0 869446657 8751521792 78066 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 46912505813957 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32299/tid=32301] ppid=32297 vsize=8546408 CPUtime=0 cores=0,2,4,6
/proc/32299/task/32301/stat : 32301 (java) S 32297 32299 32299 0 -1 4202560 469 0 0 0 0 0 0 0 16 0 19 0 869446657 8751521792 78066 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446604444040259776 0 0 -1 6 0 0 0
[pid=32299/tid=32302] ppid=32297 vsize=8546408 CPUtime=0 cores=0,2,4,6
/proc/32299/task/32302/stat : 32302 (java) S 32297 32299 32299 0 -1 4202560 907 0 0 0 0 0 0 0 16 0 19 0 869446657 8751521792 78066 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446604444040259776 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=32299/tid=32308] ppid=32297 vsize=8546408 CPUtime=0.01 cores=0,2,4,6
/proc/32299/task/32308/stat : 32308 (java) S 32297 32299 32299 0 -1 4202560 938 0 0 0 1 0 0 0 16 0 19 0 869446657 8751521792 78066 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446604444040259776 0 0 -1 6 0 0 0
[pid=32299/tid=32309] ppid=32297 vsize=8546408 CPUtime=0.03 cores=0,2,4,6
/proc/32299/task/32309/stat : 32309 (java) S 32297 32299 32299 0 -1 4202560 1209 0 0 0 3 0 0 0 15 0 19 0 869446658 8751521792 78066 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284505600 0 0 0 16800975 18446604444040259776 0 0 -1 0 0 0 0
[pid=32299/tid=32310] ppid=32297 vsize=8546408 CPUtime=0 cores=0,2,4,6
/proc/32299/task/32310/stat : 32310 (java) S 32297 32299 32299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869446658 8751521792 78066 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446604444040259776 0 0 -1 6 0 0 0
[pid=32299/tid=32311] ppid=32297 vsize=8546408 CPUtime=0 cores=0,2,4,6
/proc/32299/task/32311/stat : 32311 (java) S 32297 32299 32299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869446658 8751521792 78066 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446604444040259776 0 0 -1 6 0 0 0
[pid=32299/tid=32312] ppid=32297 vsize=8546408 CPUtime=0 cores=0,2,4,6
/proc/32299/task/32312/stat : 32312 (java) S 32297 32299 32299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869446661 8751521792 78066 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284512689 0 4 0 16800975 18446604444040259776 0 0 -1 6 0 0 0
[pid=32299/tid=32313] ppid=32297 vsize=8546408 CPUtime=0.53 cores=0,2,4,6
/proc/32299/task/32313/stat : 32313 (java) S 32297 32299 32299 0 -1 4202560 5401 0 0 0 53 0 0 0 16 0 19 0 869446661 8751521792 78066 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446604444040259776 0 0 -1 4 0 0 0
[pid=32299/tid=32314] ppid=32297 vsize=8546408 CPUtime=0.56 cores=0,2,4,6
/proc/32299/task/32314/stat : 32314 (java) S 32297 32299 32299 0 -1 4202560 5207 0 0 0 56 0 0 0 16 0 19 0 869446661 8751521792 78066 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446604444040259776 0 0 -1 0 0 0 0
[pid=32299/tid=32315] ppid=32297 vsize=8546408 CPUtime=0 cores=0,2,4,6
/proc/32299/task/32315/stat : 32315 (java) S 32297 32299 32299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869446661 8751521792 78066 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446604444040259776 0 0 -1 6 0 0 0
[pid=32299/tid=32316] ppid=32297 vsize=8546408 CPUtime=0 cores=0,2,4,6
/proc/32299/task/32316/stat : 32316 (java) S 32297 32299 32299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869446661 8751521792 78066 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284505600 0 4 0 16800975 18446604444040259776 0 0 -1 4 0 0 0
[pid=32299/tid=32317] ppid=32297 vsize=8546408 CPUtime=0 cores=0,2,4,6
/proc/32299/task/32317/stat : 32317 (java) S 32297 32299 32299 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869446695 8751521792 78066 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284505600 0 4 0 16800975 18446604444040259776 0 0 -1 6 0 0 0
[pid=32253/tid=32261] ppid=32251 vsize=316116 CPUtime=0.04 cores=0,2,4,6
/proc/32253/task/32261/stat : 32261 (python) S 32251 32253 30488 0 -1 4202560 28 1353 0 0 0 0 4 0 20 0 4 0 869436938 323702784 7753 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554434 18446604445685389440 0 0 -1 0 0 0 0
[pid=32253/tid=32271] ppid=32251 vsize=316116 CPUtime=0.04 cores=0,2,4,6
/proc/32253/task/32271/stat : 32271 (python) S 32251 32253 30488 0 -1 4202560 29 1353 0 0 0 0 4 0 20 0 4 0 869442021 323702784 7753 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554434 18446604445685389440 0 0 -1 0 0 0 0
[pid=32253/tid=32298] ppid=32251 vsize=316116 CPUtime=0.04 cores=0,2,4,6
/proc/32253/task/32298/stat : 32298 (python) S 32251 32253 30488 0 -1 4202560 32 1353 0 0 0 0 4 0 20 0 4 0 869446656 323702784 7753 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554434 18446604445685389440 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 103.85
Current children cumulated vsize (KiB) 9934736
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+146.202 s]
/proc/loadavg: 2.14 2.05 1.84 6/912 32400
/proc/meminfo: memFree=18146448/32950928 swapFree=43925852/67111528
[pid=32253] ppid=32251 vsize=326372 CPUtime=0.67 cores=0,2,4,6
/proc/32253/stat : 32253 (python) S 32251 32253 30488 0 -1 4202496 13892 1353 1 0 54 9 4 0 20 0 5 0 869436868 334204928 7759 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/32253/statm: 81593 7759 1878 364 0 16471 0
[pid=32260] ppid=32253 vsize=295100 CPUtime=0.28 cores=0,2,4,6
/proc/32260/stat : 32260 (python) S 32253 32253 30488 0 -1 4202560 1174 0 0 0 13 15 0 0 16 0 2 0 869436938 302182400 6155 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32260/statm: 73775 6155 411 364 0 8662 0
[pid=32262] ppid=32260 vsize=85336 CPUtime=50.79 cores=0,2,4,6
/proc/32262/stat : 32262 (scip-2.0.1.linu) T 32260 32262 32262 0 -1 4202496 20462 0 0 0 5043 36 0 0 25 0 1 0 869436938 87384064 18806 33554432000 4194304 13684479 140734496475776 18446744073709551615 7390400 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/32262/statm: 21334 18806 863 2317 0 19012 0
[pid=32260/tid=32269] ppid=32253 vsize=295100 CPUtime=0 cores=0,2,4,6
/proc/32260/task/32269/stat : 32269 (python) S 32253 32253 30488 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869442018 302182400 6155 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554946 18446604448351085504 0 0 -1 6 0 0 0
[pid=32270] ppid=32253 vsize=295616 CPUtime=0.25 cores=0,2,4,6
/proc/32270/stat : 32270 (python) S 32253 32253 30488 0 -1 4202560 1121 0 0 0 12 13 0 0 16 0 2 0 869442021 302710784 6261 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32270/statm: 73904 6261 391 364 0 8788 0
[pid=32272] ppid=32270 vsize=90288 CPUtime=46.31 cores=0,2,4,6
/proc/32272/stat : 32272 (scip-2.0.1.linu) T 32270 32272 32272 0 -1 4202496 25558 0 0 0 4611 20 0 0 25 0 1 0 869442021 92454912 19584 33554432000 4194304 15243407 140735404143824 18446744073709551615 8135889 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/32272/statm: 22572 19584 961 2698 0 19867 0
[pid=32270/tid=32296] ppid=32253 vsize=295616 CPUtime=0 cores=0,2,4,6
/proc/32270/task/32296/stat : 32296 (python) S 32253 32253 30488 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869446653 302710784 6261 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554946 18446604447121024128 0 0 -1 6 0 0 0
[pid=32297] ppid=32253 vsize=305872 CPUtime=0.29 cores=0,2,4,6
/proc/32297/stat : 32297 (python) S 32253 32253 30488 0 -1 4202560 1129 0 0 0 15 14 0 0 16 0 2 0 869446656 313212928 6265 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/32297/statm: 76468 6265 391 364 0 11349 0
[pid=32299] ppid=32297 vsize=8543988 CPUtime=49 cores=0,2,4,6
/proc/32299/stat : 32299 (java) T 32297 32299 32299 0 -1 4202496 104720 0 1 0 4887 13 0 0 18 0 19 0 869446656 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/32299/statm: 2135997 75004 2260 9 0 2126738 0
[pid=32299/tid=32300] ppid=32297 vsize=8543988 CPUtime=46.81 cores=0,2,4,6
/proc/32299/task/32300/stat : 32300 (java) T 32297 32299 32299 0 -1 4202560 81237 0 1 0 4671 10 0 0 25 0 19 0 869446657 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 46912505793376 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32299/tid=32301] ppid=32297 vsize=8543988 CPUtime=0.08 cores=0,2,4,6
/proc/32299/task/32301/stat : 32301 (java) T 32297 32299 32299 0 -1 4202560 849 0 0 0 8 0 0 0 15 0 19 0 869446657 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32299/tid=32302] ppid=32297 vsize=8543988 CPUtime=0.08 cores=0,2,4,6
/proc/32299/task/32302/stat : 32302 (java) T 32297 32299 32299 0 -1 4202560 1805 0 0 0 8 0 0 0 15 0 19 0 869446657 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32299/tid=32303] ppid=32297 vsize=8543988 CPUtime=0.05 cores=0,2,4,6
/proc/32299/task/32303/stat : 32303 (java) T 32297 32299 32299 0 -1 4202560 1469 0 0 0 5 0 0 0 15 0 19 0 869446657 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32299/tid=32304] ppid=32297 vsize=8543988 CPUtime=0.08 cores=0,2,4,6
/proc/32299/task/32304/stat : 32304 (java) T 32297 32299 32299 0 -1 4202560 691 0 0 0 8 0 0 0 15 0 19 0 869446657 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32299/tid=32305] ppid=32297 vsize=8543988 CPUtime=0.03 cores=0,2,4,6
/proc/32299/task/32305/stat : 32305 (java) T 32297 32299 32299 0 -1 4202560 705 0 0 0 3 0 0 0 15 0 19 0 869446657 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32299/tid=32306] ppid=32297 vsize=8543988 CPUtime=0.04 cores=0,2,4,6
/proc/32299/task/32306/stat : 32306 (java) T 32297 32299 32299 0 -1 4202560 784 0 0 0 4 0 0 0 15 0 19 0 869446657 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32299/tid=32307] ppid=32297 vsize=8543988 CPUtime=0.06 cores=0,2,4,6
/proc/32299/task/32307/stat : 32307 (java) T 32297 32299 32299 0 -1 4202560 1340 0 0 0 6 0 0 0 15 0 19 0 869446657 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32299/tid=32308] ppid=32297 vsize=8543988 CPUtime=0.08 cores=0,2,4,6
/proc/32299/task/32308/stat : 32308 (java) T 32297 32299 32299 0 -1 4202560 1676 0 0 0 8 0 0 0 15 0 19 0 869446657 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32299/tid=32309] ppid=32297 vsize=8543988 CPUtime=0.43 cores=0,2,4,6
/proc/32299/task/32309/stat : 32309 (java) T 32297 32299 32299 0 -1 4202560 2124 0 0 0 42 1 0 0 15 0 19 0 869446658 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284505600 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32299/tid=32310] ppid=32297 vsize=8543988 CPUtime=0 cores=0,2,4,6
/proc/32299/task/32310/stat : 32310 (java) T 32297 32299 32299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869446658 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32299/tid=32311] ppid=32297 vsize=8543988 CPUtime=0 cores=0,2,4,6
/proc/32299/task/32311/stat : 32311 (java) T 32297 32299 32299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869446658 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32299/tid=32312] ppid=32297 vsize=8543988 CPUtime=0 cores=0,2,4,6
/proc/32299/task/32312/stat : 32312 (java) T 32297 32299 32299 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869446661 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284512689 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32299/tid=32313] ppid=32297 vsize=8543988 CPUtime=0.58 cores=0,2,4,6
/proc/32299/task/32313/stat : 32313 (java) T 32297 32299 32299 0 -1 4202560 5410 0 0 0 58 0 0 0 15 0 19 0 869446661 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32299/tid=32314] ppid=32297 vsize=8543988 CPUtime=0.59 cores=0,2,4,6
/proc/32299/task/32314/stat : 32314 (java) T 32297 32299 32299 0 -1 4202560 5233 0 0 0 59 0 0 0 15 0 19 0 869446661 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32299/tid=32315] ppid=32297 vsize=8543988 CPUtime=0 cores=0,2,4,6
/proc/32299/task/32315/stat : 32315 (java) T 32297 32299 32299 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869446661 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32299/tid=32316] ppid=32297 vsize=8543988 CPUtime=0 cores=0,2,4,6
/proc/32299/task/32316/stat : 32316 (java) T 32297 32299 32299 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869446661 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32299/tid=32317] ppid=32297 vsize=8543988 CPUtime=0 cores=0,2,4,6
/proc/32299/task/32317/stat : 32317 (java) T 32297 32299 32299 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869446695 8749043712 75004 33554432000 1073741824 1073778376 140734499954064 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32297/tid=32379] ppid=32253 vsize=305872 CPUtime=0 cores=0,2,4,6
/proc/32297/task/32379/stat : 32379 (python) S 32253 32253 30488 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869451421 313212928 6265 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554946 18446604452101990528 0 0 -1 4 0 0 0
[pid=32380] ppid=32253 vsize=316128 CPUtime=0 cores=0,2,4,6
/proc/32380/stat : 32380 (python) S 32253 32253 30488 0 -1 4202560 790 0 0 0 0 0 0 0 15 0 1 0 869451424 323715072 6197 33554432000 4194304 5683644 140734443903040 18446744073709551615 268272709190 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/32380/statm: 79032 6197 320 364 0 13910 0
[pid=32382] ppid=32380 vsize=8549344 CPUtime=1.57 cores=0,2,4,6
/proc/32382/stat : 32382 (java) S 32380 32382 32382 0 -1 4202496 23550 0 1 0 154 3 0 0 20 0 19 0 869451424 8754528256 19575 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/32382/statm: 2137336 19577 2226 9 0 2128077 0
[pid=32382/tid=32383] ppid=32380 vsize=8549344 CPUtime=0.67 cores=0,2,4,6
/proc/32382/task/32383/stat : 32383 (java) R 32380 32382 32382 0 -1 4202560 11606 0 1 0 66 1 0 0 25 0 19 0 869451425 8754528256 19685 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 46912505830976 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32382/tid=32384] ppid=32380 vsize=8549344 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32384/stat : 32384 (java) S 32380 32382 32382 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869451426 8754528256 19686 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284504985 0 4 0 16800975 18446604448860986432 0 0 -1 6 0 0 0
[pid=32382/tid=32385] ppid=32380 vsize=8549344 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32385/stat : 32385 (java) S 32380 32382 32382 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869451426 8754528256 19689 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284504985 0 4 0 16800975 18446604448860986432 0 0 -1 6 0 0 0
[pid=32382/tid=32386] ppid=32380 vsize=8549344 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32386/stat : 32386 (java) S 32380 32382 32382 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869451426 8754528256 19691 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284504985 0 4 0 16800975 18446604448860986432 0 0 -1 6 0 0 0
[pid=32382/tid=32387] ppid=32380 vsize=8549344 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32387/stat : 32387 (java) S 32380 32382 32382 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869451426 8754528256 19694 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284504985 0 4 0 16800975 18446604448860986432 0 0 -1 4 0 0 0
[pid=32382/tid=32388] ppid=32380 vsize=8549344 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32388/stat : 32388 (java) S 32380 32382 32382 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869451426 8754528256 19696 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284504985 0 4 0 16800975 18446604448860986432 0 0 -1 4 0 0 0
[pid=32382/tid=32389] ppid=32380 vsize=8549344 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32389/stat : 32389 (java) S 32380 32382 32382 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869451426 8754528256 19698 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284504985 0 4 0 16800975 18446604448860986432 0 0 -1 4 0 0 0
[pid=32382/tid=32390] ppid=32380 vsize=8549344 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32390/stat : 32390 (java) S 32380 32382 32382 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869451426 8754528256 19701 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284504985 0 4 0 16800975 18446604448860986432 0 0 -1 4 0 0 0
[pid=32382/tid=32391] ppid=32380 vsize=8549344 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32391/stat : 32391 (java) S 32380 32382 32382 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869451426 8754528256 19703 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284504985 0 4 0 16800975 18446604448860986432 0 0 -1 4 0 0 0
[pid=32382/tid=32392] ppid=32380 vsize=8549344 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32392/stat : 32392 (java) S 32380 32382 32382 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869451427 8754528256 19705 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284505600 0 0 0 16800975 18446604448860986432 0 0 -1 6 0 0 0
[pid=32382/tid=32393] ppid=32380 vsize=8549344 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32393/stat : 32393 (java) S 32380 32382 32382 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869451427 8754528256 19707 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284504985 0 4 0 16800975 18446604448860986432 0 0 -1 6 0 0 0
[pid=32382/tid=32394] ppid=32380 vsize=8549344 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32394/stat : 32394 (java) S 32380 32382 32382 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869451427 8754528256 19710 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284504985 0 4 0 16800975 18446604448860986432 0 0 -1 6 0 0 0
[pid=32382/tid=32395] ppid=32380 vsize=8549344 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32395/stat : 32395 (java) S 32380 32382 32382 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869451429 8754528256 19711 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284512689 0 4 0 16800975 18446604448860986432 0 0 -1 6 0 0 0
[pid=32382/tid=32396] ppid=32380 vsize=8549344 CPUtime=0.45 cores=0,2,4,6
/proc/32382/task/32396/stat : 32396 (java) S 32380 32382 32382 0 -1 4202560 5327 0 0 0 45 0 0 0 25 0 19 0 869451429 8754528256 19712 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284504985 0 4 0 16800975 18446604448860986432 0 0 -1 0 0 0 0
[pid=32382/tid=32397] ppid=32380 vsize=8549344 CPUtime=0.43 cores=0,2,4,6
/proc/32382/task/32397/stat : 32397 (java) S 32380 32382 32382 0 -1 4202560 5325 0 0 0 43 0 0 0 17 0 19 0 869451429 8754528256 19714 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284504985 0 4 0 16800975 18446604448860986432 0 0 -1 2 0 0 0
[pid=32382/tid=32398] ppid=32380 vsize=8549344 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32398/stat : 32398 (java) S 32380 32382 32382 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869451429 8754528256 19716 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284504985 0 4 0 16800975 18446604448860986432 0 0 -1 4 0 0 0
[pid=32382/tid=32399] ppid=32380 vsize=8549344 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32399/stat : 32399 (java) S 32380 32382 32382 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869451429 8754528256 19719 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284505600 0 4 0 16800975 18446604448860986432 0 0 -1 2 0 0 0
[pid=32382/tid=32400] ppid=32380 vsize=8549344 CPUtime=0 cores=0,2,4,6
/proc/32382/task/32400/stat : 32400 (java) S 32380 32382 32382 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869451464 8754528256 19721 33554432000 1073741824 1073778376 140734444714800 18446744073709551615 268284505600 0 4 0 16800975 18446604448860986432 0 0 -1 2 0 0 0
[pid=32253/tid=32261] ppid=32251 vsize=326372 CPUtime=0.04 cores=0,2,4,6
/proc/32253/task/32261/stat : 32261 (python) S 32251 32253 30488 0 -1 4202560 28 1353 0 0 0 0 4 0 20 0 5 0 869436938 334204928 7759 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554434 18446604445685389440 0 0 -1 0 0 0 0
[pid=32253/tid=32271] ppid=32251 vsize=326372 CPUtime=0.04 cores=0,2,4,6
/proc/32253/task/32271/stat : 32271 (python) S 32251 32253 30488 0 -1 4202560 29 1353 0 0 0 0 4 0 20 0 5 0 869442021 334204928 7759 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554434 18446604445685389440 0 0 -1 0 0 0 0
[pid=32253/tid=32298] ppid=32251 vsize=326372 CPUtime=0.04 cores=0,2,4,6
/proc/32253/task/32298/stat : 32298 (python) S 32251 32253 30488 0 -1 4202560 32 1353 0 0 0 0 4 0 20 0 5 0 869446656 334204928 7759 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554434 18446604445685389440 0 0 -1 6 0 0 0
[pid=32253/tid=32381] ppid=32251 vsize=326372 CPUtime=0.04 cores=0,2,4,6
/proc/32253/task/32381/stat : 32381 (python) S 32251 32253 30488 0 -1 4202560 30 1353 0 0 0 0 4 0 20 0 5 0 869451424 334204928 7759 33554432000 4194304 5683644 140734443903040 18446744073709551615 268284512689 0 0 16781312 33554434 18446604445685389440 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 149.16
Current children cumulated vsize (KiB) 18808044
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 32253 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=585910
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=103984
# CPU time returned by wait4() is 0.689894
# while last known CPU time is 149.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 146.289
CPU time (s): 149.16
CPU user time (s): 147.93
CPU system time (s): 1.23
CPU usage (%): 101.963
Max. virtual memory (cumulated for all children) (KiB): 18808044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.58591
system time used= 0.103984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15247
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= 3868
involuntary context switches= 22
runsolver used 1.15382 second user time and 2.26166 second system time
The end