0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-8747-serial-file.bin HOME/instance-4305494-1534075125.xml
0.66/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 13:58:46 CEST 2018
0.66/0.54 c PID: 8750
0.66/0.54 c IP: 172.20.3.151
0.66/0.54 c HOST: node151.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.18/0.85 c (0,0) Parsing End
1.18/0.86 c (0,0) CSP: 36 int (0 aux), 0 bool (0 aux), 95 ctr, max domain size 6
1.18/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.86 c (0,0) Constraint Name Generate Begin
1.18/0.87 c (0,0) Ctr:HOME/instance-4305494-1534075125.xml,ExtensionConflict:ExtensionSupport:IntVar
1.18/0.87 c (0,0) Constraint Name Generate End
1.18/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.87 c (0,0) CSP to CSPinCNF Begin
1.53/1.09 c (0,0) translated 10 (10%) constraints
1.73/1.14 c (0,0) translated 19 (20%) constraints
1.95/1.20 c (0,0) translated 29 (30%) constraints
1.95/1.23 c (0,0) translated 38 (40%) constraints
1.95/1.26 c (0,0) translated 48 (50%) constraints
1.95/1.27 c (0,0) translated 57 (60%) constraints
1.95/1.29 c (0,0) translated 67 (70%) constraints
2.27/1.30 c (0,0) translated 76 (80%) constraints
2.27/1.32 c (0,0) translated 86 (90%) constraints
2.27/1.39 c (0,0) translated 95 (100%) constraints
2.52/1.42 c (0,0) STATISTICS1:HOME/instance-4305494-1534075125.xml,ExtensionConflict:ExtensionSupport:IntVar,66,630,-1,6,7,1,,6:2030;2:140,7:5;4:425;3:40;2:160,1:2170;0:5,
2.52/1.42 c (0,0) ==========================================
2.52/1.42 c (0,0) Order
2.52/1.42 c (0,0) ==========================================
2.52/1.43 c (0,0) translated 63 (10%) constraints
2.52/1.44 c (0,0) translated 126 (20%) constraints
2.52/1.44 c (0,0) translated 189 (30%) constraints
2.52/1.45 c (0,0) translated 252 (40%) constraints
2.52/1.45 c (0,0) translated 315 (50%) constraints
2.52/1.46 c (0,0) translated 378 (60%) constraints
2.52/1.46 c (0,0) translated 441 (70%) constraints
2.52/1.46 c (0,0) translated 504 (80%) constraints
2.52/1.47 c (0,0) translated 567 (90%) constraints
2.52/1.47 c (0,0) translated 630 (100%) constraints
2.52/1.47 c (0,0) CSP to CSPinCNF End
2.52/1.47 c (0,0) CSP: 36 int (0 aux), 30 bool (30 aux), 630 ctr, max domain size 6
2.52/1.47 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.52/1.47 c (0,0) CSPinCNF Propagation Begin
2.86/1.52 c (0,0) 0 values, 185 unsatisfiable literals, and 0 valid clauses are removed
2.86/1.52 c (0,0) CSPinCNF Propagation End
2.86/1.52 c (0,0) CSP: 36 int (0 aux), 30 bool (30 aux), 630 ctr, max domain size 6
2.86/1.52 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.86/1.52 c (0,0) Simplify CSPinCNF Begin
2.86/1.52 c (1,0) Simplify CSPinCNF End
2.86/1.52 c (1,0) CSP: 36 int (0 aux), 30 bool (30 aux), 630 ctr, max domain size 6
2.86/1.52 c (1,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.86/1.52 c (1,0) Calculate Precise Domain Begin
2.86/1.53 c (1,0) 0 values are removed by re-calculation
2.86/1.53 c (1,0) Calculate Precise Domain End
2.86/1.53 c (1,0) CSP: 36 int (0 aux), 30 bool (30 aux), 630 ctr, max domain size 6
2.86/1.53 c (1,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.86/1.53 c (1,0) CSPinCNF to SatSolver Begin
2.86/1.56 c (1,1) 63 (10 %) CSP clauses are encoded (210 SAT variables, 206 SAT clauses)
2.86/1.56 c (1,1) 126 (20 %) CSP clauses are encoded (210 SAT variables, 269 SAT clauses)
2.86/1.57 c (1,1) 189 (30 %) CSP clauses are encoded (210 SAT variables, 332 SAT clauses)
2.86/1.57 c (1,1) 252 (40 %) CSP clauses are encoded (210 SAT variables, 395 SAT clauses)
2.86/1.57 c (1,1) 315 (50 %) CSP clauses are encoded (210 SAT variables, 458 SAT clauses)
2.86/1.58 c (1,1) 378 (60 %) CSP clauses are encoded (210 SAT variables, 521 SAT clauses)
2.86/1.58 c (1,1) 441 (70 %) CSP clauses are encoded (210 SAT variables, 584 SAT clauses)
2.86/1.58 c (1,1) 504 (80 %) CSP clauses are encoded (210 SAT variables, 647 SAT clauses)
2.86/1.58 c (1,1) 567 (90 %) CSP clauses are encoded (210 SAT variables, 710 SAT clauses)
2.86/1.59 c (1,1) 630 (100 %) CSP clauses are encoded (210 SAT variables, 773 SAT clauses)
2.86/1.59 c (1,1) Launch Command will be: minisat_release
2.86/1.59 c (1,1) CSPinCNF to SatSolver End
2.86/1.59 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.19/1.60 c (1,1) STATISTICS2:HOME/instance-4305494-1534075125.xml,ExtensionConflict:ExtensionSupport:IntVar,66,630,-1,6,6,1,,6:1850;2:140,6:5;4:335;3:40;2:250,1:1990,
3.19/1.60 c (1,1) 210 bool, 774 clause
3.19/1.60 c (1,1) Export Begin
3.19/1.68 c (1,1) Export to HOME/scop-8747-serial-file.bin
3.19/1.68 c (1,1) Export End
3.19/1.68 c (1,1) Export File Size: 0.01 MB
3.19/1.68 c (1,1) 0,0,0,0,1,1,1,STOP-AFTER(DIMACS)
3.19/1.68 c END-Prog: Sun Aug 12 13:58:47 CEST 2018
0.00/1.70 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-8747-serial-file.bin
3.92/2.20 c (0,0) Read Serial File Begin
3.92/2.20 c (0,0) HOME/scop-8747-serial-file.bin
4.19/2.36 c (0,0) Read Serial File End
4.19/2.37
4.19/2.37 scop order+minisat_release (2018-07-31)
4.19/2.37 (Solving Process)
4.19/2.37
4.19/2.39 c BEGIN-Prog: Sun Aug 12 13:58:48 CEST 2018
4.19/2.39 c PID: 8765
4.19/2.39 c IP: 172.20.3.151
4.19/2.39 c HOST: node151.alineos.net
4.33/2.40 c (0,0) SatSolver.solve Begin
4.33/2.40 c (0,0) 0 bool, 0 clause
4.33/2.40 c (0,0) minisat_release HOME/instance-4305494-1534075125.xml-scop-8750.cnf
4.33/2.43 c (0,0) c This is COMiniSatPS.
4.33/2.43 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.33/2.43 c (0,0) c ============================[ Problem Statistics ]=============================
4.33/2.43 c (0,0) c | |
4.33/2.43 c (0,0) c | Number of variables: 210 |
4.33/2.43 c (0,0) c | Number of clauses: 774 |
4.33/2.43 c (0,0) c | Parse time: 0.00 s |
4.33/2.43 c (0,0) c | Eliminated clauses: 0.00 Mb |
4.33/2.43 c (0,0) c Reduced to 175 vars, 695 cls (grow=0)
4.33/2.43 c (0,0) c No iterative elimination performed. (vars=175, c/v ratio=4.0)
4.33/2.43 c (0,0) c | Simplification time: 0.00 s |
4.33/2.43 c (0,0) c | |
4.33/2.43 c (0,0) c ============================[ Search Statistics ]==============================
4.33/2.43 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
4.33/2.43 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.33/2.43 c (0,0) c ===============================================================================
4.33/2.43 c (0,0) c ===============================================================================
4.33/2.43 c (0,0) c restarts : 1
4.33/2.43 c (0,0) c conflicts : 216 (60725 /sec)
4.33/2.43 c (0,0) c decisions : 496 (0.00 % random) (139443 /sec)
4.33/2.43 c (0,0) c propagations : 2302 (647175 /sec)
4.33/2.43 c (0,0) c conflict literals : 1026 (3.39 % deleted)
4.33/2.43 c (0,0) c CPU time : 0.003557 s
4.33/2.43 c (0,0)
4.33/2.43 c (0,0) s UNSATISFIABLE
4.33/2.47 c (0,0) SatSolver.solve End
4.33/2.47 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
4.33/2.47 c (0,0) Show results Begin
4.33/2.47 s UNSATISFIABLE
4.33/2.47 c (0,0) Show results End
4.33/2.47 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
4.33/2.48 c (0,0) 0,0,STOP-AFTER(ALL)
4.33/2.48 c END-Prog: Sun Aug 12 13:58:48 CEST 2018
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 (3043 MiB free)
memory of node 1: 16384 MiB (5517 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305494-1534075125/watcher-4305494-1534075125 -o /tmp/evaluation-result-4305494-1534075125/solver-4305494-1534075125 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305494-1534075125.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8747, runsolver pid=8744
Current StackSize limit: 8192 KiB
[startup+0.10034 s]*
/proc/loadavg: 2.62 2.23 2.11 3/222 8764
/proc/meminfo: memFree=8704420/32770624 swapFree=67108860/67108860
[pid=8747] ppid=8744 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8747/stat : 8747 (scop.sh) S 8744 8747 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 225075715 115843072 349 33554432000 4194304 5098028 140733826328784 140733826326040 140417690395260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8949760 140733826335808 140733826336007 140733826336007 140733826338765 0
/proc/8747/statm: 28282 349 296 221 0 87 0
[pid=8750] ppid=8747 vsize=15012476 memory=73332 CPUtime=0.11 cores=0,2,4,6
/proc/8750/stat : 8750 (java) S 8747 8747 3762 0 -1 1077944320 5981 0 0 0 10 1 0 0 20 0 15 0 225075715 15372775424 18333 33554432000 4194304 4196468 140737235547696 140737235530240 140544107716343 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
/proc/8750/statm: 3753119 18333 2742 1 0 3715579 0
[pid=8750/tid=8751] ppid=8747 vsize=15012476 memory=-6526411401870300574 CPUtime=0.09 cores=0,2,4,6
/proc/8750/task/8751/stat : 8751 (java) R 8747 8747 3762 0 -1 4202560 4248 0 0 0 8 1 0 0 20 0 15 0 225075716 15372775424 18465 33554432000 4194304 4196468 140737235547696 140544079528328 140544099953470 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8752] ppid=8747 vsize=15012476 memory=3472467925932598960 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8752/stat : 8752 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15372775424 18531 33554432000 4194304 4196468 140737235547696 140544111958416 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8753] ppid=8747 vsize=15012476 memory=139629704918656 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8753/stat : 8753 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075717 15372775424 18531 33554432000 4194304 4196468 140737235547696 140543887661328 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8754] ppid=8747 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8754/stat : 8754 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15372775424 18531 33554432000 4194304 4196468 140737235547696 140543886609040 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8755] ppid=8747 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8755/stat : 8755 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15372775424 18531 33554432000 4194304 4196468 140737235547696 140543885556240 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8756] ppid=8747 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8756/stat : 8756 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075719 15372775424 18531 33554432000 4194304 4196468 140737235547696 140543145216624 140544107727490 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8757] ppid=8747 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8757/stat : 8757 (java) S 8747 8747 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225075719 15372775424 18531 33554432000 4194304 4196468 140737235547696 140542671316256 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8758] ppid=8747 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8758/stat : 8758 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075719 15372775424 18531 33554432000 4194304 4196468 140737235547696 140542402881136 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8759] ppid=8747 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8759/stat : 8759 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075722 15372775424 18531 33554432000 4194304 4196468 140737235547696 140542028372560 140544107734939 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8760] ppid=8747 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8760/stat : 8760 (java) S 8747 8747 3762 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 225075722 15372775424 18531 33554432000 4194304 4196468 140737235547696 140543144163440 140544107727490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8761] ppid=8747 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8761/stat : 8761 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075722 15372775424 18531 33554432000 4194304 4196468 140737235547696 140543143110640 140544107727490 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8762] ppid=8747 vsize=15012476 memory=139629704918656 CPUtime=0.01 cores=0,2,4,6
/proc/8750/task/8762/stat : 8762 (java) S 8747 8747 3762 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 15 0 225075722 15372775424 18531 33554432000 4194304 4196468 140737235547696 140543073970544 140544107727490 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8763] ppid=8747 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8763/stat : 8763 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075722 15372775424 18597 33554432000 4194304 4196468 140737235547696 140541530466784 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8764] ppid=8747 vsize=15012476 memory=139629704918656 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8764/stat : 8764 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075722 15372775424 18597 33554432000 4194304 4196468 140737235547696 140543072918448 140544107727490 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74728 KiB
[startup+0.210518 s]*
/proc/loadavg: 2.62 2.23 2.11 3/222 8764
/proc/meminfo: memFree=8690840/32770624 swapFree=67108860/67108860
[pid=8747] ppid=8744 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8747/stat : 8747 (scop.sh) S 8744 8747 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 225075715 115843072 349 33554432000 4194304 5098028 140733826328784 140733826326040 140417690395260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8949760 140733826335808 140733826336007 140733826336007 140733826338765 0
/proc/8747/statm: 28282 349 296 221 0 87 0
[pid=8750] ppid=8747 vsize=15012476 memory=86932 CPUtime=0.25 cores=0,2,4,6
/proc/8750/stat : 8750 (java) S 8747 8747 3762 0 -1 1077944320 9494 0 0 0 23 2 0 0 20 0 15 0 225075715 15372775424 21733 33554432000 4194304 4196468 140737235547696 140737235530240 140544107716343 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
/proc/8750/statm: 3753119 21733 2928 1 0 3715579 0
[pid=8750/tid=8751] ppid=8747 vsize=15012476 memory=-8976644418600983157 CPUtime=0.2 cores=0,2,4,6
/proc/8750/task/8751/stat : 8751 (java) R 8747 8747 3762 0 -1 4202560 7411 0 0 0 18 2 0 0 20 0 15 0 225075716 15372775424 21733 33554432000 4194304 4196468 140737235547696 140544079541728 140544107728278 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8752] ppid=8747 vsize=15012476 memory=3472467925932598960 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8752/stat : 8752 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15372775424 21733 33554432000 4194304 4196468 140737235547696 140544111958416 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8753] ppid=8747 vsize=15012476 memory=139629704918656 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8753/stat : 8753 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075717 15372775424 21733 33554432000 4194304 4196468 140737235547696 140543887661328 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8754] ppid=8747 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8754/stat : 8754 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15372775424 21733 33554432000 4194304 4196468 140737235547696 140543886609040 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8755] ppid=8747 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8755/stat : 8755 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15372775424 21733 33554432000 4194304 4196468 140737235547696 140543885556240 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8756] ppid=8747 vsize=15012476 memory=139629704918656 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8756/stat : 8756 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075719 15372775424 21733 33554432000 4194304 4196468 140737235547696 140543145216624 140544107727490 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8757] ppid=8747 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8757/stat : 8757 (java) S 8747 8747 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225075719 15372775424 21733 33554432000 4194304 4196468 140737235547696 140542671316256 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8758] ppid=8747 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8758/stat : 8758 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075719 15372775424 21733 33554432000 4194304 4196468 140737235547696 140542402881136 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8759] ppid=8747 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8759/stat : 8759 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075722 15372775424 21733 33554432000 4194304 4196468 140737235547696 140542028372560 140544107734939 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8760] ppid=8747 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8760/stat : 8760 (java) S 8747 8747 3762 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 225075722 15372775424 21733 33554432000 4194304 4196468 140737235547696 140543144163440 140544107727490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8761] ppid=8747 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8761/stat : 8761 (java) S 8747 8747 3762 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 225075722 15372775424 21733 33554432000 4194304 4196468 140737235547696 140543143110640 140544107727490 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8762] ppid=8747 vsize=15012476 memory=139629704918656 CPUtime=0.03 cores=0,2,4,6
/proc/8750/task/8762/stat : 8762 (java) S 8747 8747 3762 0 -1 1077944384 276 0 0 0 3 0 0 0 20 0 15 0 225075722 15372775424 21733 33554432000 4194304 4196468 140737235547696 140543073970544 140544107727490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8763] ppid=8747 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8763/stat : 8763 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075722 15372775424 21733 33554432000 4194304 4196468 140737235547696 140541530466784 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8764] ppid=8747 vsize=15012476 memory=139629704918656 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8764/stat : 8764 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075722 15372775424 21733 33554432000 4194304 4196468 140737235547696 140543072918448 140544107727490 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88328 KiB
[startup+0.310578 s]*
/proc/loadavg: 2.62 2.23 2.11 3/222 8764
/proc/meminfo: memFree=8688048/32770624 swapFree=67108860/67108860
[pid=8747] ppid=8744 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8747/stat : 8747 (scop.sh) S 8744 8747 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 225075715 115843072 349 33554432000 4194304 5098028 140733826328784 140733826326040 140417690395260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8949760 140733826335808 140733826336007 140733826336007 140733826338765 0
/proc/8747/statm: 28282 349 296 221 0 87 0
[pid=8750] ppid=8747 vsize=15012476 memory=90188 CPUtime=0.42 cores=0,2,4,6
/proc/8750/stat : 8750 (java) S 8747 8747 3762 0 -1 1077944320 10005 0 0 0 39 3 0 0 20 0 15 0 225075715 15372775424 22547 33554432000 4194304 4196468 140737235547696 140737235530240 140544107716343 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
/proc/8750/statm: 3753119 22547 2977 1 0 3715579 0
[pid=8750/tid=8751] ppid=8747 vsize=15012476 memory=-8976644418600983157 CPUtime=0.29 cores=0,2,4,6
/proc/8750/task/8751/stat : 8751 (java) R 8747 8747 3762 0 -1 4202560 7781 0 0 0 27 2 0 0 20 0 15 0 225075716 15372775424 22547 33554432000 4194304 4196468 140737235547696 140544079511792 140543561726709 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8752] ppid=8747 vsize=15012476 memory=3472467925932598960 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8752/stat : 8752 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15372775424 22547 33554432000 4194304 4196468 140737235547696 140544111958416 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8753] ppid=8747 vsize=15012476 memory=279259293154176 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8753/stat : 8753 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075717 15372775424 22547 33554432000 4194304 4196468 140737235547696 140543887661328 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8754] ppid=8747 vsize=15012476 memory=279259176503328 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8754/stat : 8754 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15372775424 22547 33554432000 4194304 4196468 140737235547696 140543886609040 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8755] ppid=8747 vsize=15012476 memory=139629588235535 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8755/stat : 8755 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15372775424 22547 33554432000 4194304 4196468 140737235547696 140543885556240 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8756] ppid=8747 vsize=15012476 memory=279259293161088 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8756/stat : 8756 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075719 15372775424 22547 33554432000 4194304 4196468 140737235547696 140543145216624 140544107727490 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8757] ppid=8747 vsize=15012476 memory=139629588240143 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8757/stat : 8757 (java) S 8747 8747 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225075719 15372775424 22547 33554432000 4194304 4196468 140737235547696 140542671316256 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8758] ppid=8747 vsize=15012476 memory=139629588249904 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8758/stat : 8758 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075719 15372775424 22547 33554432000 4194304 4196468 140737235547696 140542402881136 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8759] ppid=8747 vsize=15012476 memory=279259176512544 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8759/stat : 8759 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075722 15372775424 22547 33554432000 4194304 4196468 140737235547696 140542028372560 140544107734939 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8760] ppid=8747 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8750/task/8760/stat : 8760 (java) R 8747 8747 3762 0 -1 1077944384 446 0 0 0 3 0 0 0 20 0 15 0 225075722 15372775424 22547 33554432000 4194304 4196468 140737235547696 140543144163440 140544107727490 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8761] ppid=8747 vsize=15012476 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/8750/task/8761/stat : 8761 (java) R 8747 8747 3762 0 -1 4202560 162 0 0 0 1 0 0 0 20 0 15 0 225075722 15372775424 22547 33554432000 4194304 4196468 140737235547696 140543143110640 140544088416640 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8762] ppid=8747 vsize=15012476 memory=139629704918656 CPUtime=0.07 cores=0,2,4,6
/proc/8750/task/8762/stat : 8762 (java) R 8747 8747 3762 0 -1 4202560 294 0 0 0 7 0 0 0 20 0 15 0 225075722 15372775424 22547 33554432000 4194304 4196468 140737235547696 140543073970544 140544087180501 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8763] ppid=8747 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8763/stat : 8763 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075722 15372775424 22547 33554432000 4194304 4196468 140737235547696 140541530466784 140544107726549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8764] ppid=8747 vsize=15012476 memory=139629704920052 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8764/stat : 8764 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075722 15372775424 22547 33554432000 4194304 4196468 140737235547696 140543072918448 140544107727490 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91584 KiB
[startup+0.700749 s]
/proc/loadavg: 2.62 2.23 2.11 3/222 8764
/proc/meminfo: memFree=8663244/32770624 swapFree=67108860/67108860
[pid=8747] ppid=8744 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8747/stat : 8747 (scop.sh) S 8744 8747 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 225075715 115843072 349 33554432000 4194304 5098028 140733826328784 140733826326040 140417690395260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8949760 140733826335808 140733826336007 140733826336007 140733826338765 0
/proc/8747/statm: 28282 349 296 221 0 87 0
[pid=8750] ppid=8747 vsize=15020872 memory=129980 CPUtime=1 cores=0,2,4,6
/proc/8750/stat : 8750 (java) S 8747 8747 3762 0 -1 1077944320 17130 0 0 0 95 5 0 0 20 0 15 0 225075715 15381372928 32495 33554432000 4194304 4196468 140737235547696 140737235530240 140544107716343 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
/proc/8750/statm: 3755218 32495 3164 1 0 3716603 0
[pid=8750/tid=8751] ppid=8747 vsize=15020872 memory=54 CPUtime=0.66 cores=0,2,4,6
/proc/8750/task/8751/stat : 8751 (java) R 8747 8747 3762 0 -1 4202560 14415 0 0 0 62 4 0 0 20 0 15 0 225075716 15381372928 32495 33554432000 4194304 4196468 140737235547696 140544079552192 140544091759973 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8752] ppid=8747 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8752/stat : 8752 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15381372928 32495 33554432000 4194304 4196468 140737235547696 140544111958416 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8753] ppid=8747 vsize=15020872 memory=8751464017575360309 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8753/stat : 8753 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075717 15381372928 32495 33554432000 4194304 4196468 140737235547696 140543887661328 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8754] ppid=8747 vsize=15020872 memory=5788902676991533888 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8754/stat : 8754 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15381372928 32495 33554432000 4194304 4196468 140737235547696 140543886609040 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8755] ppid=8747 vsize=15020872 memory=6440526044186890340 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8755/stat : 8755 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15381372928 32495 33554432000 4194304 4196468 140737235547696 140543885556240 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8756] ppid=8747 vsize=15020872 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8756/stat : 8756 (java) S 8747 8747 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225075719 15381372928 32495 33554432000 4194304 4196468 140737235547696 140543145216624 140544107727490 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8757] ppid=8747 vsize=15020872 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8757/stat : 8757 (java) S 8747 8747 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225075719 15381372928 32495 33554432000 4194304 4196468 140737235547696 140542671316256 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8758] ppid=8747 vsize=15020872 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8758/stat : 8758 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075719 15381372928 32495 33554432000 4194304 4196468 140737235547696 140542402881136 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8759] ppid=8747 vsize=15020872 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8759/stat : 8759 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075722 15381372928 32495 33554432000 4194304 4196468 140737235547696 140542028372560 140544107734939 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8760] ppid=8747 vsize=15020872 memory=4536 CPUtime=0.09 cores=0,2,4,6
/proc/8750/task/8760/stat : 8760 (java) R 8747 8747 3762 0 -1 1077944384 671 0 0 0 9 0 0 0 20 0 15 0 225075722 15381372928 32495 33554432000 4194304 4196468 140737235547696 140543144163440 140544107727490 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8761] ppid=8747 vsize=15020872 memory=8448 CPUtime=0.06 cores=0,2,4,6
/proc/8750/task/8761/stat : 8761 (java) R 8747 8747 3762 0 -1 4202560 284 0 0 0 6 0 0 0 20 0 15 0 225075722 15381372928 32495 33554432000 4194304 4196468 140737235547696 140543143110640 140544092841044 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8762] ppid=8747 vsize=15020872 memory=1628 CPUtime=0.16 cores=0,2,4,6
/proc/8750/task/8762/stat : 8762 (java) R 8747 8747 3762 0 -1 4202560 424 0 0 0 16 0 0 0 20 0 15 0 225075722 15381372928 32495 33554432000 4194304 4196468 140737235547696 140543073970544 140544099953470 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8763] ppid=8747 vsize=15020872 memory=1144 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8763/stat : 8763 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075722 15381372928 32495 33554432000 4194304 4196468 140737235547696 140541530466784 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8764] ppid=8747 vsize=15020872 memory=15244 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8764/stat : 8764 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075722 15381372928 32495 33554432000 4194304 4196468 140737235547696 140543072918448 140544107727490 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131376 KiB
[startup+1.50672 s]
/proc/loadavg: 2.62 2.23 2.11 3/222 8764
/proc/meminfo: memFree=8634428/32770624 swapFree=67108860/67108860
[pid=8747] ppid=8744 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8747/stat : 8747 (scop.sh) S 8744 8747 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 225075715 115843072 349 33554432000 4194304 5098028 140733826328784 140733826326040 140417690395260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8949760 140733826335808 140733826336007 140733826336007 140733826338765 0
/proc/8747/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/8750/task/8752/stat : 8752 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15385567232 45553 33554432000 4194304 4196468 140737235547696 140544111958416 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8753] ppid=8747 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8753/stat : 8753 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075717 15385567232 45553 33554432000 4194304 4196468 140737235547696 140543887661328 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8754] ppid=8747 vsize=15024968 memory=279259176321696 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8754/stat : 8754 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15385567232 45553 33554432000 4194304 4196468 140737235547696 140543886609040 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8755] ppid=8747 vsize=15024968 memory=54 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8755/stat : 8755 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15385567232 45553 33554432000 4194304 4196468 140737235547696 140543885556240 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8756] ppid=8747 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8756/stat : 8756 (java) S 8747 8747 3762 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225075719 15385567232 45553 33554432000 4194304 4196468 140737235547696 140543145216624 140544107727490 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8757] ppid=8747 vsize=15024968 memory=279259176530496 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8757/stat : 8757 (java) S 8747 8747 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225075719 15385567232 45553 33554432000 4194304 4196468 140737235547696 140542671316256 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8758] ppid=8747 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8758/stat : 8758 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075719 15385567232 45553 33554432000 4194304 4196468 140737235547696 140542402881136 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8759] ppid=8747 vsize=15024968 memory=279259176549664 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8759/stat : 8759 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075722 15385567232 45553 33554432000 4194304 4196468 140737235547696 140542028372560 140544107734939 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8760] ppid=8747 vsize=15024968 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/8750/task/8760/stat : 8760 (java) R 8747 8747 3762 0 -1 4202560 859 0 0 0 36 0 0 0 20 0 15 0 225075722 15385567232 45553 33554432000 4194304 4196468 140737235547696 140543144163568 140544087433479 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8761] ppid=8747 vsize=15024968 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/8750/task/8761/stat : 8761 (java) R 8747 8747 3762 0 -1 4202560 585 0 0 0 32 0 0 0 20 0 15 0 225075722 15385567232 45553 33554432000 4194304 4196468 140737235547696 140543143103272 140544092108808 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8762] ppid=8747 vsize=15024968 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/8750/task/8762/stat : 8762 (java) R 8747 8747 3762 0 -1 4202560 2493 0 0 0 66 0 0 0 20 0 15 0 225075722 15385567232 45553 33554432000 4194304 4196468 140737235547696 140543073970544 140544089616040 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8763] ppid=8747 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8763/stat : 8763 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075722 15385567232 45553 33554432000 4194304 4196468 140737235547696 140541530466784 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8764] ppid=8747 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8764/stat : 8764 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075722 15385567232 45553 33554432000 4194304 4196468 140737235547696 140543072918448 140544107727490 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 183608 KiB
[startup+2.48739 s]
# the end of solver process 8747 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.36102 s, system=0.181097 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60176 s]
/proc/loadavg: 2.62 2.23 2.11 3/222 8764
/proc/meminfo: memFree=8634428/32770624 swapFree=67108860/67108860
[pid=8747] ppid=8744 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8747/stat : 8747 (scop.sh) S 8744 8747 3762 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 225075715 115843072 349 33554432000 4194304 5098028 140733826328784 140733826326040 140417690395260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8949760 140733826335808 140733826336007 140733826336007 140733826338765 0
/proc/8747/statm: 28282 349 296 221 0 87 0
[pid=8750] ppid=8747 vsize=15027084 memory=194752 CPUtime=3.19 cores=0,2,4,6
/proc/8750/stat : 8750 (java) S 8747 8747 3762 0 -1 1077944320 22068 0 0 0 310 9 0 0 20 0 15 0 225075715 15387734016 48688 33554432000 4194304 4196468 140737235547696 140737235530240 140544107716343 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
/proc/8750/statm: 3756771 48688 3205 1 0 3717627 0
[pid=8750/tid=8751] ppid=8747 vsize=15027084 memory=0 CPUtime=1.56 cores=0,2,4,6
/proc/8750/task/8751/stat : 8751 (java) R 8747 8747 3762 0 -1 4202560 15914 0 0 0 150 6 0 0 20 0 15 0 225075716 15387734016 48688 33554432000 4194304 4196468 140737235547696 140544079552128 140543561547138 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8752] ppid=8747 vsize=15027084 memory=7523615452491704178 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8752/stat : 8752 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15387734016 48688 33554432000 4194304 4196468 140737235547696 140544111958416 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8753] ppid=8747 vsize=15027084 memory=7230921007607278949 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8753/stat : 8753 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075717 15387734016 48688 33554432000 4194304 4196468 140737235547696 140543887661328 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8754] ppid=8747 vsize=15027084 memory=7445408212593438312 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8754/stat : 8754 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15387734016 48688 33554432000 4194304 4196468 140737235547696 140543886609040 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8755] ppid=8747 vsize=15027084 memory=7445408212593438312 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8755/stat : 8755 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075717 15387734016 48688 33554432000 4194304 4196468 140737235547696 140543885556240 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8756] ppid=8747 vsize=15027084 memory=7014751519617013604 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8756/stat : 8756 (java) S 8747 8747 3762 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225075719 15387734016 48688 33554432000 4194304 4196468 140737235547696 140543145216624 140544107727490 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8757] ppid=8747 vsize=15027084 memory=7014751519617013604 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8757/stat : 8757 (java) S 8747 8747 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225075719 15387734016 48688 33554432000 4194304 4196468 140737235547696 140542671316256 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8758] ppid=8747 vsize=15027084 memory=139629704918656 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8758/stat : 8758 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075719 15387734016 48688 33554432000 4194304 4196468 140737235547696 140542402881136 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8759] ppid=8747 vsize=15027084 memory=139629386792961 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8759/stat : 8759 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075722 15387734016 48688 33554432000 4194304 4196468 140737235547696 140542028372560 140544107734939 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8760] ppid=8747 vsize=15027084 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/8750/task/8760/stat : 8760 (java) R 8747 8747 3762 0 -1 4202560 925 0 0 0 44 0 0 0 20 0 15 0 225075722 15387734016 48688 33554432000 4194304 4196468 140737235547696 140543144148752 140544107737690 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8761] ppid=8747 vsize=15027084 memory=7157735280196867940 CPUtime=0.41 cores=0,2,4,6
/proc/8750/task/8761/stat : 8761 (java) R 8747 8747 3762 0 -1 4202560 1275 0 0 0 41 0 0 0 20 0 15 0 225075722 15387734016 48688 33554432000 4194304 4196468 140737235547696 140543143096664 140544089260892 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8762] ppid=8747 vsize=15027084 memory=7378419371386366051 CPUtime=0.73 cores=0,2,4,6
/proc/8750/task/8762/stat : 8762 (java) R 8747 8747 3762 0 -1 4202560 2614 0 0 0 73 0 0 0 20 0 15 0 225075722 15387734016 48688 33554432000 4194304 4196468 140737235547696 140543073969728 140544107728278 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8763] ppid=8747 vsize=15027084 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8763/stat : 8763 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075722 15387734016 48688 33554432000 4194304 4196468 140737235547696 140541530466784 140544107726549 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
[pid=8750/tid=8764] ppid=8747 vsize=15027084 memory=160952 CPUtime=0 cores=0,2,4,6
/proc/8750/task/8764/stat : 8764 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075722 15387734016 48688 33554432000 4194304 4196468 140737235547696 140543072918448 140544107727490 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36241408 140737235551239 140737235551537 140737235551537 140737235554255 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 196148 KiB
[startup+2.00027 s]*
/proc/loadavg: 2.62 2.23 2.11 3/222 8779
/proc/meminfo: memFree=8711756/32770624 swapFree=67108860/67108860
[pid=8747] ppid=8744 vsize=113128 memory=1472 CPUtime=3.39 cores=0,2,4,6
/proc/8747/stat : 8747 (scop.sh) S 8744 8747 3762 0 -1 4202496 591 23037 0 0 0 0 328 11 20 0 1 0 225075715 115843072 368 33554432000 4194304 5098028 140733826328784 140733826325528 140417690395260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8949760 140733826335808 140733826336007 140733826336007 140733826338765 0
/proc/8747/statm: 28282 368 311 221 0 87 0
[pid=8765] ppid=8747 vsize=7404280 memory=65848 CPUtime=0.41 cores=0,2,4,6
/proc/8765/stat : 8765 (java) S 8747 8747 3762 0 -1 1077944320 10446 0 0 0 38 3 0 0 20 0 15 0 225075886 7581982720 16462 33554432000 4194304 4196468 140732388930048 140732388912592 140026962046711 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
/proc/8765/statm: 1851070 16462 2983 1 0 1813530 0
[pid=8765/tid=8766] ppid=8747 vsize=7404280 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/8765/task/8766/stat : 8766 (java) R 8747 8747 3762 0 -1 4202560 8152 0 0 0 26 2 0 0 20 0 15 0 225075886 7581982720 16462 33554432000 4194304 4196468 140732388930048 140026933854736 140026943610288 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8767] ppid=8747 vsize=7404280 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8767/stat : 8767 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075887 7581982720 16462 33554432000 4194304 4196468 140732388930048 140026966288912 140026962056917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8768] ppid=8747 vsize=7404280 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8768/stat : 8768 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075887 7581982720 16462 33554432000 4194304 4196468 140732388930048 140026766457488 140026962056917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8769] ppid=8747 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8769/stat : 8769 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075887 7581982720 16462 33554432000 4194304 4196468 140732388930048 140026765404432 140026962056917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8770] ppid=8747 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8770/stat : 8770 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075887 7581982720 16462 33554432000 4194304 4196468 140732388930048 140026764351888 140026962056917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8771] ppid=8747 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8771/stat : 8771 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075889 7581982720 16462 33554432000 4194304 4196468 140732388930048 140026274319088 140026962057858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8772] ppid=8747 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8772/stat : 8772 (java) S 8747 8747 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225075889 7581982720 16462 33554432000 4194304 4196468 140732388930048 140025798846112 140026962056917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8773] ppid=8747 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8773/stat : 8773 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075889 7581982720 16462 33554432000 4194304 4196468 140732388930048 140025530410224 140026962056917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8774] ppid=8747 vsize=7404280 memory=288230617509017792 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8774/stat : 8774 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075892 7581982720 16462 33554432000 4194304 4196468 140732388930048 140025155901904 140026962065307 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8775] ppid=8747 vsize=7404280 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8765/task/8775/stat : 8775 (java) S 8747 8747 3762 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 15 0 225075892 7581982720 16462 33554432000 4194304 4196468 140732388930048 140026273265904 140026962057858 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8776] ppid=8747 vsize=7404280 memory=3618114767865066543 CPUtime=0.02 cores=0,2,4,6
/proc/8765/task/8776/stat : 8776 (java) S 8747 8747 3762 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 15 0 225075892 7581982720 16462 33554432000 4194304 4196468 140732388930048 140026272213360 140026962057858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8777] ppid=8747 vsize=7404280 memory=3690612149726309297 CPUtime=0.07 cores=0,2,4,6
/proc/8765/task/8777/stat : 8777 (java) S 8747 8747 3762 0 -1 1077944384 360 0 0 0 7 0 0 0 20 0 15 0 225075892 7581982720 16462 33554432000 4194304 4196468 140732388930048 140026271160304 140026962057858 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8778] ppid=8747 vsize=7404280 memory=7878495878512654391 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8778/stat : 8778 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075892 7581982720 16462 33554432000 4194304 4196468 140732388930048 140024657996128 140026962056917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8779] ppid=8747 vsize=7404280 memory=3472467925932598960 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8779/stat : 8779 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075892 7581982720 16462 33554432000 4194304 4196468 140732388930048 140026270108720 140026962057858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
Current children cumulated CPU time: 3.8 s
Current children cumulated vsize: 7517408 KiB
Current children cumulated memory: 67320 KiB
[startup+2.40071 s]
/proc/loadavg: 2.62 2.23 2.11 3/222 8779
/proc/meminfo: memFree=8711756/32770624 swapFree=67108860/67108860
[pid=8747] ppid=8744 vsize=113128 memory=1472 CPUtime=3.39 cores=0,2,4,6
/proc/8747/stat : 8747 (scop.sh) S 8744 8747 3762 0 -1 4202496 591 23037 0 0 0 0 328 11 20 0 1 0 225075715 115843072 368 33554432000 4194304 5098028 140733826328784 140733826325528 140417690395260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8949760 140733826335808 140733826336007 140733826336007 140733826338765 0
/proc/8747/statm: 28282 368 311 221 0 87 0
[pid=8765] ppid=8747 vsize=7410572 memory=101352 CPUtime=0.94 cores=0,2,4,6
/proc/8765/stat : 8765 (java) S 8747 8747 3762 0 -1 1077944320 16979 0 0 0 89 5 0 0 20 0 15 0 225075886 7588425728 25338 33554432000 4194304 4196468 140732388930048 140732388912592 140026962046711 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
/proc/8765/statm: 1852643 25338 3091 1 0 1814042 0
[pid=8765/tid=8766] ppid=8747 vsize=7410572 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/8765/task/8766/stat : 8766 (java) R 8747 8747 3762 0 -1 4202560 14502 0 0 0 62 4 0 0 20 0 15 0 225075886 7588425728 25338 33554432000 4194304 4196468 140732388930048 140026933877320 140026962058646 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8767] ppid=8747 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8767/stat : 8767 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075887 7588425728 25338 33554432000 4194304 4196468 140732388930048 140026966288912 140026962056917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8768] ppid=8747 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8768/stat : 8768 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075887 7588425728 25338 33554432000 4194304 4196468 140732388930048 140026766457488 140026962056917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8769] ppid=8747 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8769/stat : 8769 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075887 7588425728 25338 33554432000 4194304 4196468 140732388930048 140026765404432 140026962056917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8770] ppid=8747 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8770/stat : 8770 (java) S 8747 8747 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075887 7588425728 25338 33554432000 4194304 4196468 140732388930048 140026764351888 140026962056917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8771] ppid=8747 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8771/stat : 8771 (java) S 8747 8747 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225075889 7588425728 25338 33554432000 4194304 4196468 140732388930048 140026274319088 140026962057858 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8772] ppid=8747 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8772/stat : 8772 (java) S 8747 8747 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225075889 7588425728 25338 33554432000 4194304 4196468 140732388930048 140025798846112 140026962056917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8773] ppid=8747 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8773/stat : 8773 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075889 7588425728 25338 33554432000 4194304 4196468 140732388930048 140025530410224 140026962056917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8774] ppid=8747 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8774/stat : 8774 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075892 7588425728 25338 33554432000 4194304 4196468 140732388930048 140025155901904 140026962065307 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8775] ppid=8747 vsize=7410572 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8765/task/8775/stat : 8775 (java) S 8747 8747 3762 0 -1 1077944384 406 0 0 0 5 0 0 0 20 0 15 0 225075892 7588425728 25338 33554432000 4194304 4196468 140732388930048 140026273265904 140026962057858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8776] ppid=8747 vsize=7410572 memory=71828 CPUtime=0.04 cores=0,2,4,6
/proc/8765/task/8776/stat : 8776 (java) S 8747 8747 3762 0 -1 1077944384 225 0 0 0 4 0 0 0 20 0 15 0 225075892 7588425728 25338 33554432000 4194304 4196468 140732388930048 140026272213360 140026962057858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8777] ppid=8747 vsize=7410572 memory=279259176391872 CPUtime=0.16 cores=0,2,4,6
/proc/8765/task/8777/stat : 8777 (java) R 8747 8747 3762 0 -1 4202560 509 0 0 0 16 0 0 0 20 0 15 0 225075892 7588425728 25338 33554432000 4194304 4196468 140732388930048 140026271160304 140026943420160 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8778] ppid=8747 vsize=7410572 memory=279259176508752 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8778/stat : 8778 (java) S 8747 8747 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075892 7588425728 25338 33554432000 4194304 4196468 140732388930048 140024657996128 140026962056917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
[pid=8765/tid=8779] ppid=8747 vsize=7410572 memory=7522797428473883477 CPUtime=0 cores=0,2,4,6
/proc/8765/task/8779/stat : 8779 (java) S 8747 8747 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075892 7588425728 25338 33554432000 4194304 4196468 140732388930048 140026270108720 140026962057858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31129600 140732388938934 140732388939057 140732388939057 140732388941775 0
Current children cumulated CPU time: 4.33 s
Current children cumulated vsize: 7523700 KiB
Current children cumulated memory: 102824 KiB
Child status: 0
Real time (s): 2.48743
CPU time (s): 4.54211
CPU user time (s): 4.36102
CPU system time (s): 0.181097
CPU usage (%): 182.602
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 196148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.36102
system time used= 0.181097
maximum resident set size= 203828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42082
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4841
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 8747
# total CPU time (s): 4.54211
# total CPU user time (s): 4.36102
# total CPU system time (s): 0.181097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03705 second user time and 0.069984 second system time
The end