0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-26605-serial-file.bin HOME/instance-4305543-1534070867.xml
0.66/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 12:47:48 CEST 2018
0.66/0.55 c PID: 26608
0.66/0.55 c IP: 172.20.3.106
0.66/0.55 c HOST: node106.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.17/0.87 c (0,0) Parsing End
1.17/0.88 c (0,0) CSP: 0 int (0 aux), 49 bool (0 aux), 36 ctr, max domain size 2
1.17/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.17/0.88 c (0,0) Constraint Name Generate Begin
1.17/0.88 c (0,0) Ctr:HOME/instance-4305543-1534070867.xml,IntVar:LexMatrix:Num:WeightedSum
1.17/0.88 c (0,0) Constraint Name Generate End
1.17/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.17/0.88 c (0,0) CSP to CSPinCNF Begin
1.36/0.98 c (0,0) translated 4 (10%) constraints
1.36/0.99 c (0,0) translated 8 (20%) constraints
1.36/1.00 c (0,0) translated 11 (30%) constraints
1.36/1.01 c (0,0) translated 15 (40%) constraints
1.56/1.09 c (0,0) translated 18 (50%) constraints
1.77/1.15 c (0,0) translated 22 (60%) constraints
2.07/1.20 c (0,0) translated 26 (70%) constraints
2.07/1.24 c (0,0) translated 29 (80%) constraints
2.07/1.27 c (0,0) translated 33 (90%) constraints
2.07/1.29 c (0,0) translated 36 (100%) constraints
2.67/1.41 c (0,0) STATISTICS1:HOME/instance-4305543-1534070867.xml,IntVar:LexMatrix:Num:WeightedSum,403,767,64,2,4,7,64:70;2:156,2:2060,4:60;3:306;2:354;1:47,7:70;2:156;1:1650,
2.67/1.41 c (0,0) ==========================================
2.67/1.41 c (0,0) Both Encoding selects:
2.67/1.41 c (0,0) Order
2.67/1.41 c (0,0) ==========================================
2.67/1.44 c (0,0) translated 77 (10%) constraints
2.67/1.46 c (0,0) translated 154 (20%) constraints
2.67/1.47 c (0,0) translated 231 (30%) constraints
2.67/1.48 c (0,0) translated 307 (40%) constraints
2.67/1.49 c (0,0) translated 384 (50%) constraints
2.67/1.50 c (0,0) translated 461 (60%) constraints
3.02/1.50 c (0,0) translated 537 (70%) constraints
3.02/1.51 c (0,0) translated 614 (80%) constraints
3.02/1.52 c (0,0) translated 691 (90%) constraints
3.02/1.53 c (1,0) translated 767 (100%) constraints
3.02/1.53 c (1,0) CSP to CSPinCNF End
3.02/1.54 c (1,0) CSP: 0 int (0 aux), 550 bool (501 aux), 1096 ctr, max domain size 2
3.02/1.54 c (1,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.02/1.54 c (1,0) CSPinCNF Propagation Begin
3.02/1.57 c (1,1) 0 values, 147 unsatisfiable literals, and 147 valid clauses are removed
3.02/1.57 c (1,1) CSPinCNF Propagation End
3.02/1.57 c (1,1) CSP: 0 int (0 aux), 550 bool (501 aux), 949 ctr, max domain size 2
3.02/1.57 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.02/1.57 c (1,1) Simplify CSPinCNF Begin
3.02/1.59 c (1,1) Simplify CSPinCNF End
3.02/1.59 c (1,1) CSP: 0 int (0 aux), 706 bool (657 aux), 1105 ctr, max domain size 2
3.02/1.59 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.02/1.59 c (1,1) Calculate Precise Domain Begin
3.02/1.59 c (1,1) 0 values are removed by re-calculation
3.02/1.59 c (1,1) Calculate Precise Domain End
3.02/1.59 c (1,1) CSP: 0 int (0 aux), 706 bool (657 aux), 1105 ctr, max domain size 2
3.02/1.59 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.02/1.59 c (1,1) CSPinCNF to SatSolver Begin
3.61/1.71 c (1,1) 111 (10 %) CSP clauses are encoded (706 SAT variables, 926 SAT clauses)
3.61/1.72 c (1,1) 221 (20 %) CSP clauses are encoded (706 SAT variables, 1096 SAT clauses)
3.61/1.72 c (1,1) 332 (30 %) CSP clauses are encoded (706 SAT variables, 1267 SAT clauses)
3.61/1.73 c (1,1) 442 (40 %) CSP clauses are encoded (706 SAT variables, 1437 SAT clauses)
3.61/1.73 c (1,1) 553 (50 %) CSP clauses are encoded (706 SAT variables, 1608 SAT clauses)
3.61/1.73 c (1,1) 663 (60 %) CSP clauses are encoded (706 SAT variables, 1778 SAT clauses)
3.61/1.73 c (1,1) 774 (70 %) CSP clauses are encoded (706 SAT variables, 1949 SAT clauses)
3.61/1.74 c (1,1) 884 (80 %) CSP clauses are encoded (706 SAT variables, 2096 SAT clauses)
3.61/1.74 c (1,1) 995 (90 %) CSP clauses are encoded (706 SAT variables, 2260 SAT clauses)
3.61/1.75 c (1,1) 1105 (100 %) CSP clauses are encoded (706 SAT variables, 2424 SAT clauses)
3.61/1.75 c (1,1) Launch Command will be: minisat_release
3.61/1.75 c (1,1) CSPinCNF to SatSolver End
3.61/1.75 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.61/1.77 c (1,1) STATISTICS2:HOME/instance-4305543-1534070867.xml,IntVar:LexMatrix:Num:WeightedSum,706,1105,64,2,4,7,64:70;2:228,2:3055,4:60;3:159;2:804;1:82,7:70;2:228;1:2109,
3.61/1.77 c (1,1) 706 bool, 2425 clause
3.61/1.77 c (1,1) Export Begin
3.92/1.85 c (1,1) Export to HOME/scop-26605-serial-file.bin
3.92/1.85 c (1,1) Export End
3.92/1.85 c (1,1) Export File Size: 0.01 MB
3.92/1.85 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
3.92/1.85 c END-Prog: Sun Aug 12 12:47:49 CEST 2018
3.92/1.86 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-26605-serial-file.bin
4.58/2.36 c (0,0) Read Serial File Begin
4.58/2.36 c (0,0) HOME/scop-26605-serial-file.bin
4.85/2.51 c (0,0) Read Serial File End
4.85/2.53
4.85/2.53 scop order+minisat_release (2018-07-31)
4.85/2.53 (Solving Process)
4.85/2.53
4.85/2.55 c BEGIN-Prog: Sun Aug 12 12:47:50 CEST 2018
4.85/2.55 c PID: 26623
4.85/2.55 c IP: 172.20.3.106
4.85/2.55 c HOST: node106.alineos.net
4.85/2.55 c (0,0) SatSolver.solve Begin
4.85/2.55 c (0,0) 0 bool, 0 clause
4.85/2.55 c (0,0) minisat_release HOME/instance-4305543-1534070867.xml-scop-26608.cnf
4.85/2.59 c (0,0) c This is COMiniSatPS.
4.85/2.59 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.85/2.59 c (0,0) c ============================[ Problem Statistics ]=============================
4.85/2.59 c (0,0) c | |
4.85/2.59 c (0,0) c | Number of variables: 706 |
4.85/2.59 c (0,0) c | Number of clauses: 2425 |
4.85/2.59 c (0,0) c | Parse time: 0.00 s |
4.85/2.59 c (0,0) c | Eliminated clauses: 0.01 Mb |
4.85/2.59 c (0,0) c Reduced to 27 vars, 138 cls (grow=0)
4.85/2.59 c (0,0) c No iterative elimination performed. (vars=27, c/v ratio=5.1)
4.85/2.59 c (0,0) c | Simplification time: 0.00 s |
4.85/2.59 c (0,0) c | |
4.85/2.59 c (0,0) c ============================[ Search Statistics ]==============================
4.85/2.59 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
4.85/2.59 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.85/2.59 c (0,0) c ===============================================================================
4.85/2.59 c (0,0) c ===============================================================================
4.85/2.59 c (0,0) c restarts : 1
4.85/2.59 c (0,0) c conflicts : 1 (294 /sec)
4.85/2.59 c (0,0) c decisions : 2 (0.00 % random) (589 /sec)
4.85/2.59 c (0,0) c propagations : 370 (108888 /sec)
4.85/2.59 c (0,0) c conflict literals : 1 (0.00 % deleted)
4.85/2.59 c (0,0) c CPU time : 0.003398 s
4.85/2.59 c (0,0)
4.85/2.59 c (0,0) s SATISFIABLE
5.09/2.63 c (0,0) SatSolver.solve End
5.09/2.63 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
5.09/2.63 c (0,0) Show results Begin
5.09/2.68 s SATISFIABLE
5.09/2.69 v <instantiation>
5.09/2.69 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6]</list>
5.09/2.69 v <values>0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1</values>
5.09/2.69 v </instantiation>
5.09/2.69 c (0,0) Show results End
5.09/2.69 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
5.09/2.69 c (0,0) 0,0,STOP-AFTER(ALL)
5.09/2.69 c END-Prog: Sun Aug 12 12:47:50 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 (8579 MiB free)
memory of node 1: 16384 MiB (11215 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305543-1534070867/watcher-4305543-1534070867 -o /tmp/evaluation-result-4305543-1534070867/solver-4305543-1534070867 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305543-1534070867.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
Current StackSize limit: 8192 KiB
solver pid=26605, runsolver pid=26602
[startup+0.100094 s]*
/proc/loadavg: 2.00 2.03 2.05 3/222 26622
/proc/meminfo: memFree=20206820/32770624 swapFree=67108688/67108860
[pid=26605] ppid=26602 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/26605/stat : 26605 (scop.sh) S 26602 26605 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224649588 115843072 348 33554432000 4194304 5098028 140720518423584 140720518420840 140538847396476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38199296 140720518431809 140720518432007 140720518432007 140720518434765 0
/proc/26605/statm: 28282 348 296 221 0 87 0
[pid=26608] ppid=26605 vsize=15012476 memory=74556 CPUtime=0.11 cores=0,2,4,6
/proc/26608/stat : 26608 (java) S 26605 26605 23167 0 -1 1077944320 6246 0 0 0 9 2 0 0 20 0 15 0 224649588 15372775424 18639 33554432000 4194304 4196468 140724758402448 140724758384992 139932092776183 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
/proc/26608/statm: 3753119 18639 2741 1 0 3715579 0
[pid=26608/tid=26609] ppid=26605 vsize=15012476 memory=-6220453793737523139 CPUtime=0.09 cores=0,2,4,6
/proc/26608/task/26609/stat : 26609 (java) R 26605 26605 23167 0 -1 4202560 4362 0 0 0 7 2 0 0 20 0 15 0 224649589 15372775424 18639 33554432000 4194304 4196468 140724758402448 139932064602512 139932076856670 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26610] ppid=26605 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26610/stat : 26610 (java) S 26605 26605 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649590 15372775424 18639 33554432000 4194304 4196468 140724758402448 139932097019024 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26611] ppid=26605 vsize=15012476 memory=139951371183744 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26611/stat : 26611 (java) S 26605 26605 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649590 15372775424 18639 33554432000 4194304 4196468 140724758402448 139931915107344 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26612] ppid=26605 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26612/stat : 26612 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649590 15372775424 18639 33554432000 4194304 4196468 140724758402448 139931552394128 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26613] ppid=26605 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26613/stat : 26613 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649590 15372775424 18639 33554432000 4194304 4196468 140724758402448 139931551341328 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26614] ppid=26605 vsize=15012476 memory=139951371183744 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26614/stat : 26614 (java) S 26605 26605 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649592 15372775424 18639 33554432000 4194304 4196468 140724758402448 139931130427760 139932092787330 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26615] ppid=26605 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26615/stat : 26615 (java) S 26605 26605 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224649592 15372775424 18639 33554432000 4194304 4196468 140724758402448 139930638476320 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26616] ppid=26605 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26616/stat : 26616 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649592 15372775424 18639 33554432000 4194304 4196468 140724758402448 139930370040688 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26617] ppid=26605 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26617/stat : 26617 (java) S 26605 26605 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649595 15372775424 18639 33554432000 4194304 4196468 140724758402448 139929995532112 139932092794779 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26618] ppid=26605 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26618/stat : 26618 (java) S 26605 26605 23167 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 224649595 15372775424 18704 33554432000 4194304 4196468 140724758402448 139931129375600 139932092787330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26619] ppid=26605 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26619/stat : 26619 (java) S 26605 26605 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649595 15372775424 18704 33554432000 4194304 4196468 140724758402448 139931128322800 139932092787330 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26620] ppid=26605 vsize=15012476 memory=139951371183744 CPUtime=0.01 cores=0,2,4,6
/proc/26608/task/26620/stat : 26620 (java) R 26605 26605 23167 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 15 0 224649595 15372775424 18704 33554432000 4194304 4196468 140724758402448 139931127265880 139932071737119 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26621] ppid=26605 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26621/stat : 26621 (java) S 26605 26605 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649595 15372775424 18704 33554432000 4194304 4196468 140724758402448 139929497627360 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26622] ppid=26605 vsize=15012476 memory=139951371183744 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26622/stat : 26622 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649595 15372775424 18704 33554432000 4194304 4196468 140724758402448 139931126217392 139932092787330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75948 KiB
[startup+0.210445 s]*
/proc/loadavg: 2.00 2.03 2.05 3/222 26622
/proc/meminfo: memFree=20192992/32770624 swapFree=67108688/67108860
[pid=26605] ppid=26602 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/26605/stat : 26605 (scop.sh) S 26602 26605 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224649588 115843072 348 33554432000 4194304 5098028 140720518423584 140720518420840 140538847396476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38199296 140720518431809 140720518432007 140720518432007 140720518434765 0
/proc/26605/statm: 28282 348 296 221 0 87 0
[pid=26608] ppid=26605 vsize=15012476 memory=87856 CPUtime=0.24 cores=0,2,4,6
/proc/26608/stat : 26608 (java) S 26605 26605 23167 0 -1 1077944320 9797 0 0 0 21 3 0 0 20 0 15 0 224649588 15372775424 21964 33554432000 4194304 4196468 140724758402448 140724758384992 139932092776183 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
/proc/26608/statm: 3753119 21964 2879 1 0 3715579 0
[pid=26608/tid=26609] ppid=26605 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/26608/task/26609/stat : 26609 (java) R 26605 26605 23167 0 -1 4202560 7701 0 0 0 17 3 0 0 20 0 15 0 224649589 15372775424 21964 33554432000 4194304 4196468 140724758402448 139932064589616 139932092788118 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26610] ppid=26605 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26610/stat : 26610 (java) S 26605 26605 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649590 15372775424 21964 33554432000 4194304 4196468 140724758402448 139932097019024 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26611] ppid=26605 vsize=15012476 memory=139951372376042 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26611/stat : 26611 (java) S 26605 26605 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649590 15372775424 21964 33554432000 4194304 4196468 140724758402448 139931915107344 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26612] ppid=26605 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26612/stat : 26612 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649590 15372775424 21964 33554432000 4194304 4196468 140724758402448 139931552394128 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26613] ppid=26605 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26613/stat : 26613 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649590 15372775424 21964 33554432000 4194304 4196468 140724758402448 139931551341328 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26614] ppid=26605 vsize=15012476 memory=139951371183744 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26614/stat : 26614 (java) S 26605 26605 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649592 15372775424 21964 33554432000 4194304 4196468 140724758402448 139931130427760 139932092787330 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26615] ppid=26605 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26615/stat : 26615 (java) S 26605 26605 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224649592 15372775424 21964 33554432000 4194304 4196468 140724758402448 139930638476320 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26616] ppid=26605 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26616/stat : 26616 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649592 15372775424 21964 33554432000 4194304 4196468 140724758402448 139930370040688 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26617] ppid=26605 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26617/stat : 26617 (java) S 26605 26605 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649595 15372775424 21964 33554432000 4194304 4196468 140724758402448 139929995532112 139932092794779 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26618] ppid=26605 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26608/task/26618/stat : 26618 (java) S 26605 26605 23167 0 -1 1077944384 446 0 0 0 1 0 0 0 20 0 15 0 224649595 15372775424 21964 33554432000 4194304 4196468 140724758402448 139931129375600 139932092787330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26619] ppid=26605 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26619/stat : 26619 (java) S 26605 26605 23167 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 224649595 15372775424 21964 33554432000 4194304 4196468 140724758402448 139931128322800 139932092787330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26620] ppid=26605 vsize=15012476 memory=139951371183744 CPUtime=0.03 cores=0,2,4,6
/proc/26608/task/26620/stat : 26620 (java) R 26605 26605 23167 0 -1 4202560 299 0 0 0 3 0 0 0 20 0 15 0 224649595 15372775424 21964 33554432000 4194304 4196468 140724758402448 139931127270000 139932085493335 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26621] ppid=26605 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26621/stat : 26621 (java) S 26605 26605 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649595 15372775424 21964 33554432000 4194304 4196468 140724758402448 139929497627360 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26622] ppid=26605 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26622/stat : 26622 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649595 15372775424 21964 33554432000 4194304 4196468 140724758402448 139931126217392 139932092787330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89248 KiB
[startup+0.310533 s]*
/proc/loadavg: 2.00 2.03 2.05 3/222 26622
/proc/meminfo: memFree=20189440/32770624 swapFree=67108688/67108860
[pid=26605] ppid=26602 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/26605/stat : 26605 (scop.sh) S 26602 26605 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224649588 115843072 348 33554432000 4194304 5098028 140720518423584 140720518420840 140538847396476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38199296 140720518431809 140720518432007 140720518432007 140720518434765 0
/proc/26605/statm: 28282 348 296 221 0 87 0
[pid=26608] ppid=26605 vsize=15012476 memory=91428 CPUtime=0.42 cores=0,2,4,6
/proc/26608/stat : 26608 (java) S 26605 26605 23167 0 -1 1077944320 10332 0 0 0 38 4 0 0 20 0 15 0 224649588 15372775424 22857 33554432000 4194304 4196468 140724758402448 140724758384992 139932092776183 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
/proc/26608/statm: 3753119 22857 2985 1 0 3715579 0
[pid=26608/tid=26609] ppid=26605 vsize=15012476 memory=7022364632946311227 CPUtime=0.3 cores=0,2,4,6
/proc/26608/task/26609/stat : 26609 (java) R 26605 26605 23167 0 -1 4202560 8085 0 0 0 27 3 0 0 20 0 15 0 224649589 15372775424 22857 33554432000 4194304 4196468 140724758402448 139932064571632 139932079021203 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26610] ppid=26605 vsize=15012476 memory=288292155783643526 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26610/stat : 26610 (java) S 26605 26605 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649590 15372775424 22857 33554432000 4194304 4196468 140724758402448 139932097019024 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26611] ppid=26605 vsize=15012476 memory=1193162 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26611/stat : 26611 (java) S 26605 26605 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649590 15372775424 22857 33554432000 4194304 4196468 140724758402448 139931915107344 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26612] ppid=26605 vsize=15012476 memory=279902482102640 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26612/stat : 26612 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649590 15372775424 22857 33554432000 4194304 4196468 140724758402448 139931552394128 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26613] ppid=26605 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26613/stat : 26613 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649590 15372775424 22857 33554432000 4194304 4196468 140724758402448 139931551341328 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26614] ppid=26605 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26614/stat : 26614 (java) S 26605 26605 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649592 15372775424 22857 33554432000 4194304 4196468 140724758402448 139931130427760 139932092787330 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26615] ppid=26605 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26615/stat : 26615 (java) S 26605 26605 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224649592 15372775424 22857 33554432000 4194304 4196468 140724758402448 139930638476320 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26616] ppid=26605 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26616/stat : 26616 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649592 15372775424 22857 33554432000 4194304 4196468 140724758402448 139930370040688 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26617] ppid=26605 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26617/stat : 26617 (java) S 26605 26605 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649595 15372775424 22857 33554432000 4194304 4196468 140724758402448 139929995532112 139932092794779 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26618] ppid=26605 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26608/task/26618/stat : 26618 (java) S 26605 26605 23167 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 15 0 224649595 15372775424 22857 33554432000 4194304 4196468 140724758402448 139931129375600 139932092787330 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26619] ppid=26605 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26608/task/26619/stat : 26619 (java) S 26605 26605 23167 0 -1 1077944384 126 0 0 0 2 0 0 0 20 0 15 0 224649595 15372775424 22857 33554432000 4194304 4196468 140724758402448 139931128322800 139932092787330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26620] ppid=26605 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26608/task/26620/stat : 26620 (java) S 26605 26605 23167 0 -1 1077944384 325 0 0 0 7 0 0 0 20 0 15 0 224649595 15372775424 22857 33554432000 4194304 4196468 140724758402448 139931127270000 139932092787330 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26621] ppid=26605 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26621/stat : 26621 (java) S 26605 26605 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649595 15372775424 22857 33554432000 4194304 4196468 140724758402448 139929497627360 139932092786389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26622] ppid=26605 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26622/stat : 26622 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649595 15372775424 22857 33554432000 4194304 4196468 140724758402448 139931126217392 139932092787330 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 92820 KiB
[startup+0.703832 s]
/proc/loadavg: 2.00 2.03 2.05 4/222 26622
/proc/meminfo: memFree=20164512/32770624 swapFree=67108688/67108860
[pid=26605] ppid=26602 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/26605/stat : 26605 (scop.sh) S 26602 26605 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224649588 115843072 348 33554432000 4194304 5098028 140720518423584 140720518420840 140538847396476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38199296 140720518431809 140720518432007 140720518432007 140720518434765 0
/proc/26605/statm: 28282 348 296 221 0 87 0
[pid=26608] ppid=26605 vsize=15020872 memory=131644 CPUtime=1 cores=0,2,4,6
/proc/26608/stat : 26608 (java) S 26605 26605 23167 0 -1 1077944320 17579 0 0 0 94 6 0 0 20 0 15 0 224649588 15381372928 32911 33554432000 4194304 4196468 140724758402448 140724758384992 139932092776183 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
/proc/26608/statm: 3755218 32911 3153 1 0 3716603 0
[pid=26608/tid=26609] ppid=26605 vsize=15020872 memory=868 CPUtime=0.67 cores=0,2,4,6
/proc/26608/task/26609/stat : 26609 (java) R 26605 26605 23167 0 -1 4202560 14861 0 0 0 63 4 0 0 20 0 15 0 224649589 15381372928 32911 33554432000 4194304 4196468 140724758402448 139932064612816 139932072486630 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26610] ppid=26605 vsize=15020872 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26610/stat : 26610 (java) S 26605 26605 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649590 15381372928 32911 33554432000 4194304 4196468 140724758402448 139932097019024 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26611] ppid=26605 vsize=15020872 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26611/stat : 26611 (java) S 26605 26605 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649590 15381372928 32911 33554432000 4194304 4196468 140724758402448 139931915107344 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26612] ppid=26605 vsize=15020872 memory=748 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26612/stat : 26612 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649590 15381372928 32911 33554432000 4194304 4196468 140724758402448 139931552394128 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26613] ppid=26605 vsize=15020872 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26613/stat : 26613 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649590 15381372928 32911 33554432000 4194304 4196468 140724758402448 139931551341328 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26614] ppid=26605 vsize=15020872 memory=6580 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26614/stat : 26614 (java) S 26605 26605 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224649592 15381372928 32911 33554432000 4194304 4196468 140724758402448 139931130427760 139932092787330 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26615] ppid=26605 vsize=15020872 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26615/stat : 26615 (java) S 26605 26605 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224649592 15381372928 32911 33554432000 4194304 4196468 140724758402448 139930638476320 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26616] ppid=26605 vsize=15020872 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26616/stat : 26616 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649592 15381372928 32911 33554432000 4194304 4196468 140724758402448 139930370040688 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26617] ppid=26605 vsize=15020872 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26617/stat : 26617 (java) S 26605 26605 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649595 15381372928 32911 33554432000 4194304 4196468 140724758402448 139929995532112 139932092794779 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26618] ppid=26605 vsize=15020872 memory=12668 CPUtime=0.06 cores=0,2,4,6
/proc/26608/task/26618/stat : 26618 (java) S 26605 26605 23167 0 -1 1077944384 566 0 0 0 6 0 0 0 20 0 15 0 224649595 15381372928 32911 33554432000 4194304 4196468 140724758402448 139931129375600 139932092787330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26619] ppid=26605 vsize=15020872 memory=1072 CPUtime=0.09 cores=0,2,4,6
/proc/26608/task/26619/stat : 26619 (java) S 26605 26605 23167 0 -1 1077944384 359 0 0 0 9 0 0 0 20 0 15 0 224649595 15381372928 32911 33554432000 4194304 4196468 140724758402448 139931128322800 139932092787330 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26620] ppid=26605 vsize=15020872 memory=14888 CPUtime=0.15 cores=0,2,4,6
/proc/26608/task/26620/stat : 26620 (java) S 26605 26605 23167 0 -1 1077944384 458 0 0 0 15 0 0 0 20 0 15 0 224649595 15381372928 32911 33554432000 4194304 4196468 140724758402448 139931127270000 139932092787330 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26621] ppid=26605 vsize=15020872 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26621/stat : 26621 (java) S 26605 26605 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649595 15381372928 32911 33554432000 4194304 4196468 140724758402448 139929497627360 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26622] ppid=26605 vsize=15020872 memory=15768 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26622/stat : 26622 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649595 15381372928 32911 33554432000 4194304 4196468 140724758402448 139931126217392 139932092787330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 133036 KiB
[startup+1.50104 s]
/proc/loadavg: 2.00 2.03 2.05 3/222 26622
/proc/meminfo: memFree=20135544/32770624 swapFree=67108688/67108860
[pid=26605] ppid=26602 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/26605/stat : 26605 (scop.sh) S 26602 26605 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224649588 115843072 348 33554432000 4194304 5098028 140720518423584 140720518420840 140538847396476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38199296 140720518431809 140720518432007 140720518432007 140720518434765 0
/proc/26605/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/26608/task/26615/stat : 26615 (java) S 26605 26605 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224649592 15383470080 46647 33554432000 4194304 4196468 140724758402448 139930638476320 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26616] ppid=26605 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26616/stat : 26616 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649592 15383470080 46647 33554432000 4194304 4196468 140724758402448 139930370040688 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26617] ppid=26605 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26617/stat : 26617 (java) S 26605 26605 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649595 15383470080 46647 33554432000 4194304 4196468 140724758402448 139929995532112 139932092794779 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26618] ppid=26605 vsize=15022920 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/26608/task/26618/stat : 26618 (java) R 26605 26605 23167 0 -1 4202560 1019 0 0 0 43 0 0 0 20 0 15 0 224649595 15383470080 46647 33554432000 4194304 4196468 140724758402448 139931129374288 139932072624388 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26619] ppid=26605 vsize=15022920 memory=6946918240898016877 CPUtime=0.41 cores=0,2,4,6
/proc/26608/task/26619/stat : 26619 (java) R 26605 26605 23167 0 -1 4202560 692 0 0 0 41 0 0 0 20 0 15 0 224649595 15383470080 46647 33554432000 4194304 4196468 140724758402448 139931128306992 139932077891429 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26620] ppid=26605 vsize=15022920 memory=4639904302751567952 CPUtime=0.68 cores=0,2,4,6
/proc/26608/task/26620/stat : 26620 (java) S 26605 26605 23167 0 -1 1077944384 2583 0 0 0 67 1 0 0 20 0 15 0 224649595 15383470080 46647 33554432000 4194304 4196468 140724758402448 139931127270000 139932092787330 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26621] ppid=26605 vsize=15022920 memory=6009862836081028963 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26621/stat : 26621 (java) S 26605 26605 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649595 15383470080 46647 33554432000 4194304 4196468 140724758402448 139929497627360 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26622] ppid=26605 vsize=15022920 memory=7451013600044410192 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26622/stat : 26622 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649595 15383470080 46647 33554432000 4194304 4196468 140724758402448 139931126217392 139932092787330 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 15136048 KiB
Current children cumulated memory: 187980 KiB
[startup+2.70118 s]
# the end of solver process 26605 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.06623 s, system=0.191532 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60101 s]
/proc/loadavg: 2.00 2.03 2.05 3/222 26622
/proc/meminfo: memFree=20135544/32770624 swapFree=67108688/67108860
[pid=26605] ppid=26602 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/26605/stat : 26605 (scop.sh) S 26602 26605 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224649588 115843072 348 33554432000 4194304 5098028 140720518423584 140720518420840 140538847396476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38199296 140720518431809 140720518432007 140720518432007 140720518434765 0
/proc/26605/statm: 28282 348 296 221 0 87 0
[pid=26608] ppid=26605 vsize=15024968 memory=197744 CPUtime=3.35 cores=0,2,4,6
/proc/26608/stat : 26608 (java) S 26605 26605 23167 0 -1 1077944320 21840 0 0 0 325 10 0 0 20 0 15 0 224649588 15385567232 49436 33554432000 4194304 4196468 140724758402448 140724758384992 139932092776183 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
/proc/26608/statm: 3756242 49436 3195 1 0 3717627 0
[pid=26608/tid=26609] ppid=26605 vsize=15024968 memory=1752 CPUtime=1.56 cores=0,2,4,6
/proc/26608/task/26609/stat : 26609 (java) R 26605 26605 23167 0 -1 4202560 16008 0 0 0 150 6 0 0 20 0 15 0 224649589 15385567232 49436 33554432000 4194304 4196468 140724758402448 139932064607344 139932076856670 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26610] ppid=26605 vsize=15024968 memory=868 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26610/stat : 26610 (java) S 26605 26605 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649590 15385567232 49436 33554432000 4194304 4196468 140724758402448 139932097019024 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26611] ppid=26605 vsize=15024968 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26611/stat : 26611 (java) S 26605 26605 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649590 15385567232 49436 33554432000 4194304 4196468 140724758402448 139931915107344 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26612] ppid=26605 vsize=15024968 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26612/stat : 26612 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649590 15385567232 49436 33554432000 4194304 4196468 140724758402448 139931552394128 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26613] ppid=26605 vsize=15024968 memory=748 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26613/stat : 26613 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649590 15385567232 49436 33554432000 4194304 4196468 140724758402448 139931551341328 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26614] ppid=26605 vsize=15024968 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26614/stat : 26614 (java) S 26605 26605 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224649592 15385567232 49436 33554432000 4194304 4196468 140724758402448 139931130427760 139932092787330 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26615] ppid=26605 vsize=15024968 memory=6580 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26615/stat : 26615 (java) S 26605 26605 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224649592 15385567232 49436 33554432000 4194304 4196468 140724758402448 139930638476320 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26616] ppid=26605 vsize=15024968 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26616/stat : 26616 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649592 15385567232 49436 33554432000 4194304 4196468 140724758402448 139930370040688 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26617] ppid=26605 vsize=15024968 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26617/stat : 26617 (java) S 26605 26605 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649595 15385567232 49436 33554432000 4194304 4196468 140724758402448 139929995532112 139932092794779 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26618] ppid=26605 vsize=15024968 memory=3732 CPUtime=0.53 cores=0,2,4,6
/proc/26608/task/26618/stat : 26618 (java) R 26605 26605 23167 0 -1 4202560 1106 0 0 0 53 0 0 0 20 0 15 0 224649595 15385567232 49436 33554432000 4194304 4196468 140724758402448 139931129361624 139932072467967 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26619] ppid=26605 vsize=15024968 memory=7518026621751088998 CPUtime=0.5 cores=0,2,4,6
/proc/26608/task/26619/stat : 26619 (java) R 26605 26605 23167 0 -1 4202560 740 0 0 0 50 0 0 0 20 0 15 0 224649595 15385567232 49436 33554432000 4194304 4196468 140724758402448 139931128312592 139932092797530 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26620] ppid=26605 vsize=15024968 memory=7597685182856913236 CPUtime=0.73 cores=0,2,4,6
/proc/26608/task/26620/stat : 26620 (java) S 26605 26605 23167 0 -1 1077944384 2651 0 0 0 72 1 0 0 20 0 15 0 224649595 15385567232 49436 33554432000 4194304 4196468 140724758402448 139931127270000 139932092787330 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26621] ppid=26605 vsize=15024968 memory=33 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26621/stat : 26621 (java) S 26605 26605 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649595 15385567232 49436 33554432000 4194304 4196468 140724758402448 139929497627360 139932092786389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
[pid=26608/tid=26622] ppid=26605 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26608/task/26622/stat : 26622 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649595 15385567232 49436 33554432000 4194304 4196468 140724758402448 139931126217392 139932092787330 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32440320 140724758406151 140724758406449 140724758406449 140724758409167 0
Current children cumulated CPU time: 3.35 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 199136 KiB
[startup+2.40075 s]
/proc/loadavg: 2.00 2.03 2.05 3/222 26637
/proc/meminfo: memFree=20218676/32770624 swapFree=67108688/67108860
[pid=26605] ppid=26602 vsize=113128 memory=1472 CPUtime=4.01 cores=0,2,4,6
/proc/26605/stat : 26605 (scop.sh) S 26602 26605 23167 0 -1 4202496 590 23361 0 0 0 0 389 12 20 0 1 0 224649588 115843072 368 33554432000 4194304 5098028 140720518423584 140720518420328 140538847396476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38199296 140720518431809 140720518432007 140720518432007 140720518434765 0
/proc/26605/statm: 28282 368 311 221 0 87 0
[pid=26623] ppid=26605 vsize=7406384 memory=90780 CPUtime=0.7 cores=0,2,4,6
/proc/26623/stat : 26623 (java) S 26605 26605 23167 0 -1 1077944320 16761 0 0 0 66 4 0 0 20 0 15 0 224649774 7584137216 22695 33554432000 4194304 4196468 140728623563760 140728623546304 140541429944055 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
/proc/26623/statm: 1851596 22695 3065 1 0 1813530 0
[pid=26623/tid=26624] ppid=26605 vsize=7406384 memory=2320655054826339792 CPUtime=0.51 cores=0,2,4,6
/proc/26623/task/26624/stat : 26624 (java) R 26605 26605 23167 0 -1 4202560 14208 0 0 0 48 3 0 0 20 0 15 0 224649775 7584137216 22695 33554432000 4194304 4196468 140728623563760 140541401781456 140541183965642 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26625] ppid=26605 vsize=7406384 memory=6009862836081028963 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26625/stat : 26625 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649776 7584137216 22695 33554432000 4194304 4196468 140728623563760 140541434186000 140541429954261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26626] ppid=26605 vsize=7406384 memory=7451013600044410192 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26626/stat : 26626 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649776 7584137216 22695 33554432000 4194304 4196468 140728623563760 140541263280528 140541429954261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26627] ppid=26605 vsize=7406384 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26627/stat : 26627 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649776 7584137216 22695 33554432000 4194304 4196468 140728623563760 140540914338320 140541429954261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26628] ppid=26605 vsize=7406384 memory=155760 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26628/stat : 26628 (java) S 26605 26605 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649776 7584137216 22695 33554432000 4194304 4196468 140728623563760 140540913285776 140541429954261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26629] ppid=26605 vsize=7406384 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26629/stat : 26629 (java) S 26605 26605 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224649777 7584137216 22695 33554432000 4194304 4196468 140728623563760 140540876380656 140541429955202 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26630] ppid=26605 vsize=7406384 memory=6580 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26630/stat : 26630 (java) S 26605 26605 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224649778 7584137216 22695 33554432000 4194304 4196468 140728623563760 140540255397280 140541429954261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26631] ppid=26605 vsize=7406384 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26631/stat : 26631 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649778 7584137216 22695 33554432000 4194304 4196468 140728623563760 140539986961904 140541429954261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26632] ppid=26605 vsize=7406384 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26632/stat : 26632 (java) S 26605 26605 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649780 7584137216 22695 33554432000 4194304 4196468 140728623563760 140539612453584 140541429962651 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26633] ppid=26605 vsize=7406384 memory=3732 CPUtime=0.03 cores=0,2,4,6
/proc/26623/task/26633/stat : 26633 (java) S 26605 26605 23167 0 -1 1077944384 551 0 0 0 3 0 0 0 20 0 15 0 224649780 7584137216 22695 33554432000 4194304 4196468 140728623563760 140540875327472 140541429955202 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26634] ppid=26605 vsize=7406384 memory=12668 CPUtime=0.03 cores=0,2,4,6
/proc/26623/task/26634/stat : 26634 (java) S 26605 26605 23167 0 -1 1077944384 137 0 0 0 3 0 0 0 20 0 15 0 224649780 7584137216 22695 33554432000 4194304 4196468 140728623563760 140540874274928 140541429955202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26635] ppid=26605 vsize=7406384 memory=1072 CPUtime=0.11 cores=0,2,4,6
/proc/26623/task/26635/stat : 26635 (java) S 26605 26605 23167 0 -1 1077944384 533 0 0 0 11 0 0 0 20 0 15 0 224649780 7584137216 22695 33554432000 4194304 4196468 140728623563760 140540873222384 140541429955202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26636] ppid=26605 vsize=7406384 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26636/stat : 26636 (java) S 26605 26605 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224649781 7584137216 22695 33554432000 4194304 4196468 140728623563760 140539114547808 140541429954261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26637] ppid=26605 vsize=7406384 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26637/stat : 26637 (java) S 26605 26605 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224649781 7584137216 22695 33554432000 4194304 4196468 140728623563760 140540872170288 140541429955202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
Current children cumulated CPU time: 4.71 s
Current children cumulated vsize: 7519512 KiB
Current children cumulated memory: 92252 KiB
[startup+2.60903 s]
/proc/loadavg: 2.00 2.03 2.05 3/222 26637
/proc/meminfo: memFree=20218676/32770624 swapFree=67108688/67108860
[pid=26605] ppid=26602 vsize=113128 memory=1472 CPUtime=4.01 cores=0,2,4,6
/proc/26605/stat : 26605 (scop.sh) S 26602 26605 23167 0 -1 4202496 590 23361 0 0 0 0 389 12 20 0 1 0 224649588 115843072 368 33554432000 4194304 5098028 140720518423584 140720518420328 140538847396476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38199296 140720518431809 140720518432007 140720518432007 140720518434765 0
/proc/26605/statm: 28282 368 311 221 0 87 0
[pid=26623] ppid=26605 vsize=7740532 memory=115620 CPUtime=1.08 cores=0,2,4,6
/proc/26623/stat : 26623 (java) S 26605 26605 23167 0 -1 1077944320 18686 519 0 0 103 5 0 0 20 0 17 0 224649774 7926304768 28905 33554432000 4194304 4196468 140728623563760 140728623546304 140541429944055 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
/proc/26623/statm: 1935133 28905 3146 1 0 1896532 0
[pid=26623/tid=26624] ppid=26605 vsize=7740532 memory=6791534058613427641 CPUtime=0.71 cores=0,2,4,6
/proc/26623/task/26624/stat : 26624 (java) R 26605 26605 23167 0 -1 4202560 15510 519 0 0 67 4 0 0 20 0 17 0 224649775 7926304768 28905 33554432000 4194304 4196468 140728623563760 140541401782848 140540932399949 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26625] ppid=26605 vsize=7740532 memory=217856 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26625/stat : 26625 (java) S 26605 26605 23167 0 -1 1077944384 1 519 0 0 0 0 0 0 20 0 17 0 224649776 7926304768 28905 33554432000 4194304 4196468 140728623563760 140541434186000 140541429954261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26626] ppid=26605 vsize=7740532 memory=288230591789531470 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26626/stat : 26626 (java) S 26605 26605 23167 0 -1 1077944384 1 519 0 0 0 0 0 0 20 0 17 0 224649776 7926304768 28905 33554432000 4194304 4196468 140728623563760 140541263280528 140541429954261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26627] ppid=26605 vsize=7740532 memory=1145266 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26627/stat : 26627 (java) S 26605 26605 23167 0 -1 1077944384 1 519 0 0 0 0 0 0 20 0 17 0 224649776 7926304768 28905 33554432000 4194304 4196468 140728623563760 140540914338320 140541429954261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26628] ppid=26605 vsize=7740532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26628/stat : 26628 (java) S 26605 26605 23167 0 -1 1077944384 2 519 0 0 0 0 0 0 20 0 17 0 224649776 7926304768 28905 33554432000 4194304 4196468 140728623563760 140540913285776 140541429954261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26629] ppid=26605 vsize=7740532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26629/stat : 26629 (java) S 26605 26605 23167 0 -1 1077944384 5 519 0 0 0 0 0 0 20 0 17 0 224649777 7926304768 28905 33554432000 4194304 4196468 140728623563760 140540876380656 140541429955202 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26630] ppid=26605 vsize=7740532 memory=7451013600044410192 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26630/stat : 26630 (java) S 26605 26605 23167 0 -1 1077944384 13 519 0 0 0 0 0 0 20 0 17 0 224649778 7926304768 28905 33554432000 4194304 4196468 140728623563760 140540255397280 140541429954261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26631] ppid=26605 vsize=7740532 memory=7591213453154151512 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26631/stat : 26631 (java) S 26605 26605 23167 0 -1 1077944384 1 519 0 0 0 0 0 0 20 0 17 0 224649778 7926304768 28905 33554432000 4194304 4196468 140728623563760 140539986961904 140541429954261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26632] ppid=26605 vsize=7740532 memory=8030031837670040166 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26632/stat : 26632 (java) S 26605 26605 23167 0 -1 1077944384 3 519 0 0 0 0 0 0 20 0 17 0 224649780 7926304768 28905 33554432000 4194304 4196468 140728623563760 140539612453584 140541429962651 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26633] ppid=26605 vsize=7740532 memory=7595722520139361128 CPUtime=0.07 cores=0,2,4,6
/proc/26623/task/26633/stat : 26633 (java) S 26605 26605 23167 0 -1 1077944384 644 519 0 0 7 0 0 0 20 0 17 0 224649780 7926304768 28905 33554432000 4194304 4196468 140728623563760 140540875327472 140541429955202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26634] ppid=26605 vsize=7740532 memory=7235996421950368618 CPUtime=0.08 cores=0,2,4,6
/proc/26623/task/26634/stat : 26634 (java) R 26605 26605 23167 0 -1 4202560 361 519 0 0 8 0 0 0 20 0 17 0 224649780 7926304768 28905 33554432000 4194304 4196468 140728623563760 140540874267888 140541411467533 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26635] ppid=26605 vsize=7740532 memory=7661292987119202406 CPUtime=0.18 cores=0,2,4,6
/proc/26623/task/26635/stat : 26635 (java) S 26605 26605 23167 0 -1 1077944384 695 519 0 0 18 0 0 0 20 0 17 0 224649780 7926304768 28905 33554432000 4194304 4196468 140728623563760 140540873222384 140541429955202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26636] ppid=26605 vsize=7740532 memory=7379520042623003499 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26636/stat : 26636 (java) S 26605 26605 23167 0 -1 1077944384 3 519 0 0 0 0 0 0 20 0 17 0 224649781 7926304768 28905 33554432000 4194304 4196468 140728623563760 140539114547808 140541429954261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
[pid=26623/tid=26637] ppid=26605 vsize=7740532 memory=7517177798942355557 CPUtime=0 cores=0,2,4,6
/proc/26623/task/26637/stat : 26637 (java) S 26605 26605 23167 0 -1 1077944384 1 519 0 0 0 0 0 0 20 0 17 0 224649781 7926304768 28905 33554432000 4194304 4196468 140728623563760 140540872170288 140541429955202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32346112 140728623572149 140728623572273 140728623572273 140728623574991 0
Current children cumulated CPU time: 5.09 s
Current children cumulated vsize: 7853660 KiB
Current children cumulated memory: 117092 KiB
[startup+2.7007 s]
/proc/loadavg: 2.00 2.03 2.05 3/222 26637
/proc/meminfo: memFree=20218676/32770624 swapFree=67108688/67108860
[pid=26605] ppid=26602 vsize=113128 memory=1472 CPUtime=4.01 cores=0,2,4,6
/proc/26605/stat : 26605 (scop.sh) S 26602 26605 23167 0 -1 4202496 590 23361 0 0 0 0 389 12 20 0 1 0 224649588 115843072 368 33554432000 4194304 5098028 140720518423584 140720518420328 140538847396476 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38199296 140720518431809 140720518432007 140720518432007 140720518434765 0
/proc/26605/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 4.01 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
Child status: 0
Real time (s): 2.70123
CPU time (s): 5.25776
CPU user time (s): 5.06623
CPU system time (s): 0.191532
CPU usage (%): 194.643
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 219248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.06623
system time used= 0.191532
maximum resident set size= 223324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43634
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= 5167
involuntary context switches= 18
# summary of solver processes directly reported to runsolver:
# pid: 26605
# total CPU time (s): 5.25776
# total CPU user time (s): 5.06623
# total CPU system time (s): 0.191532
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042323 second user time and 0.068406 second system time
The end