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-14360-serial-file.bin HOME/instance-4305680-1534131563.xml
0.55/0.52
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Aug 13 05:39:24 CEST 2018
0.67/0.54 c PID: 14363
0.67/0.54 c IP: 172.20.3.132
0.67/0.54 c HOST: node132.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.42/0.98 c (0,0) Parsing End
1.42/0.99 c (0,0) CSP: 210 int (0 aux), 0 bool (0 aux), 114 ctr, max domain size 66
1.42/0.99 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.42/0.99 c (0,0) Constraint Name Generate Begin
1.42/1.00 c (0,0) Ctr:HOME/instance-4305680-1534131563.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.42/1.00 c (0,0) Constraint Name Generate End
1.42/1.00 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.42/1.00 c (0,0) CSP to CSPinCNF Begin
3.79/1.82 c (1,1) translated 12 (10%) constraints
4.44/2.08 c (1,1) translated 23 (20%) constraints
5.33/2.31 c (1,1) translated 35 (30%) constraints
5.94/2.51 c (1,1) translated 46 (40%) constraints
6.55/2.70 c (2,2) translated 57 (50%) constraints
7.55/3.05 c (2,2) translated 69 (60%) constraints
7.92/3.24 c (2,2) translated 80 (70%) constraints
8.82/3.49 c (2,2) translated 92 (80%) constraints
9.12/3.51 c (2,2) translated 103 (90%) constraints
9.12/3.59 c (3,3) translated 114 (100%) constraints
10.06/3.87 c (3,3) STATISTICS1:HOME/instance-4305680-1534131563.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,7086,30682,8388608,66,66,24,8388608:144;2097152:144;66:1770;32:22;11:798;1:375,66:19740;11:23160;2:46896;1:1980,66:2;12:222;11:66;10:66;9:66;8:66;7:66;6:66;5:66;4:7194;3:8262;2:14301;1:239,24:144;22:144;6:22;2:2943;1:82728;0:66,
10.06/3.87 c (3,3) ==========================================
10.06/3.87 c (3,3) Both Encoding selects:
10.06/3.87 c (3,3) Order
10.06/3.87 c (3,3) ==========================================
10.39/3.97 c (3,3) translated 3069 (10%) constraints
10.68/4.04 c (3,3) translated 6137 (20%) constraints
11.03/4.11 c (3,3) translated 9205 (30%) constraints
11.03/4.18 c (3,3) translated 12273 (40%) constraints
11.33/4.23 c (3,3) translated 15341 (50%) constraints
11.33/4.28 c (3,3) translated 18410 (60%) constraints
11.55/4.33 c (3,3) translated 21478 (70%) constraints
11.71/4.40 c (3,3) translated 24546 (80%) constraints
12.35/4.63 c (4,4) translated 27614 (90%) constraints
13.31/4.96 c (4,4) translated 30682 (100%) constraints
13.31/4.96 c (4,4) CSP to CSPinCNF End
13.31/4.96 c (4,4) CSP: 786 int (576 aux), 8670 bool (8670 aux), 35223 ctr, max domain size 64
13.31/4.96 c (4,4) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.31/4.96 c (4,4) CSPinCNF Propagation Begin
14.52/5.39 c (4,4) 1764 values, 6351 unsatisfiable literals, and 4815 valid clauses are removed
14.52/5.39 c (4,4) CSPinCNF Propagation End
14.52/5.39 c (4,4) CSP: 2088 int (1878 aux), 7368 bool (7368 aux), 30408 ctr, max domain size 64
14.52/5.39 c (4,4) Heap : 1295 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
14.52/5.39 c (4,4) Simplify CSPinCNF Begin
15.38/5.61 c (5,5) Simplify CSPinCNF End
15.38/5.61 c (5,5) CSP: 2088 int (1878 aux), 12840 bool (12840 aux), 35880 ctr, max domain size 64
15.38/5.61 c (5,5) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
15.38/5.61 c (5,5) Calculate Precise Domain Begin
15.38/5.65 c (5,5) 6 values are removed by re-calculation
15.38/5.65 c (5,5) Calculate Precise Domain End
15.38/5.65 c (5,5) CSP: 2088 int (1878 aux), 12840 bool (12840 aux), 35880 ctr, max domain size 64
15.38/5.65 c (5,5) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.38/5.65 c (5,5) CSPinCNF to SatSolver Begin
15.70/5.78 c (5,5) 3588 (10 %) CSP clauses are encoded (19464 SAT variables, 9467 SAT clauses)
16.02/5.83 c (5,5) 7176 (20 %) CSP clauses are encoded (19464 SAT variables, 13055 SAT clauses)
16.02/5.86 c (5,5) 10764 (30 %) CSP clauses are encoded (19464 SAT variables, 16643 SAT clauses)
16.02/5.89 c (5,5) 14352 (40 %) CSP clauses are encoded (19464 SAT variables, 20231 SAT clauses)
16.31/5.91 c (5,5) 17940 (50 %) CSP clauses are encoded (19464 SAT variables, 23819 SAT clauses)
16.57/6.04 c (5,5) 21528 (60 %) CSP clauses are encoded (19464 SAT variables, 50402 SAT clauses)
17.19/6.43 c (5,5) 25116 (70 %) CSP clauses are encoded (19464 SAT variables, 184526 SAT clauses)
17.42/6.67 c (6,6) 28704 (80 %) CSP clauses are encoded (19464 SAT variables, 267505 SAT clauses)
17.90/6.84 c (6,6) 32292 (90 %) CSP clauses are encoded (19464 SAT variables, 285659 SAT clauses)
18.37/7.01 c (6,6) 35880 (100 %) CSP clauses are encoded (19464 SAT variables, 310063 SAT clauses)
18.37/7.01 c (6,6) Launch Command will be: minisat_release
18.37/7.01 c (6,6) CSPinCNF to SatSolver End
18.37/7.01 c (6,6) Heap : 2196 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
18.97/7.28 c (6,6) STATISTICS2:HOME/instance-4305680-1534131563.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,14928,35880,256,64,11,9,256:108;128:432;64:3648;32:32;21:45;16:96;14:5;12:15;11:438;10:1020;9:180;8:109;4:36;1:480,64:22908;11:19308;10:4620;8:104;7:104;5:11;4:57;3:1200;2:56592;1:1800,11:120;10:120;9:60;8:60;7:60;6:82;5:60;4:6540;3:6642;2:20964;1:1172,9:576;8:288;6:20;3:282;2:5478;1:87294,
18.97/7.28 c (6,6) 19464 bool, 310073 clause
18.97/7.28 c (6,6) Export Begin
19.25/7.39 c (6,6) Export to HOME/scop-14360-serial-file.bin
19.25/7.39 c (6,6) Export End
19.25/7.39 c (6,6) Export File Size: 0.05 MB
19.25/7.39 c (6,6) 0,0,4,4,5,5,6,STOP-AFTER(DIMACS)
19.25/7.39 c END-Prog: Mon Aug 13 05:39:30 CEST 2018
0.00/7.41 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-14360-serial-file.bin
19.52/7.90 c (0,0) Read Serial File Begin
19.52/7.90 c (0,0) HOME/scop-14360-serial-file.bin
19.52/8.09 c (0,0) Read Serial File End
19.52/8.10
20.49/8.16 scop order+minisat_release (2018-07-31)
20.49/8.16 (Solving Process)
20.49/8.16
20.49/8.16 c BEGIN-Prog: Mon Aug 13 05:39:31 CEST 2018
20.49/8.16 c PID: 14421
20.49/8.16 c IP: 172.20.3.132
20.49/8.16 c HOST: node132.alineos.net
20.49/8.16 c (0,0) SatSolver.solve Begin
20.49/8.16 c (0,0) 0 bool, 0 clause
20.49/8.16 c (0,0) minisat_release HOME/instance-4305680-1534131563.xml-scop-14363.cnf
120.16/107.64 c (99,0) c This is COMiniSatPS.
120.16/107.64 c (99,0) c WARNING: for repeatability, setting FPU to use double precision
120.16/107.64 c (99,0) c ============================[ Problem Statistics ]=============================
120.16/107.64 c (99,0) c | |
120.16/107.64 c (99,0) c | Number of variables: 19464 |
120.16/107.64 c (99,0) c | Number of clauses: 310073 |
120.16/107.64 c (99,0) c | Parse time: 0.08 s |
120.16/107.64 c (99,0) c | Eliminated clauses: 0.31 Mb |
120.16/107.64 c (99,0) c Reduced to 10276 vars, 280959 cls (grow=0)
120.16/107.64 c (99,0) c No iterative elimination performed. (vars=10276, c/v ratio=27.3)
120.16/107.64 c (99,0) c | Simplification time: 0.48 s |
120.16/107.64 c (99,0) c | |
120.16/107.64 c (99,0) c ============================[ Search Statistics ]==============================
120.16/107.64 c (99,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
120.16/107.64 c (99,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
120.16/107.64 c (99,0) c ===============================================================================
120.16/107.64 c (99,0) c ===============================================================================
120.16/107.64 c (99,0) c restarts : 1039
120.16/107.64 c (99,0) c conflicts : 410184 (4127 /sec)
120.16/107.64 c (99,0) c decisions : 1111681 (0.00 % random) (11184 /sec)
120.16/107.64 c (99,0) c propagations : 259285938 (2608583 /sec)
120.16/107.64 c (99,0) c conflict literals : 23916446 (19.24 % deleted)
120.16/107.64 c (99,0) c CPU time : 99.3972 s
120.16/107.64 c (99,0)
120.16/107.64 c (99,0) s SATISFIABLE
120.16/107.68 c (99,0) SatSolver.solve End
120.16/107.69 c (99,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
120.16/107.69 c (99,0) Show results Begin
120.36/107.75 s SATISFIABLE
120.36/107.77 v <instantiation>
120.36/107.77 v <list>h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] m[0][0] m[0][1] m[0][2] m[0][3] m[0][4] m[0][5] m[0][6] m[0][7] m[0][8] m[0][9] m[0][10] m[1][0] m[1][1] m[1][2] m[1][3] m[1][4] m[1][5] m[1][6] m[1][7] m[1][8] m[1][9] m[1][10] m[2][0] m[2][1] m[2][2] m[2][3] m[2][4] m[2][5] m[2][6] m[2][7] m[2][8] m[2][9] m[2][10] m[3][0] m[3][1] m[3][2] m[3][3] m[3][4] m[3][5] m[3][6] m[3][7] m[3][8] m[3][9] m[3][10] m[4][0] m[4][1] m[4][2] m[4][3] m[4][4] m[4][5] m[4][6] m[4][7] m[4][8] m[4][9] m[4][10] m[5][0] m[5][1] m[5][2] m[5][3] m[5][4] m[5][5] m[5][6] m[5][7] m[5][8] m[5][9] m[5][10] hd[0] hd[1] hd[2] hd[3] hd[4] hd[5] ad[0] ad[1] ad[2] ad[3] ad[4] ad[5]</list>
120.36/107.77 v <values>0 8 5 3 2 9 4 7 3 7 1 2 5 4 1 6 5 3 6 0 1 0 4 3 2 7 1 0 1 0 7 2 3 6 4 6 5 0 1 2 1 2 0 4 8 0 1 0 3 4 5 3 1 6 2 10 1 0 8 4 2 0 2 5 3 9 1 10 10 6 11 11 6 9 4 8 5 3 7 11 2 9 8 10 10 9 4 11 5 11 9 10 10 6 9 8 11 5 8 7 9 8 9 5 3 8 11 10 10 7 9 2 7 4 7 10 11 5 8 11 6 11 6 3 11 8 7 7 4 6 9 10 0 61 49 32 29 64 39 57 30 56 14 21 46 44 11 53 47 36 54 8 13 10 38 37 27 58 19 5 18 7 59 23 34 51 42 52 48 4 12 26 20 28 9 40 60 1 16 3 33 43 50 31 17 55 24 65 15 2 62 41 25 6 22 45 35 63 0 7 4 3 9 1 2 8 6 11 10 5</values>
120.36/107.77 v </instantiation>
120.36/107.77 c (99,0) Show results End
120.36/107.77 c (99,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
120.36/107.77 c (99,0) 99,99,STOP-AFTER(ALL)
120.36/107.77 c END-Prog: Mon Aug 13 05:41:11 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 (6911 MiB free)
memory of node 1: 16384 MiB (10450 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305680-1534131563/watcher-4305680-1534131563 -o /tmp/evaluation-result-4305680-1534131563/solver-4305680-1534131563 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534131563-14336 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305680-1534131563.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14360, runsolver pid=14357
Current StackSize limit: 8192 KiB
[startup+0.100167 s]*
/proc/loadavg: 1.00 1.17 1.49 3/220 14399
/proc/meminfo: memFree=17659200/32770624 swapFree=67108860/67108860
[pid=14360] ppid=14357 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (scop.sh) S 14357 14360 14305 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230719474 115843072 349 33554432000 4194304 5098028 140732922778896 140732922776152 140564329636476 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31166464 140732922782785 140732922782983 140732922782983 140732922785741 0
/proc/14360/statm: 28282 349 296 221 0 87 0
[pid=14363] ppid=14360 vsize=15012476 memory=72212 CPUtime=0.11 cores=0,2,4,6
/proc/14363/stat : 14363 (java) S 14360 14360 14305 0 -1 1077944320 6652 0 0 0 8 3 0 0 20 0 15 0 230719474 15372775424 18053 33554432000 4194304 4196468 140724239104720 140724239087264 139633464942327 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
/proc/14363/statm: 3753119 18053 2769 1 0 3715579 0
[pid=14363/tid=14366] ppid=14360 vsize=15012476 memory=4711481268241268871 CPUtime=0.09 cores=0,2,4,6
/proc/14363/task/14366/stat : 14366 (java) R 14360 14360 14305 0 -1 4202560 4750 0 0 0 7 2 0 0 20 0 15 0 230719475 15372775424 18053 33554432000 4194304 4196468 140724239104720 139633436768656 139633446505871 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14374] ppid=14360 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14374/stat : 14374 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230719476 15372775424 18053 33554432000 4194304 4196468 140724239104720 139633469184784 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14375] ppid=14360 vsize=15012476 memory=140588799592064 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14375/stat : 14375 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230719476 15372775424 18053 33554432000 4194304 4196468 140724239104720 139633283341200 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14376] ppid=14360 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14376/stat : 14376 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230719476 15372775424 18053 33554432000 4194304 4196468 140724239104720 139633282288656 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14377] ppid=14360 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14377/stat : 14377 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230719476 15372775424 18053 33554432000 4194304 4196468 140724239104720 139633281236112 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14382] ppid=14360 vsize=15012476 memory=140588799592064 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14382/stat : 14382 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230719478 15372775424 18053 33554432000 4194304 4196468 140724239104720 139632435447792 139633464953474 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14383] ppid=14360 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14383/stat : 14383 (java) S 14360 14360 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230719478 15372775424 18053 33554432000 4194304 4196468 140724239104720 139632071140256 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14385] ppid=14360 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14385/stat : 14385 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230719479 15372775424 18053 33554432000 4194304 4196468 140724239104720 139631802704880 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14388] ppid=14360 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14388/stat : 14388 (java) S 14360 14360 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230719481 15372775424 18053 33554432000 4194304 4196468 140724239104720 139631428196560 139633464960923 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14389] ppid=14360 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14389/stat : 14389 (java) S 14360 14360 14305 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 230719481 15372775424 18053 33554432000 4194304 4196468 140724239104720 139632434395632 139633464953474 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14390] ppid=14360 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14390/stat : 14390 (java) S 14360 14360 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230719481 15372775424 18053 33554432000 4194304 4196468 140724239104720 139632433343088 139633464953474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14391] ppid=14360 vsize=15012476 memory=140588799592064 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14391/stat : 14391 (java) S 14360 14360 14305 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 15 0 230719481 15372775424 18053 33554432000 4194304 4196468 140724239104720 139632432290544 139633464953474 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14392] ppid=14360 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14392/stat : 14392 (java) S 14360 14360 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230719481 15372775424 18053 33554432000 4194304 4196468 140724239104720 139630930291808 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14393] ppid=14360 vsize=15012476 memory=140588799592064 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14393/stat : 14393 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230719481 15372775424 18053 33554432000 4194304 4196468 140724239104720 139632431237424 139633464953474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73608 KiB
[startup+0.210699 s]*
/proc/loadavg: 1.00 1.17 1.49 4/220 14399
/proc/meminfo: memFree=17630304/32770624 swapFree=67108860/67108860
[pid=14360] ppid=14357 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (scop.sh) S 14357 14360 14305 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230719474 115843072 349 33554432000 4194304 5098028 140732922778896 140732922776152 140564329636476 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31166464 140732922782785 140732922782983 140732922782983 140732922785741 0
/proc/14360/statm: 28282 349 296 221 0 87 0
[pid=14363] ppid=14360 vsize=15012476 memory=85528 CPUtime=0.25 cores=0,2,4,6
/proc/14363/stat : 14363 (java) S 14360 14360 14305 0 -1 1077944320 10265 0 0 0 22 3 0 0 20 0 15 0 230719474 15372775424 21382 33554432000 4194304 4196468 140724239104720 140724239087264 139633464942327 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
/proc/14363/statm: 3753119 21382 2875 1 0 3715579 0
[pid=14363/tid=14366] ppid=14360 vsize=15012476 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/14363/task/14366/stat : 14366 (java) R 14360 14360 14305 0 -1 4202560 8174 0 0 0 17 2 0 0 20 0 15 0 230719475 15372775424 21382 33554432000 4194304 4196468 140724239104720 139633436768720 139633464964253 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14374] ppid=14360 vsize=15012476 memory=15369 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14374/stat : 14374 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230719476 15372775424 21382 33554432000 4194304 4196468 140724239104720 139633469184784 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14375] ppid=14360 vsize=15012476 memory=140588800863868 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14375/stat : 14375 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230719476 15372775424 21382 33554432000 4194304 4196468 140724239104720 139633283341200 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14376] ppid=14360 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14376/stat : 14376 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230719476 15372775424 21382 33554432000 4194304 4196468 140724239104720 139633282288656 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14377] ppid=14360 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14377/stat : 14377 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230719476 15372775424 21382 33554432000 4194304 4196468 140724239104720 139633281236112 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14382] ppid=14360 vsize=15012476 memory=140588799592064 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14382/stat : 14382 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230719478 15372775424 21382 33554432000 4194304 4196468 140724239104720 139632435447792 139633464953474 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14383] ppid=14360 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14383/stat : 14383 (java) S 14360 14360 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230719478 15372775424 21382 33554432000 4194304 4196468 140724239104720 139632071140256 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14385] ppid=14360 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14385/stat : 14385 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230719479 15372775424 21382 33554432000 4194304 4196468 140724239104720 139631802704880 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14388] ppid=14360 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14388/stat : 14388 (java) S 14360 14360 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230719481 15372775424 21382 33554432000 4194304 4196468 140724239104720 139631428196560 139633464960923 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14389] ppid=14360 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14389/stat : 14389 (java) S 14360 14360 14305 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 15 0 230719481 15372775424 21382 33554432000 4194304 4196468 140724239104720 139632434395632 139633464953474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14390] ppid=14360 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14390/stat : 14390 (java) S 14360 14360 14305 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 230719481 15372775424 21382 33554432000 4194304 4196468 140724239104720 139632433343088 139633464953474 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14391] ppid=14360 vsize=15012476 memory=140588799592064 CPUtime=0.03 cores=0,2,4,6
/proc/14363/task/14391/stat : 14391 (java) R 14360 14360 14305 0 -1 4202560 298 0 0 0 3 0 0 0 20 0 15 0 230719481 15372775424 21382 33554432000 4194304 4196468 140724239104720 139632432290544 139633464963674 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14392] ppid=14360 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14392/stat : 14392 (java) S 14360 14360 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230719481 15372775424 21382 33554432000 4194304 4196468 140724239104720 139630930291808 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14393] ppid=14360 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14393/stat : 14393 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230719481 15372775424 21382 33554432000 4194304 4196468 140724239104720 139632431237424 139633464953474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86924 KiB
[startup+0.310687 s]*
/proc/loadavg: 1.00 1.17 1.49 3/220 14399
/proc/meminfo: memFree=17623224/32770624 swapFree=67108860/67108860
[pid=14360] ppid=14357 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (scop.sh) S 14357 14360 14305 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230719474 115843072 349 33554432000 4194304 5098028 140732922778896 140732922776152 140564329636476 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31166464 140732922782785 140732922782983 140732922782983 140732922785741 0
/proc/14360/statm: 28282 349 296 221 0 87 0
[pid=14363] ppid=14360 vsize=15012476 memory=89936 CPUtime=0.42 cores=0,2,4,6
/proc/14363/stat : 14363 (java) S 14360 14360 14305 0 -1 1077944320 10892 0 0 0 38 4 0 0 20 0 15 0 230719474 15372775424 22484 33554432000 4194304 4196468 140724239104720 140724239087264 139633464942327 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
/proc/14363/statm: 3753119 22484 3022 1 0 3715579 0
[pid=14363/tid=14366] ppid=14360 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/14363/task/14366/stat : 14366 (java) R 14360 14360 14305 0 -1 4202560 8612 0 0 0 27 3 0 0 20 0 15 0 230719475 15372775424 22484 33554432000 4194304 4196468 140724239104720 139633436770544 139633464964253 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14374] ppid=14360 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14374/stat : 14374 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230719476 15372775424 22484 33554432000 4194304 4196468 140724239104720 139633469184784 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14375] ppid=14360 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14375/stat : 14375 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230719476 15372775424 22484 33554432000 4194304 4196468 140724239104720 139633283341200 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14376] ppid=14360 vsize=15012476 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14376/stat : 14376 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230719476 15372775424 22484 33554432000 4194304 4196468 140724239104720 139633282288656 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14377] ppid=14360 vsize=15012476 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14377/stat : 14377 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230719476 15372775424 22484 33554432000 4194304 4196468 140724239104720 139633281236112 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14382] ppid=14360 vsize=15012476 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14382/stat : 14382 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230719478 15372775424 22484 33554432000 4194304 4196468 140724239104720 139632435447792 139633464953474 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14383] ppid=14360 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14383/stat : 14383 (java) S 14360 14360 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230719478 15372775424 22484 33554432000 4194304 4196468 140724239104720 139632071140256 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14385] ppid=14360 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14385/stat : 14385 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230719479 15372775424 22484 33554432000 4194304 4196468 140724239104720 139631802704880 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14388] ppid=14360 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14388/stat : 14388 (java) S 14360 14360 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230719481 15372775424 22484 33554432000 4194304 4196468 140724239104720 139631428196560 139633464960923 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14389] ppid=14360 vsize=15012476 memory=6944656591801720471 CPUtime=0.02 cores=0,2,4,6
/proc/14363/task/14389/stat : 14389 (java) R 14360 14360 14305 0 -1 4202560 539 0 0 0 2 0 0 0 20 0 15 0 230719481 15372775424 22484 33554432000 4194304 4196468 140724239104720 139632434395632 139633450956636 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14390] ppid=14360 vsize=15012476 memory=-8458152057954561420 CPUtime=0.01 cores=0,2,4,6
/proc/14363/task/14390/stat : 14390 (java) R 14360 14360 14305 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 230719481 15372775424 22484 33554432000 4194304 4196468 140724239104720 139632433343088 139633464953474 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14391] ppid=14360 vsize=15012476 memory=-8813974798734826869 CPUtime=0.07 cores=0,2,4,6
/proc/14363/task/14391/stat : 14391 (java) R 14360 14360 14305 0 -1 4202560 337 0 0 0 7 0 0 0 20 0 15 0 230719481 15372775424 22484 33554432000 4194304 4196468 140724239104720 139632432290544 139633450637398 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14392] ppid=14360 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14392/stat : 14392 (java) S 14360 14360 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230719481 15372775424 22484 33554432000 4194304 4196468 140724239104720 139630930291808 139633464952533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14393] ppid=14360 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14393/stat : 14393 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230719481 15372775424 22484 33554432000 4194304 4196468 140724239104720 139632431237424 139633464953474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91332 KiB
[startup+0.702279 s]
/proc/loadavg: 1.00 1.17 1.49 3/220 14399
/proc/meminfo: memFree=17574204/32770624 swapFree=67108860/67108860
[pid=14360] ppid=14357 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (scop.sh) S 14357 14360 14305 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230719474 115843072 349 33554432000 4194304 5098028 140732922778896 140732922776152 140564329636476 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31166464 140732922782785 140732922782983 140732922782983 140732922785741 0
/proc/14360/statm: 28282 349 296 221 0 87 0
[pid=14363] ppid=14360 vsize=15020872 memory=129772 CPUtime=1.02 cores=0,2,4,6
/proc/14363/stat : 14363 (java) S 14360 14360 14305 0 -1 1077944320 18121 0 0 0 96 6 0 0 20 0 15 0 230719474 15381372928 32443 33554432000 4194304 4196468 140724239104720 140724239087264 139633464942327 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
/proc/14363/statm: 3755218 32443 3147 1 0 3716603 0
[pid=14363/tid=14366] ppid=14360 vsize=15020872 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/14363/task/14366/stat : 14366 (java) R 14360 14360 14305 0 -1 4202560 15373 0 0 0 63 4 0 0 20 0 15 0 230719475 15381372928 32443 33554432000 4194304 4196468 140724239104720 139633436779760 139633449022814 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14374] ppid=14360 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14374/stat : 14374 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230719476 15381372928 32443 33554432000 4194304 4196468 140724239104720 139633469184784 139633464952533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14375] ppid=14360 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14375/stat : 14375 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230719476 15381372928 32443 33554432000 4194304 4196468 140724239104720 139633283341200 139633464952533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14376] ppid=14360 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14376/stat : 14376 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230719476 15381372928 32443 33554432000 4194304 4196468 140724239104720 139633282288656 139633464952533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14377] ppid=14360 vsize=15020872 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14377/stat : 14377 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230719476 15381372928 32443 33554432000 4194304 4196468 140724239104720 139633281236112 139633464952533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14382] ppid=14360 vsize=15020872 memory=752 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14382/stat : 14382 (java) S 14360 14360 14305 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 230719478 15381372928 32443 33554432000 4194304 4196468 140724239104720 139632435447792 139633464953474 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14383] ppid=14360 vsize=15020872 memory=7304 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14383/stat : 14383 (java) S 14360 14360 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230719478 15381372928 32443 33554432000 4194304 4196468 140724239104720 139632071140256 139633464952533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14385] ppid=14360 vsize=15020872 memory=5400 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14385/stat : 14385 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230719479 15381372928 32443 33554432000 4194304 4196468 140724239104720 139631802704880 139633464952533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14388] ppid=14360 vsize=15020872 memory=1108 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14388/stat : 14388 (java) S 14360 14360 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230719481 15381372928 32443 33554432000 4194304 4196468 140724239104720 139631428196560 139633464960923 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14389] ppid=14360 vsize=15020872 memory=10784 CPUtime=0.08 cores=0,2,4,6
/proc/14363/task/14389/stat : 14389 (java) R 14360 14360 14305 0 -1 4202560 604 0 0 0 8 0 0 0 20 0 15 0 230719481 15381372928 32443 33554432000 4194304 4196468 140724239104720 139632434383472 139633444659463 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14390] ppid=14360 vsize=15020872 memory=872 CPUtime=0.08 cores=0,2,4,6
/proc/14363/task/14390/stat : 14390 (java) R 14360 14360 14305 0 -1 4202560 322 0 0 0 8 0 0 0 20 0 15 0 230719481 15381372928 32443 33554432000 4194304 4196468 140724239104720 139632433343088 139633446486432 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14391] ppid=14360 vsize=15020872 memory=4280 CPUtime=0.16 cores=0,2,4,6
/proc/14363/task/14391/stat : 14391 (java) S 14360 14360 14305 0 -1 1077944384 489 0 0 0 16 0 0 0 20 0 15 0 230719481 15381372928 32443 33554432000 4194304 4196468 140724239104720 139632432290544 139633464953474 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14392] ppid=14360 vsize=15020872 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14392/stat : 14392 (java) S 14360 14360 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230719481 15381372928 32443 33554432000 4194304 4196468 140724239104720 139630930291808 139633464952533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
[pid=14363/tid=14393] ppid=14360 vsize=15020872 memory=34660 CPUtime=0 cores=0,2,4,6
/proc/14363/task/14393/stat : 14393 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230719481 15381372928 32443 33554432000 4194304 4196468 140724239104720 139632431237424 139633464953474 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22921216 140724239111175 140724239111473 140724239111473 140724239114191 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131168 KiB
[startup+1.5024 s]
/proc/loadavg: 1.00 1.17 1.49 6/220 14399
/proc/meminfo: memFree=17514868/32770624 swapFree=67108860/67108860
[pid=14360] ppid=14357 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14360/stat : 14360 (scop.sh) S 14357 14360 14305 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230719474 115843072 349 33554432000 4194304 5098028 140732922778896 140732922776152 140564329636476 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31166464 140732922782785 140732922782983 140732922782983 140732922785741 0
/proc/14360/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/14421/task/14437/stat : 14437 (java) S 14360 14360 14305 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230720289 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923155814208 139924124040985 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14439] ppid=14360 vsize=8068220 memory=66780 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14439/stat : 14439 (java) S 14360 14360 14305 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 230720290 8261857280 29225 33554432000 4194304 4196468 140723903139680 139921377439632 139924124038301 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14440] ppid=14360 vsize=8068220 memory=3332 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14440/stat : 14440 (java) S 14360 14360 14305 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 230720290 8261857280 29225 33554432000 4194304 4196468 140723903139680 139921511661072 139924124038301 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14441] ppid=14360 vsize=8068220 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14441/stat : 14441 (java) S 14360 14360 14305 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230720292 8261857280 29225 33554432000 4194304 4196468 140723903139680 139921109015840 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
Current children cumulated CPU time: 118.26 s
Current children cumulated vsize: 8267908 KiB
Current children cumulated memory: 185152 KiB
[startup+106.501 s]
/proc/loadavg: 1.91 1.46 1.56 3/231 14450
/proc/meminfo: memFree=17459628/32770624 swapFree=67108860/67108860
[pid=14360] ppid=14357 vsize=113128 memory=1472 CPUtime=19.52 cores=0,2,4,6
/proc/14360/stat : 14360 (scop.sh) S 14357 14360 14305 0 -1 4202496 590 36267 0 0 0 0 1905 47 20 0 1 0 230719474 115843072 368 33554432000 4194304 5098028 140732922778896 140732922775640 140564329636476 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31166464 140732922782785 140732922782983 140732922782983 140732922785741 0
/proc/14360/statm: 28282 368 311 221 0 87 0
[pid=14421] ppid=14360 vsize=8068220 memory=116900 CPUtime=1.23 cores=0,2,4,6
/proc/14421/stat : 14421 (java) S 14360 14360 14305 0 -1 1077944320 17506 0 0 0 115 8 0 0 20 0 19 0 230720216 8261857280 29225 33554432000 4194304 4196468 140723903139680 140723903122224 139924124016375 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
/proc/14421/statm: 2017055 29225 3146 1 0 1978454 0
[pid=14436] ppid=14421 vsize=86560 memory=66780 CPUtime=98.31 cores=0,2,4,6
/proc/14436/stat : 14436 (minisat_release) R 14421 14360 14305 0 -1 4202496 55624 0 0 0 9825 6 0 0 20 0 1 0 230720289 88637440 16695 33554432000 4194304 4308513 140729663591664 140729663588568 4275861 0 4 0 8396802 0 0 0 17 0 0 0 1 0 0 6409496 6410680 33538048 140729663599732 140729663599830 140729663599830 140729663602629 0
/proc/14436/statm: 21640 16695 342 28 0 17880 0
[pid=14421/tid=14422] ppid=14360 vsize=8068220 memory=-7824251494390979431 CPUtime=0.76 cores=0,2,4,6
/proc/14421/task/14422/stat : 14422 (java) S 14360 14360 14305 0 -1 1077944384 14547 0 0 0 71 5 0 0 20 0 19 0 230720216 8261857280 29225 33554432000 4194304 4196468 140723903139680 139924095856528 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14423] ppid=14360 vsize=8068220 memory=-8316900901535099443 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14423/stat : 14423 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230720217 8261857280 29225 33554432000 4194304 4196468 140723903139680 139924128258576 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14424] ppid=14360 vsize=8068220 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14424/stat : 14424 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230720217 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923608824464 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14425] ppid=14360 vsize=8068220 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14425/stat : 14425 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230720217 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923607771408 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14426] ppid=14360 vsize=8068220 memory=116900 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14426/stat : 14426 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230720217 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923606718864 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14427] ppid=14360 vsize=8068220 memory=66780 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14427/stat : 14427 (java) S 14360 14360 14305 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 230720218 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923167832816 139924124027522 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14428] ppid=14360 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14428/stat : 14428 (java) S 14360 14360 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230720219 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923055175328 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14429] ppid=14360 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14429/stat : 14429 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230720219 8261857280 29225 33554432000 4194304 4196468 140723903139680 139922786739440 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14430] ppid=14360 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14430/stat : 14430 (java) S 14360 14360 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230720221 8261857280 29225 33554432000 4194304 4196468 140723903139680 139922412231120 139924124034971 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14431] ppid=14360 vsize=8068220 memory=-7824251494390979431 CPUtime=0.09 cores=0,2,4,6
/proc/14421/task/14431/stat : 14431 (java) S 14360 14360 14305 0 -1 1077944384 653 0 0 0 9 0 0 0 20 0 19 0 230720221 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923166779632 139924124027522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14432] ppid=14360 vsize=8068220 memory=116900 CPUtime=0.08 cores=0,2,4,6
/proc/14421/task/14432/stat : 14432 (java) S 14360 14360 14305 0 -1 1077944384 306 0 0 0 8 0 0 0 20 0 19 0 230720221 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923165727088 139924124027522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14433] ppid=14360 vsize=8068220 memory=66780 CPUtime=0.21 cores=0,2,4,6
/proc/14421/task/14433/stat : 14433 (java) S 14360 14360 14305 0 -1 1077944384 582 0 0 0 21 0 0 0 20 0 19 0 230720221 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923164674032 139924124027522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14434] ppid=14360 vsize=8068220 memory=872 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14434/stat : 14434 (java) S 14360 14360 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230720222 8261857280 29225 33554432000 4194304 4196468 140723903139680 139921914325344 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14435] ppid=14360 vsize=8068220 memory=4280 CPUtime=0.05 cores=0,2,4,6
/proc/14421/task/14435/stat : 14435 (java) S 14360 14360 14305 0 -1 1077944384 8 0 0 0 3 2 0 0 20 0 19 0 230720222 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923163622448 139924124027522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14437] ppid=14360 vsize=8068220 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14437/stat : 14437 (java) S 14360 14360 14305 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230720289 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923155814208 139924124040985 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14439] ppid=14360 vsize=8068220 memory=1920 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14439/stat : 14439 (java) S 14360 14360 14305 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 230720290 8261857280 29225 33554432000 4194304 4196468 140723903139680 139921377439632 139924124038301 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14440] ppid=14360 vsize=8068220 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14440/stat : 14440 (java) S 14360 14360 14305 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 230720290 8261857280 29225 33554432000 4194304 4196468 140723903139680 139921511661072 139924124038301 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14441] ppid=14360 vsize=8068220 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14441/stat : 14441 (java) S 14360 14360 14305 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230720292 8261857280 29225 33554432000 4194304 4196468 140723903139680 139921109015840 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
Current children cumulated CPU time: 119.06 s
Current children cumulated vsize: 8267908 KiB
Current children cumulated memory: 185152 KiB
[startup+107.301 s]
/proc/loadavg: 1.91 1.47 1.56 3/231 14450
/proc/meminfo: memFree=17459744/32770624 swapFree=67108860/67108860
[pid=14360] ppid=14357 vsize=113128 memory=1472 CPUtime=19.52 cores=0,2,4,6
/proc/14360/stat : 14360 (scop.sh) S 14357 14360 14305 0 -1 4202496 590 36267 0 0 0 0 1905 47 20 0 1 0 230719474 115843072 368 33554432000 4194304 5098028 140732922778896 140732922775640 140564329636476 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31166464 140732922782785 140732922782983 140732922782983 140732922785741 0
/proc/14360/statm: 28282 368 311 221 0 87 0
[pid=14421] ppid=14360 vsize=8068220 memory=116900 CPUtime=1.23 cores=0,2,4,6
/proc/14421/stat : 14421 (java) S 14360 14360 14305 0 -1 1077944320 17506 0 0 0 115 8 0 0 20 0 19 0 230720216 8261857280 29225 33554432000 4194304 4196468 140723903139680 140723903122224 139924124016375 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
/proc/14421/statm: 2017055 29225 3146 1 0 1978454 0
[pid=14436] ppid=14421 vsize=86560 memory=66780 CPUtime=99.11 cores=0,2,4,6
/proc/14436/stat : 14436 (minisat_release) R 14421 14360 14305 0 -1 4202496 55624 0 0 0 9905 6 0 0 20 0 1 0 230720289 88637440 16695 33554432000 4194304 4308513 140729663591664 140729663588568 4275941 0 4 0 8396802 0 0 0 17 0 0 0 1 0 0 6409496 6410680 33538048 140729663599732 140729663599830 140729663599830 140729663602629 0
/proc/14436/statm: 21640 16695 342 28 0 17880 0
[pid=14421/tid=14422] ppid=14360 vsize=8068220 memory=34668 CPUtime=0.76 cores=0,2,4,6
/proc/14421/task/14422/stat : 14422 (java) S 14360 14360 14305 0 -1 1077944384 14547 0 0 0 71 5 0 0 20 0 19 0 230720216 8261857280 29225 33554432000 4194304 4196468 140723903139680 139924095856528 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14423] ppid=14360 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14423/stat : 14423 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230720217 8261857280 29225 33554432000 4194304 4196468 140723903139680 139924128258576 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14424] ppid=14360 vsize=8068220 memory=116900 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14424/stat : 14424 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230720217 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923608824464 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14425] ppid=14360 vsize=8068220 memory=66780 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14425/stat : 14425 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230720217 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923607771408 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14426] ppid=14360 vsize=8068220 memory=116900 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14426/stat : 14426 (java) S 14360 14360 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230720217 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923606718864 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14427] ppid=14360 vsize=8068220 memory=-7824251494390979431 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14427/stat : 14427 (java) S 14360 14360 14305 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 230720218 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923167832816 139924124027522 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14428] ppid=14360 vsize=8068220 memory=2444 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14428/stat : 14428 (java) S 14360 14360 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230720219 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923055175328 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14429] ppid=14360 vsize=8068220 memory=1832 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14429/stat : 14429 (java) S 14360 14360 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230720219 8261857280 29225 33554432000 4194304 4196468 140723903139680 139922786739440 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14430] ppid=14360 vsize=8068220 memory=1920 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14430/stat : 14430 (java) S 14360 14360 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230720221 8261857280 29225 33554432000 4194304 4196468 140723903139680 139922412231120 139924124034971 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14431] ppid=14360 vsize=8068220 memory=1192 CPUtime=0.09 cores=0,2,4,6
/proc/14421/task/14431/stat : 14431 (java) S 14360 14360 14305 0 -1 1077944384 653 0 0 0 9 0 0 0 20 0 19 0 230720221 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923166779632 139924124027522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14432] ppid=14360 vsize=8068220 memory=1616 CPUtime=0.08 cores=0,2,4,6
/proc/14421/task/14432/stat : 14432 (java) S 14360 14360 14305 0 -1 1077944384 306 0 0 0 8 0 0 0 20 0 19 0 230720221 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923165727088 139924124027522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14433] ppid=14360 vsize=8068220 memory=66780 CPUtime=0.21 cores=0,2,4,6
/proc/14421/task/14433/stat : 14433 (java) S 14360 14360 14305 0 -1 1077944384 582 0 0 0 21 0 0 0 20 0 19 0 230720221 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923164674032 139924124027522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14434] ppid=14360 vsize=8068220 memory=752 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14434/stat : 14434 (java) S 14360 14360 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230720222 8261857280 29225 33554432000 4194304 4196468 140723903139680 139921914325344 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14435] ppid=14360 vsize=8068220 memory=7304 CPUtime=0.05 cores=0,2,4,6
/proc/14421/task/14435/stat : 14435 (java) S 14360 14360 14305 0 -1 1077944384 8 0 0 0 3 2 0 0 20 0 19 0 230720222 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923163622448 139924124027522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14437] ppid=14360 vsize=8068220 memory=5400 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14437/stat : 14437 (java) S 14360 14360 14305 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230720289 8261857280 29225 33554432000 4194304 4196468 140723903139680 139923155814208 139924124040985 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14439] ppid=14360 vsize=8068220 memory=1108 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14439/stat : 14439 (java) S 14360 14360 14305 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 230720290 8261857280 29225 33554432000 4194304 4196468 140723903139680 139921377439632 139924124038301 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14440] ppid=14360 vsize=8068220 memory=10784 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14440/stat : 14440 (java) S 14360 14360 14305 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 230720290 8261857280 29225 33554432000 4194304 4196468 140723903139680 139921511661072 139924124038301 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14441] ppid=14360 vsize=8068220 memory=66780 CPUtime=0 cores=0,2,4,6
/proc/14421/task/14441/stat : 14441 (java) S 14360 14360 14305 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230720292 8261857280 29225 33554432000 4194304 4196468 140723903139680 139921109015840 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
Current children cumulated CPU time: 119.86 s
Current children cumulated vsize: 8267908 KiB
Current children cumulated memory: 185152 KiB
[startup+107.701 s]
/proc/loadavg: 1.91 1.47 1.56 3/231 14450
/proc/meminfo: memFree=17459744/32770624 swapFree=67108860/67108860
[pid=14360] ppid=14357 vsize=113128 memory=1472 CPUtime=19.52 cores=0,2,4,6
/proc/14360/stat : 14360 (scop.sh) S 14357 14360 14305 0 -1 4202496 590 36267 0 0 0 0 1905 47 20 0 1 0 230719474 115843072 368 33554432000 4194304 5098028 140732922778896 140732922775640 140564329636476 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31166464 140732922782785 140732922782983 140732922782983 140732922785741 0
/proc/14360/statm: 28282 368 311 221 0 87 0
[pid=14421] ppid=14360 vsize=7937144 memory=126644 CPUtime=100.84 cores=0,2,4,6
/proc/14421/stat : 14421 (java) S 14360 14360 14305 0 -1 1077944320 18410 55728 0 0 130 8 9940 6 20 0 17 0 230720216 8127635456 31661 33554432000 4194304 4196468 140723903139680 140723903122224 139924124016375 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
/proc/14421/statm: 1984286 31661 3167 1 0 1945685 0
[pid=14421/tid=14422] ppid=14360 vsize=7937144 memory=116900 CPUtime=100.23 cores=0,2,4,6
/proc/14421/task/14422/stat : 14422 (java) R 14360 14360 14305 0 -1 4202560 14610 55728 0 0 72 5 9940 6 20 0 17 0 230720216 8127635456 31661 33554432000 4194304 4196468 140723903139680 139924095854816 139924109182030 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14423] ppid=14360 vsize=7937144 memory=66780 CPUtime=99.46 cores=0,2,4,6
/proc/14421/task/14423/stat : 14423 (java) S 14360 14360 14305 0 -1 1077944384 1 55728 0 0 0 0 9940 6 20 0 17 0 230720217 8127635456 31661 33554432000 4194304 4196468 140723903139680 139924128258576 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14424] ppid=14360 vsize=7937144 memory=66780 CPUtime=99.46 cores=0,2,4,6
/proc/14421/task/14424/stat : 14424 (java) S 14360 14360 14305 0 -1 1077944384 1 55728 0 0 0 0 9940 6 20 0 17 0 230720217 8127635456 31661 33554432000 4194304 4196468 140723903139680 139923608824464 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14425] ppid=14360 vsize=7937144 memory=4280 CPUtime=99.46 cores=0,2,4,6
/proc/14421/task/14425/stat : 14425 (java) S 14360 14360 14305 0 -1 1077944384 1 55728 0 0 0 0 9940 6 20 0 17 0 230720217 8127635456 31661 33554432000 4194304 4196468 140723903139680 139923607771408 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14426] ppid=14360 vsize=7937144 memory=14888 CPUtime=99.46 cores=0,2,4,6
/proc/14421/task/14426/stat : 14426 (java) S 14360 14360 14305 0 -1 1077944384 2 55728 0 0 0 0 9940 6 20 0 17 0 230720217 8127635456 31661 33554432000 4194304 4196468 140723903139680 139923606718864 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14427] ppid=14360 vsize=7937144 memory=34668 CPUtime=99.46 cores=0,2,4,6
/proc/14421/task/14427/stat : 14427 (java) S 14360 14360 14305 0 -1 1077944384 6 55728 0 0 0 0 9940 6 20 0 17 0 230720218 8127635456 31661 33554432000 4194304 4196468 140723903139680 139923167832816 139924124027522 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14428] ppid=14360 vsize=7937144 memory=15932 CPUtime=99.46 cores=0,2,4,6
/proc/14421/task/14428/stat : 14428 (java) S 14360 14360 14305 0 -1 1077944384 13 55728 0 0 0 0 9940 6 20 0 17 0 230720219 8127635456 31661 33554432000 4194304 4196468 140723903139680 139923055175328 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14429] ppid=14360 vsize=7937144 memory=4132 CPUtime=99.46 cores=0,2,4,6
/proc/14421/task/14429/stat : 14429 (java) S 14360 14360 14305 0 -1 1077944384 1 55728 0 0 0 0 9940 6 20 0 17 0 230720219 8127635456 31661 33554432000 4194304 4196468 140723903139680 139922786739440 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14430] ppid=14360 vsize=7937144 memory=62720 CPUtime=99.46 cores=0,2,4,6
/proc/14421/task/14430/stat : 14430 (java) S 14360 14360 14305 0 -1 1077944384 3 55728 0 0 0 0 9940 6 20 0 17 0 230720221 8127635456 31661 33554432000 4194304 4196468 140723903139680 139922412231120 139924124034971 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14431] ppid=14360 vsize=7937144 memory=1920 CPUtime=99.59 cores=0,2,4,6
/proc/14421/task/14431/stat : 14431 (java) S 14360 14360 14305 0 -1 1077944384 1011 55728 0 0 13 0 9940 6 20 0 17 0 230720221 8127635456 31661 33554432000 4194304 4196468 140723903139680 139923166779632 139924124027522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14432] ppid=14360 vsize=7937144 memory=1192 CPUtime=99.57 cores=0,2,4,6
/proc/14421/task/14432/stat : 14432 (java) S 14360 14360 14305 0 -1 1077944384 328 55728 0 0 11 0 9940 6 20 0 17 0 230720221 8127635456 31661 33554432000 4194304 4196468 140723903139680 139923165727088 139924124027522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14433] ppid=14360 vsize=7937144 memory=1616 CPUtime=99.69 cores=0,2,4,6
/proc/14421/task/14433/stat : 14433 (java) S 14360 14360 14305 0 -1 1077944384 986 55728 0 0 23 0 9940 6 20 0 17 0 230720221 8127635456 31661 33554432000 4194304 4196468 140723903139680 139923164674032 139924124027522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14434] ppid=14360 vsize=7937144 memory=1384 CPUtime=99.46 cores=0,2,4,6
/proc/14421/task/14434/stat : 14434 (java) S 14360 14360 14305 0 -1 1077944384 3 55728 0 0 0 0 9940 6 20 0 17 0 230720222 8127635456 31661 33554432000 4194304 4196468 140723903139680 139921914325344 139924124026581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14435] ppid=14360 vsize=7937144 memory=752 CPUtime=99.51 cores=0,2,4,6
/proc/14421/task/14435/stat : 14435 (java) S 14360 14360 14305 0 -1 1077944384 8 55728 0 0 3 2 9940 6 20 0 17 0 230720222 8127635456 31661 33554432000 4194304 4196468 140723903139680 139923163622448 139924124027522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14437] ppid=14360 vsize=7937144 memory=7304 CPUtime=99.46 cores=0,2,4,6
/proc/14421/task/14437/stat : 14437 (java) S 14360 14360 14305 0 -1 1077944384 27 55728 0 0 0 0 9940 6 20 0 17 0 230720289 8127635456 31661 33554432000 4194304 4196468 140723903139680 139923155813392 139924124027522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
[pid=14421/tid=14441] ppid=14360 vsize=7937144 memory=0 CPUtime=99.46 cores=0,2,4,6
/proc/14421/task/14441/stat : 14441 (java) S 14360 14360 14305 0 -1 1077944384 10 55728 0 0 0 0 9940 6 20 0 17 0 230720292 8127635456 31661 33554432000 4194304 4196468 140723903139680 139921109017648 139924124027522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21352448 140723903141045 140723903141169 140723903141169 140723903143887 0
Current children cumulated CPU time: 120.36 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 128116 KiB
Child status: 0
Real time (s): 107.782
CPU time (s): 120.565
CPU user time (s): 119.923
CPU system time (s): 0.641775
CPU usage (%): 111.86
Max. virtual memory (cumulated for all children) (KiB): 15142260
Max. memory (cumulated for all children) (KiB): 2406036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.923
system time used= 0.641775
maximum resident set size= 2410564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9460
involuntary context switches= 254
# summary of solver processes directly reported to runsolver:
# pid: 14360
# total CPU time (s): 120.565
# total CPU user time (s): 119.923
# total CPU system time (s): 0.641775
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.760133 second user time and 1.23949 second system time
The end