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-30817-serial-file.bin HOME/instance-4305702-1534092150.xml
0.67/0.52
0.67/0.52 scop both+minisat_release (2018-07-31)
0.81/0.63 (Encoding Process)
0.81/0.63
0.81/0.63 c BEGIN-Prog: Sun Aug 12 18:42:31 CEST 2018
0.81/0.63 c PID: 30820
0.81/0.63 c IP: 172.20.3.106
0.81/0.63 c HOST: node106.alineos.net
0.81/0.63 c (0,0) Parsing Begin
2.35/1.18 c (0,0) Parsing End
2.35/1.19 c (0,0) CSP: 45 int (0 aux), 0 bool (0 aux), 476 ctr, max domain size 21
2.35/1.19 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.35/1.19 c (0,0) Constraint Name Generate Begin
2.35/1.20 c (0,0) Ctr:HOME/instance-4305702-1534092150.xml,ExtensionConflict:IntVar
2.35/1.20 c (0,0) Constraint Name Generate End
2.35/1.20 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.35/1.20 c (0,0) CSP to CSPinCNF Begin
4.81/1.99 c (1,1) translated 48 (10%) constraints
5.72/2.30 c (1,1) translated 96 (20%) constraints
6.65/2.55 c (2,2) translated 143 (30%) constraints
7.25/2.77 c (2,2) translated 191 (40%) constraints
7.86/2.97 c (2,2) translated 238 (50%) constraints
8.50/3.18 c (2,2) translated 286 (60%) constraints
9.37/3.40 c (2,2) translated 334 (70%) constraints
9.98/3.61 c (3,3) translated 381 (80%) constraints
10.59/3.81 c (3,3) translated 429 (90%) constraints
10.90/3.98 c (3,3) translated 476 (100%) constraints
11.78/4.26 c (3,3) STATISTICS1:HOME/instance-4305702-1534092150.xml,ExtensionConflict:IntVar,45,40077,-1,21,4,1,,21:155986,4:35853;3:4126;2:98,1:155986,
11.78/4.26 c (3,3) ==========================================
11.78/4.26 c (3,3) Both Encoding selects:
11.78/4.26 c (3,3) Order
11.78/4.26 c (3,3) ==========================================
12.01/4.38 c (3,3) translated 4008 (10%) constraints
12.27/4.45 c (3,3) translated 8016 (20%) constraints
12.53/4.51 c (3,3) translated 12024 (30%) constraints
12.53/4.57 c (4,4) translated 16031 (40%) constraints
12.62/4.63 c (4,4) translated 20039 (50%) constraints
12.62/4.69 c (4,4) translated 24047 (60%) constraints
12.73/4.75 c (4,4) translated 28054 (70%) constraints
12.83/4.80 c (4,4) translated 32062 (80%) constraints
12.83/4.86 c (4,4) translated 36070 (90%) constraints
12.93/4.92 c (4,4) translated 40077 (100%) constraints
12.93/4.92 c (4,4) CSP to CSPinCNF End
12.93/4.92 c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
12.93/4.92 c (4,4) Heap : 1633 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.93/4.92 c (4,4) CSPinCNF Propagation Begin
13.74/5.25 c (4,4) 0 values, 4397 unsatisfiable literals, and 0 valid clauses are removed
13.74/5.25 c (4,4) CSPinCNF Propagation End
13.74/5.25 c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
13.74/5.25 c (4,4) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.74/5.25 c (4,4) Simplify CSPinCNF Begin
13.92/5.35 c (4,4) Simplify CSPinCNF End
13.92/5.35 c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
13.92/5.35 c (4,4) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.92/5.35 c (4,4) Calculate Precise Domain Begin
13.92/5.36 c (4,4) 0 values are removed by re-calculation
13.92/5.36 c (4,4) Calculate Precise Domain End
13.92/5.36 c (4,4) CSP: 45 int (0 aux), 0 bool (0 aux), 40077 ctr, max domain size 21
13.92/5.36 c (4,4) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.92/5.36 c (4,4) CSPinCNF to SatSolver Begin
14.07/5.47 c (4,4) 4008 (10 %) CSP clauses are encoded (900 SAT variables, 4862 SAT clauses)
14.36/5.53 c (5,4) 8016 (20 %) CSP clauses are encoded (900 SAT variables, 8870 SAT clauses)
14.36/5.58 c (5,5) 12024 (30 %) CSP clauses are encoded (900 SAT variables, 12878 SAT clauses)
14.66/5.60 c (5,5) 16031 (40 %) CSP clauses are encoded (900 SAT variables, 16885 SAT clauses)
14.66/5.63 c (5,5) 20039 (50 %) CSP clauses are encoded (900 SAT variables, 20893 SAT clauses)
14.66/5.66 c (5,5) 24047 (60 %) CSP clauses are encoded (900 SAT variables, 24901 SAT clauses)
14.66/5.69 c (5,5) 28054 (70 %) CSP clauses are encoded (900 SAT variables, 28908 SAT clauses)
14.79/5.72 c (5,5) 32062 (80 %) CSP clauses are encoded (900 SAT variables, 32916 SAT clauses)
14.79/5.75 c (5,5) 36070 (90 %) CSP clauses are encoded (900 SAT variables, 36924 SAT clauses)
14.79/5.77 c (5,5) 40077 (100 %) CSP clauses are encoded (900 SAT variables, 40931 SAT clauses)
14.79/5.77 c (5,5) Launch Command will be: minisat_release
14.79/5.77 c (5,5) CSPinCNF to SatSolver End
14.79/5.77 c (5,5) Heap : 2140 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
15.19/5.96 c (5,5) STATISTICS2:HOME/instance-4305702-1534092150.xml,ExtensionConflict:IntVar,45,40077,-1,21,4,1,,21:151589,4:31795;3:7845;2:437,1:151589,
15.19/5.96 c (5,5) 900 bool, 40932 clause
15.19/5.96 c (5,5) Export Begin
15.36/6.05 c (5,5) Export to HOME/scop-30817-serial-file.bin
15.36/6.05 c (5,5) Export End
15.36/6.05 c (5,5) Export File Size: 0.01 MB
15.36/6.05 c (5,5) 0,0,4,4,4,4,5,STOP-AFTER(DIMACS)
15.36/6.05 c END-Prog: Sun Aug 12 18:42:36 CEST 2018
15.36/6.08 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-30817-serial-file.bin
15.46/6.57 c (0,0) Read Serial File Begin
15.46/6.57 c (0,0) HOME/scop-30817-serial-file.bin
15.46/6.73 c (0,0) Read Serial File End
15.46/6.75
15.46/6.75 scop order+minisat_release (2018-07-31)
15.46/6.75 (Solving Process)
15.46/6.75
15.46/6.77 c BEGIN-Prog: Sun Aug 12 18:42:37 CEST 2018
15.46/6.77 c PID: 30835
15.46/6.77 c IP: 172.20.3.106
15.46/6.77 c HOST: node106.alineos.net
15.46/6.77 c (0,0) SatSolver.solve Begin
15.46/6.77 c (0,0) 0 bool, 0 clause
15.46/6.77 c (0,0) minisat_release HOME/instance-4305702-1534092150.xml-scop-30820.cnf
1151.39/1141.17 c (1134,0) c This is COMiniSatPS.
1151.39/1141.17 c (1134,0) c WARNING: for repeatability, setting FPU to use double precision
1151.39/1141.17 c (1134,0) c ============================[ Problem Statistics ]=============================
1151.39/1141.17 c (1134,0) c | |
1151.39/1141.17 c (1134,0) c | Number of variables: 900 |
1151.39/1141.17 c (1134,0) c | Number of clauses: 40932 |
1151.39/1141.17 c (1134,0) c | Parse time: 0.01 s |
1151.39/1141.17 c (1134,0) c Reduced to 900 vars, 39918 cls (grow=0)
1151.39/1141.17 c (1134,0) c No iterative elimination performed. (vars=900, c/v ratio=44.4)
1151.39/1141.17 c (1134,0) c | Simplification time: 0.05 s |
1151.39/1141.17 c (1134,0) c | |
1151.39/1141.17 c (1134,0) c ============================[ Search Statistics ]==============================
1151.39/1141.17 c (1134,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
1151.39/1141.17 c (1134,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1151.39/1141.17 c (1134,0) c ===============================================================================
1151.39/1141.17 c (1134,0) c ===============================================================================
1151.39/1141.17 c (1134,0) c restarts : 15297
1151.39/1141.17 c (1134,0) c conflicts : 9321094 (8219 /sec)
1151.39/1141.17 c (1134,0) c decisions : 11009026 (0.00 % random) (9707 /sec)
1151.39/1141.17 c (1134,0) c propagations : 1263238259 (1113826 /sec)
1151.39/1141.17 c (1134,0) c conflict literals : 167298593 (45.03 % deleted)
1151.39/1141.17 c (1134,0) c CPU time : 1134.14 s
1151.39/1141.17 c (1134,0)
1151.39/1141.17 c (1134,0) s SATISFIABLE
1151.39/1141.19 c (1134,0) SatSolver.solve End
1151.39/1141.19 c (1134,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1151.39/1141.19 c (1134,0) Show results Begin
1151.51/1141.24 s SATISFIABLE
1151.51/1141.25 v <instantiation>
1151.51/1141.25 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44]</list>
1151.51/1141.25 v <values>5 5 1 12 18 4 9 19 2 8 6 9 8 9 6 1 1 1 13 12 18 18 7 7 4 11 7 8 7 9 3 13 15 7 17 6 20 5 13 19 7 7 11 8 2</values>
1151.51/1141.25 v </instantiation>
1151.51/1141.25 c (1134,0) Show results End
1151.51/1141.25 c (1134,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
1151.51/1141.25 c (1134,0) 1134,1134,STOP-AFTER(ALL)
1151.51/1141.25 c END-Prog: Sun Aug 12 19:01:32 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 (9809 MiB free)
memory of node 1: 16384 MiB (13442 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305702-1534092150/watcher-4305702-1534092150 -o /tmp/evaluation-result-4305702-1534092150/solver-4305702-1534092150 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23199 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305702-1534092150.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=30817, runsolver pid=30814
Current StackSize limit: 8192 KiB
[startup+0.100287 s]*
/proc/loadavg: 1.02 1.27 1.67 3/195 30834
/proc/meminfo: memFree=23749416/32770624 swapFree=67108688/67108860
[pid=30817] ppid=30814 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/30817/stat : 30817 (scop.sh) S 30814 30817 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226777898 115843072 349 33554432000 4194304 5098028 140723022720752 140723022718008 139789626131068 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10813440 140723022726209 140723022726407 140723022726407 140723022729165 0
/proc/30817/statm: 28282 349 296 221 0 87 0
[pid=30820] ppid=30817 vsize=15012476 memory=72208 CPUtime=0.11 cores=1,3,5,7
/proc/30820/stat : 30820 (java) S 30817 30817 23167 0 -1 1077944320 6154 0 0 0 9 2 0 0 20 0 15 0 226777898 15372775424 18052 33554432000 4194304 4196468 140734388004864 140734387987408 140384776945399 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
/proc/30820/statm: 3753119 18052 2770 1 0 3715579 0
[pid=30820/tid=30821] ppid=30817 vsize=15012476 memory=-8035107114841901037 CPUtime=0.08 cores=1,3,5,7
/proc/30820/task/30821/stat : 30821 (java) R 30817 30817 23167 0 -1 4202560 4247 0 0 0 7 1 0 0 20 0 15 0 226777898 15372775424 18052 33554432000 4194304 4196468 140734388004864 140384748750696 140384760132208 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30822] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30822/stat : 30822 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226777900 15372775424 18052 33554432000 4194304 4196468 140734388004864 140384781187728 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30823] ppid=30817 vsize=15012476 memory=140535015003776 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30823/stat : 30823 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226777900 15372775424 18052 33554432000 4194304 4196468 140734388004864 140384572271120 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30824] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30824/stat : 30824 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226777900 15372775424 18052 33554432000 4194304 4196468 140734388004864 140384571218320 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30825] ppid=30817 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30825/stat : 30825 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226777900 15372775424 18052 33554432000 4194304 4196468 140734388004864 140384570165520 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30826] ppid=30817 vsize=15012476 memory=140535015003776 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30826/stat : 30826 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226777901 15372775424 18052 33554432000 4194304 4196468 140734388004864 140383837514608 140384776956546 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30827] ppid=30817 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30827/stat : 30827 (java) S 30817 30817 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226777902 15372775424 18052 33554432000 4194304 4196468 140734388004864 140383354873376 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30828] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30828/stat : 30828 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226777902 15372775424 18052 33554432000 4194304 4196468 140734388004864 140383086437744 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30829] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30829/stat : 30829 (java) S 30817 30817 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226777904 15372775424 18052 33554432000 4194304 4196468 140734388004864 140382711929168 140384776963995 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30830] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30830/stat : 30830 (java) S 30817 30817 23167 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 226777904 15372775424 18052 33554432000 4194304 4196468 140734388004864 140383836461424 140384776956546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30831] ppid=30817 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30831/stat : 30831 (java) S 30817 30817 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226777904 15372775424 18052 33554432000 4194304 4196468 140734388004864 140383835408624 140384776956546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30832] ppid=30817 vsize=15012476 memory=140535015003776 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30832/stat : 30832 (java) S 30817 30817 23167 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 226777904 15372775424 18052 33554432000 4194304 4196468 140734388004864 140383834355824 140384776956546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30833] ppid=30817 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30833/stat : 30833 (java) S 30817 30817 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226777905 15372775424 18052 33554432000 4194304 4196468 140734388004864 140382214023392 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30834] ppid=30817 vsize=15012476 memory=140535015003776 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30834/stat : 30834 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226777905 15372775424 18052 33554432000 4194304 4196468 140734388004864 140383833304240 140384776956546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73604 KiB
[startup+0.210312 s]*
/proc/loadavg: 1.02 1.27 1.67 3/195 30834
/proc/meminfo: memFree=23735324/32770624 swapFree=67108688/67108860
[pid=30817] ppid=30814 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/30817/stat : 30817 (scop.sh) S 30814 30817 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226777898 115843072 349 33554432000 4194304 5098028 140723022720752 140723022718008 139789626131068 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10813440 140723022726209 140723022726407 140723022726407 140723022729165 0
/proc/30817/statm: 28282 349 296 221 0 87 0
[pid=30820] ppid=30817 vsize=15012476 memory=85556 CPUtime=0.25 cores=1,3,5,7
/proc/30820/stat : 30820 (java) S 30817 30817 23167 0 -1 1077944320 9754 0 0 0 22 3 0 0 20 0 15 0 226777898 15372775424 21389 33554432000 4194304 4196468 140734388004864 140734387987408 140384776945399 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
/proc/30820/statm: 3753119 21389 2903 1 0 3715579 0
[pid=30820/tid=30821] ppid=30817 vsize=15012476 memory=7311146985107750967 CPUtime=0.19 cores=1,3,5,7
/proc/30820/task/30821/stat : 30821 (java) R 30817 30817 23167 0 -1 4202560 7665 0 0 0 17 2 0 0 20 0 15 0 226777898 15372775424 21389 33554432000 4194304 4196468 140734388004864 140384748770784 140384776957334 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30822] ppid=30817 vsize=15012476 memory=12992 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30822/stat : 30822 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226777900 15372775424 21389 33554432000 4194304 4196468 140734388004864 140384781187728 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30823] ppid=30817 vsize=15012476 memory=4049361919889637408 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30823/stat : 30823 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226777900 15372775424 21389 33554432000 4194304 4196468 140734388004864 140384572271120 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30824] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30824/stat : 30824 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226777900 15372775424 21389 33554432000 4194304 4196468 140734388004864 140384571218320 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30825] ppid=30817 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30825/stat : 30825 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226777900 15372775424 21389 33554432000 4194304 4196468 140734388004864 140384570165520 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30826] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30826/stat : 30826 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226777901 15372775424 21389 33554432000 4194304 4196468 140734388004864 140383837514608 140384776956546 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30827] ppid=30817 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30827/stat : 30827 (java) S 30817 30817 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226777902 15372775424 21389 33554432000 4194304 4196468 140734388004864 140383354873376 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30828] ppid=30817 vsize=15012476 memory=140535015003776 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30828/stat : 30828 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226777902 15372775424 21389 33554432000 4194304 4196468 140734388004864 140383086437744 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30829] ppid=30817 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30829/stat : 30829 (java) S 30817 30817 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226777904 15372775424 21389 33554432000 4194304 4196468 140734388004864 140382711929168 140384776963995 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30830] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30830/stat : 30830 (java) S 30817 30817 23167 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 15 0 226777904 15372775424 21389 33554432000 4194304 4196468 140734388004864 140383836461424 140384776956546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30831] ppid=30817 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30831/stat : 30831 (java) S 30817 30817 23167 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 226777904 15372775424 21389 33554432000 4194304 4196468 140734388004864 140383835408624 140384776956546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30832] ppid=30817 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30820/task/30832/stat : 30832 (java) S 30817 30817 23167 0 -1 1077944384 302 0 0 0 3 0 0 0 20 0 15 0 226777904 15372775424 21389 33554432000 4194304 4196468 140734388004864 140383834355824 140384776956546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30833] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30833/stat : 30833 (java) S 30817 30817 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226777905 15372775424 21389 33554432000 4194304 4196468 140734388004864 140382214023392 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30834] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30834/stat : 30834 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226777905 15372775424 21389 33554432000 4194304 4196468 140734388004864 140383833304240 140384776956546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86952 KiB
[startup+0.310372 s]*
/proc/loadavg: 1.02 1.27 1.67 2/195 30834
/proc/meminfo: memFree=23731776/32770624 swapFree=67108688/67108860
[pid=30817] ppid=30814 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/30817/stat : 30817 (scop.sh) S 30814 30817 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226777898 115843072 349 33554432000 4194304 5098028 140723022720752 140723022718008 139789626131068 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10813440 140723022726209 140723022726407 140723022726407 140723022729165 0
/proc/30817/statm: 28282 349 296 221 0 87 0
[pid=30820] ppid=30817 vsize=15012476 memory=89692 CPUtime=0.43 cores=1,3,5,7
/proc/30820/stat : 30820 (java) S 30817 30817 23167 0 -1 1077944320 10375 0 0 0 39 4 0 0 20 0 15 0 226777898 15372775424 22423 33554432000 4194304 4196468 140734388004864 140734387987408 140384776945399 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
/proc/30820/statm: 3753119 22423 2991 1 0 3715579 0
[pid=30820/tid=30821] ppid=30817 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/30820/task/30821/stat : 30821 (java) R 30817 30817 23167 0 -1 4202560 8101 0 0 0 27 3 0 0 20 0 15 0 226777898 15372775424 22423 33554432000 4194304 4196468 140734388004864 140384748740400 140384761025886 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30822] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30822/stat : 30822 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226777900 15372775424 22423 33554432000 4194304 4196468 140734388004864 140384781187728 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30823] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30823/stat : 30823 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226777900 15372775424 22423 33554432000 4194304 4196468 140734388004864 140384572271120 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30824] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30824/stat : 30824 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226777900 15372775424 22423 33554432000 4194304 4196468 140734388004864 140384571218320 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30825] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30825/stat : 30825 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226777900 15372775424 22423 33554432000 4194304 4196468 140734388004864 140384570165520 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30826] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30826/stat : 30826 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226777901 15372775424 22423 33554432000 4194304 4196468 140734388004864 140383837514608 140384776956546 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30827] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30827/stat : 30827 (java) S 30817 30817 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226777902 15372775424 22423 33554432000 4194304 4196468 140734388004864 140383354873376 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30828] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30828/stat : 30828 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226777902 15372775424 22423 33554432000 4194304 4196468 140734388004864 140383086437744 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30829] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30829/stat : 30829 (java) S 30817 30817 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226777904 15372775424 22423 33554432000 4194304 4196468 140734388004864 140382711929168 140384776963995 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30830] ppid=30817 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30820/task/30830/stat : 30830 (java) S 30817 30817 23167 0 -1 1077944384 436 0 0 0 2 0 0 0 20 0 15 0 226777904 15372775424 22423 33554432000 4194304 4196468 140734388004864 140383836461424 140384776956546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30831] ppid=30817 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30820/task/30831/stat : 30831 (java) S 30817 30817 23167 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 15 0 226777904 15372775424 22423 33554432000 4194304 4196468 140734388004864 140383835408624 140384776956546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30832] ppid=30817 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30820/task/30832/stat : 30832 (java) S 30817 30817 23167 0 -1 1077944384 347 0 0 0 7 0 0 0 20 0 15 0 226777904 15372775424 22423 33554432000 4194304 4196468 140734388004864 140383834355824 140384776956546 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30833] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30833/stat : 30833 (java) S 30817 30817 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226777905 15372775424 22423 33554432000 4194304 4196468 140734388004864 140382214023392 140384776955605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30834] ppid=30817 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30834/stat : 30834 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226777905 15372775424 22423 33554432000 4194304 4196468 140734388004864 140383833304240 140384776956546 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91088 KiB
[startup+0.707306 s]
/proc/loadavg: 1.02 1.27 1.67 2/195 30834
/proc/meminfo: memFree=23707096/32770624 swapFree=67108688/67108860
[pid=30817] ppid=30814 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/30817/stat : 30817 (scop.sh) S 30814 30817 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226777898 115843072 349 33554432000 4194304 5098028 140723022720752 140723022718008 139789626131068 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10813440 140723022726209 140723022726407 140723022726407 140723022729165 0
/proc/30817/statm: 28282 349 296 221 0 87 0
[pid=30820] ppid=30817 vsize=15020872 memory=129540 CPUtime=1.05 cores=1,3,5,7
/proc/30820/stat : 30820 (java) S 30817 30817 23167 0 -1 1077944320 17507 0 0 0 99 6 0 0 20 0 15 0 226777898 15381372928 32385 33554432000 4194304 4196468 140734388004864 140734387987408 140384776945399 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
/proc/30820/statm: 3755218 32385 3144 1 0 3716603 0
[pid=30820/tid=30821] ppid=30817 vsize=15020872 memory=6791534058613427641 CPUtime=0.67 cores=1,3,5,7
/proc/30820/task/30821/stat : 30821 (java) R 30817 30817 23167 0 -1 4202560 14714 0 0 0 63 4 0 0 20 0 15 0 226777898 15381372928 32385 33554432000 4194304 4196468 140734388004864 140384748777296 140384761025886 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30822] ppid=30817 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30822/stat : 30822 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226777900 15381372928 32385 33554432000 4194304 4196468 140734388004864 140384781187728 140384776955605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30823] ppid=30817 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30823/stat : 30823 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226777900 15381372928 32385 33554432000 4194304 4196468 140734388004864 140384572271120 140384776955605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30824] ppid=30817 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30824/stat : 30824 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226777900 15381372928 32385 33554432000 4194304 4196468 140734388004864 140384571218320 140384776955605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30825] ppid=30817 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30825/stat : 30825 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226777900 15381372928 32385 33554432000 4194304 4196468 140734388004864 140384570165520 140384776955605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30826] ppid=30817 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30826/stat : 30826 (java) S 30817 30817 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226777901 15381372928 32385 33554432000 4194304 4196468 140734388004864 140383837514608 140384776956546 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30827] ppid=30817 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30827/stat : 30827 (java) S 30817 30817 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226777902 15381372928 32385 33554432000 4194304 4196468 140734388004864 140383354873376 140384776955605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30828] ppid=30817 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30828/stat : 30828 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226777902 15381372928 32385 33554432000 4194304 4196468 140734388004864 140383086437744 140384776955605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30829] ppid=30817 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30829/stat : 30829 (java) S 30817 30817 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226777904 15381372928 32385 33554432000 4194304 4196468 140734388004864 140382711929168 140384776963995 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30830] ppid=30817 vsize=15020872 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/30820/task/30830/stat : 30830 (java) S 30817 30817 23167 0 -1 1077944384 658 0 0 0 10 0 0 0 20 0 15 0 226777904 15381372928 32385 33554432000 4194304 4196468 140734388004864 140383836461424 140384776956546 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30831] ppid=30817 vsize=15020872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30820/task/30831/stat : 30831 (java) S 30817 30817 23167 0 -1 1077944384 256 0 0 0 7 0 0 0 20 0 15 0 226777904 15381372928 32385 33554432000 4194304 4196468 140734388004864 140383835408624 140384776956546 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30832] ppid=30817 vsize=15020872 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/30820/task/30832/stat : 30832 (java) S 30817 30817 23167 0 -1 1077944384 544 0 0 0 18 0 0 0 20 0 15 0 226777904 15381372928 32385 33554432000 4194304 4196468 140734388004864 140383834355824 140384776956546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30833] ppid=30817 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30833/stat : 30833 (java) S 30817 30817 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226777905 15381372928 32385 33554432000 4194304 4196468 140734388004864 140382214023392 140384776955605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
[pid=30820/tid=30834] ppid=30817 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30820/task/30834/stat : 30834 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226777905 15381372928 32385 33554432000 4194304 4196468 140734388004864 140383833304240 140384776956546 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11223040 140734388012039 140734388012337 140734388012337 140734388015055 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130936 KiB
[startup+1.50128 s]
/proc/loadavg: 1.02 1.27 1.67 4/195 30834
/proc/meminfo: memFree=23629016/32770624 swapFree=67108688/67108860
[pid=30817] ppid=30814 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/30817/stat : 30817 (scop.sh) S 30814 30817 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226777898 115843072 349 33554432000 4194304 5098028 140723022720752 140723022718008 139789626131068 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10813440 140723022726209 140723022726407 140723022726407 140723022729165 0
/proc/30817/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/30835/task/30851/stat : 30851 (java) S 30817 30817 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226778578 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299335128128 140299884871449 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30853] ppid=30817 vsize=8068220 memory=116832 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30853/stat : 30853 (java) S 30817 30817 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226778578 8261857280 29208 33554432000 4194304 4196468 140726415012864 140297052860048 140299884868765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30854] ppid=30817 vsize=8068220 memory=748 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30854/stat : 30854 (java) S 30817 30817 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226778578 8261857280 29208 33554432000 4194304 4196468 140726415012864 140297187082000 140299884868765 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30855] ppid=30817 vsize=8068220 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30855/stat : 30855 (java) S 30817 30817 23167 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226778580 8261857280 29208 33554432000 4194304 4196468 140726415012864 140296784436768 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
Current children cumulated CPU time: 1149.49 s
Current children cumulated vsize: 8290200 KiB
Current children cumulated memory: 210272 KiB
[startup+1140 s]*
/proc/loadavg: 1.04 1.03 1.21 2/202 30913
/proc/meminfo: memFree=23610272/32770624 swapFree=67108688/67108860
[pid=30817] ppid=30814 vsize=113128 memory=1472 CPUtime=15.46 cores=1,3,5,7
/proc/30817/stat : 30817 (scop.sh) S 30814 30817 23167 0 -1 4202496 590 34095 0 0 0 0 1498 48 20 0 1 0 226777898 115843072 368 33554432000 4194304 5098028 140723022720752 140723022717496 139789626131068 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10813440 140723022726209 140723022726407 140723022726407 140723022729165 0
/proc/30817/statm: 28282 368 311 221 0 87 0
[pid=30835] ppid=30817 vsize=8068220 memory=116832 CPUtime=1.73 cores=1,3,5,7
/proc/30835/stat : 30835 (java) S 30817 30817 23167 0 -1 1077944320 18019 0 0 0 138 35 0 0 20 0 19 0 226778506 8261857280 29208 33554432000 4194304 4196468 140726415012864 140726414995408 140299884846839 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
/proc/30835/statm: 2017055 29208 3154 1 0 1978454 0
[pid=30850] ppid=30835 vsize=108852 memory=91968 CPUtime=1133.1 cores=1,3,5,7
/proc/30850/stat : 30850 (minisat_release) R 30835 30817 23167 0 -1 4202496 97227 0 0 0 113297 13 0 0 20 0 1 0 226778577 111464448 22992 33554432000 4194304 4308513 140720923627632 140720923624632 4275992 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 14966784 140720923628660 140720923628758 140720923628758 140720923631557 0
/proc/30850/statm: 27213 22992 340 28 0 23453 0
[pid=30835/tid=30836] ppid=30817 vsize=8068220 memory=-7824251494390717027 CPUtime=0.73 cores=1,3,5,7
/proc/30835/task/30836/stat : 30836 (java) S 30817 30817 23167 0 -1 1077944384 15058 0 0 0 69 4 0 0 20 0 19 0 226778506 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299856686992 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30837] ppid=30817 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30837/stat : 30837 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226778507 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299889089296 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30838] ppid=30817 vsize=8068220 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30838/stat : 30838 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226778507 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299689257872 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30839] ppid=30817 vsize=8068220 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30839/stat : 30839 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226778507 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299688205328 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30840] ppid=30817 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30840/stat : 30840 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226778507 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299687152784 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30841] ppid=30817 vsize=8068220 memory=4452 CPUtime=0.01 cores=1,3,5,7
/proc/30835/task/30841/stat : 30841 (java) S 30817 30817 23167 0 -1 1077944384 6 0 0 0 0 1 0 0 20 0 19 0 226778509 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299263256560 140299884857986 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30842] ppid=30817 vsize=8068220 memory=3732 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30842/stat : 30842 (java) S 30817 30817 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226778509 8261857280 29208 33554432000 4194304 4196468 140726415012864 140298730595232 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30843] ppid=30817 vsize=8068220 memory=12668 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30843/stat : 30843 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226778510 8261857280 29208 33554432000 4194304 4196468 140726415012864 140298462159856 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30844] ppid=30817 vsize=8068220 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30844/stat : 30844 (java) S 30817 30817 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226778512 8261857280 29208 33554432000 4194304 4196468 140726415012864 140298087651536 140299884865435 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30845] ppid=30817 vsize=8068220 memory=14888 CPUtime=0.09 cores=1,3,5,7
/proc/30835/task/30845/stat : 30845 (java) S 30817 30817 23167 0 -1 1077944384 606 0 0 0 9 0 0 0 20 0 19 0 226778512 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299262204400 140299884857986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30846] ppid=30817 vsize=8068220 memory=3316 CPUtime=0.08 cores=1,3,5,7
/proc/30835/task/30846/stat : 30846 (java) S 30817 30817 23167 0 -1 1077944384 348 0 0 0 8 0 0 0 20 0 19 0 226778512 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299261151856 140299884857986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30847] ppid=30817 vsize=8068220 memory=15768 CPUtime=0.19 cores=1,3,5,7
/proc/30835/task/30847/stat : 30847 (java) S 30817 30817 23167 0 -1 1077944384 521 0 0 0 19 0 0 0 20 0 19 0 226778512 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299260099312 140299884857986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30848] ppid=30817 vsize=8068220 memory=34876 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30848/stat : 30848 (java) S 30817 30817 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226778512 8261857280 29208 33554432000 4194304 4196468 140726415012864 140297589746784 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30849] ppid=30817 vsize=8068220 memory=1612 CPUtime=0.56 cores=1,3,5,7
/proc/30835/task/30849/stat : 30849 (java) S 30817 30817 23167 0 -1 1077944384 77 0 0 0 26 30 0 0 20 0 19 0 226778512 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299259046192 140299884857986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30851] ppid=30817 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30851/stat : 30851 (java) S 30817 30817 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226778578 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299335128128 140299884871449 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30853] ppid=30817 vsize=8068220 memory=116832 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30853/stat : 30853 (java) S 30817 30817 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226778578 8261857280 29208 33554432000 4194304 4196468 140726415012864 140297052860048 140299884868765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30854] ppid=30817 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30854/stat : 30854 (java) S 30817 30817 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226778578 8261857280 29208 33554432000 4194304 4196468 140726415012864 140297187082000 140299884868765 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30855] ppid=30817 vsize=8068220 memory=116832 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30855/stat : 30855 (java) S 30817 30817 23167 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226778580 8261857280 29208 33554432000 4194304 4196468 140726415012864 140296784436768 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
Current children cumulated CPU time: 1150.29 s
Current children cumulated vsize: 8290200 KiB
Current children cumulated memory: 210272 KiB
[startup+1140.8 s]
/proc/loadavg: 1.04 1.03 1.21 2/202 30913
/proc/meminfo: memFree=23610272/32770624 swapFree=67108688/67108860
[pid=30817] ppid=30814 vsize=113128 memory=1472 CPUtime=15.46 cores=1,3,5,7
/proc/30817/stat : 30817 (scop.sh) S 30814 30817 23167 0 -1 4202496 590 34095 0 0 0 0 1498 48 20 0 1 0 226777898 115843072 368 33554432000 4194304 5098028 140723022720752 140723022717496 139789626131068 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10813440 140723022726209 140723022726407 140723022726407 140723022729165 0
/proc/30817/statm: 28282 368 311 221 0 87 0
[pid=30835] ppid=30817 vsize=8068220 memory=116832 CPUtime=1.73 cores=1,3,5,7
/proc/30835/stat : 30835 (java) S 30817 30817 23167 0 -1 1077944320 18019 0 0 0 138 35 0 0 20 0 19 0 226778506 8261857280 29208 33554432000 4194304 4196468 140726415012864 140726414995408 140299884846839 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
/proc/30835/statm: 2017055 29208 3154 1 0 1978454 0
[pid=30850] ppid=30835 vsize=108852 memory=91968 CPUtime=1133.89 cores=1,3,5,7
/proc/30850/stat : 30850 (minisat_release) R 30835 30817 23167 0 -1 4202496 97227 0 0 0 113376 13 0 0 20 0 1 0 226778577 111464448 22992 33554432000 4194304 4308513 140720923627632 140720923624632 4275941 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 14966784 140720923628660 140720923628758 140720923628758 140720923631557 0
/proc/30850/statm: 27213 22992 340 28 0 23453 0
[pid=30835/tid=30836] ppid=30817 vsize=8068220 memory=7284 CPUtime=0.73 cores=1,3,5,7
/proc/30835/task/30836/stat : 30836 (java) S 30817 30817 23167 0 -1 1077944384 15058 0 0 0 69 4 0 0 20 0 19 0 226778506 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299856686992 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30837] ppid=30817 vsize=8068220 memory=804 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30837/stat : 30837 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226778507 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299889089296 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30838] ppid=30817 vsize=8068220 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30838/stat : 30838 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226778507 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299689257872 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30839] ppid=30817 vsize=8068220 memory=4486604260213485459 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30839/stat : 30839 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226778507 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299688205328 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30840] ppid=30817 vsize=8068220 memory=7284 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30840/stat : 30840 (java) S 30817 30817 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226778507 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299687152784 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30841] ppid=30817 vsize=8068220 memory=1472 CPUtime=0.01 cores=1,3,5,7
/proc/30835/task/30841/stat : 30841 (java) S 30817 30817 23167 0 -1 1077944384 6 0 0 0 0 1 0 0 20 0 19 0 226778509 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299263256560 140299884857986 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30842] ppid=30817 vsize=8068220 memory=116832 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30842/stat : 30842 (java) S 30817 30817 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226778509 8261857280 29208 33554432000 4194304 4196468 140726415012864 140298730595232 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30843] ppid=30817 vsize=8068220 memory=91968 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30843/stat : 30843 (java) S 30817 30817 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226778510 8261857280 29208 33554432000 4194304 4196468 140726415012864 140298462159856 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30844] ppid=30817 vsize=8068220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30844/stat : 30844 (java) S 30817 30817 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226778512 8261857280 29208 33554432000 4194304 4196468 140726415012864 140298087651536 140299884865435 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30845] ppid=30817 vsize=8068220 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/30835/task/30845/stat : 30845 (java) S 30817 30817 23167 0 -1 1077944384 606 0 0 0 9 0 0 0 20 0 19 0 226778512 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299262204400 140299884857986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30846] ppid=30817 vsize=8068220 memory=4104 CPUtime=0.08 cores=1,3,5,7
/proc/30835/task/30846/stat : 30846 (java) S 30817 30817 23167 0 -1 1077944384 348 0 0 0 8 0 0 0 20 0 19 0 226778512 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299261151856 140299884857986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30847] ppid=30817 vsize=8068220 memory=1408 CPUtime=0.19 cores=1,3,5,7
/proc/30835/task/30847/stat : 30847 (java) S 30817 30817 23167 0 -1 1077944384 521 0 0 0 19 0 0 0 20 0 19 0 226778512 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299260099312 140299884857986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30848] ppid=30817 vsize=8068220 memory=3352 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30848/stat : 30848 (java) S 30817 30817 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226778512 8261857280 29208 33554432000 4194304 4196468 140726415012864 140297589746784 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30849] ppid=30817 vsize=8068220 memory=1472 CPUtime=0.56 cores=1,3,5,7
/proc/30835/task/30849/stat : 30849 (java) S 30817 30817 23167 0 -1 1077944384 77 0 0 0 26 30 0 0 20 0 19 0 226778512 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299259046192 140299884857986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30851] ppid=30817 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30851/stat : 30851 (java) S 30817 30817 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226778578 8261857280 29208 33554432000 4194304 4196468 140726415012864 140299335128128 140299884871449 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30853] ppid=30817 vsize=8068220 memory=-7824251494390717027 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30853/stat : 30853 (java) S 30817 30817 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226778578 8261857280 29208 33554432000 4194304 4196468 140726415012864 140297052860048 140299884868765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30854] ppid=30817 vsize=8068220 memory=116832 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30854/stat : 30854 (java) S 30817 30817 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226778578 8261857280 29208 33554432000 4194304 4196468 140726415012864 140297187082000 140299884868765 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30855] ppid=30817 vsize=8068220 memory=91968 CPUtime=0 cores=1,3,5,7
/proc/30835/task/30855/stat : 30855 (java) S 30817 30817 23167 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226778580 8261857280 29208 33554432000 4194304 4196468 140726415012864 140296784436768 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
Current children cumulated CPU time: 1151.08 s
Current children cumulated vsize: 8290200 KiB
Current children cumulated memory: 210272 KiB
[startup+1141.2 s]
/proc/loadavg: 1.04 1.03 1.21 2/202 30913
/proc/meminfo: memFree=23610272/32770624 swapFree=67108688/67108860
[pid=30817] ppid=30814 vsize=113128 memory=1472 CPUtime=15.46 cores=1,3,5,7
/proc/30817/stat : 30817 (scop.sh) S 30814 30817 23167 0 -1 4202496 590 34095 0 0 0 0 1498 48 20 0 1 0 226777898 115843072 368 33554432000 4194304 5098028 140723022720752 140723022717496 139789626131068 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10813440 140723022726209 140723022726407 140723022726407 140723022729165 0
/proc/30817/statm: 28282 368 311 221 0 87 0
[pid=30835] ppid=30817 vsize=7937144 memory=119608 CPUtime=1136.05 cores=1,3,5,7
/proc/30835/stat : 30835 (java) S 30817 30817 23167 0 -1 1077944320 18221 97245 0 0 142 35 113414 14 20 0 17 0 226778506 8127635456 29902 33554432000 4194304 4196468 140726415012864 140726414995408 140299884846839 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
/proc/30835/statm: 1984286 29902 3156 1 0 1945685 0
[pid=30835/tid=30836] ppid=30817 vsize=7937144 memory=-7824251494390717027 CPUtime=1135.03 cores=1,3,5,7
/proc/30835/task/30836/stat : 30836 (java) R 30817 30817 23167 0 -1 4202560 15129 97245 0 0 71 4 113414 14 20 0 17 0 226778506 8127635456 29902 33554432000 4194304 4196468 140726415012864 140299856658096 140299869922493 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30837] ppid=30817 vsize=7937144 memory=4126316290023845779 CPUtime=1134.28 cores=1,3,5,7
/proc/30835/task/30837/stat : 30837 (java) S 30817 30817 23167 0 -1 1077944384 1 97245 0 0 0 0 113414 14 20 0 17 0 226778507 8127635456 29902 33554432000 4194304 4196468 140726415012864 140299889089296 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30838] ppid=30817 vsize=7937144 memory=1752 CPUtime=1134.28 cores=1,3,5,7
/proc/30835/task/30838/stat : 30838 (java) S 30817 30817 23167 0 -1 1077944384 1 97245 0 0 0 0 113414 14 20 0 17 0 226778507 8127635456 29902 33554432000 4194304 4196468 140726415012864 140299689257872 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30839] ppid=30817 vsize=7937144 memory=868 CPUtime=1134.28 cores=1,3,5,7
/proc/30835/task/30839/stat : 30839 (java) S 30817 30817 23167 0 -1 1077944384 1 97245 0 0 0 0 113414 14 20 0 17 0 226778507 8127635456 29902 33554432000 4194304 4196468 140726415012864 140299688205328 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30840] ppid=30817 vsize=7937144 memory=1808 CPUtime=1134.28 cores=1,3,5,7
/proc/30835/task/30840/stat : 30840 (java) S 30817 30817 23167 0 -1 1077944384 2 97245 0 0 0 0 113414 14 20 0 17 0 226778507 8127635456 29902 33554432000 4194304 4196468 140726415012864 140299687152784 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30841] ppid=30817 vsize=7937144 memory=1620 CPUtime=1134.29 cores=1,3,5,7
/proc/30835/task/30841/stat : 30841 (java) S 30817 30817 23167 0 -1 1077944384 6 97245 0 0 0 1 113414 14 20 0 17 0 226778509 8127635456 29902 33554432000 4194304 4196468 140726415012864 140299263256560 140299884857986 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30842] ppid=30817 vsize=7937144 memory=116832 CPUtime=1134.28 cores=1,3,5,7
/proc/30835/task/30842/stat : 30842 (java) S 30817 30817 23167 0 -1 1077944384 13 97245 0 0 0 0 113414 14 20 0 17 0 226778509 8127635456 29902 33554432000 4194304 4196468 140726415012864 140298730595232 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30843] ppid=30817 vsize=7937144 memory=2336 CPUtime=1134.28 cores=1,3,5,7
/proc/30835/task/30843/stat : 30843 (java) S 30817 30817 23167 0 -1 1077944384 1 97245 0 0 0 0 113414 14 20 0 17 0 226778510 8127635456 29902 33554432000 4194304 4196468 140726415012864 140298462159856 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30844] ppid=30817 vsize=7937144 memory=1752 CPUtime=1134.28 cores=1,3,5,7
/proc/30835/task/30844/stat : 30844 (java) S 30817 30817 23167 0 -1 1077944384 3 97245 0 0 0 0 113414 14 20 0 17 0 226778512 8127635456 29902 33554432000 4194304 4196468 140726415012864 140298087651536 140299884865435 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30845] ppid=30817 vsize=7937144 memory=868 CPUtime=1134.37 cores=1,3,5,7
/proc/30835/task/30845/stat : 30845 (java) S 30817 30817 23167 0 -1 1077944384 610 97245 0 0 9 0 113414 14 20 0 17 0 226778512 8127635456 29902 33554432000 4194304 4196468 140726415012864 140299262204400 140299884857986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30846] ppid=30817 vsize=7937144 memory=12668 CPUtime=1134.37 cores=1,3,5,7
/proc/30835/task/30846/stat : 30846 (java) S 30817 30817 23167 0 -1 1077944384 351 97245 0 0 8 1 113414 14 20 0 17 0 226778512 8127635456 29902 33554432000 4194304 4196468 140726415012864 140299261151856 140299884857986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30847] ppid=30817 vsize=7937144 memory=1072 CPUtime=1134.48 cores=1,3,5,7
/proc/30835/task/30847/stat : 30847 (java) S 30817 30817 23167 0 -1 1077944384 593 97245 0 0 20 0 113414 14 20 0 17 0 226778512 8127635456 29902 33554432000 4194304 4196468 140726415012864 140299260099312 140299884857986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30848] ppid=30817 vsize=7937144 memory=14888 CPUtime=1134.28 cores=1,3,5,7
/proc/30835/task/30848/stat : 30848 (java) S 30817 30817 23167 0 -1 1077944384 3 97245 0 0 0 0 113414 14 20 0 17 0 226778512 8127635456 29902 33554432000 4194304 4196468 140726415012864 140297589746784 140299884857045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30849] ppid=30817 vsize=7937144 memory=3316 CPUtime=1134.84 cores=1,3,5,7
/proc/30835/task/30849/stat : 30849 (java) S 30817 30817 23167 0 -1 1077944384 77 97245 0 0 26 30 113414 14 20 0 17 0 226778512 8127635456 29902 33554432000 4194304 4196468 140726415012864 140299259046192 140299884857986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30851] ppid=30817 vsize=7937144 memory=15768 CPUtime=1134.28 cores=1,3,5,7
/proc/30835/task/30851/stat : 30851 (java) S 30817 30817 23167 0 -1 1077944384 25 97245 0 0 0 0 113414 14 20 0 17 0 226778578 8127635456 29902 33554432000 4194304 4196468 140726415012864 140299335127312 140299884857986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
[pid=30835/tid=30855] ppid=30817 vsize=7937144 memory=496 CPUtime=1134.28 cores=1,3,5,7
/proc/30835/task/30855/stat : 30855 (java) S 30817 30817 23167 0 -1 1077944384 7 97245 0 0 0 0 113414 14 20 0 17 0 226778580 8127635456 29902 33554432000 4194304 4196468 140726415012864 140296784438576 140299884857986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15110144 140726415021237 140726415021361 140726415021361 140726415024079 0
Current children cumulated CPU time: 1151.51 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 121080 KiB
Child status: 0
Real time (s): 1141.26
CPU time (s): 1151.63
CPU user time (s): 1150.65
CPU system time (s): 0.986072
CPU usage (%): 100.909
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 2371652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1150.65
system time used= 0.986072
maximum resident set size= 2375420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150402
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29680
involuntary context switches= 382
# summary of solver processes directly reported to runsolver:
# pid: 30817
# total CPU time (s): 1151.63
# total CPU user time (s): 1150.65
# total CPU system time (s): 0.986072
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.56799 second user time and 12.4258 second system time
The end