| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP hybrid+ManyGlucose (2019-09-22) | UNSAT | 20.7812 | 13.1192 |
| Name | MaxCSP/MaxCSP-maxclique-s1/ MaxCSP-brock-800-2.xml |
| MD5SUM | d3fd8a9b2a45f8a480e4f2dd6498e338 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 1.22127 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 801 |
| Number of constraints | 112234 |
| Number of domains | 2 |
| Minimum domain size | 1 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":1,"count":1},{"size":2,"count":800}] |
| Minimum variable degree | 234 |
| Maximum variable degree | 800 |
| Distribution of variable degrees | [{"degree":234,"count":1},{"degree":246,"count":3},{"degree":248,"count":2},{"degree":249,"count":1},{"degree":250,"count":6},{"degree":251,"count":1},{"degree":252,"count":1},{"degree":253,"count":6},{"degree":254,"count":8},{"degree":255,"count":5},{"degree":256,"count":1},{"degree":257,"count":6},{"degree":258,"count":11},{"degree":259,"count":11},{"degree":260,"count":7},{"degree":261,"count":15},{"degree":262,"count":9},{"degree":263,"count":14},{"degree":264,"count":8},{"degree":265,"count":11},{"degree":266,"count":9},{"degree":267,"count":11},{"degree":268,"count":12},{"degree":269,"count":15},{"degree":270,"count":15},"...",{"degree":294,"count":8}, {"degree":295,"count":8}, {"degree":296,"count":14}, {"degree":297,"count":12}, {"degree":298,"count":8}, {"degree":299,"count":14}, {"degree":300,"count":7}, {"degree":301,"count":5}, {"degree":302,"count":10}, {"degree":303,"count":4}, {"degree":304,"count":7}, {"degree":305,"count":7}, {"degree":306,"count":3}, {"degree":307,"count":3}, {"degree":308,"count":1}, {"degree":309,"count":1}, {"degree":310,"count":2}, {"degree":311,"count":3}, {"degree":312,"count":2}, {"degree":313,"count":1}, {"degree":314,"count":1}, {"degree":315,"count":1}, {"degree":316,"count":1}, {"degree":328,"count":1}, {"degree":800,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":112234}] |
| Number of extensional constraints | 112234 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":112234}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.51 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-9272-serial-file.bin HOME/instance-4405448-1569238628.xml 0.66/1.83 0.66/1.83 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/1.83 0.73/2.33 c BEGIN-Prog: Mon Sep 23 13:36:31 CEST 2019 0.73/2.33 c PID: 9275 0.73/2.33 c IP: 172.20.3.146 0.73/2.33 c HOST: node146.alineos.net 0.73/2.42 c (0,0) Parsing Begin 8.72/5.07 c (2,2) Parsing End 8.72/5.08 c (3,2) CSP: 1 int (0 aux), 800 bool (0 aux), 112234 ctr, max domain size 2 8.72/5.08 c (3,2) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 8.72/5.08 c (3,2) Constraint Name Generate Begin 9.26/5.23 c (3,2) Ctr:HOME/instance-4405448-1569238628.xml,ExtensionConflict:ExtensionSupport:Var 9.26/5.23 c (3,2) Constraint Name Generate End 9.26/5.23 c (3,2) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 9.26/5.23 c (3,2) CSP to CSPinCNF Begin 12.23/6.38 c (4,3) translated 11224 (10%) constraints 12.96/6.88 c (4,4) translated 22447 (20%) constraints 13.46/7.36 c (5,4) translated 33671 (30%) constraints 13.98/7.85 c (5,5) translated 44894 (40%) constraints 14.50/8.34 c (6,5) translated 56117 (50%) constraints 15.00/8.82 c (6,6) translated 67341 (60%) constraints 15.50/9.30 c (7,6) translated 78564 (70%) constraints 15.92/9.78 c (7,7) translated 89788 (80%) constraints 16.44/10.27 c (8,7) translated 101011 (90%) constraints 17.66/11.00 c (8,8) translated 112234 (100%) constraints 17.66/11.00 c (8,8) =========================================== 18.01/11.06 c (8,8) Hybrid: #OE=802, #LE=0 18.01/11.06 c (8,8) Hybrid 18.01/11.06 c (8,8) =========================================== 18.70/11.30 c (9,8) translated 11384 (10%) constraints 18.80/11.50 c (9,9) translated 22767 (20%) constraints 19.00/11.70 c (9,9) translated 34151 (30%) constraints 19.24/11.89 c (9,9) translated 45534 (40%) constraints 19.44/12.09 c (10,9) translated 56917 (50%) constraints 19.64/12.28 c (10,9) translated 68301 (60%) constraints 19.84/12.47 c (10,10) translated 79684 (70%) constraints 20.04/12.66 c (10,10) translated 91068 (80%) constraints 20.24/12.86 c (10,10) translated 102451 (90%) constraints 20.45/13.07 c (11,10) translated 113834 (100%) constraints 20.45/13.07 c (11,10) CSP to CSPinCNF End 20.45/13.07 c (11,10) CSP: 1 int (0 aux), 801 bool (1 aux), 113834 ctr, max domain size 2 20.45/13.07 c (11,10) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 20.45/13.07 c (11,10) CSPinCNF Propagation Begin 20.45/13.08 c (11,10) =========================================== 20.45/13.08 c (11,10) Empty clause is detected while propagation. 20.45/13.08 c (11,10) =========================================== 20.45/13.08 c (11,10) 3,3,11,---,---,---,---,---,---,STOP-AFTER(CSPInCNF) 20.45/13.08 s UNSATISFIABLE 20.45/13.08 c END-Prog: Mon Sep 23 13:36:42 CEST 2019 0.00/13.11 c (scop.sh) HOME/scop-9272-serial-file.bin does not exist. End.
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (11885 MiB free)
memory of node 1: 16384 MiB (9783 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405448-1569238628/watcher-4405448-1569238628 -o /var/tmp/evaluation-result-4405448-1569238628/solver-4405448-1569238628 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569238586-9255 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405448-1569238628.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9272, runsolver pid=9269
Current StackSize limit: 8192 KiB
[startup+0.100149 s]*
/proc/loadavg: 0.00 0.01 0.05 1/192 9274
/proc/meminfo: memFree=22189092/32770624 swapFree=67002260/67108860
[pid=9272] ppid=9269 vsize=113124 memory=1188 CPUtime=0 cores=0-7
/proc/9272/stat : 9272 (scop.sh) S 9269 9272 9228 0 -1 4202496 504 0 0 0 0 0 0 0 20 0 1 0 499776923 115838976 297 33554432000 4194304 5098028 140734262157552 140734262155496 139761562123264 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 3 0 0 7196144 7232144 30429184 140734262162172 140734262162520 140734262162520 140734262165449 0
/proc/9272/statm: 28281 297 249 221 0 86 0
[pid=9274] ppid=9272 vsize=113124 memory=400 CPUtime=0 cores=0-7
/proc/9274/stat : 9274 (scop.sh) D 9272 9272 9228 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 1 0 499776926 115838976 100 33554432000 4194304 5098028 140734262157552 140734262154552 139761562121589 0 0 4096 65538 18446744072101662244 0 0 17 3 0 0 0 0 0 7196144 7232144 30429184 140734262162172 140734262162520 140734262162520 140734262165449 0
/proc/9274/statm: 28281 100 47 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 226248 KiB
Current children cumulated memory: 1588 KiB
[startup+0.208899 s]*
/proc/loadavg: 0.08 0.03 0.05 1/192 9274
/proc/meminfo: memFree=22189092/32770624 swapFree=67002260/67108860
[pid=9272] ppid=9269 vsize=113124 memory=1188 CPUtime=0 cores=0-7
/proc/9272/stat : 9272 (scop.sh) S 9269 9272 9228 0 -1 4202496 504 0 0 0 0 0 0 0 20 0 1 0 499776923 115838976 297 33554432000 4194304 5098028 140734262157552 140734262155496 139761562123264 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 3 0 0 7196144 7232144 30429184 140734262162172 140734262162520 140734262162520 140734262165449 0
/proc/9272/statm: 28281 297 249 221 0 86 0
[pid=9274] ppid=9272 vsize=113124 memory=400 CPUtime=0 cores=0-7
/proc/9274/stat : 9274 (scop.sh) D 9272 9272 9228 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 1 0 499776926 115838976 100 33554432000 4194304 5098028 140734262157552 140734262154552 139761562121589 0 0 4096 65538 18446744072101662244 0 0 17 3 0 0 0 0 0 7196144 7232144 30429184 140734262162172 140734262162520 140734262162520 140734262165449 0
/proc/9274/statm: 28281 100 47 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 226248 KiB
Current children cumulated memory: 1588 KiB
[startup+0.308589 s]*
/proc/loadavg: 0.08 0.03 0.05 1/192 9274
/proc/meminfo: memFree=22189092/32770624 swapFree=67002260/67108860
[pid=9272] ppid=9269 vsize=113124 memory=1188 CPUtime=0 cores=0-7
/proc/9272/stat : 9272 (scop.sh) S 9269 9272 9228 0 -1 4202496 504 0 0 0 0 0 0 0 20 0 1 0 499776923 115838976 297 33554432000 4194304 5098028 140734262157552 140734262155496 139761562123264 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 3 0 0 7196144 7232144 30429184 140734262162172 140734262162520 140734262162520 140734262165449 0
/proc/9272/statm: 28281 297 249 221 0 86 0
[pid=9274] ppid=9272 vsize=113124 memory=400 CPUtime=0 cores=0-7
/proc/9274/stat : 9274 (scop.sh) D 9272 9272 9228 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 1 0 499776926 115838976 100 33554432000 4194304 5098028 140734262157552 140734262154552 139761562121589 0 0 4096 65538 18446744072101662244 0 0 17 3 0 0 0 0 0 7196144 7232144 30429184 140734262162172 140734262162520 140734262162520 140734262165449 0
/proc/9274/statm: 28281 100 47 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 226248 KiB
Current children cumulated memory: 1588 KiB
[startup+0.700312 s]
/proc/loadavg: 0.08 0.03 0.05 1/192 9274
/proc/meminfo: memFree=22189092/32770624 swapFree=67002260/67108860
[pid=9272] ppid=9269 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9272/stat : 9272 (scop.sh) S 9269 9272 9228 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 499776923 115843072 350 33554432000 4194304 5098028 140734262157552 140734262154808 139761561948796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 3 0 0 7196144 7232144 30429184 140734262162172 140734262162520 140734262162520 140734262165449 0
/proc/9272/statm: 28282 350 297 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1400 KiB
[startup+1.50046 s]
/proc/loadavg: 0.08 0.03 0.05 1/193 9276
/proc/meminfo: memFree=22188164/32770624 swapFree=67002260/67108860
[pid=9272] ppid=9269 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9272/stat : 9272 (scop.sh) S 9269 9272 9228 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 499776923 115843072 350 33554432000 4194304 5098028 140734262157552 140734262154808 139761561948796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 3 0 0 7196144 7232144 30429184 140734262162172 140734262162520 140734262162520 140734262165449 0
/proc/9272/statm: 28282 350 297 221 0 87 0
[pid=9275] ppid=9272 vsize=27314120 memory=123892 CPUtime=0.3 cores=0-7
/proc/9275/stat : 9275 (java) S 9272 9272 9228 0 -1 1077944320 11320 0 0 0 26 4 0 0 20 0 20 0 499776975 27969658880 30973 33554432000 4194304 4196468 140736850986368 140736850968912 140353988493047 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
/proc/9275/statm: 6828530 30973 2961 1 0 6790935 0
[pid=9275/tid=9276] ppid=9272 vsize=27314120 memory=41919887444714 CPUtime=0.22 cores=0-7
/proc/9275/task/9276/stat : 9276 (java) R 9272 9272 9228 0 -1 4202560 9007 0 0 0 19 3 0 0 20 0 20 0 499777011 27969658880 30973 33554432000 4194304 4196468 140736850986368 140353960320832 140353980730174 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125292 KiB
[startup+3.10994 s]
/proc/loadavg: 0.08 0.03 0.05 5/211 9294
/proc/meminfo: memFree=21940948/32770624 swapFree=67002260/67108860
[pid=9272] ppid=9269 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9272/stat : 9272 (scop.sh) S 9269 9272 9228 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 499776923 115843072 350 33554432000 4194304 5098028 140734262157552 140734262154808 139761561948796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 3 0 0 7196144 7232144 30429184 140734262162172 140734262162520 140734262162520 140734262165449 0
/proc/9272/statm: 28282 350 297 221 0 87 0
[pid=9275] ppid=9272 vsize=27322516 memory=315864 CPUtime=2.9 cores=0-7
/proc/9275/stat : 9275 (java) S 9272 9272 9228 0 -1 1077944320 22392 0 0 0 279 11 0 0 20 0 20 0 499776975 27978256384 78966 33554432000 4194304 4196468 140736850986368 140736850968912 140353988493047 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
/proc/9275/statm: 6830629 78966 3244 1 0 6791959 0
[pid=9275/tid=9276] ppid=9272 vsize=27322516 memory=15535232574935128 CPUtime=1.22 cores=0-7
/proc/9275/task/9276/stat : 9276 (java) R 9272 9272 9228 0 -1 4202560 17383 0 0 0 113 9 0 0 20 0 20 0 499777011 27978256384 78966 33554432000 4194304 4196468 140736850986368 140353960327632 140353445195619 0 4 2 25189581 0 0 0 -1 4 0 0 51 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9277] ppid=9272 vsize=27322516 memory=1400 CPUtime=0 cores=0-7
/proc/9275/task/9277/stat : 9277 (java) S 9272 9272 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499777035 27978256384 78966 33554432000 4194304 4196468 140736850986368 140353992735504 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9278] ppid=9272 vsize=27322516 memory=151916 CPUtime=0 cores=0-7
/proc/9275/task/9278/stat : 9278 (java) S 9272 9272 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499777035 27978256384 78966 33554432000 4194304 4196468 140736850986368 140353410337680 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9279] ppid=9272 vsize=27322516 memory=112335876261633 CPUtime=0 cores=0-7
/proc/9275/task/9279/stat : 9279 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27978256384 78966 33554432000 4194304 4196468 140736850986368 140353409285136 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9280] ppid=9272 vsize=27322516 memory=153092 CPUtime=0 cores=0-7
/proc/9275/task/9280/stat : 9280 (java) S 9272 9272 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499777035 27978256384 78966 33554432000 4194304 4196468 140736850986368 140353408232592 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9281] ppid=9272 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9281/stat : 9281 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27978256384 78966 33554432000 4194304 4196468 140736850986368 140353407179024 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9282] ppid=9272 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9282/stat : 9282 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27978256384 78966 33554432000 4194304 4196468 140736850986368 140353406126480 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9283] ppid=9272 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9283/stat : 9283 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27978256384 78966 33554432000 4194304 4196468 140736850986368 140353405073936 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9284] ppid=9272 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9284/stat : 9284 (java) S 9272 9272 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499777035 27978256384 78966 33554432000 4194304 4196468 140736850986368 140353404021392 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9285] ppid=9272 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9285/stat : 9285 (java) S 9272 9272 9228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 499777037 27978256384 78966 33554432000 4194304 4196468 140736850986368 140353361471984 140353988504194 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9286] ppid=9272 vsize=27322516 memory=164 CPUtime=0 cores=0-7
/proc/9275/task/9286/stat : 9286 (java) S 9272 9272 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499777037 27978256384 78966 33554432000 4194304 4196468 140736850986368 140351947924896 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9287] ppid=9272 vsize=27322516 memory=6154544267729068904 CPUtime=0 cores=0-7
/proc/9275/task/9287/stat : 9287 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777038 27978256384 78966 33554432000 4194304 4196468 140736850986368 140351679489520 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9288] ppid=9272 vsize=27322516 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/9275/task/9288/stat : 9288 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777051 27978256384 78966 33554432000 4194304 4196468 140736850986368 140351304981200 140353988511643 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9289] ppid=9272 vsize=27322516 memory=6655300316396806240 CPUtime=0.43 cores=0-7
/proc/9275/task/9289/stat : 9289 (java) R 9272 9272 9228 0 -1 4202560 869 0 0 0 43 0 0 0 20 0 20 0 499777051 27978256384 78966 33554432000 4194304 4196468 140736850986368 140353360409776 140353971903942 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9290] ppid=9272 vsize=27322516 memory=6944656592387989600 CPUtime=0.46 cores=0-7
/proc/9275/task/9290/stat : 9290 (java) R 9272 9272 9228 0 -1 4202560 1092 0 0 0 46 0 0 0 20 0 20 0 499777052 27978256384 78966 33554432000 4194304 4196468 140736850986368 140353359345952 140353971903942 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9291] ppid=9272 vsize=27322516 memory=0 CPUtime=0.44 cores=0-7
/proc/9275/task/9291/stat : 9291 (java) R 9272 9272 9228 0 -1 4202560 703 0 0 0 44 0 0 0 20 0 20 0 499777052 27978256384 78966 33554432000 4194304 4196468 140736850986368 140353358299592 140353966382273 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9292] ppid=9272 vsize=27322516 memory=0 CPUtime=0.31 cores=0-7
/proc/9275/task/9292/stat : 9292 (java) S 9272 9272 9228 0 -1 1077944384 1005 0 0 0 31 0 0 0 20 0 20 0 499777052 27978256384 78966 33554432000 4194304 4196468 140736850986368 140352975530352 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9293] ppid=9272 vsize=27322516 memory=-9181598991488753584 CPUtime=0 cores=0-7
/proc/9275/task/9293/stat : 9293 (java) S 9272 9272 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499777052 27978256384 78966 33554432000 4194304 4196468 140736850986368 140350807075552 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9294] ppid=9272 vsize=27322516 memory=7598811100138176585 CPUtime=0 cores=0-7
/proc/9275/task/9294/stat : 9294 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777055 27978256384 78966 33554432000 4194304 4196468 140736850986368 140352974478256 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 27435644 KiB
Current children cumulated memory: 317264 KiB
[startup+6.30101 s]
/proc/loadavg: 0.24 0.06 0.06 3/211 9294
/proc/meminfo: memFree=20855532/32770624 swapFree=67002260/67108860
[pid=9272] ppid=9269 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9272/stat : 9272 (scop.sh) S 9269 9272 9228 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 499776923 115843072 350 33554432000 4194304 5098028 140734262157552 140734262154808 139761561948796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 3 0 0 7196144 7232144 30429184 140734262162172 140734262162520 140734262162520 140734262165449 0
/proc/9272/statm: 28282 350 297 221 0 87 0
[pid=9275] ppid=9272 vsize=27326612 memory=1422860 CPUtime=12.23 cores=0-7
/proc/9275/stat : 9275 (java) S 9272 9272 9228 0 -1 1077944320 31392 0 0 0 1189 34 0 0 20 0 20 0 499776975 27982450688 355715 33554432000 4194304 4196468 140736850986368 140736850968912 140353988493047 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
/proc/9275/statm: 6831653 355715 3266 1 0 6792983 0
[pid=9275/tid=9276] ppid=9272 vsize=27326612 memory=23464 CPUtime=4.4 cores=0-7
/proc/9275/task/9276/stat : 9276 (java) R 9272 9272 9228 0 -1 4202560 20631 0 0 0 413 27 0 0 20 0 20 0 499777011 27982450688 355715 33554432000 4194304 4196468 140736850986368 140353960324320 140353449208203 0 4 2 25189581 0 0 0 -1 4 0 0 51 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9277] ppid=9272 vsize=27326612 memory=1692 CPUtime=0 cores=0-7
/proc/9275/task/9277/stat : 9277 (java) S 9272 9272 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 355715 33554432000 4194304 4196468 140736850986368 140353992735504 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9278] ppid=9272 vsize=27326612 memory=3616 CPUtime=0 cores=0-7
/proc/9275/task/9278/stat : 9278 (java) S 9272 9272 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 355715 33554432000 4194304 4196468 140736850986368 140353410337680 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9279] ppid=9272 vsize=27326612 memory=7548 CPUtime=0 cores=0-7
/proc/9275/task/9279/stat : 9279 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 355715 33554432000 4194304 4196468 140736850986368 140353409285136 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9280] ppid=9272 vsize=27326612 memory=2832 CPUtime=0 cores=0-7
/proc/9275/task/9280/stat : 9280 (java) S 9272 9272 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 355715 33554432000 4194304 4196468 140736850986368 140353408232592 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9281] ppid=9272 vsize=27326612 memory=1224 CPUtime=0 cores=0-7
/proc/9275/task/9281/stat : 9281 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 355715 33554432000 4194304 4196468 140736850986368 140353407179024 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9282] ppid=9272 vsize=27326612 memory=6148 CPUtime=0 cores=0-7
/proc/9275/task/9282/stat : 9282 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 355715 33554432000 4194304 4196468 140736850986368 140353406126480 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9283] ppid=9272 vsize=27326612 memory=772 CPUtime=0 cores=0-7
/proc/9275/task/9283/stat : 9283 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 355715 33554432000 4194304 4196468 140736850986368 140353405073936 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9284] ppid=9272 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9284/stat : 9284 (java) S 9272 9272 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 355715 33554432000 4194304 4196468 140736850986368 140353404021392 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9285] ppid=9272 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9285/stat : 9285 (java) S 9272 9272 9228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 499777037 27982450688 355715 33554432000 4194304 4196468 140736850986368 140353361471984 140353988504194 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9286] ppid=9272 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9286/stat : 9286 (java) S 9272 9272 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499777037 27982450688 355715 33554432000 4194304 4196468 140736850986368 140351947924896 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9287] ppid=9272 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9287/stat : 9287 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777038 27982450688 355715 33554432000 4194304 4196468 140736850986368 140351679489520 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9288] ppid=9272 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9288/stat : 9288 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777051 27982450688 355715 33554432000 4194304 4196468 140736850986368 140351304981200 140353988511643 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9289] ppid=9272 vsize=27326612 memory=0 CPUtime=2.29 cores=0-7
/proc/9275/task/9289/stat : 9289 (java) S 9272 9272 9228 0 -1 1077944384 2731 0 0 0 228 1 0 0 20 0 20 0 499777051 27982450688 355715 33554432000 4194304 4196468 140736850986368 140353360418800 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9290] ppid=9272 vsize=27326612 memory=0 CPUtime=2.57 cores=0-7
/proc/9275/task/9290/stat : 9290 (java) S 9272 9272 9228 0 -1 1077944384 2116 0 0 0 256 1 0 0 20 0 20 0 499777052 27982450688 355715 33554432000 4194304 4196468 140736850986368 140353359366256 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9291] ppid=9272 vsize=27326612 memory=280420428039936 CPUtime=2.08 cores=0-7
/proc/9275/task/9291/stat : 9291 (java) S 9272 9272 9228 0 -1 1077944384 2186 0 0 0 206 2 0 0 20 0 20 0 499777052 27982450688 355715 33554432000 4194304 4196468 140736850986368 140353358313712 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9292] ppid=9272 vsize=27326612 memory=0 CPUtime=0.84 cores=0-7
/proc/9275/task/9292/stat : 9292 (java) S 9272 9272 9228 0 -1 1077944384 2387 0 0 0 83 1 0 0 20 0 20 0 499777052 27982450688 355715 33554432000 4194304 4196468 140736850986368 140352975530352 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9293] ppid=9272 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9293/stat : 9293 (java) S 9272 9272 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499777052 27982450688 355715 33554432000 4194304 4196468 140736850986368 140350807075552 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9294] ppid=9272 vsize=27326612 memory=-3040564339240289162 CPUtime=0 cores=0-7
/proc/9275/task/9294/stat : 9294 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777055 27982450688 355715 33554432000 4194304 4196468 140736850986368 140352974478256 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
Current children cumulated CPU time: 12.23 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 1424260 KiB
[startup+12.7009 s]
/proc/loadavg: 0.30 0.08 0.07 2/211 9294
/proc/meminfo: memFree=18738496/32770624 swapFree=67002260/67108860
[pid=9272] ppid=9269 vsize=113128 memory=1400 CPUtime=0 cores=0-7
################
# More data... #
################
[pid=9275/tid=9277] ppid=9272 vsize=27326612 memory=60068 CPUtime=0 cores=0-7
/proc/9275/task/9277/stat : 9277 (java) S 9272 9272 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 933708 33554432000 4194304 4196468 140736850986368 140353992735504 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9278] ppid=9272 vsize=27326612 memory=988 CPUtime=0 cores=0-7
/proc/9275/task/9278/stat : 9278 (java) S 9272 9272 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 933708 33554432000 4194304 4196468 140736850986368 140353410337680 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9279] ppid=9272 vsize=27326612 memory=1400 CPUtime=0 cores=0-7
/proc/9275/task/9279/stat : 9279 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 933708 33554432000 4194304 4196468 140736850986368 140353409285136 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9280] ppid=9272 vsize=27326612 memory=1400 CPUtime=0 cores=0-7
/proc/9275/task/9280/stat : 9280 (java) S 9272 9272 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 933708 33554432000 4194304 4196468 140736850986368 140353408232592 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9281] ppid=9272 vsize=27326612 memory=3067064 CPUtime=0 cores=0-7
/proc/9275/task/9281/stat : 9281 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 933708 33554432000 4194304 4196468 140736850986368 140353407179024 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9282] ppid=9272 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9282/stat : 9282 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 933708 33554432000 4194304 4196468 140736850986368 140353406126480 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9283] ppid=9272 vsize=27326612 memory=5931329023713563746 CPUtime=0 cores=0-7
/proc/9275/task/9283/stat : 9283 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 933708 33554432000 4194304 4196468 140736850986368 140353405073936 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9284] ppid=9272 vsize=27326612 memory=5931329023713235041 CPUtime=0 cores=0-7
/proc/9275/task/9284/stat : 9284 (java) S 9272 9272 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 933708 33554432000 4194304 4196468 140736850986368 140353404021392 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9285] ppid=9272 vsize=27326612 memory=6075463925956235344 CPUtime=0 cores=0-7
/proc/9275/task/9285/stat : 9285 (java) S 9272 9272 9228 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 499777037 27982450688 933708 33554432000 4194304 4196468 140736850986368 140353361471984 140353988504194 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9286] ppid=9272 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9286/stat : 9286 (java) S 9272 9272 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499777037 27982450688 933708 33554432000 4194304 4196468 140736850986368 140351947924896 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9287] ppid=9272 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9287/stat : 9287 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777038 27982450688 933708 33554432000 4194304 4196468 140736850986368 140351679489520 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9288] ppid=9272 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9288/stat : 9288 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777051 27982450688 933708 33554432000 4194304 4196468 140736850986368 140351304981200 140353988511643 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9289] ppid=9272 vsize=27326612 memory=0 CPUtime=2.72 cores=0-7
/proc/9275/task/9289/stat : 9289 (java) S 9272 9272 9228 0 -1 1077944384 2943 0 0 0 271 1 0 0 20 0 20 0 499777051 27982450688 933708 33554432000 4194304 4196468 140736850986368 140353360418800 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9290] ppid=9272 vsize=27326612 memory=3616 CPUtime=3.05 cores=0-7
/proc/9275/task/9290/stat : 9290 (java) S 9272 9272 9228 0 -1 1077944384 2207 0 0 0 304 1 0 0 20 0 20 0 499777052 27982450688 933708 33554432000 4194304 4196468 140736850986368 140353359366256 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9291] ppid=9272 vsize=27326612 memory=1400 CPUtime=2.49 cores=0-7
/proc/9275/task/9291/stat : 9291 (java) S 9272 9272 9228 0 -1 1077944384 2258 0 0 0 247 2 0 0 20 0 20 0 499777052 27982450688 933708 33554432000 4194304 4196468 140736850986368 140353358313712 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9292] ppid=9272 vsize=27326612 memory=382848 CPUtime=1.04 cores=0-7
/proc/9275/task/9292/stat : 9292 (java) S 9272 9272 9228 0 -1 1077944384 2878 0 0 0 102 2 0 0 20 0 20 0 499777052 27982450688 933708 33554432000 4194304 4196468 140736850986368 140352975530352 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9293] ppid=9272 vsize=27326612 memory=5795117241467496816 CPUtime=0 cores=0-7
/proc/9275/task/9293/stat : 9293 (java) S 9272 9272 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499777052 27982450688 933708 33554432000 4194304 4196468 140736850986368 140350807075552 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9294] ppid=9272 vsize=27326612 memory=7595725831727968097 CPUtime=0 cores=0-7
/proc/9275/task/9294/stat : 9294 (java) S 9272 9272 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499777055 27982450688 933708 33554432000 4194304 4196468 140736850986368 140352974478256 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
Current children cumulated CPU time: 20.14 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 3736232 KiB
[startup+13.1192 s]
# the end of solver process 9272 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20.0237 s, system=0.757464 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8011 s]
/proc/loadavg: 0.30 0.08 0.07 2/211 9294
/proc/meminfo: memFree=18738496/32770624 swapFree=67002260/67108860
[pid=9272] ppid=9269 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9272/stat : 9272 (scop.sh) S 9269 9272 9228 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 499776923 115843072 350 33554432000 4194304 5098028 140734262157552 140734262154808 139761561948796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 3 0 0 7196144 7232144 30429184 140734262162172 140734262162520 140734262162520 140734262165449 0
/proc/9272/statm: 28282 350 297 221 0 87 0
[pid=9275] ppid=9272 vsize=27326612 memory=3775792 CPUtime=20.24 cores=0-7
/proc/9275/stat : 9275 (java) S 9272 9272 9228 0 -1 1077944320 33537 0 0 0 1954 70 0 0 20 0 20 0 499776975 27982450688 943948 33554432000 4194304 4196468 140736850986368 140736850968912 140353988493047 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
/proc/9275/statm: 6831653 943948 3266 1 0 6792983 0
[pid=9275/tid=9276] ppid=9272 vsize=27326612 memory=8112282956445269571 CPUtime=10.9 cores=0-7
/proc/9275/task/9276/stat : 9276 (java) R 9272 9272 9228 0 -1 4202560 21907 0 0 0 1028 62 0 0 20 0 20 0 499777011 27982450688 943948 33554432000 4194304 4196468 140736850986368 140353960323680 140353452014893 0 4 2 25189581 0 0 0 -1 4 0 0 51 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9277] ppid=9272 vsize=27326612 memory=2268796 CPUtime=0 cores=0-7
/proc/9275/task/9277/stat : 9277 (java) S 9272 9272 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 943948 33554432000 4194304 4196468 140736850986368 140353992735504 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9278] ppid=9272 vsize=27326612 memory=8514726395715349656 CPUtime=0 cores=0-7
/proc/9275/task/9278/stat : 9278 (java) S 9272 9272 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 943948 33554432000 4194304 4196468 140736850986368 140353410337680 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9279] ppid=9272 vsize=27326612 memory=-8634980985311628903 CPUtime=0 cores=0-7
/proc/9275/task/9279/stat : 9279 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 943948 33554432000 4194304 4196468 140736850986368 140353409285136 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9280] ppid=9272 vsize=27326612 memory=7100839878645619564 CPUtime=0 cores=0-7
/proc/9275/task/9280/stat : 9280 (java) S 9272 9272 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 943948 33554432000 4194304 4196468 140736850986368 140353408232592 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9281] ppid=9272 vsize=27326612 memory=3047711553320166262 CPUtime=0 cores=0-7
/proc/9275/task/9281/stat : 9281 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 943948 33554432000 4194304 4196468 140736850986368 140353407179024 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9282] ppid=9272 vsize=27326612 memory=7824336315716348491 CPUtime=0 cores=0-7
/proc/9275/task/9282/stat : 9282 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 943948 33554432000 4194304 4196468 140736850986368 140353406126480 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9283] ppid=9272 vsize=27326612 memory=2832 CPUtime=0 cores=0-7
/proc/9275/task/9283/stat : 9283 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 943948 33554432000 4194304 4196468 140736850986368 140353405073936 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9284] ppid=9272 vsize=27326612 memory=1224 CPUtime=0 cores=0-7
/proc/9275/task/9284/stat : 9284 (java) S 9272 9272 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 943948 33554432000 4194304 4196468 140736850986368 140353404021392 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9285] ppid=9272 vsize=27326612 memory=6148 CPUtime=0 cores=0-7
/proc/9275/task/9285/stat : 9285 (java) S 9272 9272 9228 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 499777037 27982450688 943948 33554432000 4194304 4196468 140736850986368 140353361471984 140353988504194 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9286] ppid=9272 vsize=27326612 memory=772 CPUtime=0 cores=0-7
/proc/9275/task/9286/stat : 9286 (java) S 9272 9272 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499777037 27982450688 943948 33554432000 4194304 4196468 140736850986368 140351947924896 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9287] ppid=9272 vsize=27326612 memory=1556 CPUtime=0 cores=0-7
/proc/9275/task/9287/stat : 9287 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777038 27982450688 943948 33554432000 4194304 4196468 140736850986368 140351679489520 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9288] ppid=9272 vsize=27326612 memory=1056 CPUtime=0 cores=0-7
/proc/9275/task/9288/stat : 9288 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777051 27982450688 943948 33554432000 4194304 4196468 140736850986368 140351304981200 140353988511643 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9289] ppid=9272 vsize=27326612 memory=1096 CPUtime=2.72 cores=0-7
/proc/9275/task/9289/stat : 9289 (java) S 9272 9272 9228 0 -1 1077944384 2943 0 0 0 271 1 0 0 20 0 20 0 499777051 27982450688 943948 33554432000 4194304 4196468 140736850986368 140353360418800 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9290] ppid=9272 vsize=27326612 memory=2680468 CPUtime=3.05 cores=0-7
/proc/9275/task/9290/stat : 9290 (java) S 9272 9272 9228 0 -1 1077944384 2207 0 0 0 304 1 0 0 20 0 20 0 499777052 27982450688 943948 33554432000 4194304 4196468 140736850986368 140353359366256 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9291] ppid=9272 vsize=27326612 memory=1422860 CPUtime=2.49 cores=0-7
/proc/9275/task/9291/stat : 9291 (java) S 9272 9272 9228 0 -1 1077944384 2258 0 0 0 247 2 0 0 20 0 20 0 499777052 27982450688 943948 33554432000 4194304 4196468 140736850986368 140353358313712 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9292] ppid=9272 vsize=27326612 memory=23464 CPUtime=1.04 cores=0-7
/proc/9275/task/9292/stat : 9292 (java) S 9272 9272 9228 0 -1 1077944384 2878 0 0 0 102 2 0 0 20 0 20 0 499777052 27982450688 943948 33554432000 4194304 4196468 140736850986368 140352975530352 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9293] ppid=9272 vsize=27326612 memory=1400 CPUtime=0 cores=0-7
/proc/9275/task/9293/stat : 9293 (java) S 9272 9272 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499777052 27982450688 943948 33554432000 4194304 4196468 140736850986368 140350807075552 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9294] ppid=9272 vsize=27326612 memory=1400 CPUtime=0 cores=0-7
/proc/9275/task/9294/stat : 9294 (java) S 9272 9272 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499777055 27982450688 943948 33554432000 4194304 4196468 140736850986368 140352974478256 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
Current children cumulated CPU time: 20.24 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 3777192 KiB
[startup+13.0009 s]*
/proc/loadavg: 0.30 0.08 0.07 2/211 9294
/proc/meminfo: memFree=18336344/32770624 swapFree=67002260/67108860
[pid=9272] ppid=9269 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9272/stat : 9272 (scop.sh) S 9269 9272 9228 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 499776923 115843072 350 33554432000 4194304 5098028 140734262157552 140734262154808 139761561948796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 3 0 0 7196144 7232144 30429184 140734262162172 140734262162520 140734262162520 140734262165449 0
/proc/9272/statm: 28282 350 297 221 0 87 0
[pid=9275] ppid=9272 vsize=27326612 memory=3859760 CPUtime=20.45 cores=0-7
/proc/9275/stat : 9275 (java) S 9272 9272 9228 0 -1 1077944320 33578 0 0 0 1973 72 0 0 20 0 20 0 499776975 27982450688 964940 33554432000 4194304 4196468 140736850986368 140736850968912 140353988493047 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
/proc/9275/statm: 6831653 964940 3266 1 0 6792983 0
[pid=9275/tid=9276] ppid=9272 vsize=27326612 memory=1398722017469774279 CPUtime=11.11 cores=0-7
/proc/9275/task/9276/stat : 9276 (java) R 9272 9272 9228 0 -1 4202560 21948 0 0 0 1047 64 0 0 20 0 20 0 499777011 27982450688 964940 33554432000 4194304 4196468 140736850986368 140353960323680 140353446789771 0 4 2 25189581 0 0 0 -1 4 0 0 51 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9277] ppid=9272 vsize=27326612 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9275/task/9277/stat : 9277 (java) S 9272 9272 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 964940 33554432000 4194304 4196468 140736850986368 140353992735504 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9278] ppid=9272 vsize=27326612 memory=1412 CPUtime=0 cores=0-7
/proc/9275/task/9278/stat : 9278 (java) S 9272 9272 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 964940 33554432000 4194304 4196468 140736850986368 140353410337680 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9279] ppid=9272 vsize=27326612 memory=2608 CPUtime=0 cores=0-7
/proc/9275/task/9279/stat : 9279 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 964940 33554432000 4194304 4196468 140736850986368 140353409285136 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9280] ppid=9272 vsize=27326612 memory=1400 CPUtime=0 cores=0-7
/proc/9275/task/9280/stat : 9280 (java) S 9272 9272 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 964940 33554432000 4194304 4196468 140736850986368 140353408232592 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9281] ppid=9272 vsize=27326612 memory=3076156 CPUtime=0 cores=0-7
/proc/9275/task/9281/stat : 9281 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 964940 33554432000 4194304 4196468 140736850986368 140353407179024 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9282] ppid=9272 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9282/stat : 9282 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 964940 33554432000 4194304 4196468 140736850986368 140353406126480 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9283] ppid=9272 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9283/stat : 9283 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 964940 33554432000 4194304 4196468 140736850986368 140353405073936 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9284] ppid=9272 vsize=27326612 memory=55 CPUtime=0 cores=0-7
/proc/9275/task/9284/stat : 9284 (java) S 9272 9272 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499777035 27982450688 964940 33554432000 4194304 4196468 140736850986368 140353404021392 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9285] ppid=9272 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9285/stat : 9285 (java) S 9272 9272 9228 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 499777037 27982450688 964940 33554432000 4194304 4196468 140736850986368 140353361471984 140353988504194 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9286] ppid=9272 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9286/stat : 9286 (java) S 9272 9272 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499777037 27982450688 964940 33554432000 4194304 4196468 140736850986368 140351947924896 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9287] ppid=9272 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9287/stat : 9287 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777038 27982450688 964940 33554432000 4194304 4196468 140736850986368 140351679489520 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9288] ppid=9272 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/9275/task/9288/stat : 9288 (java) S 9272 9272 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499777051 27982450688 964940 33554432000 4194304 4196468 140736850986368 140351304981200 140353988511643 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9289] ppid=9272 vsize=27326612 memory=295889024 CPUtime=2.72 cores=0-7
/proc/9275/task/9289/stat : 9289 (java) S 9272 9272 9228 0 -1 1077944384 2943 0 0 0 271 1 0 0 20 0 20 0 499777051 27982450688 964940 33554432000 4194304 4196468 140736850986368 140353360418800 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9290] ppid=9272 vsize=27326612 memory=2548 CPUtime=3.05 cores=0-7
/proc/9275/task/9290/stat : 9290 (java) S 9272 9272 9228 0 -1 1077944384 2207 0 0 0 304 1 0 0 20 0 20 0 499777052 27982450688 964940 33554432000 4194304 4196468 140736850986368 140353359366256 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9291] ppid=9272 vsize=27326612 memory=1700 CPUtime=2.49 cores=0-7
/proc/9275/task/9291/stat : 9291 (java) S 9272 9272 9228 0 -1 1077944384 2258 0 0 0 247 2 0 0 20 0 20 0 499777052 27982450688 964940 33554432000 4194304 4196468 140736850986368 140353358313712 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9292] ppid=9272 vsize=27326612 memory=0 CPUtime=1.04 cores=0-7
/proc/9275/task/9292/stat : 9292 (java) S 9272 9272 9228 0 -1 1077944384 2878 0 0 0 102 2 0 0 20 0 20 0 499777052 27982450688 964940 33554432000 4194304 4196468 140736850986368 140352975530352 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9293] ppid=9272 vsize=27326612 memory=1400 CPUtime=0 cores=0-7
/proc/9275/task/9293/stat : 9293 (java) S 9272 9272 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499777052 27982450688 964940 33554432000 4194304 4196468 140736850986368 140350807075552 140353988503253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
[pid=9275/tid=9294] ppid=9272 vsize=27326612 memory=3534128 CPUtime=0 cores=0-7
/proc/9275/task/9294/stat : 9294 (java) S 9272 9272 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499777055 27982450688 964940 33554432000 4194304 4196468 140736850986368 140352974478256 140353988504194 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9089024 140736850989767 140736850990214 140736850990214 140736850993103 0
Current children cumulated CPU time: 20.45 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 3861160 KiB
[startup+13.109 s]
/proc/loadavg: 0.30 0.08 0.07 2/211 9294
/proc/meminfo: memFree=18336344/32770624 swapFree=67002260/67108860
[pid=9272] ppid=9269 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9272/stat : 9272 (scop.sh) S 9269 9272 9228 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 499776923 115843072 350 33554432000 4194304 5098028 140734262157552 140734262154808 139761561948796 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 3 0 0 7196144 7232144 30429184 140734262162172 140734262162520 140734262162520 140734262165449 0
/proc/9272/statm: 28282 350 297 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1400 KiB
Child status: 0
Real time (s): 13.1192
CPU time (s): 20.7812
CPU user time (s): 20.0237
CPU system time (s): 0.757464
CPU usage (%): 158.403
Max. virtual memory (cumulated for all children) (KiB): 27439740
Max. memory (cumulated for all children) (KiB): 3861160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.0237
system time used= 0.757464
maximum resident set size= 3879628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35766
page faults= 0
swaps= 0
block input operations= 10856
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6415
involuntary context switches= 120
# summary of solver processes directly reported to runsolver:
# pid: 9272
# total CPU time (s): 20.7812
# total CPU user time (s): 20.0237
# total CPU system time (s): 0.757464
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.110987 second user time and 0.157621 second system time
The end
Begin job on node146 at 2019-09-23 13:36:27 IDJOB=4405448 IDBENCH=119345 IDSOLVER=2868 FILE ID=node146/4405448-1569238628 RUNJOBID= node146-1569238586-9255 PBS_JOBID= 21704896 Free space on /var/tmp= 13504 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/MaxCSP/MaxCSP-maxclique-s1/MaxCSP-brock-800-2.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405448-1569238628/watcher-4405448-1569238628 -o /var/tmp/evaluation-result-4405448-1569238628/solver-4405448-1569238628 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569238586-9255 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405448-1569238628.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d3fd8a9b2a45f8a480e4f2dd6498e338 RANDOM SEED=760864286 node146.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 22189224 kB MemAvailable: 31845264 kB Buffers: 128932 kB Cached: 9565616 kB SwapCached: 3596 kB Active: 4793104 kB Inactive: 4905024 kB Active(anon): 3620 kB Inactive(anon): 56384 kB Active(file): 4789484 kB Inactive(file): 4848640 kB Unevictable: 110944 kB Mlocked: 110944 kB SwapTotal: 67108860 kB SwapFree: 67002260 kB Dirty: 24452 kB Writeback: 0 kB AnonPages: 108276 kB Mapped: 54980 kB Shmem: 47520 kB Slab: 475048 kB SReclaimable: 446376 kB SUnreclaim: 28672 kB KernelStack: 3296 kB PageTables: 5420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515208 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 63488 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /var/tmp at the end= 13484 MiB End job on node146 at 2019-09-23 13:36:42