0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-22359-serial-file.bin HOME/instance-4305367-1534083222.xml
0.66/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 16:13:43 CEST 2018
0.66/0.55 c PID: 22362
0.66/0.55 c IP: 172.20.3.139
0.66/0.55 c HOST: node139.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.19/0.86 c (0,0) Parsing End
1.19/0.87 c (0,0) CSP: 37 int (0 aux), 0 bool (0 aux), 28 ctr, max domain size 37
1.19/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.87 c (0,0) Constraint Name Generate Begin
1.19/0.87 c (0,0) Ctr:HOME/instance-4305367-1534083222.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.19/0.87 c (0,0) Constraint Name Generate End
1.19/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.87 c (0,0) CSP to CSPinCNF Begin
2.10/1.23 c (0,0) translated 3 (10%) constraints
2.10/1.23 c (0,0) translated 6 (20%) constraints
2.10/1.23 c (0,0) translated 9 (30%) constraints
2.10/1.24 c (0,0) translated 12 (40%) constraints
2.10/1.24 c (0,0) translated 14 (50%) constraints
2.10/1.24 c (0,0) translated 17 (60%) constraints
2.10/1.24 c (0,0) translated 20 (70%) constraints
2.10/1.25 c (0,0) translated 23 (80%) constraints
2.10/1.25 c (0,0) translated 26 (90%) constraints
2.10/1.25 c (0,0) translated 28 (100%) constraints
2.35/1.30 c (0,0) STATISTICS1:HOME/instance-4305367-1534083222.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,37,695,2428912656,37,37,7,2428912656:2;2361442860:4;69343957:12;1874161:12;47952:4;46620:8;37:465;36:133;35:74,37:1271;36:172;35:86,37:2;2:666;1:27,7:6;6:12;5:12;4:12;2:672;1:74,
2.35/1.30 c (0,0) ==========================================
2.35/1.30 c (0,0) Order
2.35/1.30 c (0,0) ==========================================
2.35/1.33 c (0,0) translated 70 (10%) constraints
2.35/1.34 c (0,0) translated 139 (20%) constraints
2.35/1.35 c (0,0) translated 209 (30%) constraints
2.35/1.36 c (0,0) translated 278 (40%) constraints
2.35/1.37 c (0,0) translated 348 (50%) constraints
2.35/1.38 c (0,0) translated 417 (60%) constraints
2.35/1.39 c (0,0) translated 487 (70%) constraints
2.35/1.39 c (0,0) translated 556 (80%) constraints
2.62/1.40 c (0,0) translated 626 (90%) constraints
2.62/1.45 c (0,0) translated 695 (100%) constraints
2.62/1.45 c (0,0) CSP to CSPinCNF End
2.62/1.45 c (0,0) CSP: 85 int (48 aux), 0 bool (0 aux), 812 ctr, max domain size 102
2.62/1.45 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.62/1.45 c (0,0) CSPinCNF Propagation Begin
2.62/1.48 c (0,0) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed
2.62/1.48 c (0,0) CSPinCNF Propagation End
2.62/1.48 c (0,0) CSP: 85 int (48 aux), 0 bool (0 aux), 812 ctr, max domain size 102
2.62/1.48 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.62/1.48 c (0,0) Simplify CSPinCNF Begin
2.93/1.58 c (1,1) Simplify CSPinCNF End
2.93/1.58 c (1,1) CSP: 85 int (48 aux), 1332 bool (1332 aux), 2144 ctr, max domain size 102
2.93/1.58 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.93/1.58 c (1,1) Calculate Precise Domain Begin
2.93/1.59 c (1,1) 1 values are removed by re-calculation
2.93/1.59 c (1,1) Calculate Precise Domain End
2.93/1.59 c (1,1) CSP: 85 int (48 aux), 1332 bool (1332 aux), 2144 ctr, max domain size 102
2.93/1.59 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.93/1.59 c (1,1) CSPinCNF to SatSolver Begin
3.59/1.73 c (1,1) 215 (10 %) CSP clauses are encoded (6074 SAT variables, 9813 SAT clauses)
3.59/1.77 c (1,1) 429 (20 %) CSP clauses are encoded (6074 SAT variables, 15025 SAT clauses)
3.85/1.81 c (1,1) 644 (30 %) CSP clauses are encoded (6074 SAT variables, 20344 SAT clauses)
3.85/1.83 c (1,1) 858 (40 %) CSP clauses are encoded (6074 SAT variables, 25654 SAT clauses)
3.85/1.86 c (1,1) 1072 (50 %) CSP clauses are encoded (6074 SAT variables, 30994 SAT clauses)
3.85/1.88 c (1,1) 1287 (60 %) CSP clauses are encoded (6074 SAT variables, 36333 SAT clauses)
4.17/1.90 c (1,1) 1501 (70 %) CSP clauses are encoded (6074 SAT variables, 41665 SAT clauses)
4.17/1.92 c (1,1) 1716 (80 %) CSP clauses are encoded (6074 SAT variables, 46945 SAT clauses)
4.17/1.95 c (1,1) 1930 (90 %) CSP clauses are encoded (6074 SAT variables, 52268 SAT clauses)
5.89/2.60 c (2,2) 2144 (100 %) CSP clauses are encoded (6074 SAT variables, 304208 SAT clauses)
5.89/2.60 c (2,2) Launch Command will be: minisat_release
5.89/2.60 c (2,2) CSPinCNF to SatSolver End
5.89/2.60 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.89/2.64 c (2,2) STATISTICS2:HOME/instance-4305367-1534083222.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,1417,2144,5329,102,35,3,5329:12;5256:6;2701:12;2627:6;1369:66;1332:18;1295:18;37:930;36:192;35:216,102:4;101:4;100:4;73:132;72:12;71:12;55:12;54:8;53:4;37:2480;36:240;35:245;2:2664,35:1;32:1;2:1998;1:144,3:138;2:1338;1:2731,
5.89/2.64 c (2,2) 6074 bool, 304242 clause
5.89/2.64 c (2,2) Export Begin
6.15/2.72 c (2,2) Export to HOME/scop-22359-serial-file.bin
6.15/2.72 c (2,2) Export End
6.15/2.72 c (2,2) Export File Size: 0.01 MB
6.15/2.72 c (2,2) 0,0,0,0,1,1,2,STOP-AFTER(DIMACS)
6.15/2.72 c END-Prog: Sun Aug 12 16:13:45 CEST 2018
6.15/2.73 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22359-serial-file.bin
6.83/3.22 c (0,0) Read Serial File Begin
6.83/3.22 c (0,0) HOME/scop-22359-serial-file.bin
6.96/3.38 c (0,0) Read Serial File End
6.96/3.39
6.96/3.39 scop order+minisat_release (2018-07-31)
6.96/3.39 (Solving Process)
6.96/3.39
7.11/3.41 c BEGIN-Prog: Sun Aug 12 16:13:46 CEST 2018
7.11/3.41 c PID: 22377
7.11/3.41 c IP: 172.20.3.139
7.11/3.41 c HOST: node139.alineos.net
7.11/3.42 c (0,0) SatSolver.solve Begin
7.11/3.42 c (0,0) 0 bool, 0 clause
7.11/3.42 c (0,0) minisat_release HOME/instance-4305367-1534083222.xml-scop-22362.cnf
967.04/962.63 c (959,0) c This is COMiniSatPS.
967.04/962.63 c (959,0) c WARNING: for repeatability, setting FPU to use double precision
967.04/962.63 c (959,0) c ============================[ Problem Statistics ]=============================
967.04/962.63 c (959,0) c | |
967.04/962.63 c (959,0) c | Number of variables: 6074 |
967.04/962.63 c (959,0) c | Number of clauses: 304201 |
967.04/962.63 c (959,0) c | Parse time: 0.07 s |
967.04/962.63 c (959,0) c | Eliminated clauses: 0.01 Mb |
967.04/962.63 c (959,0) c Reduced to 5400 vars, 303127 cls (grow=0)
967.04/962.63 c (959,0) c No iterative elimination performed. (vars=5400, c/v ratio=56.1)
967.04/962.63 c (959,0) c | Simplification time: 0.34 s |
967.04/962.63 c (959,0) c | |
967.04/962.63 c (959,0) c ============================[ Search Statistics ]==============================
967.04/962.63 c (959,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
967.04/962.63 c (959,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
967.04/962.63 c (959,0) c ===============================================================================
967.04/962.63 c (959,0) c ===============================================================================
967.04/962.63 c (959,0) c restarts : 4628
967.04/962.63 c (959,0) c conflicts : 2660763 (2774 /sec)
967.04/962.63 c (959,0) c decisions : 3160819 (0.00 % random) (3296 /sec)
967.04/962.63 c (959,0) c propagations : 2259062754 (2355472 /sec)
967.04/962.63 c (959,0) c conflict literals : 61491936 (40.84 % deleted)
967.04/962.63 c (959,0) c CPU time : 959.07 s
967.04/962.63 c (959,0)
967.04/962.63 c (959,0) s SATISFIABLE
967.04/962.66 c (959,0) SatSolver.solve End
967.04/962.66 c (959,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
967.04/962.66 c (959,0) Show results Begin
967.21/962.72 s SATISFIABLE
967.21/962.73 v <instantiation>
967.21/962.73 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[6][0] x[6][1] x[6][2] x[6][3]</list>
967.21/962.73 v <values>2 11 31 30 25 18 -2 24 9 15 27 -4 7 13 16 32 8 -1 3 12 1 19 10 22 0 20 17 5 28 6 -3 14 29 4 23 26 21</values>
967.21/962.73 v </instantiation>
967.21/962.73 c (959,0) Show results End
967.21/962.73 c (959,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
967.21/962.73 c (959,0) 959,959,STOP-AFTER(ALL)
967.21/962.73 c END-Prog: Sun Aug 12 16:29:45 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 (5746 MiB free)
memory of node 1: 16384 MiB (4805 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305367-1534083222/watcher-4305367-1534083222 -o /tmp/evaluation-result-4305367-1534083222/solver-4305367-1534083222 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16801 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305367-1534083222.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22359, runsolver pid=22356
[startup+0.103062 s]*
/proc/loadavg: 2.00 2.01 2.05 4/223 22376
/proc/meminfo: memFree=10746240/32770624 swapFree=67108860/67108860
[pid=22359] ppid=22356 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (scop.sh) S 22356 22359 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225885412 115843072 349 33554432000 4194304 5098028 140720628637376 140720628634632 140637428990588 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26415104 140720628642880 140720628643079 140720628643079 140720628645837 0
/proc/22359/statm: 28282 349 296 221 0 87 0
[pid=22362] ppid=22359 vsize=15012476 memory=71632 CPUtime=0.12 cores=0,2,4,6
/proc/22362/stat : 22362 (java) S 22359 22359 16770 0 -1 1077944320 7032 0 0 0 10 2 0 0 20 0 15 0 225885412 15372775424 17908 33554432000 4194304 4196468 140734052869600 140734052852144 140610701098743 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
/proc/22362/statm: 3753119 17908 2770 1 0 3715579 0
[pid=22362/tid=22363] ppid=22359 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=0,2,4,6
/proc/22362/task/22363/stat : 22363 (java) R 22359 22359 16770 0 -1 4202560 5179 0 0 0 8 1 0 0 20 0 15 0 225885413 15372775424 17974 33554432000 4194304 4196468 140734052869600 140610672904216 140610681364528 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22364] ppid=22359 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22364/stat : 22364 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225885414 15372775424 17974 33554432000 4194304 4196468 140734052869600 140610705341328 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22365] ppid=22359 vsize=15012476 memory=140604228085376 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22365/stat : 22365 (java) S 22359 22359 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225885414 15372775424 17974 33554432000 4194304 4196468 140734052869600 140610519497488 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22366] ppid=22359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22366/stat : 22366 (java) S 22359 22359 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225885414 15372775424 17974 33554432000 4194304 4196468 140734052869600 140610161159312 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22367] ppid=22359 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22367/stat : 22367 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225885414 15372775424 17974 33554432000 4194304 4196468 140734052869600 140610160106512 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22368] ppid=22359 vsize=15012476 memory=140604228085376 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22368/stat : 22368 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225885416 15372775424 17974 33554432000 4194304 4196468 140734052869600 140609671600240 140610701109890 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22369] ppid=22359 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22369/stat : 22369 (java) S 22359 22359 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225885416 15372775424 17974 33554432000 4194304 4196468 140734052869600 140609310417696 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22370] ppid=22359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22370/stat : 22370 (java) S 22359 22359 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225885417 15372775424 17974 33554432000 4194304 4196468 140734052869600 140609176196208 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22371] ppid=22359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22371/stat : 22371 (java) S 22359 22359 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225885419 15372775424 17974 33554432000 4194304 4196468 140734052869600 140608801691728 140610701117339 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22372] ppid=22359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22372/stat : 22372 (java) S 22359 22359 16770 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 225885419 15372775424 17974 33554432000 4194304 4196468 140734052869600 140609670548080 140610701109890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22373] ppid=22359 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22373/stat : 22373 (java) S 22359 22359 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225885419 15372775424 17974 33554432000 4194304 4196468 140734052869600 140609669495280 140610701109890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22374] ppid=22359 vsize=15012476 memory=140604228085376 CPUtime=0.01 cores=0,2,4,6
/proc/22362/task/22374/stat : 22374 (java) S 22359 22359 16770 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 225885419 15372775424 18040 33554432000 4194304 4196468 140734052869600 140609668442992 140610701109890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22375] ppid=22359 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22375/stat : 22375 (java) S 22359 22359 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225885419 15372775424 18040 33554432000 4194304 4196468 140734052869600 140608303786976 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22376] ppid=22359 vsize=15012476 memory=140604228085376 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22376/stat : 22376 (java) S 22359 22359 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225885420 15372775424 18040 33554432000 4194304 4196468 140734052869600 140609667389872 140610701109890 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73028 KiB
[startup+0.210724 s]*
/proc/loadavg: 2.00 2.01 2.05 3/223 22376
/proc/meminfo: memFree=10733064/32770624 swapFree=67108860/67108860
[pid=22359] ppid=22356 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (scop.sh) S 22356 22359 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225885412 115843072 349 33554432000 4194304 5098028 140720628637376 140720628634632 140637428990588 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26415104 140720628642880 140720628643079 140720628643079 140720628645837 0
/proc/22359/statm: 28282 349 296 221 0 87 0
[pid=22362] ppid=22359 vsize=15012476 memory=84180 CPUtime=0.25 cores=0,2,4,6
/proc/22362/stat : 22362 (java) S 22359 22359 16770 0 -1 1077944320 10409 0 0 0 22 3 0 0 20 0 15 0 225885412 15372775424 21045 33554432000 4194304 4196468 140734052869600 140734052852144 140610701098743 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
/proc/22362/statm: 3753119 21045 2882 1 0 3715579 0
[pid=22362/tid=22363] ppid=22359 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/22362/task/22363/stat : 22363 (java) R 22359 22359 16770 0 -1 4202560 8314 0 0 0 17 2 0 0 20 0 15 0 225885413 15372775424 21045 33554432000 4194304 4196468 140734052869600 140610672907488 140610701120669 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22364] ppid=22359 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22364/stat : 22364 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225885414 15372775424 21045 33554432000 4194304 4196468 140734052869600 140610705341328 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22365] ppid=22359 vsize=15012476 memory=140604229288880 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22365/stat : 22365 (java) S 22359 22359 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225885414 15372775424 21045 33554432000 4194304 4196468 140734052869600 140610519497488 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22366] ppid=22359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22366/stat : 22366 (java) S 22359 22359 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225885414 15372775424 21045 33554432000 4194304 4196468 140734052869600 140610161159312 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22367] ppid=22359 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22367/stat : 22367 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225885414 15372775424 21045 33554432000 4194304 4196468 140734052869600 140610160106512 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22368] ppid=22359 vsize=15012476 memory=140604228085376 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22368/stat : 22368 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225885416 15372775424 21045 33554432000 4194304 4196468 140734052869600 140609671600240 140610701109890 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22369] ppid=22359 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22369/stat : 22369 (java) S 22359 22359 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225885416 15372775424 21045 33554432000 4194304 4196468 140734052869600 140609310417696 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22370] ppid=22359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22370/stat : 22370 (java) S 22359 22359 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225885417 15372775424 21045 33554432000 4194304 4196468 140734052869600 140609176196208 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22371] ppid=22359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22371/stat : 22371 (java) S 22359 22359 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225885419 15372775424 21045 33554432000 4194304 4196468 140734052869600 140608801691728 140610701117339 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22372] ppid=22359 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22362/task/22372/stat : 22372 (java) S 22359 22359 16770 0 -1 1077944384 419 0 0 0 1 0 0 0 20 0 15 0 225885419 15372775424 21045 33554432000 4194304 4196468 140734052869600 140609670548080 140610701109890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22373] ppid=22359 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22373/stat : 22373 (java) S 22359 22359 16770 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 225885419 15372775424 21045 33554432000 4194304 4196468 140734052869600 140609669495280 140610701109890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22374] ppid=22359 vsize=15012476 memory=140604228085376 CPUtime=0.03 cores=0,2,4,6
/proc/22362/task/22374/stat : 22374 (java) R 22359 22359 16770 0 -1 4202560 283 0 0 0 3 0 0 0 20 0 15 0 225885419 15372775424 21045 33554432000 4194304 4196468 140734052869600 140609668442992 140610679662192 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22375] ppid=22359 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22375/stat : 22375 (java) S 22359 22359 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225885419 15372775424 21045 33554432000 4194304 4196468 140734052869600 140608303786976 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22376] ppid=22359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22376/stat : 22376 (java) S 22359 22359 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225885420 15372775424 21045 33554432000 4194304 4196468 140734052869600 140609667389872 140610701109890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85576 KiB
[startup+0.310683 s]*
/proc/loadavg: 2.00 2.01 2.05 3/223 22376
/proc/meminfo: memFree=10729436/32770624 swapFree=67108860/67108860
[pid=22359] ppid=22356 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (scop.sh) S 22356 22359 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225885412 115843072 349 33554432000 4194304 5098028 140720628637376 140720628634632 140637428990588 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26415104 140720628642880 140720628643079 140720628643079 140720628645837 0
/proc/22359/statm: 28282 349 296 221 0 87 0
[pid=22362] ppid=22359 vsize=15012476 memory=87444 CPUtime=0.42 cores=0,2,4,6
/proc/22362/stat : 22362 (java) S 22359 22359 16770 0 -1 1077944320 10929 0 0 0 38 4 0 0 20 0 15 0 225885412 15372775424 21861 33554432000 4194304 4196468 140734052869600 140734052852144 140610701098743 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
/proc/22362/statm: 3753119 21861 2936 1 0 3715579 0
[pid=22362/tid=22363] ppid=22359 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/22362/task/22363/stat : 22363 (java) R 22359 22359 16770 0 -1 4202560 8686 0 0 0 27 2 0 0 20 0 15 0 225885413 15372775424 21861 33554432000 4194304 4196468 140734052869600 140610672893744 140610701120669 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22364] ppid=22359 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22364/stat : 22364 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225885414 15372775424 21861 33554432000 4194304 4196468 140734052869600 140610705341328 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22365] ppid=22359 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22365/stat : 22365 (java) S 22359 22359 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225885414 15372775424 21861 33554432000 4194304 4196468 140734052869600 140610519497488 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22366] ppid=22359 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22366/stat : 22366 (java) S 22359 22359 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225885414 15372775424 21861 33554432000 4194304 4196468 140734052869600 140610161159312 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22367] ppid=22359 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22367/stat : 22367 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225885414 15372775424 21861 33554432000 4194304 4196468 140734052869600 140610160106512 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22368] ppid=22359 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22368/stat : 22368 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225885416 15372775424 21861 33554432000 4194304 4196468 140734052869600 140609671600240 140610701109890 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22369] ppid=22359 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22369/stat : 22369 (java) S 22359 22359 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225885416 15372775424 21861 33554432000 4194304 4196468 140734052869600 140609310417696 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22370] ppid=22359 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22370/stat : 22370 (java) S 22359 22359 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225885417 15372775424 21861 33554432000 4194304 4196468 140734052869600 140609176196208 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22371] ppid=22359 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22371/stat : 22371 (java) S 22359 22359 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225885419 15372775424 21861 33554432000 4194304 4196468 140734052869600 140608801691728 140610701117339 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22372] ppid=22359 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22362/task/22372/stat : 22372 (java) S 22359 22359 16770 0 -1 1077944384 528 0 0 0 3 0 0 0 20 0 15 0 225885419 15372775424 21861 33554432000 4194304 4196468 140734052869600 140609670548080 140610701109890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22373] ppid=22359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22373/stat : 22373 (java) S 22359 22359 16770 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 225885419 15372775424 21861 33554432000 4194304 4196468 140734052869600 140609669495280 140610701109890 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22374] ppid=22359 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22362/task/22374/stat : 22374 (java) S 22359 22359 16770 0 -1 1077944384 304 0 0 0 7 0 0 0 20 0 15 0 225885419 15372775424 21861 33554432000 4194304 4196468 140734052869600 140609668442992 140610701109890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22375] ppid=22359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22375/stat : 22375 (java) S 22359 22359 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225885419 15372775424 21861 33554432000 4194304 4196468 140734052869600 140608303786976 140610701108949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22376] ppid=22359 vsize=15012476 memory=3905525982033944625 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22376/stat : 22376 (java) S 22359 22359 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225885420 15372775424 21861 33554432000 4194304 4196468 140734052869600 140609667389872 140610701109890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88840 KiB
[startup+0.70175 s]
/proc/loadavg: 2.00 2.01 2.05 3/223 22376
/proc/meminfo: memFree=10705128/32770624 swapFree=67108860/67108860
[pid=22359] ppid=22356 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (scop.sh) S 22356 22359 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225885412 115843072 349 33554432000 4194304 5098028 140720628637376 140720628634632 140637428990588 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26415104 140720628642880 140720628643079 140720628643079 140720628645837 0
/proc/22359/statm: 28282 349 296 221 0 87 0
[pid=22362] ppid=22359 vsize=15020872 memory=127416 CPUtime=0.99 cores=0,2,4,6
/proc/22362/stat : 22362 (java) S 22359 22359 16770 0 -1 1077944320 18078 0 0 0 93 6 0 0 20 0 15 0 225885412 15381372928 31854 33554432000 4194304 4196468 140734052869600 140734052852144 140610701098743 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
/proc/22362/statm: 3755218 31854 3141 1 0 3716603 0
[pid=22362/tid=22363] ppid=22359 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/22362/task/22363/stat : 22363 (java) R 22359 22359 16770 0 -1 4202560 15403 0 0 0 62 5 0 0 20 0 15 0 225885413 15381372928 31854 33554432000 4194304 4196468 140734052869600 140610672932864 140610701110678 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22364] ppid=22359 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22364/stat : 22364 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225885414 15381372928 31854 33554432000 4194304 4196468 140734052869600 140610705341328 140610701108949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22365] ppid=22359 vsize=15020872 memory=61312 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22365/stat : 22365 (java) S 22359 22359 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225885414 15381372928 31854 33554432000 4194304 4196468 140734052869600 140610519497488 140610701108949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22366] ppid=22359 vsize=15020872 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22366/stat : 22366 (java) S 22359 22359 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225885414 15381372928 31854 33554432000 4194304 4196468 140734052869600 140610161159312 140610701108949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22367] ppid=22359 vsize=15020872 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22367/stat : 22367 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225885414 15381372928 31854 33554432000 4194304 4196468 140734052869600 140610160106512 140610701108949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22368] ppid=22359 vsize=15020872 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22368/stat : 22368 (java) S 22359 22359 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225885416 15381372928 31854 33554432000 4194304 4196468 140734052869600 140609671600240 140610701109890 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22369] ppid=22359 vsize=15020872 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22369/stat : 22369 (java) S 22359 22359 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225885416 15381372928 31854 33554432000 4194304 4196468 140734052869600 140609310417696 140610701108949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22370] ppid=22359 vsize=15020872 memory=796 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22370/stat : 22370 (java) S 22359 22359 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225885417 15381372928 31854 33554432000 4194304 4196468 140734052869600 140609176196208 140610701108949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22371] ppid=22359 vsize=15020872 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22371/stat : 22371 (java) S 22359 22359 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225885419 15381372928 31854 33554432000 4194304 4196468 140734052869600 140608801691728 140610701117339 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22372] ppid=22359 vsize=15020872 memory=876 CPUtime=0.08 cores=0,2,4,6
/proc/22362/task/22372/stat : 22372 (java) R 22359 22359 16770 0 -1 4202560 594 0 0 0 8 0 0 0 20 0 15 0 225885419 15381372928 31854 33554432000 4194304 4196468 140734052869600 140609670536752 140610686223448 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22373] ppid=22359 vsize=15020872 memory=10096 CPUtime=0.07 cores=0,2,4,6
/proc/22362/task/22373/stat : 22373 (java) R 22359 22359 16770 0 -1 4202560 326 0 0 0 7 0 0 0 20 0 15 0 225885419 15381372928 31854 33554432000 4194304 4196468 140734052869600 140609669484272 140610685498684 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22374] ppid=22359 vsize=15020872 memory=1228 CPUtime=0.15 cores=0,2,4,6
/proc/22362/task/22374/stat : 22374 (java) R 22359 22359 16770 0 -1 1077944384 400 0 0 0 15 0 0 0 20 0 15 0 225885419 15381372928 31854 33554432000 4194304 4196468 140734052869600 140609668442992 140610701109890 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22375] ppid=22359 vsize=15020872 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22375/stat : 22375 (java) S 22359 22359 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225885419 15381372928 31854 33554432000 4194304 4196468 140734052869600 140608303786976 140610701108949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
[pid=22362/tid=22376] ppid=22359 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/22362/task/22376/stat : 22376 (java) S 22359 22359 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225885420 15381372928 31854 33554432000 4194304 4196468 140734052869600 140609667389872 140610701109890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14872576 140734052877318 140734052877617 140734052877617 140734052880335 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128812 KiB
[startup+1.5008 s]
/proc/loadavg: 2.00 2.01 2.05 6/223 22376
/proc/meminfo: memFree=10676284/32770624 swapFree=67108860/67108860
[pid=22359] ppid=22356 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22359/stat : 22359 (scop.sh) S 22356 22359 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225885412 115843072 349 33554432000 4194304 5098028 140720628637376 140720628634632 140637428990588 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26415104 140720628642880 140720628643079 140720628643079 140720628645837 0
/proc/22359/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/22377/task/22393/stat : 22393 (java) S 22359 22359 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225885757 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275980973376 140276533878553 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22395] ppid=22359 vsize=8068220 memory=16228 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22395/stat : 22395 (java) S 22359 22359 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225885757 8261857280 29113 33554432000 4194304 4196468 140721179548320 140273698975120 140276533875869 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22396] ppid=22359 vsize=8068220 memory=34108 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22396/stat : 22396 (java) S 22359 22359 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225885757 8261857280 29113 33554432000 4194304 4196468 140721179548320 140273833197584 140276533875869 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22397] ppid=22359 vsize=8068220 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22397/stat : 22397 (java) S 22359 22359 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225885759 8261857280 29113 33554432000 4194304 4196468 140721179548320 140273430552352 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
Current children cumulated CPU time: 964.54 s
Current children cumulated vsize: 8268840 KiB
Current children cumulated memory: 189104 KiB
[startup+961.701 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 22523
/proc/meminfo: memFree=12652336/32770624 swapFree=67108860/67108860
[pid=22359] ppid=22356 vsize=113128 memory=1472 CPUtime=6.2 cores=0,2,4,6
/proc/22359/stat : 22359 (scop.sh) S 22356 22359 16770 0 -1 4202496 591 26237 0 0 0 0 601 19 20 0 1 0 225885412 115843072 368 33554432000 4194304 5098028 140720628637376 140720628634120 140637428990588 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26415104 140720628642880 140720628643079 140720628643079 140720628645837 0
/proc/22359/statm: 28282 368 311 221 0 87 0
[pid=22377] ppid=22359 vsize=8068220 memory=116452 CPUtime=1.72 cores=0,2,4,6
/proc/22377/stat : 22377 (java) S 22359 22359 16770 0 -1 1077944320 17892 0 0 0 142 30 0 0 20 0 19 0 225885686 8261857280 29113 33554432000 4194304 4196468 140721179548320 140721179530864 140276533853943 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
/proc/22377/statm: 2017055 29113 3151 1 0 1978454 0
[pid=22392] ppid=22377 vsize=87492 memory=71180 CPUtime=958.22 cores=0,2,4,6
/proc/22392/stat : 22392 (minisat_release) R 22377 22359 16770 0 -1 4202496 116144 0 0 0 95813 9 0 0 20 0 1 0 225885756 89591808 17795 33554432000 4194304 4308513 140720676709408 140720676706408 4276143 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 18468864 140720676713588 140720676713686 140720676713686 140720676716485 0
/proc/22392/statm: 21873 17795 342 28 0 18113 0
[pid=22377/tid=22378] ppid=22359 vsize=8068220 memory=-7824251494390584936 CPUtime=0.73 cores=0,2,4,6
/proc/22377/task/22378/stat : 22378 (java) S 22359 22359 16770 0 -1 1077944384 14935 0 0 0 69 4 0 0 20 0 19 0 225885686 8261857280 29113 33554432000 4194304 4196468 140721179548320 140276505694096 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22379] ppid=22359 vsize=8068220 memory=71180 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22379/stat : 22379 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225885687 8261857280 29113 33554432000 4194304 4196468 140721179548320 140276538096656 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22380] ppid=22359 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22380/stat : 22380 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225885687 8261857280 29113 33554432000 4194304 4196468 140721179548320 140276338265232 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22381] ppid=22359 vsize=8068220 memory=116452 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22381/stat : 22381 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225885687 8261857280 29113 33554432000 4194304 4196468 140721179548320 140276337212176 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22382] ppid=22359 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22382/stat : 22382 (java) S 22359 22359 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225885687 8261857280 29113 33554432000 4194304 4196468 140721179548320 140276336159632 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22383] ppid=22359 vsize=8068220 memory=61332 CPUtime=0.01 cores=0,2,4,6
/proc/22377/task/22383/stat : 22383 (java) S 22359 22359 16770 0 -1 1077944384 7 0 0 0 1 0 0 0 20 0 19 0 225885689 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275912530160 140276533865090 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22384] ppid=22359 vsize=8068220 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22384/stat : 22384 (java) S 22359 22359 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225885689 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275376710816 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22385] ppid=22359 vsize=8068220 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22385/stat : 22385 (java) S 22359 22359 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225885689 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275108274928 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22386] ppid=22359 vsize=8068220 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22386/stat : 22386 (java) S 22359 22359 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225885692 8261857280 29113 33554432000 4194304 4196468 140721179548320 140274733766608 140276533872539 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22387] ppid=22359 vsize=8068220 memory=-7824251494390584936 CPUtime=0.09 cores=0,2,4,6
/proc/22377/task/22387/stat : 22387 (java) S 22359 22359 16770 0 -1 1077944384 540 0 0 0 9 0 0 0 20 0 19 0 225885692 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275911478000 140276533865090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22388] ppid=22359 vsize=8068220 memory=796 CPUtime=0.08 cores=0,2,4,6
/proc/22377/task/22388/stat : 22388 (java) S 22359 22359 16770 0 -1 1077944384 403 0 0 0 8 0 0 0 20 0 19 0 225885692 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275910425456 140276533865090 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22389] ppid=22359 vsize=8068220 memory=5408 CPUtime=0.18 cores=0,2,4,6
/proc/22377/task/22389/stat : 22389 (java) S 22359 22359 16770 0 -1 1077944384 538 0 0 0 18 0 0 0 20 0 19 0 225885692 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275909372400 140276533865090 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22390] ppid=22359 vsize=8068220 memory=876 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22390/stat : 22390 (java) S 22359 22359 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225885692 8261857280 29113 33554432000 4194304 4196468 140721179548320 140274235861856 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22391] ppid=22359 vsize=8068220 memory=116452 CPUtime=0.58 cores=0,2,4,6
/proc/22377/task/22391/stat : 22391 (java) S 22359 22359 16770 0 -1 1077944384 65 0 0 0 31 27 0 0 20 0 19 0 225885692 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275908319792 140276533865090 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22393] ppid=22359 vsize=8068220 memory=-7824251494390584936 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22393/stat : 22393 (java) S 22359 22359 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225885757 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275980973376 140276533878553 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22395] ppid=22359 vsize=8068220 memory=116452 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22395/stat : 22395 (java) S 22359 22359 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225885757 8261857280 29113 33554432000 4194304 4196468 140721179548320 140273698975120 140276533875869 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22396] ppid=22359 vsize=8068220 memory=71180 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22396/stat : 22396 (java) S 22359 22359 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225885757 8261857280 29113 33554432000 4194304 4196468 140721179548320 140273833197584 140276533875869 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22397] ppid=22359 vsize=8068220 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22397/stat : 22397 (java) S 22359 22359 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225885759 8261857280 29113 33554432000 4194304 4196468 140721179548320 140273430552352 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
Current children cumulated CPU time: 966.14 s
Current children cumulated vsize: 8268840 KiB
Current children cumulated memory: 189104 KiB
[startup+962.501 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 22523
/proc/meminfo: memFree=12652336/32770624 swapFree=67108860/67108860
[pid=22359] ppid=22356 vsize=113128 memory=1472 CPUtime=6.2 cores=0,2,4,6
/proc/22359/stat : 22359 (scop.sh) S 22356 22359 16770 0 -1 4202496 591 26237 0 0 0 0 601 19 20 0 1 0 225885412 115843072 368 33554432000 4194304 5098028 140720628637376 140720628634120 140637428990588 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26415104 140720628642880 140720628643079 140720628643079 140720628645837 0
/proc/22359/statm: 28282 368 311 221 0 87 0
[pid=22377] ppid=22359 vsize=8068220 memory=116452 CPUtime=1.72 cores=0,2,4,6
/proc/22377/stat : 22377 (java) S 22359 22359 16770 0 -1 1077944320 17892 0 0 0 142 30 0 0 20 0 19 0 225885686 8261857280 29113 33554432000 4194304 4196468 140721179548320 140721179530864 140276533853943 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
/proc/22377/statm: 2017055 29113 3151 1 0 1978454 0
[pid=22392] ppid=22377 vsize=87492 memory=71180 CPUtime=959.02 cores=0,2,4,6
/proc/22392/stat : 22392 (minisat_release) R 22377 22359 16770 0 -1 4202496 116172 0 0 0 95893 9 0 0 20 0 1 0 225885756 89591808 17795 33554432000 4194304 4308513 140720676709408 140720676706408 4276465 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 18468864 140720676713588 140720676713686 140720676713686 140720676716485 0
/proc/22392/statm: 21873 17795 342 28 0 18113 0
[pid=22377/tid=22378] ppid=22359 vsize=8068220 memory=4128 CPUtime=0.73 cores=0,2,4,6
/proc/22377/task/22378/stat : 22378 (java) S 22359 22359 16770 0 -1 1077944384 14935 0 0 0 69 4 0 0 20 0 19 0 225885686 8261857280 29113 33554432000 4194304 4196468 140721179548320 140276505694096 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22379] ppid=22359 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22379/stat : 22379 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225885687 8261857280 29113 33554432000 4194304 4196468 140721179548320 140276538096656 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22380] ppid=22359 vsize=8068220 memory=116452 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22380/stat : 22380 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225885687 8261857280 29113 33554432000 4194304 4196468 140721179548320 140276338265232 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22381] ppid=22359 vsize=8068220 memory=-7824251494390584936 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22381/stat : 22381 (java) S 22359 22359 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225885687 8261857280 29113 33554432000 4194304 4196468 140721179548320 140276337212176 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22382] ppid=22359 vsize=8068220 memory=61332 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22382/stat : 22382 (java) S 22359 22359 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225885687 8261857280 29113 33554432000 4194304 4196468 140721179548320 140276336159632 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22383] ppid=22359 vsize=8068220 memory=1472 CPUtime=0.01 cores=0,2,4,6
/proc/22377/task/22383/stat : 22383 (java) S 22359 22359 16770 0 -1 1077944384 7 0 0 0 1 0 0 0 20 0 19 0 225885689 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275912530160 140276533865090 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22384] ppid=22359 vsize=8068220 memory=116452 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22384/stat : 22384 (java) S 22359 22359 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225885689 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275376710816 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22385] ppid=22359 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22385/stat : 22385 (java) S 22359 22359 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225885689 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275108274928 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22386] ppid=22359 vsize=8068220 memory=116452 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22386/stat : 22386 (java) S 22359 22359 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225885692 8261857280 29113 33554432000 4194304 4196468 140721179548320 140274733766608 140276533872539 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22387] ppid=22359 vsize=8068220 memory=71180 CPUtime=0.09 cores=0,2,4,6
/proc/22377/task/22387/stat : 22387 (java) S 22359 22359 16770 0 -1 1077944384 540 0 0 0 9 0 0 0 20 0 19 0 225885692 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275911478000 140276533865090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22388] ppid=22359 vsize=8068220 memory=125140 CPUtime=0.08 cores=0,2,4,6
/proc/22377/task/22388/stat : 22388 (java) S 22359 22359 16770 0 -1 1077944384 403 0 0 0 8 0 0 0 20 0 19 0 225885692 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275910425456 140276533865090 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22389] ppid=22359 vsize=8068220 memory=-7824251494390453863 CPUtime=0.18 cores=0,2,4,6
/proc/22377/task/22389/stat : 22389 (java) S 22359 22359 16770 0 -1 1077944384 538 0 0 0 18 0 0 0 20 0 19 0 225885692 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275909372400 140276533865090 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22390] ppid=22359 vsize=8068220 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22390/stat : 22390 (java) S 22359 22359 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225885692 8261857280 29113 33554432000 4194304 4196468 140721179548320 140274235861856 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22391] ppid=22359 vsize=8068220 memory=2592 CPUtime=0.58 cores=0,2,4,6
/proc/22377/task/22391/stat : 22391 (java) S 22359 22359 16770 0 -1 1077944384 65 0 0 0 31 27 0 0 20 0 19 0 225885692 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275908319792 140276533865090 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22393] ppid=22359 vsize=8068220 memory=3428 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22393/stat : 22393 (java) S 22359 22359 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225885757 8261857280 29113 33554432000 4194304 4196468 140721179548320 140275980973376 140276533878553 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22395] ppid=22359 vsize=8068220 memory=71180 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22395/stat : 22395 (java) S 22359 22359 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225885757 8261857280 29113 33554432000 4194304 4196468 140721179548320 140273698975120 140276533875869 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22396] ppid=22359 vsize=8068220 memory=116452 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22396/stat : 22396 (java) S 22359 22359 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225885757 8261857280 29113 33554432000 4194304 4196468 140721179548320 140273833197584 140276533875869 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22397] ppid=22359 vsize=8068220 memory=71180 CPUtime=0 cores=0,2,4,6
/proc/22377/task/22397/stat : 22397 (java) S 22359 22359 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225885759 8261857280 29113 33554432000 4194304 4196468 140721179548320 140273430552352 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
Current children cumulated CPU time: 966.94 s
Current children cumulated vsize: 8268840 KiB
Current children cumulated memory: 189104 KiB
[startup+962.701 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 22523
/proc/meminfo: memFree=12652336/32770624 swapFree=67108860/67108860
[pid=22359] ppid=22356 vsize=113128 memory=1472 CPUtime=6.2 cores=0,2,4,6
/proc/22359/stat : 22359 (scop.sh) S 22356 22359 16770 0 -1 4202496 591 26237 0 0 0 0 601 19 20 0 1 0 225885412 115843072 368 33554432000 4194304 5098028 140720628637376 140720628634120 140637428990588 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 26415104 140720628642880 140720628643079 140720628643079 140720628645837 0
/proc/22359/statm: 28282 368 311 221 0 87 0
[pid=22377] ppid=22359 vsize=7937144 memory=120212 CPUtime=961.01 cores=0,2,4,6
/proc/22377/stat : 22377 (java) S 22359 22359 16770 0 -1 1077944320 18366 116198 0 0 155 30 95907 9 20 0 17 0 225885686 8127635456 30053 33554432000 4194304 4196468 140721179548320 140721179530864 140276533853943 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
/proc/22377/statm: 1984286 30053 3158 1 0 1945685 0
[pid=22377/tid=22378] ppid=22359 vsize=7937144 memory=132996 CPUtime=959.92 cores=0,2,4,6
/proc/22377/task/22378/stat : 22378 (java) R 22359 22359 16770 0 -1 4202560 15084 116198 0 0 72 4 95907 9 20 0 17 0 225885686 8127635456 30053 33554432000 4194304 4196468 140721179548320 140276505691968 140276533865878 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22379] ppid=22359 vsize=7937144 memory=10096 CPUtime=959.16 cores=0,2,4,6
/proc/22377/task/22379/stat : 22379 (java) S 22359 22359 16770 0 -1 1077944384 2 116198 0 0 0 0 95907 9 20 0 17 0 225885687 8127635456 30053 33554432000 4194304 4196468 140721179548320 140276538096656 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22380] ppid=22359 vsize=7937144 memory=1053 CPUtime=959.16 cores=0,2,4,6
/proc/22377/task/22380/stat : 22380 (java) S 22359 22359 16770 0 -1 1077944384 2 116198 0 0 0 0 95907 9 20 0 17 0 225885687 8127635456 30053 33554432000 4194304 4196468 140721179548320 140276338265232 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22381] ppid=22359 vsize=7937144 memory=358 CPUtime=959.16 cores=0,2,4,6
/proc/22377/task/22381/stat : 22381 (java) S 22359 22359 16770 0 -1 1077944384 2 116198 0 0 0 0 95907 9 20 0 17 0 225885687 8127635456 30053 33554432000 4194304 4196468 140721179548320 140276337212176 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22382] ppid=22359 vsize=7937144 memory=0 CPUtime=959.16 cores=0,2,4,6
/proc/22377/task/22382/stat : 22382 (java) S 22359 22359 16770 0 -1 1077944384 1 116198 0 0 0 0 95907 9 20 0 17 0 225885687 8127635456 30053 33554432000 4194304 4196468 140721179548320 140276336159632 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22383] ppid=22359 vsize=7937144 memory=0 CPUtime=959.17 cores=0,2,4,6
/proc/22377/task/22383/stat : 22383 (java) S 22359 22359 16770 0 -1 1077944384 7 116198 0 0 1 0 95907 9 20 0 17 0 225885689 8127635456 30053 33554432000 4194304 4196468 140721179548320 140275912530160 140276533865090 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22384] ppid=22359 vsize=7937144 memory=676 CPUtime=959.16 cores=0,2,4,6
/proc/22377/task/22384/stat : 22384 (java) S 22359 22359 16770 0 -1 1077944384 13 116198 0 0 0 0 95907 9 20 0 17 0 225885689 8127635456 30053 33554432000 4194304 4196468 140721179548320 140275376710816 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22385] ppid=22359 vsize=7937144 memory=8353 CPUtime=959.16 cores=0,2,4,6
/proc/22377/task/22385/stat : 22385 (java) S 22359 22359 16770 0 -1 1077944384 1 116198 0 0 0 0 95907 9 20 0 17 0 225885689 8127635456 30053 33554432000 4194304 4196468 140721179548320 140275108274928 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22386] ppid=22359 vsize=7937144 memory=2202 CPUtime=959.16 cores=0,2,4,6
/proc/22377/task/22386/stat : 22386 (java) S 22359 22359 16770 0 -1 1077944384 3 116198 0 0 0 0 95907 9 20 0 17 0 225885692 8127635456 30053 33554432000 4194304 4196468 140721179548320 140274733766608 140276533872539 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22387] ppid=22359 vsize=7937144 memory=199 CPUtime=959.26 cores=0,2,4,6
/proc/22377/task/22387/stat : 22387 (java) S 22359 22359 16770 0 -1 1077944384 558 116198 0 0 10 0 95907 9 20 0 17 0 225885692 8127635456 30053 33554432000 4194304 4196468 140721179548320 140275911478000 140276533865090 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22388] ppid=22359 vsize=7937144 memory=505 CPUtime=959.25 cores=0,2,4,6
/proc/22377/task/22388/stat : 22388 (java) S 22359 22359 16770 0 -1 1077944384 445 116198 0 0 9 0 95907 9 20 0 17 0 225885692 8127635456 30053 33554432000 4194304 4196468 140721179548320 140275910425456 140276533865090 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22389] ppid=22359 vsize=7937144 memory=4616 CPUtime=959.37 cores=0,2,4,6
/proc/22377/task/22389/stat : 22389 (java) R 22359 22359 16770 0 -1 4202560 701 116198 0 0 21 0 95907 9 20 0 17 0 225885692 8127635456 30053 33554432000 4194304 4196468 140721179548320 140275909372400 140276518193304 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22390] ppid=22359 vsize=7937144 memory=1428 CPUtime=959.16 cores=0,2,4,6
/proc/22377/task/22390/stat : 22390 (java) S 22359 22359 16770 0 -1 1077944384 3 116198 0 0 0 0 95907 9 20 0 17 0 225885692 8127635456 30053 33554432000 4194304 4196468 140721179548320 140274235861856 140276533864149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22391] ppid=22359 vsize=7937144 memory=140604076453169 CPUtime=959.74 cores=0,2,4,6
/proc/22377/task/22391/stat : 22391 (java) S 22359 22359 16770 0 -1 1077944384 65 116198 0 0 31 27 95907 9 20 0 17 0 225885692 8127635456 30053 33554432000 4194304 4196468 140721179548320 140275908319792 140276533865090 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22393] ppid=22359 vsize=7937144 memory=0 CPUtime=959.16 cores=0,2,4,6
/proc/22377/task/22393/stat : 22393 (java) S 22359 22359 16770 0 -1 1077944384 30 116198 0 0 0 0 95907 9 20 0 17 0 225885757 8127635456 30053 33554432000 4194304 4196468 140721179548320 140275980972560 140276533865090 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
[pid=22377/tid=22397] ppid=22359 vsize=7937144 memory=62423 CPUtime=959.16 cores=0,2,4,6
/proc/22377/task/22397/stat : 22397 (java) S 22359 22359 16770 0 -1 1077944384 23 116198 0 0 0 0 95907 9 20 0 17 0 225885759 8127635456 30053 33554432000 4194304 4196468 140721179548320 140273430554160 140276533865090 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33976320 140721179554997 140721179555121 140721179555121 140721179557839 0
Current children cumulated CPU time: 967.21 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 121684 KiB
Child status: 0
Real time (s): 962.741
CPU time (s): 967.309
CPU user time (s): 966.696
CPU system time (s): 0.613564
CPU usage (%): 100.475
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 613760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 966.696
system time used= 0.613564
maximum resident set size= 615428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161566
page faults= 0
swaps= 0
block input operations= 8
block output operations= 10936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26262
involuntary context switches= 336
# summary of solver processes directly reported to runsolver:
# pid: 22359
# total CPU time (s): 967.309
# total CPU user time (s): 966.696
# total CPU system time (s): 0.613564
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.794 second user time and 6.53676 second system time
The end