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-20309-serial-file.bin HOME/instance-4305301-1534070925.xml
0.55/0.51
0.67/0.52 scop order+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 12:48:46 CEST 2018
0.67/0.54 c PID: 20312
0.67/0.54 c IP: 172.20.3.139
0.67/0.54 c HOST: node139.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.67/1.03 c (0,0) Parsing End
1.67/1.04 c (0,0) CSP: 0 int (0 aux), 196 bool (0 aux), 183 ctr, max domain size 2
1.67/1.04 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.67/1.04 c (0,0) Constraint Name Generate Begin
1.67/1.05 c (0,0) Ctr:HOME/instance-4305301-1534070925.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum
1.67/1.05 c (0,0) Constraint Name Generate End
1.67/1.05 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.67/1.05 c (0,0) CSP to CSPinCNF Begin
1.89/1.19 c (0,0) translated 19 (10%) constraints
2.07/1.25 c (0,0) translated 37 (20%) constraints
2.07/1.28 c (0,0) translated 55 (30%) constraints
2.39/1.32 c (0,0) translated 74 (40%) constraints
2.39/1.35 c (0,0) translated 92 (50%) constraints
2.39/1.37 c (0,0) translated 110 (60%) constraints
2.39/1.39 c (0,0) translated 129 (70%) constraints
2.66/1.42 c (0,0) translated 147 (80%) constraints
2.66/1.43 c (0,0) translated 165 (90%) constraints
2.66/1.45 c (0,0) translated 183 (100%) constraints
2.97/1.56 c (1,1) STATISTICS1:HOME/instance-4305301-1534070925.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,550,914,64,2,4,7,64:70;2:450,2:2354,4:60;3:306;2:354;1:194,7:70;2:450;1:1650,
2.97/1.56 c (1,1) ==========================================
2.97/1.56 c (1,1) Order
2.97/1.56 c (1,1) ==========================================
2.97/1.59 c (1,1) translated 92 (10%) constraints
3.34/1.60 c (1,1) translated 183 (20%) constraints
3.34/1.61 c (1,1) translated 275 (30%) constraints
3.34/1.63 c (1,1) translated 366 (40%) constraints
3.34/1.64 c (1,1) translated 457 (50%) constraints
3.34/1.64 c (1,1) translated 549 (60%) constraints
3.34/1.65 c (1,1) translated 640 (70%) constraints
3.34/1.66 c (1,1) translated 732 (80%) constraints
3.34/1.68 c (1,1) translated 823 (90%) constraints
3.34/1.69 c (1,1) translated 914 (100%) constraints
3.34/1.69 c (1,1) CSP to CSPinCNF End
3.65/1.70 c (1,1) CSP: 0 int (0 aux), 697 bool (501 aux), 1390 ctr, max domain size 2
3.65/1.70 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.65/1.70 c (1,1) CSPinCNF Propagation Begin
3.65/1.73 c (1,1) 0 values, 147 unsatisfiable literals, and 147 valid clauses are removed
3.65/1.73 c (1,1) CSPinCNF Propagation End
3.65/1.74 c (1,1) CSP: 0 int (0 aux), 697 bool (501 aux), 1243 ctr, max domain size 2
3.65/1.74 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.65/1.74 c (1,1) Simplify CSPinCNF Begin
3.65/1.76 c (1,1) Simplify CSPinCNF End
3.65/1.76 c (1,1) CSP: 0 int (0 aux), 853 bool (657 aux), 1399 ctr, max domain size 2
3.65/1.76 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.65/1.76 c (1,1) Calculate Precise Domain Begin
3.65/1.76 c (1,1) 0 values are removed by re-calculation
3.65/1.76 c (1,1) Calculate Precise Domain End
3.65/1.76 c (1,1) CSP: 0 int (0 aux), 853 bool (657 aux), 1399 ctr, max domain size 2
3.65/1.76 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.65/1.76 c (1,1) CSPinCNF to SatSolver Begin
3.99/1.88 c (1,1) 140 (10 %) CSP clauses are encoded (853 SAT variables, 895 SAT clauses)
3.99/1.89 c (1,1) 280 (20 %) CSP clauses are encoded (853 SAT variables, 1035 SAT clauses)
3.99/1.89 c (1,1) 420 (30 %) CSP clauses are encoded (853 SAT variables, 1175 SAT clauses)
3.99/1.89 c (1,1) 560 (40 %) CSP clauses are encoded (853 SAT variables, 1315 SAT clauses)
4.37/1.90 c (1,1) 700 (50 %) CSP clauses are encoded (853 SAT variables, 1455 SAT clauses)
4.37/1.90 c (1,1) 840 (60 %) CSP clauses are encoded (853 SAT variables, 1595 SAT clauses)
4.37/1.90 c (1,1) 980 (70 %) CSP clauses are encoded (853 SAT variables, 1735 SAT clauses)
4.37/1.92 c (1,1) 1120 (80 %) CSP clauses are encoded (853 SAT variables, 2305 SAT clauses)
4.37/1.93 c (1,1) 1260 (90 %) CSP clauses are encoded (853 SAT variables, 2511 SAT clauses)
4.37/1.93 c (1,1) 1399 (100 %) CSP clauses are encoded (853 SAT variables, 2718 SAT clauses)
4.37/1.93 c (1,1) Launch Command will be: minisat_release
4.37/1.93 c (1,1) CSPinCNF to SatSolver End
4.37/1.93 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.37/1.97 c (1,1) STATISTICS2:HOME/instance-4305301-1534070925.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,853,1399,64,2,4,7,64:70;2:522,2:3643,4:60;3:159;2:804;1:376,7:70;2:522;1:2109,
4.37/1.97 c (1,1) 853 bool, 2719 clause
4.37/1.97 c (1,1) Export Begin
4.69/2.06 c (1,1) Export to HOME/scop-20309-serial-file.bin
4.69/2.06 c (1,1) Export End
4.69/2.06 c (1,1) Export File Size: 0.03 MB
4.69/2.06 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
4.69/2.06 c END-Prog: Sun Aug 12 12:48:47 CEST 2018
4.69/2.07 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-20309-serial-file.bin
4.83/2.55 c (0,0) Read Serial File Begin
4.83/2.55 c (0,0) HOME/scop-20309-serial-file.bin
4.83/2.73 c (0,0) Read Serial File End
4.83/2.74
4.83/2.86 scop order+minisat_release (2018-07-31)
4.83/2.86 (Solving Process)
4.83/2.86
4.83/2.86 c BEGIN-Prog: Sun Aug 12 12:48:48 CEST 2018
4.83/2.86 c PID: 20327
4.83/2.86 c IP: 172.20.3.139
4.83/2.86 c HOST: node139.alineos.net
4.83/2.86 c (0,0) SatSolver.solve Begin
4.83/2.86 c (0,0) 0 bool, 0 clause
4.83/2.86 c (0,0) minisat_release HOME/instance-4305301-1534070925.xml-scop-20312.cnf
4.83/2.87 c (0,0) c This is COMiniSatPS.
4.83/2.87 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.83/2.87 c (0,0) c ============================[ Problem Statistics ]=============================
4.83/2.87 c (0,0) c | |
4.83/2.87 c (0,0) c | Number of variables: 853 |
4.83/2.87 c (0,0) c | Number of clauses: 2719 |
4.83/2.87 c (0,0) c | Parse time: 0.00 s |
4.83/2.87 c (0,0) c | Eliminated clauses: 0.01 Mb |
4.83/2.87 c (0,0) c Reduced to 27 vars, 139 cls (grow=0)
4.83/2.87 c (0,0) c No iterative elimination performed. (vars=27, c/v ratio=5.1)
4.83/2.87 c (0,0) c | Simplification time: 0.00 s |
4.83/2.87 c (0,0) c | |
4.83/2.87 c (0,0) c ============================[ Search Statistics ]==============================
4.83/2.87 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
4.83/2.87 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.83/2.87 c (0,0) c ===============================================================================
4.83/2.87 c (0,0) c ===============================================================================
4.83/2.87 c (0,0) c restarts : 1
4.83/2.87 c (0,0) c conflicts : 1 (228 /sec)
4.83/2.87 c (0,0) c decisions : 2 (0.00 % random) (456 /sec)
4.83/2.87 c (0,0) c propagations : 483 (110073 /sec)
4.83/2.87 c (0,0) c conflict literals : 1 (0.00 % deleted)
4.83/2.87 c (0,0) c CPU time : 0.004388 s
4.83/2.87 c (0,0)
4.83/2.87 c (0,0) s SATISFIABLE
4.83/2.88 c (0,0) SatSolver.solve End
4.83/2.88 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.83/2.88 c (0,0) Show results Begin
4.83/2.95 s SATISFIABLE
4.83/2.96 v <instantiation>
4.83/2.96 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] s[0][1][0] s[0][1][1] s[0][1][2] s[0][1][3] s[0][1][4] s[0][1][5] s[0][1][6] s[0][2][0] s[0][2][1] s[0][2][2] s[0][2][3] s[0][2][4] s[0][2][5] s[0][2][6] s[0][3][0] s[0][3][1] s[0][3][2] s[0][3][3] s[0][3][4] s[0][3][5] s[0][3][6] s[0][4][0] s[0][4][1] s[0][4][2] s[0][4][3] s[0][4][4] s[0][4][5] s[0][4][6] s[0][5][0] s[0][5][1] s[0][5][2] s[0][5][3] s[0][5][4] s[0][5][5] s[0][5][6] s[0][6][0] s[0][6][1] s[0][6][2] s[0][6][3] s[0][6][4] s[0][6][5] s[0][6][6] s[1][2][0] s[1][2][1] s[1][2][2] s[1][2][3] s[1][2][4] s[1][2][5] s[1][2][6] s[1][3][0] s[1][3][1] s[1][3][2] s[1][3][3] s[1][3][4] s[1][3][5] s[1][3][6] s[1][4][0] s[1][4][1] s[1][4][2] s[1][4][3] s[1][4][4] s[1][4][5] s[1][4][6] s[1][5][0] s[1][5][1] s[1][5][2] s[1][5][3] s[1][5][4] s[1][5][5] s[1][5][6] s[1][6][0] s[1][6][1] s[1][6][2] s[1][6][3] s[1][6][4] s[1][6][5] s[1][6][6] s[2][3][0] s[2][3][1] s[2][3][2] s[2][3][3] s[2][3][4] s[2][3][5] s[2][3][6] s[2][4][0] s[2][4][1] s[2][4][2] s[2][4][3] s[2][4][4] s[2][4][5] s[2][4][6] s[2][5][0] s[2][5][1] s[2][5][2] s[2][5][3] s[2][5][4] s[2][5][5] s[2][5][6] s[2][6][0] s[2][6][1] s[2][6][2] s[2][6][3] s[2][6][4] s[2][6][5] s[2][6][6] s[3][4][0] s[3][4][1] s[3][4][2] s[3][4][3] s[3][4][4] s[3][4][5] s[3][4][6] s[3][5][0] s[3][5][1] s[3][5][2] s[3][5][3] s[3][5][4] s[3][5][5] s[3][5][6] s[3][6][0] s[3][6][1] s[3][6][2] s[3][6][3] s[3][6][4] s[3][6][5] s[3][6][6] s[4][5][0] s[4][5][1] s[4][5][2] s[4][5][3] s[4][5][4] s[4][5][5] s[4][5][6] s[4][6][0] s[4][6][1] s[4][6][2] s[4][6][3] s[4][6][4] s[4][6][5] s[4][6][6] s[5][6][0] s[5][6][1] s[5][6][2] s[5][6][3] s[5][6][4] s[5][6][5] s[5][6][6]</list>
4.83/2.96 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 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0</values>
4.83/2.96 v </instantiation>
4.83/2.96 c (0,0) Show results End
4.83/2.96 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
4.83/2.97 c (0,0) 0,0,STOP-AFTER(ALL)
4.83/2.97 c END-Prog: Sun Aug 12 12:48: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 (2987 MiB free)
memory of node 1: 16384 MiB (5826 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305301-1534070925/watcher-4305301-1534070925 -o /tmp/evaluation-result-4305301-1534070925/solver-4305301-1534070925 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305301-1534070925.xml
running on 4 cores: 1,3,5,7
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=20309, runsolver pid=20306
Current StackSize limit: 8192 KiB
[startup+0.100113 s]*
/proc/loadavg: 2.07 2.03 2.05 3/222 20326
/proc/meminfo: memFree=8961620/32770624 swapFree=67108860/67108860
[pid=20309] ppid=20306 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20309/stat : 20309 (scop.sh) S 20306 20309 16770 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224655699 115843072 349 33554432000 4194304 5098028 140735365407568 140735365404824 140130547090044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40603648 140735365416000 140735365416199 140735365416199 140735365418957 0
/proc/20309/statm: 28282 349 296 221 0 87 0
[pid=20312] ppid=20309 vsize=15012476 memory=74120 CPUtime=0.11 cores=1,3,5,7
/proc/20312/stat : 20312 (java) S 20309 20309 16770 0 -1 1077944320 6646 0 0 0 9 2 0 0 20 0 15 0 224655700 15372775424 18530 33554432000 4194304 4196468 140728167969136 140728167951680 140694797532919 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
/proc/20312/statm: 3753119 18530 2772 1 0 3715579 0
[pid=20312/tid=20313] ppid=20309 vsize=15012476 memory=-6078870780940435391 CPUtime=0.08 cores=1,3,5,7
/proc/20312/task/20313/stat : 20313 (java) R 20309 20309 16770 0 -1 4202560 4730 0 0 0 7 1 0 0 20 0 15 0 224655700 15372775424 18530 33554432000 4194304 4196468 140728167969136 140694769344904 140694777808249 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20314] ppid=20309 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20314/stat : 20314 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15372775424 18530 33554432000 4194304 4196468 140728167969136 140694801775760 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20315] ppid=20309 vsize=15012476 memory=139847532287616 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20315/stat : 20315 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15372775424 18530 33554432000 4194304 4196468 140728167969136 140694615931920 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20316] ppid=20309 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20316/stat : 20316 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15372775424 18530 33554432000 4194304 4196468 140728167969136 140694614879120 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20317] ppid=20309 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20317/stat : 20317 (java) S 20309 20309 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224655702 15372775424 18530 33554432000 4194304 4196468 140728167969136 140694613826320 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20318] ppid=20309 vsize=15012476 memory=139847532287616 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20318/stat : 20318 (java) S 20309 20309 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224655703 15372775424 18530 33554432000 4194304 4196468 140728167969136 140694204205424 140694797544066 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20319] ppid=20309 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20319/stat : 20319 (java) S 20309 20309 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224655704 15372775424 18530 33554432000 4194304 4196468 140728167969136 140693397824544 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20320] ppid=20309 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20320/stat : 20320 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655704 15372775424 18530 33554432000 4194304 4196468 140728167969136 140693129388912 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20321] ppid=20309 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20321/stat : 20321 (java) S 20309 20309 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224655706 15372775424 18530 33554432000 4194304 4196468 140728167969136 140692754880336 140694797551515 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20322] ppid=20309 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20322/stat : 20322 (java) S 20309 20309 16770 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 224655706 15372775424 18530 33554432000 4194304 4196468 140728167969136 140694136023920 140694797544066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20323] ppid=20309 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20323/stat : 20323 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655706 15372775424 18530 33554432000 4194304 4196468 140728167969136 140694134971120 140694797544066 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20324] ppid=20309 vsize=15012476 memory=139847532287616 CPUtime=0.01 cores=1,3,5,7
/proc/20312/task/20324/stat : 20324 (java) S 20309 20309 16770 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 224655706 15372775424 18530 33554432000 4194304 4196468 140728167969136 140694133918320 140694797544066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20325] ppid=20309 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20325/stat : 20325 (java) S 20309 20309 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224655706 15372775424 18530 33554432000 4194304 4196468 140728167969136 140692256975584 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20326] ppid=20309 vsize=15012476 memory=139847532287616 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20326/stat : 20326 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655707 15372775424 18530 33554432000 4194304 4196468 140728167969136 140694132865712 140694797544066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75516 KiB
[startup+0.210562 s]*
/proc/loadavg: 2.07 2.03 2.05 3/222 20326
/proc/meminfo: memFree=8947668/32770624 swapFree=67108860/67108860
[pid=20309] ppid=20306 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20309/stat : 20309 (scop.sh) S 20306 20309 16770 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224655699 115843072 349 33554432000 4194304 5098028 140735365407568 140735365404824 140130547090044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40603648 140735365416000 140735365416199 140735365416199 140735365418957 0
/proc/20309/statm: 28282 349 296 221 0 87 0
[pid=20312] ppid=20309 vsize=15012476 memory=87428 CPUtime=0.26 cores=1,3,5,7
/proc/20312/stat : 20312 (java) S 20309 20309 16770 0 -1 1077944320 10237 0 0 0 23 3 0 0 20 0 15 0 224655700 15372775424 21857 33554432000 4194304 4196468 140728167969136 140728167951680 140694797532919 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
/proc/20312/statm: 3753119 21857 2873 1 0 3715579 0
[pid=20312/tid=20313] ppid=20309 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/20312/task/20313/stat : 20313 (java) R 20309 20309 16770 0 -1 4202560 8137 0 0 0 17 2 0 0 20 0 15 0 224655700 15372775424 21857 33554432000 4194304 4196468 140728167969136 140694769348976 140694797544854 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20314] ppid=20309 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20314/stat : 20314 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15372775424 21857 33554432000 4194304 4196468 140728167969136 140694801775760 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20315] ppid=20309 vsize=15012476 memory=139847533480076 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20315/stat : 20315 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15372775424 21857 33554432000 4194304 4196468 140728167969136 140694615931920 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20316] ppid=20309 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20316/stat : 20316 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15372775424 21857 33554432000 4194304 4196468 140728167969136 140694614879120 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20317] ppid=20309 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20317/stat : 20317 (java) S 20309 20309 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224655702 15372775424 21857 33554432000 4194304 4196468 140728167969136 140694613826320 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20318] ppid=20309 vsize=15012476 memory=139847532287616 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20318/stat : 20318 (java) S 20309 20309 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224655703 15372775424 21857 33554432000 4194304 4196468 140728167969136 140694204205424 140694797544066 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20319] ppid=20309 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20319/stat : 20319 (java) S 20309 20309 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224655704 15372775424 21857 33554432000 4194304 4196468 140728167969136 140693397824544 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20320] ppid=20309 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20320/stat : 20320 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655704 15372775424 21857 33554432000 4194304 4196468 140728167969136 140693129388912 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20321] ppid=20309 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20321/stat : 20321 (java) S 20309 20309 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224655706 15372775424 21857 33554432000 4194304 4196468 140728167969136 140692754880336 140694797551515 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20322] ppid=20309 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20322/stat : 20322 (java) S 20309 20309 16770 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 224655706 15372775424 21857 33554432000 4194304 4196468 140728167969136 140694136023920 140694797544066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20323] ppid=20309 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20323/stat : 20323 (java) S 20309 20309 16770 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 224655706 15372775424 21857 33554432000 4194304 4196468 140728167969136 140694134971120 140694797544066 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20324] ppid=20309 vsize=15012476 memory=139847532287616 CPUtime=0.03 cores=1,3,5,7
/proc/20312/task/20324/stat : 20324 (java) R 20309 20309 16770 0 -1 4202560 299 0 0 0 3 0 0 0 20 0 15 0 224655706 15372775424 21857 33554432000 4194304 4196468 140728167969136 140694133918320 140694797554266 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20325] ppid=20309 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20325/stat : 20325 (java) S 20309 20309 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224655706 15372775424 21857 33554432000 4194304 4196468 140728167969136 140692256975584 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20326] ppid=20309 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20326/stat : 20326 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655707 15372775424 21857 33554432000 4194304 4196468 140728167969136 140694132865712 140694797544066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88824 KiB
[startup+0.310606 s]*
/proc/loadavg: 2.07 2.03 2.05 3/222 20326
/proc/meminfo: memFree=8943884/32770624 swapFree=67108860/67108860
[pid=20309] ppid=20306 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20309/stat : 20309 (scop.sh) S 20306 20309 16770 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224655699 115843072 349 33554432000 4194304 5098028 140735365407568 140735365404824 140130547090044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40603648 140735365416000 140735365416199 140735365416199 140735365418957 0
/proc/20309/statm: 28282 349 296 221 0 87 0
[pid=20312] ppid=20309 vsize=15012476 memory=91568 CPUtime=0.43 cores=1,3,5,7
/proc/20312/stat : 20312 (java) S 20309 20309 16770 0 -1 1077944320 10845 0 0 0 39 4 0 0 20 0 15 0 224655700 15372775424 22892 33554432000 4194304 4196468 140728167969136 140728167951680 140694797532919 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
/proc/20312/statm: 3753119 22892 2976 1 0 3715579 0
[pid=20312/tid=20313] ppid=20309 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/20312/task/20313/stat : 20313 (java) R 20309 20309 16770 0 -1 4202560 8571 0 0 0 27 3 0 0 20 0 15 0 224655700 15372775424 22892 33554432000 4194304 4196468 140728167969136 140694769328368 140694779096448 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20314] ppid=20309 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20314/stat : 20314 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15372775424 22892 33554432000 4194304 4196468 140728167969136 140694801775760 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20315] ppid=20309 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20315/stat : 20315 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15372775424 22892 33554432000 4194304 4196468 140728167969136 140694615931920 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20316] ppid=20309 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20316/stat : 20316 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15372775424 22892 33554432000 4194304 4196468 140728167969136 140694614879120 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20317] ppid=20309 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20317/stat : 20317 (java) S 20309 20309 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224655702 15372775424 22892 33554432000 4194304 4196468 140728167969136 140694613826320 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20318] ppid=20309 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20318/stat : 20318 (java) S 20309 20309 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224655703 15372775424 22892 33554432000 4194304 4196468 140728167969136 140694204205424 140694797544066 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20319] ppid=20309 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20319/stat : 20319 (java) S 20309 20309 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224655704 15372775424 22892 33554432000 4194304 4196468 140728167969136 140693397824544 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20320] ppid=20309 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20320/stat : 20320 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655704 15372775424 22892 33554432000 4194304 4196468 140728167969136 140693129388912 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20321] ppid=20309 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20321/stat : 20321 (java) S 20309 20309 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224655706 15372775424 22892 33554432000 4194304 4196468 140728167969136 140692754880336 140694797551515 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20322] ppid=20309 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20312/task/20322/stat : 20322 (java) R 20309 20309 16770 0 -1 1077944384 541 0 0 0 2 0 0 0 20 0 15 0 224655706 15372775424 22892 33554432000 4194304 4196468 140728167969136 140694136023920 140694797544066 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20323] ppid=20309 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20312/task/20323/stat : 20323 (java) R 20309 20309 16770 0 -1 4202560 66 0 0 0 1 0 0 0 20 0 15 0 224655706 15372775424 22892 33554432000 4194304 4196468 140728167969136 140694134971120 140694778233216 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20324] ppid=20309 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20312/task/20324/stat : 20324 (java) R 20309 20309 16770 0 -1 4202560 338 0 0 0 7 0 0 0 20 0 15 0 224655706 15372775424 22892 33554432000 4194304 4196468 140728167969136 140694133918320 140694775832992 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20325] ppid=20309 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20325/stat : 20325 (java) S 20309 20309 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224655706 15372775424 22892 33554432000 4194304 4196468 140728167969136 140692256975584 140694797543125 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20326] ppid=20309 vsize=15012476 memory=3905244507057233969 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20326/stat : 20326 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655707 15372775424 22892 33554432000 4194304 4196468 140728167969136 140694132865712 140694797544066 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 92964 KiB
[startup+0.701824 s]
/proc/loadavg: 2.07 2.03 2.05 3/222 20326
/proc/meminfo: memFree=8919204/32770624 swapFree=67108860/67108860
[pid=20309] ppid=20306 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20309/stat : 20309 (scop.sh) S 20306 20309 16770 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224655699 115843072 349 33554432000 4194304 5098028 140735365407568 140735365404824 140130547090044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40603648 140735365416000 140735365416199 140735365416199 140735365418957 0
/proc/20309/statm: 28282 349 296 221 0 87 0
[pid=20312] ppid=20309 vsize=15020872 memory=131648 CPUtime=1.02 cores=1,3,5,7
/proc/20312/stat : 20312 (java) S 20309 20309 16770 0 -1 1077944320 18126 0 0 0 96 6 0 0 20 0 15 0 224655700 15381372928 32912 33554432000 4194304 4196468 140728167969136 140728167951680 140694797532919 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
/proc/20312/statm: 3755218 32912 3152 1 0 3716603 0
[pid=20312/tid=20313] ppid=20309 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/20312/task/20313/stat : 20313 (java) R 20309 20309 16770 0 -1 4202560 15335 0 0 0 63 4 0 0 20 0 15 0 224655700 15381372928 32912 33554432000 4194304 4196468 140728167969136 140694769368832 140694797554845 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20314] ppid=20309 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20314/stat : 20314 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15381372928 32912 33554432000 4194304 4196468 140728167969136 140694801775760 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20315] ppid=20309 vsize=15020872 memory=60964 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20315/stat : 20315 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15381372928 32912 33554432000 4194304 4196468 140728167969136 140694615931920 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20316] ppid=20309 vsize=15020872 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20316/stat : 20316 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15381372928 32912 33554432000 4194304 4196468 140728167969136 140694614879120 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20317] ppid=20309 vsize=15020872 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20317/stat : 20317 (java) S 20309 20309 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224655702 15381372928 32912 33554432000 4194304 4196468 140728167969136 140694613826320 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20318] ppid=20309 vsize=15020872 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20318/stat : 20318 (java) S 20309 20309 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224655703 15381372928 32912 33554432000 4194304 4196468 140728167969136 140694204205424 140694797544066 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20319] ppid=20309 vsize=15020872 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20319/stat : 20319 (java) S 20309 20309 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224655704 15381372928 32912 33554432000 4194304 4196468 140728167969136 140693397824544 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20320] ppid=20309 vsize=15020872 memory=796 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20320/stat : 20320 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655704 15381372928 32912 33554432000 4194304 4196468 140728167969136 140693129388912 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20321] ppid=20309 vsize=15020872 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20321/stat : 20321 (java) S 20309 20309 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224655706 15381372928 32912 33554432000 4194304 4196468 140728167969136 140692754880336 140694797551515 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20322] ppid=20309 vsize=15020872 memory=876 CPUtime=0.09 cores=1,3,5,7
/proc/20312/task/20322/stat : 20322 (java) R 20309 20309 16770 0 -1 4202560 760 0 0 0 9 0 0 0 20 0 15 0 224655706 15381372928 32912 33554432000 4194304 4196468 140728167969136 140694136017112 140694783597088 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20323] ppid=20309 vsize=15020872 memory=10096 CPUtime=0.06 cores=1,3,5,7
/proc/20312/task/20323/stat : 20323 (java) R 20309 20309 16770 0 -1 4202560 195 0 0 0 6 0 0 0 20 0 15 0 224655706 15381372928 32912 33554432000 4194304 4196468 140728167969136 140694134961504 140694777044658 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20324] ppid=20309 vsize=15020872 memory=1228 CPUtime=0.17 cores=1,3,5,7
/proc/20312/task/20324/stat : 20324 (java) S 20309 20309 16770 0 -1 1077944384 502 0 0 0 17 0 0 0 20 0 15 0 224655706 15381372928 32912 33554432000 4194304 4196468 140728167969136 140694133918320 140694797544066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20325] ppid=20309 vsize=15020872 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20325/stat : 20325 (java) S 20309 20309 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224655706 15381372928 32912 33554432000 4194304 4196468 140728167969136 140692256975584 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20326] ppid=20309 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20326/stat : 20326 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655707 15381372928 32912 33554432000 4194304 4196468 140728167969136 140694132865712 140694797544066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 133044 KiB
[startup+1.50131 s]
/proc/loadavg: 2.07 2.03 2.05 5/222 20326
/proc/meminfo: memFree=8887388/32770624 swapFree=67108860/67108860
[pid=20309] ppid=20306 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20309/stat : 20309 (scop.sh) S 20306 20309 16770 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224655699 115843072 349 33554432000 4194304 5098028 140735365407568 140735365404824 140130547090044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40603648 140735365416000 140735365416199 140735365416199 140735365418957 0
/proc/20309/statm: 28282 349 296 221 0 87 0
[pid=20312] ppid=20309 vsize=15022920 memory=180212 CPUtime=2.97 cores=1,3,5,7
/proc/20312/stat : 20312 (java) S 20309 20309 16770 0 -1 1077944320 21944 0 0 0 289 8 0 0 20 0 15 0 224655700 15383470080 45053 33554432000 4194304 4196468 140728167969136 140728167951680 140694797532919 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
/proc/20312/statm: 3755730 45053 3190 1 0 3717115 0
[pid=20312/tid=20313] ppid=20309 vsize=15022920 memory=60964 CPUtime=1.47 cores=1,3,5,7
/proc/20312/task/20313/stat : 20313 (java) R 20309 20309 16770 0 -1 4202560 16355 0 0 0 141 6 0 0 20 0 15 0 224655700 15383470080 45053 33554432000 4194304 4196468 140728167969136 140694769362800 140694289577150 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20314] ppid=20309 vsize=15022920 memory=131648 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20314/stat : 20314 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15383470080 45053 33554432000 4194304 4196468 140728167969136 140694801775760 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20315] ppid=20309 vsize=15022920 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20315/stat : 20315 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15383470080 45053 33554432000 4194304 4196468 140728167969136 140694615931920 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20316] ppid=20309 vsize=15022920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20316/stat : 20316 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15383470080 45053 33554432000 4194304 4196468 140728167969136 140694614879120 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20317] ppid=20309 vsize=15022920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20317/stat : 20317 (java) S 20309 20309 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224655702 15383470080 45053 33554432000 4194304 4196468 140728167969136 140694613826320 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20318] ppid=20309 vsize=15022920 memory=12813 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20318/stat : 20318 (java) S 20309 20309 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224655703 15383470080 45053 33554432000 4194304 4196468 140728167969136 140694204205424 140694797544066 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20319] ppid=20309 vsize=15022920 memory=24398 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20319/stat : 20319 (java) S 20309 20309 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224655704 15383470080 45053 33554432000 4194304 4196468 140728167969136 140693397824544 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20320] ppid=20309 vsize=15022920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20320/stat : 20320 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655704 15383470080 45053 33554432000 4194304 4196468 140728167969136 140693129388912 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20321] ppid=20309 vsize=15022920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20321/stat : 20321 (java) S 20309 20309 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224655706 15383470080 45053 33554432000 4194304 4196468 140728167969136 140692754880336 140694797551515 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20322] ppid=20309 vsize=15022920 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/20312/task/20322/stat : 20322 (java) R 20309 20309 16770 0 -1 4202560 1085 0 0 0 40 0 0 0 20 0 15 0 224655706 15383470080 45053 33554432000 4194304 4196468 140728167969136 140694136007152 140694779077137 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20323] ppid=20309 vsize=15022920 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/20312/task/20323/stat : 20323 (java) R 20309 20309 16770 0 -1 1077944384 416 0 0 0 33 0 0 0 20 0 15 0 224655706 15383470080 45053 33554432000 4194304 4196468 140728167969136 140694134959824 140694797543125 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20324] ppid=20309 vsize=15022920 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/20312/task/20324/stat : 20324 (java) S 20309 20309 16770 0 -1 1077944384 2754 0 0 0 73 0 0 0 20 0 15 0 224655706 15383470080 45053 33554432000 4194304 4196468 140728167969136 140694133918320 140694797544066 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20325] ppid=20309 vsize=15022920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20325/stat : 20325 (java) S 20309 20309 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224655706 15383470080 45053 33554432000 4194304 4196468 140728167969136 140692256975584 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20326] ppid=20309 vsize=15022920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20326/stat : 20326 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655707 15383470080 45053 33554432000 4194304 4196468 140728167969136 140694132865712 140694797544066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 15136048 KiB
Current children cumulated memory: 181608 KiB
[startup+2.97672 s]
# the end of solver process 20309 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.97522 s, system=0.216934 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60187 s]
/proc/loadavg: 2.07 2.03 2.05 5/222 20326
/proc/meminfo: memFree=8887388/32770624 swapFree=67108860/67108860
[pid=20309] ppid=20306 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20309/stat : 20309 (scop.sh) S 20306 20309 16770 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224655699 115843072 349 33554432000 4194304 5098028 140735365407568 140735365404824 140130547090044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40603648 140735365416000 140735365416199 140735365416199 140735365418957 0
/proc/20309/statm: 28282 349 296 221 0 87 0
[pid=20312] ppid=20309 vsize=15024968 memory=190404 CPUtime=3.34 cores=1,3,5,7
/proc/20312/stat : 20312 (java) S 20309 20309 16770 0 -1 1077944320 22469 0 0 0 325 9 0 0 20 0 15 0 224655700 15385567232 47601 33554432000 4194304 4196468 140728167969136 140728167951680 140694797532919 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
/proc/20312/statm: 3756242 47601 3196 1 0 3717627 0
[pid=20312/tid=20313] ppid=20309 vsize=15024968 memory=1788 CPUtime=1.57 cores=1,3,5,7
/proc/20312/task/20313/stat : 20313 (java) R 20309 20309 16770 0 -1 4202560 16474 0 0 0 151 6 0 0 20 0 15 0 224655700 15385567232 47601 33554432000 4194304 4196468 140728167969136 140694769368560 140694292829680 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20314] ppid=20309 vsize=15024968 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20314/stat : 20314 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15385567232 47601 33554432000 4194304 4196468 140728167969136 140694801775760 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20315] ppid=20309 vsize=15024968 memory=796 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20315/stat : 20315 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15385567232 47601 33554432000 4194304 4196468 140728167969136 140694615931920 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20316] ppid=20309 vsize=15024968 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20316/stat : 20316 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655702 15385567232 47601 33554432000 4194304 4196468 140728167969136 140694614879120 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20317] ppid=20309 vsize=15024968 memory=876 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20317/stat : 20317 (java) S 20309 20309 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224655702 15385567232 47601 33554432000 4194304 4196468 140728167969136 140694613826320 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20318] ppid=20309 vsize=15024968 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20318/stat : 20318 (java) S 20309 20309 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224655703 15385567232 47601 33554432000 4194304 4196468 140728167969136 140694204205424 140694797544066 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20319] ppid=20309 vsize=15024968 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20319/stat : 20319 (java) S 20309 20309 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224655704 15385567232 47601 33554432000 4194304 4196468 140728167969136 140693397824544 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20320] ppid=20309 vsize=15024968 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20320/stat : 20320 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655704 15385567232 47601 33554432000 4194304 4196468 140728167969136 140693129388912 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20321] ppid=20309 vsize=15024968 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20321/stat : 20321 (java) S 20309 20309 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224655706 15385567232 47601 33554432000 4194304 4196468 140728167969136 140692754880336 140694797551515 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20322] ppid=20309 vsize=15024968 memory=8804 CPUtime=0.5 cores=1,3,5,7
/proc/20312/task/20322/stat : 20322 (java) R 20309 20309 16770 0 -1 4202560 1117 0 0 0 50 0 0 0 20 0 15 0 224655706 15385567232 47601 33554432000 4194304 4196468 140728167969136 140694136010704 140694781926777 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20323] ppid=20309 vsize=15024968 memory=4616 CPUtime=0.43 cores=1,3,5,7
/proc/20312/task/20323/stat : 20323 (java) R 20309 20309 16770 0 -1 4202560 665 0 0 0 43 0 0 0 20 0 15 0 224655706 15385567232 47601 33554432000 4194304 4196468 140728167969136 140694134957216 140694782658314 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20324] ppid=20309 vsize=15024968 memory=1428 CPUtime=0.8 cores=1,3,5,7
/proc/20312/task/20324/stat : 20324 (java) R 20309 20309 16770 0 -1 4202560 2879 0 0 0 79 1 0 0 20 0 15 0 224655706 15385567232 47601 33554432000 4194304 4196468 140728167969136 140694133914080 140694776119189 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20325] ppid=20309 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20325/stat : 20325 (java) S 20309 20309 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224655706 15385567232 47601 33554432000 4194304 4196468 140728167969136 140692256975584 140694797543125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
[pid=20312/tid=20326] ppid=20309 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20312/task/20326/stat : 20326 (java) S 20309 20309 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224655707 15385567232 47601 33554432000 4194304 4196468 140728167969136 140694132865712 140694797544066 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14221312 140728167977990 140728167978289 140728167978289 140728167981007 0
Current children cumulated CPU time: 3.34 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 191800 KiB
[startup+2.4003 s]
/proc/loadavg: 2.07 2.03 2.05 4/222 20326
/proc/meminfo: memFree=8788956/32770624 swapFree=67108860/67108860
[pid=20309] ppid=20306 vsize=113128 memory=1472 CPUtime=4.83 cores=1,3,5,7
/proc/20309/stat : 20309 (scop.sh) S 20306 20309 16770 0 -1 4202496 591 25686 0 0 0 0 471 12 20 0 1 0 224655699 115843072 368 33554432000 4194304 5098028 140735365407568 140735365404312 140130547090044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40603648 140735365416000 140735365416199 140735365416199 140735365418957 0
/proc/20309/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 4.83 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+2.80069 s]
/proc/loadavg: 2.07 2.03 2.05 4/222 20326
/proc/meminfo: memFree=8788956/32770624 swapFree=67108860/67108860
[pid=20309] ppid=20306 vsize=113128 memory=1472 CPUtime=4.83 cores=1,3,5,7
/proc/20309/stat : 20309 (scop.sh) S 20306 20309 16770 0 -1 4202496 591 25686 0 0 0 0 471 12 20 0 1 0 224655699 115843072 368 33554432000 4194304 5098028 140735365407568 140735365404312 140130547090044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40603648 140735365416000 140735365416199 140735365416199 140735365418957 0
/proc/20309/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 4.83 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+2.90025 s]
/proc/loadavg: 2.07 2.03 2.05 4/222 20326
/proc/meminfo: memFree=8788956/32770624 swapFree=67108860/67108860
[pid=20309] ppid=20306 vsize=113128 memory=1472 CPUtime=4.83 cores=1,3,5,7
/proc/20309/stat : 20309 (scop.sh) S 20306 20309 16770 0 -1 4202496 591 25686 0 0 0 0 471 12 20 0 1 0 224655699 115843072 368 33554432000 4194304 5098028 140735365407568 140735365404312 140130547090044 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40603648 140735365416000 140735365416199 140735365416199 140735365418957 0
/proc/20309/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 4.83 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
Child status: 0
Real time (s): 2.97676
CPU time (s): 6.19216
CPU user time (s): 5.97522
CPU system time (s): 0.216934
CPU usage (%): 208.016
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 241072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.97522
system time used= 0.216934
maximum resident set size= 242292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45295
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5441
involuntary context switches= 42
# summary of solver processes directly reported to runsolver:
# pid: 20309
# total CPU time (s): 6.19216
# total CPU user time (s): 5.97522
# total CPU system time (s): 0.216934
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034866 second user time and 0.075181 second system time
The end