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-22461-serial-file.bin HOME/instance-4305368-1534083262.xml
0.55/0.51
0.55/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 16:14:22 CEST 2018
0.66/0.54 c PID: 22464
0.66/0.54 c IP: 172.20.3.139
0.66/0.54 c HOST: node139.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.20/0.87 c (0,0) Parsing End
1.20/0.87 c (0,0) CSP: 61 int (0 aux), 0 bool (0 aux), 34 ctr, max domain size 61
1.20/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.87 c (0,0) Constraint Name Generate Begin
1.20/0.88 c (0,0) Ctr:HOME/instance-4305368-1534083262.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.20/0.88 c (0,0) Constraint Name Generate End
1.20/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.88 c (0,0) CSP to CSPinCNF Begin
2.44/1.33 c (0,0) translated 4 (10%) constraints
2.44/1.33 c (0,0) translated 7 (20%) constraints
2.44/1.33 c (0,0) translated 11 (30%) constraints
2.44/1.34 c (0,0) translated 14 (40%) constraints
2.44/1.34 c (0,0) translated 17 (50%) constraints
2.44/1.34 c (0,0) translated 21 (60%) constraints
2.44/1.35 c (0,0) translated 24 (70%) constraints
2.44/1.35 c (0,0) translated 28 (80%) constraints
2.44/1.35 c (0,0) translated 31 (90%) constraints
2.44/1.35 c (0,0) translated 34 (100%) constraints
2.72/1.42 c (0,0) STATISTICS1:HOME/instance-4305368-1534083262.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,61,1865,185473347699600,61,61,9,185473347699600:2;182382125237940:4;3142742836021:12;51520374361:12;844596301:12;13395600:4;13172340:8;61:1485;60:229;59:122,61:3575;60:268;59:134,61:2;2:1830;1:33,9:6;8:12;7:12;6:12;5:12;2:1836;1:122,
2.72/1.42 c (0,0) ==========================================
2.72/1.42 c (0,0) Order
2.72/1.42 c (0,0) ==========================================
2.72/1.46 c (0,0) translated 187 (10%) constraints
2.72/1.48 c (0,0) translated 373 (20%) constraints
2.72/1.50 c (0,0) translated 560 (30%) constraints
3.07/1.51 c (0,0) translated 746 (40%) constraints
3.07/1.53 c (1,0) translated 933 (50%) constraints
3.07/1.54 c (1,1) translated 1119 (60%) constraints
3.07/1.55 c (1,1) translated 1306 (70%) constraints
3.07/1.57 c (1,1) translated 1492 (80%) constraints
3.07/1.58 c (1,1) translated 1679 (90%) constraints
3.37/1.66 c (1,1) translated 1865 (100%) constraints
3.37/1.66 c (1,1) CSP to CSPinCNF End
3.37/1.66 c (1,1) CSP: 163 int (102 aux), 0 bool (0 aux), 2096 ctr, max domain size 181
3.37/1.66 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.37/1.66 c (1,1) CSPinCNF Propagation Begin
3.71/1.70 c (1,1) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed
3.71/1.70 c (1,1) CSPinCNF Propagation End
3.71/1.70 c (1,1) CSP: 163 int (102 aux), 0 bool (0 aux), 2096 ctr, max domain size 181
3.71/1.70 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.71/1.70 c (1,1) Simplify CSPinCNF Begin
4.05/1.87 c (1,1) Simplify CSPinCNF End
4.05/1.87 c (1,1) CSP: 163 int (102 aux), 3660 bool (3660 aux), 5756 ctr, max domain size 181
4.05/1.87 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.05/1.87 c (1,1) Calculate Precise Domain Begin
4.05/1.90 c (1,1) 2 values are removed by re-calculation
4.05/1.90 c (1,1) Calculate Precise Domain End
4.05/1.90 c (1,1) CSP: 163 int (102 aux), 3660 bool (3660 aux), 5756 ctr, max domain size 181
4.05/1.90 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.05/1.90 c (1,1) CSPinCNF to SatSolver Begin
5.02/2.13 c (1,1) 576 (10 %) CSP clauses are encoded (20737 SAT variables, 40183 SAT clauses)
5.31/2.23 c (1,1) 1152 (20 %) CSP clauses are encoded (20737 SAT variables, 63547 SAT clauses)
5.60/2.30 c (1,1) 1727 (30 %) CSP clauses are encoded (20737 SAT variables, 86976 SAT clauses)
5.60/2.38 c (1,1) 2303 (40 %) CSP clauses are encoded (20737 SAT variables, 110560 SAT clauses)
5.88/2.45 c (1,1) 2878 (50 %) CSP clauses are encoded (20737 SAT variables, 134137 SAT clauses)
6.06/2.51 c (1,1) 3454 (60 %) CSP clauses are encoded (20737 SAT variables, 157713 SAT clauses)
6.06/2.57 c (2,2) 4030 (70 %) CSP clauses are encoded (20737 SAT variables, 181283 SAT clauses)
6.23/2.62 c (2,2) 4605 (80 %) CSP clauses are encoded (20737 SAT variables, 204768 SAT clauses)
6.23/2.68 c (2,2) 5181 (90 %) CSP clauses are encoded (20737 SAT variables, 228244 SAT clauses)
9.13/4.79 c (4,4) 5756 (100 %) CSP clauses are encoded (20737 SAT variables, 1809507 SAT clauses)
9.13/4.79 c (4,4) Launch Command will be: minisat_release
9.13/4.79 c (4,4) CSPinCNF to SatSolver End
9.13/4.79 c (4,4) Heap : 2422 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.26/4.85 c (4,4) STATISTICS2:HOME/instance-4305368-1534083262.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,3823,5756,32220,181,59,3,32220:6;21901:12;14641:24;7381:42;7320:6;7259:6;5307:6;5246:4;5185:2;3721:114;3660:18;3599:18;61:2970;60:336;59:360,181:84;180:12;179:12;121:228;120:12;119:12;87:24;86:16;85:8;61:7040;60:384;59:389;2:7320,59:1;56:1;2:5490;1:264,3:258;2:3666;1:7435,
9.26/4.85 c (4,4) 20737 bool, 1809565 clause
9.26/4.85 c (4,4) Export Begin
9.60/4.93 c (4,4) Export to HOME/scop-22461-serial-file.bin
9.60/4.93 c (4,4) Export End
9.60/4.93 c (4,4) Export File Size: 0.01 MB
9.60/4.93 c (4,4) 0,0,1,1,1,1,4,STOP-AFTER(DIMACS)
9.60/4.93 c END-Prog: Sun Aug 12 16:14:27 CEST 2018
9.60/4.96 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22461-serial-file.bin
10.31/5.45 c (0,0) Read Serial File Begin
10.31/5.45 c (0,0) HOME/scop-22461-serial-file.bin
10.58/5.61 c (0,0) Read Serial File End
10.58/5.62
10.58/5.62 scop order+minisat_release (2018-07-31)
10.58/5.62 (Solving Process)
10.58/5.62
10.58/5.64 c BEGIN-Prog: Sun Aug 12 16:14:27 CEST 2018
10.58/5.64 c PID: 22479
10.58/5.64 c IP: 172.20.3.139
10.58/5.65 c HOST: node139.alineos.net
10.58/5.65 c (0,0) SatSolver.solve Begin
10.58/5.65 c (0,0) 0 bool, 0 clause
10.58/5.65 c (0,0) minisat_release HOME/instance-4305368-1534083262.xml-scop-22464.cnf
2517.76/2511.16 c (2505,0) c This is COMiniSatPS.
2517.76/2511.16 c (2505,0) c WARNING: for repeatability, setting FPU to use double precision
2517.76/2511.16 c (2505,0) c ============================[ Problem Statistics ]=============================
2517.76/2511.16 c (2505,0) c | |
2517.76/2511.16 c (2505,0) c | Number of variables: 20737 |
2517.76/2511.16 c (2505,0) c | Number of clauses: 1809563 |
2517.76/2511.16 c (2505,0) c | Parse time: 0.39 s |
2517.76/2511.16 c (2505,0) c | Eliminated clauses: 0.03 Mb |
2517.76/2511.16 c (2505,0) c Reduced to 18897 vars, 1806838 cls (grow=0)
2517.76/2511.16 c (2505,0) c No iterative elimination performed. (vars=18897, c/v ratio=95.6)
2517.76/2511.16 c (2505,0) c | Simplification time: 3.22 s |
2517.76/2511.16 c (2505,0) c | |
2517.76/2511.16 c (2505,0) c ============================[ Search Statistics ]==============================
2517.76/2511.16 c (2505,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2517.76/2511.16 c (2505,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2517.76/2511.16 c (2505,0) c ===============================================================================
2517.76/2511.16 c (2505,0) c Switched to VSIDS.
2520.06/2513.40 c (2508,0) receiving signal SIGTERM
2520.06/2513.40 s UNKNOWN
2520.06/2513.41 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.06/2513.41 c (scop.sh) Remove HOME/scop-22461-serial-file.bin.
2520.06/2513.41 c (scop.sh) Killing background jobs.
2520.06/2513.41 c (2508,0) SatSolver is killed by some reasons.
2520.06/2513.41 c (2508,0) receiving signal SIGTERM
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 (5590 MiB free)
memory of node 1: 16384 MiB (7045 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305368-1534083262/watcher-4305368-1534083262 -o /tmp/evaluation-result-4305368-1534083262/solver-4305368-1534083262 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305368-1534083262.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
Current StackSize limit: 8192 KiB
solver pid=22461, runsolver pid=22458
[startup+0.100145 s]*
/proc/loadavg: 2.05 2.03 2.05 3/223 22478
/proc/meminfo: memFree=12881384/32770624 swapFree=67108860/67108860
[pid=22461] ppid=22458 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22461/stat : 22461 (scop.sh) S 22458 22461 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225889330 115843072 349 33554432000 4194304 5098028 140723021755744 140723021753000 139676163965564 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30896128 140723021763648 140723021763847 140723021763847 140723021766605 0
/proc/22461/statm: 28282 349 296 221 0 87 0
[pid=22464] ppid=22461 vsize=15012476 memory=70220 CPUtime=0.11 cores=1,3,5,7
/proc/22464/stat : 22464 (java) S 22461 22461 16770 0 -1 1077944320 6689 0 0 0 9 2 0 0 20 0 15 0 225889331 15372775424 17555 33554432000 4194304 4196468 140728577227968 140728577210512 140713723199223 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
/proc/22464/statm: 3753119 17555 2770 1 0 3715579 0
[pid=22464/tid=22465] ppid=22461 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/22464/task/22465/stat : 22465 (java) R 22461 22461 16770 0 -1 4202560 4794 0 0 0 7 2 0 0 20 0 15 0 225889331 15372775424 17555 33554432000 4194304 4196468 140728577227968 140713695011208 140713703474972 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22466] ppid=22461 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22466/stat : 22466 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225889333 15372775424 17555 33554432000 4194304 4196468 140728577227968 140713727442064 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22467] ppid=22461 vsize=15012476 memory=140528927643264 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22467/stat : 22467 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225889333 15372775424 17555 33554432000 4194304 4196468 140728577227968 140713541598224 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22468] ppid=22461 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22468/stat : 22468 (java) S 22461 22461 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225889333 15372775424 17621 33554432000 4194304 4196468 140728577227968 140713540545424 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22469] ppid=22461 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22469/stat : 22469 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225889333 15372775424 17621 33554432000 4194304 4196468 140728577227968 140713539492624 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22470] ppid=22461 vsize=15012476 memory=140528927643264 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22470/stat : 22470 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225889334 15372775424 17621 33554432000 4194304 4196468 140728577227968 140712693688688 140713723210370 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22471] ppid=22461 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22471/stat : 22471 (java) S 22461 22461 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225889335 15372775424 17621 33554432000 4194304 4196468 140728577227968 140712322524192 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22472] ppid=22461 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22472/stat : 22472 (java) S 22461 22461 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225889335 15372775424 17621 33554432000 4194304 4196468 140728577227968 140712188302192 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22473] ppid=22461 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22473/stat : 22473 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225889337 15372775424 17621 33554432000 4194304 4196468 140728577227968 140711813797712 140713723217819 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22474] ppid=22461 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22474/stat : 22474 (java) S 22461 22461 16770 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 225889337 15372775424 17621 33554432000 4194304 4196468 140728577227968 140712692636528 140713723210370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22475] ppid=22461 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22475/stat : 22475 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225889337 15372775424 17621 33554432000 4194304 4196468 140728577227968 140712691583728 140713723210370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22476] ppid=22461 vsize=15012476 memory=140528927643264 CPUtime=0.01 cores=1,3,5,7
/proc/22464/task/22476/stat : 22476 (java) S 22461 22461 16770 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 225889337 15372775424 17621 33554432000 4194304 4196468 140728577227968 140712690530928 140713723210370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22477] ppid=22461 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22477/stat : 22477 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225889338 15372775424 17621 33554432000 4194304 4196468 140728577227968 140711315892960 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22478] ppid=22461 vsize=15012476 memory=140528927643264 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22478/stat : 22478 (java) S 22461 22461 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225889338 15372775424 17621 33554432000 4194304 4196468 140728577227968 140712689478320 140713723210370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71616 KiB
[startup+0.210792 s]*
/proc/loadavg: 2.05 2.03 2.05 4/223 22478
/proc/meminfo: memFree=12867804/32770624 swapFree=67108860/67108860
[pid=22461] ppid=22458 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22461/stat : 22461 (scop.sh) S 22458 22461 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225889330 115843072 349 33554432000 4194304 5098028 140723021755744 140723021753000 139676163965564 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30896128 140723021763648 140723021763847 140723021763847 140723021766605 0
/proc/22461/statm: 28282 349 296 221 0 87 0
[pid=22464] ppid=22461 vsize=15012476 memory=83524 CPUtime=0.26 cores=1,3,5,7
/proc/22464/stat : 22464 (java) S 22461 22461 16770 0 -1 1077944320 10297 0 0 0 22 4 0 0 20 0 15 0 225889331 15372775424 20881 33554432000 4194304 4196468 140728577227968 140728577210512 140713723199223 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
/proc/22464/statm: 3753119 20881 2904 1 0 3715579 0
[pid=22464/tid=22465] ppid=22461 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/22464/task/22465/stat : 22465 (java) R 22461 22461 16770 0 -1 4202560 8187 0 0 0 17 3 0 0 20 0 15 0 225889331 15372775424 20881 33554432000 4194304 4196468 140728577227968 140713695025616 140713723211158 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22466] ppid=22461 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22466/stat : 22466 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225889333 15372775424 20881 33554432000 4194304 4196468 140728577227968 140713727442064 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22467] ppid=22461 vsize=15012476 memory=140528928846768 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22467/stat : 22467 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225889333 15372775424 20881 33554432000 4194304 4196468 140728577227968 140713541598224 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22468] ppid=22461 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22468/stat : 22468 (java) S 22461 22461 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225889333 15372775424 20881 33554432000 4194304 4196468 140728577227968 140713540545424 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22469] ppid=22461 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22469/stat : 22469 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225889333 15372775424 20881 33554432000 4194304 4196468 140728577227968 140713539492624 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22470] ppid=22461 vsize=15012476 memory=140528927643264 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22470/stat : 22470 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225889334 15372775424 20881 33554432000 4194304 4196468 140728577227968 140712693688688 140713723210370 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22471] ppid=22461 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22471/stat : 22471 (java) S 22461 22461 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225889335 15372775424 20881 33554432000 4194304 4196468 140728577227968 140712322524192 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22472] ppid=22461 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22472/stat : 22472 (java) S 22461 22461 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225889335 15372775424 20881 33554432000 4194304 4196468 140728577227968 140712188302192 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22473] ppid=22461 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22473/stat : 22473 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225889337 15372775424 20881 33554432000 4194304 4196468 140728577227968 140711813797712 140713723217819 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22474] ppid=22461 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22464/task/22474/stat : 22474 (java) S 22461 22461 16770 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 15 0 225889337 15372775424 20881 33554432000 4194304 4196468 140728577227968 140712692636528 140713723210370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22475] ppid=22461 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22475/stat : 22475 (java) S 22461 22461 16770 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 225889337 15372775424 20881 33554432000 4194304 4196468 140728577227968 140712691583728 140713723210370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22476] ppid=22461 vsize=15012476 memory=140528927643264 CPUtime=0.03 cores=1,3,5,7
/proc/22464/task/22476/stat : 22476 (java) R 22461 22461 16770 0 -1 4202560 302 0 0 0 3 0 0 0 20 0 15 0 225889337 15372775424 20881 33554432000 4194304 4196468 140728577227968 140712690530928 140713701803521 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22477] ppid=22461 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22477/stat : 22477 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225889338 15372775424 20881 33554432000 4194304 4196468 140728577227968 140711315892960 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22478] ppid=22461 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22478/stat : 22478 (java) S 22461 22461 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225889338 15372775424 20881 33554432000 4194304 4196468 140728577227968 140712689478320 140713723210370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 84920 KiB
[startup+0.310774 s]*
/proc/loadavg: 2.05 2.03 2.05 3/223 22478
/proc/meminfo: memFree=12863400/32770624 swapFree=67108860/67108860
[pid=22461] ppid=22458 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22461/stat : 22461 (scop.sh) S 22458 22461 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225889330 115843072 349 33554432000 4194304 5098028 140723021755744 140723021753000 139676163965564 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30896128 140723021763648 140723021763847 140723021763847 140723021766605 0
/proc/22461/statm: 28282 349 296 221 0 87 0
[pid=22464] ppid=22461 vsize=15012476 memory=87672 CPUtime=0.43 cores=1,3,5,7
/proc/22464/stat : 22464 (java) S 22461 22461 16770 0 -1 1077944320 10924 0 0 0 39 4 0 0 20 0 15 0 225889331 15372775424 21918 33554432000 4194304 4196468 140728577227968 140728577210512 140713723199223 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
/proc/22464/statm: 3753119 21918 2988 1 0 3715579 0
[pid=22464/tid=22465] ppid=22461 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/22464/task/22465/stat : 22465 (java) R 22461 22461 16770 0 -1 4202560 8624 0 0 0 26 3 0 0 20 0 15 0 225889331 15372775424 21918 33554432000 4194304 4196468 140728577227968 140713694994224 140713211800704 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22466] ppid=22461 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22466/stat : 22466 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225889333 15372775424 21918 33554432000 4194304 4196468 140728577227968 140713727442064 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22467] ppid=22461 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22467/stat : 22467 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225889333 15372775424 21918 33554432000 4194304 4196468 140728577227968 140713541598224 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22468] ppid=22461 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22468/stat : 22468 (java) S 22461 22461 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225889333 15372775424 21918 33554432000 4194304 4196468 140728577227968 140713540545424 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22469] ppid=22461 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22469/stat : 22469 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225889333 15372775424 21918 33554432000 4194304 4196468 140728577227968 140713539492624 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22470] ppid=22461 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22470/stat : 22470 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225889334 15372775424 21918 33554432000 4194304 4196468 140728577227968 140712693688688 140713723210370 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22471] ppid=22461 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22471/stat : 22471 (java) S 22461 22461 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225889335 15372775424 21918 33554432000 4194304 4196468 140728577227968 140712322524192 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22472] ppid=22461 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22472/stat : 22472 (java) S 22461 22461 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225889335 15372775424 21918 33554432000 4194304 4196468 140728577227968 140712188302192 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22473] ppid=22461 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22473/stat : 22473 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225889337 15372775424 21918 33554432000 4194304 4196468 140728577227968 140711813797712 140713723217819 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22474] ppid=22461 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22464/task/22474/stat : 22474 (java) R 22461 22461 16770 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 15 0 225889337 15372775424 21918 33554432000 4194304 4196468 140728577227968 140712692636528 140713723210370 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22475] ppid=22461 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22464/task/22475/stat : 22475 (java) R 22461 22461 16770 0 -1 4202560 250 0 0 0 2 0 0 0 20 0 15 0 225889337 15372775424 21918 33554432000 4194304 4196468 140728577227968 140712691583728 140713723220570 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22476] ppid=22461 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22464/task/22476/stat : 22476 (java) R 22461 22461 16770 0 -1 4202560 348 0 0 0 7 0 0 0 20 0 15 0 225889337 15372775424 21918 33554432000 4194304 4196468 140728577227968 140712690530928 140713723213072 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22477] ppid=22461 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22477/stat : 22477 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225889338 15372775424 21918 33554432000 4194304 4196468 140728577227968 140711315892960 140713723209429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22478] ppid=22461 vsize=15012476 memory=3833468387996016689 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22478/stat : 22478 (java) S 22461 22461 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225889338 15372775424 21918 33554432000 4194304 4196468 140728577227968 140712689478320 140713723210370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89068 KiB
[startup+0.700822 s]
/proc/loadavg: 2.05 2.03 2.05 3/223 22478
/proc/meminfo: memFree=12839092/32770624 swapFree=67108860/67108860
[pid=22461] ppid=22458 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22461/stat : 22461 (scop.sh) S 22458 22461 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225889330 115843072 349 33554432000 4194304 5098028 140723021755744 140723021753000 139676163965564 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30896128 140723021763648 140723021763847 140723021763847 140723021766605 0
/proc/22461/statm: 28282 349 296 221 0 87 0
[pid=22464] ppid=22461 vsize=15020872 memory=128000 CPUtime=1.01 cores=1,3,5,7
/proc/22464/stat : 22464 (java) S 22461 22461 16770 0 -1 1077944320 18136 0 0 0 95 6 0 0 20 0 15 0 225889331 15381372928 31936 33554432000 4194304 4196468 140728577227968 140728577210512 140713723199223 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
/proc/22464/statm: 3755218 31936 3158 1 0 3716603 0
[pid=22464/tid=22465] ppid=22461 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/22464/task/22465/stat : 22465 (java) R 22461 22461 16770 0 -1 4202560 15398 0 0 0 62 5 0 0 20 0 15 0 225889331 15381372928 32000 33554432000 4194304 4196468 140728577227968 140713695035664 140713707279185 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22466] ppid=22461 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22466/stat : 22466 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225889333 15381372928 32000 33554432000 4194304 4196468 140728577227968 140713727442064 140713723209429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22467] ppid=22461 vsize=15020872 memory=61312 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22467/stat : 22467 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225889333 15381372928 32000 33554432000 4194304 4196468 140728577227968 140713541598224 140713723209429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22468] ppid=22461 vsize=15020872 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22468/stat : 22468 (java) S 22461 22461 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225889333 15381372928 32000 33554432000 4194304 4196468 140728577227968 140713540545424 140713723209429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22469] ppid=22461 vsize=15020872 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22469/stat : 22469 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225889333 15381372928 32000 33554432000 4194304 4196468 140728577227968 140713539492624 140713723209429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22470] ppid=22461 vsize=15020872 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22470/stat : 22470 (java) S 22461 22461 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225889334 15381372928 32000 33554432000 4194304 4196468 140728577227968 140712693688688 140713723210370 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22471] ppid=22461 vsize=15020872 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22471/stat : 22471 (java) S 22461 22461 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225889335 15381372928 32000 33554432000 4194304 4196468 140728577227968 140712322524192 140713723209429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22472] ppid=22461 vsize=15020872 memory=796 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22472/stat : 22472 (java) S 22461 22461 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225889335 15381372928 32000 33554432000 4194304 4196468 140728577227968 140712188302192 140713723209429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22473] ppid=22461 vsize=15020872 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22473/stat : 22473 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225889337 15381372928 32000 33554432000 4194304 4196468 140728577227968 140711813797712 140713723217819 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22474] ppid=22461 vsize=15020872 memory=876 CPUtime=0.07 cores=1,3,5,7
/proc/22464/task/22474/stat : 22474 (java) R 22461 22461 16770 0 -1 1077944384 438 0 0 0 7 0 0 0 20 0 15 0 225889337 15381372928 32000 33554432000 4194304 4196468 140728577227968 140712692636528 140713723210370 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22475] ppid=22461 vsize=15020872 memory=10096 CPUtime=0.09 cores=1,3,5,7
/proc/22464/task/22475/stat : 22475 (java) S 22461 22461 16770 0 -1 1077944384 478 0 0 0 9 0 0 0 20 0 15 0 225889337 15381372928 32000 33554432000 4194304 4196468 140728577227968 140712691583728 140713723210370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22476] ppid=22461 vsize=15020872 memory=1228 CPUtime=0.15 cores=1,3,5,7
/proc/22464/task/22476/stat : 22476 (java) S 22461 22461 16770 0 -1 1077944384 465 0 0 0 15 0 0 0 20 0 15 0 225889337 15381372928 32000 33554432000 4194304 4196468 140728577227968 140712690530928 140713723210370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22477] ppid=22461 vsize=15020872 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22477/stat : 22477 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225889338 15381372928 32000 33554432000 4194304 4196468 140728577227968 140711315892960 140713723209429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
[pid=22464/tid=22478] ppid=22461 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/22464/task/22478/stat : 22478 (java) S 22461 22461 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225889338 15381372928 32000 33554432000 4194304 4196468 140728577227968 140712689478320 140713723210370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11321344 140728577233926 140728577234225 140728577234225 140728577236943 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129396 KiB
[startup+1.50609 s]
/proc/loadavg: 2.05 2.03 2.05 3/223 22478
/proc/meminfo: memFree=12809812/32770624 swapFree=67108860/67108860
[pid=22461] ppid=22458 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22461/stat : 22461 (scop.sh) S 22458 22461 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225889330 115843072 349 33554432000 4194304 5098028 140723021755744 140723021753000 139676163965564 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30896128 140723021763648 140723021763847 140723021763847 140723021766605 0
/proc/22461/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=22479/tid=22482] ppid=22461 vsize=8068220 memory=116404 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22482/stat : 22482 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225889829 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097539430800 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22483] ppid=22461 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22483/stat : 22483 (java) S 22461 22461 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225889829 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097194981904 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22484] ppid=22461 vsize=8068220 memory=-7824251494390453863 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22484/stat : 22484 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225889829 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097193929360 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22485] ppid=22461 vsize=8068220 memory=4128 CPUtime=0.06 cores=1,3,5,7
/proc/22479/task/22485/stat : 22485 (java) S 22461 22461 16770 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 225889830 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097022806512 140097710557826 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22486] ppid=22461 vsize=8068220 memory=136948 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22486/stat : 22486 (java) S 22461 22461 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225889831 8261857280 29101 33554432000 4194304 4196468 140733878559840 140096531588512 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22487] ppid=22461 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22487/stat : 22487 (java) S 22461 22461 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225889831 8261857280 29101 33554432000 4194304 4196468 140733878559840 140096263153136 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22488] ppid=22461 vsize=8068220 memory=116404 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22488/stat : 22488 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225889833 8261857280 29101 33554432000 4194304 4196468 140733878559840 140095888644816 140097710565275 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22489] ppid=22461 vsize=8068220 memory=136948 CPUtime=0.09 cores=1,3,5,7
/proc/22479/task/22489/stat : 22489 (java) S 22461 22461 16770 0 -1 1077944384 601 0 0 0 9 0 0 0 20 0 19 0 225889833 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097021753328 140097710557826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22490] ppid=22461 vsize=8068220 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/22479/task/22490/stat : 22490 (java) S 22461 22461 16770 0 -1 1077944384 346 0 0 0 9 0 0 0 20 0 19 0 225889833 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097020700784 140097710557826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22491] ppid=22461 vsize=8068220 memory=116404 CPUtime=0.19 cores=1,3,5,7
/proc/22479/task/22491/stat : 22491 (java) S 22461 22461 16770 0 -1 1077944384 451 0 0 0 19 0 0 0 20 0 19 0 225889833 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097019648240 140097710557826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22492] ppid=22461 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22492/stat : 22492 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225889834 8261857280 29101 33554432000 4194304 4196468 140733878559840 140095390739040 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22493] ppid=22461 vsize=8068220 memory=116404 CPUtime=1.46 cores=1,3,5,7
/proc/22479/task/22493/stat : 22493 (java) S 22461 22461 16770 0 -1 1077944384 163 0 0 0 66 80 0 0 20 0 19 0 225889834 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097018596144 140097710557826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22495] ppid=22461 vsize=8068220 memory=136948 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22495/stat : 22495 (java) S 22461 22461 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225889898 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097010787904 140097710571289 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22497] ppid=22461 vsize=8068220 memory=876 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22497/stat : 22497 (java) S 22461 22461 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225889898 8261857280 29101 33554432000 4194304 4196468 140733878559840 140094853853328 140097710568605 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22498] ppid=22461 vsize=8068220 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22498/stat : 22498 (java) S 22461 22461 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225889898 8261857280 29101 33554432000 4194304 4196468 140733878559840 140094988074256 140097710568605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22499] ppid=22461 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22499/stat : 22499 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225889901 8261857280 29101 33554432000 4194304 4196468 140733878559840 140094585429024 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
Current children cumulated CPU time: 2448.92 s
Current children cumulated vsize: 8338680 KiB
Current children cumulated memory: 254824 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/227 22671
/proc/meminfo: memFree=12638720/32770624 swapFree=67108860/67108860
[pid=22461] ppid=22458 vsize=113128 memory=1472 CPUtime=9.73 cores=1,3,5,7
/proc/22461/stat : 22461 (scop.sh) S 22458 22461 16770 0 -1 4202496 591 28326 0 0 0 0 920 53 20 0 1 0 225889330 115843072 368 33554432000 4194304 5098028 140723021755744 140723021752488 139676163965564 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30896128 140723021763648 140723021763847 140723021763847 140723021766605 0
/proc/22461/statm: 28282 368 311 221 0 87 0
[pid=22479] ppid=22461 vsize=8068220 memory=116404 CPUtime=2.7 cores=1,3,5,7
/proc/22479/stat : 22479 (java) S 22461 22461 16770 0 -1 1077944320 18483 0 0 0 182 88 0 0 20 0 19 0 225889827 8261857280 29101 33554432000 4194304 4196468 140733878559840 140733878542384 140097710546679 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
/proc/22479/statm: 2017055 29101 3150 1 0 1978454 0
[pid=22494] ppid=22479 vsize=157664 memory=137008 CPUtime=2496.52 cores=1,3,5,7
/proc/22494/stat : 22494 (minisat_release) R 22479 22461 16770 0 -1 4202496 945035 0 0 0 249551 101 0 0 20 0 1 0 225889898 161447936 34252 33554432000 4194304 4308513 140725137735872 140725137732616 4276015 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 31154176 140725137740916 140725137741014 140725137741014 140725137743813 0
/proc/22494/statm: 39416 34252 342 28 0 35656 0
[pid=22479/tid=22480] ppid=22461 vsize=8068220 memory=116404 CPUtime=0.73 cores=1,3,5,7
/proc/22479/task/22480/stat : 22480 (java) S 22461 22461 16770 0 -1 1077944384 15507 0 0 0 69 4 0 0 20 0 19 0 225889828 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097682386832 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22481] ppid=22461 vsize=8068220 memory=116404 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22481/stat : 22481 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225889829 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097714788624 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22482] ppid=22461 vsize=8068220 memory=116404 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22482/stat : 22482 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225889829 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097539430800 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22483] ppid=22461 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22483/stat : 22483 (java) S 22461 22461 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225889829 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097194981904 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22484] ppid=22461 vsize=8068220 memory=-7824251494390453863 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22484/stat : 22484 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225889829 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097193929360 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22485] ppid=22461 vsize=8068220 memory=116404 CPUtime=0.06 cores=1,3,5,7
/proc/22479/task/22485/stat : 22485 (java) S 22461 22461 16770 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 225889830 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097022806512 140097710557826 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22486] ppid=22461 vsize=8068220 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22486/stat : 22486 (java) S 22461 22461 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225889831 8261857280 29101 33554432000 4194304 4196468 140733878559840 140096531588512 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22487] ppid=22461 vsize=8068220 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22487/stat : 22487 (java) S 22461 22461 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225889831 8261857280 29101 33554432000 4194304 4196468 140733878559840 140096263153136 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22488] ppid=22461 vsize=8068220 memory=134924 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22488/stat : 22488 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225889833 8261857280 29101 33554432000 4194304 4196468 140733878559840 140095888644816 140097710565275 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22489] ppid=22461 vsize=8068220 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/22479/task/22489/stat : 22489 (java) S 22461 22461 16770 0 -1 1077944384 601 0 0 0 9 0 0 0 20 0 19 0 225889833 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097021753328 140097710557826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22490] ppid=22461 vsize=8068220 memory=1704 CPUtime=0.09 cores=1,3,5,7
/proc/22479/task/22490/stat : 22490 (java) S 22461 22461 16770 0 -1 1077944384 346 0 0 0 9 0 0 0 20 0 19 0 225889833 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097020700784 140097710557826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22491] ppid=22461 vsize=8068220 memory=796 CPUtime=0.19 cores=1,3,5,7
/proc/22479/task/22491/stat : 22491 (java) S 22461 22461 16770 0 -1 1077944384 451 0 0 0 19 0 0 0 20 0 19 0 225889833 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097019648240 140097710557826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22492] ppid=22461 vsize=8068220 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22492/stat : 22492 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225889834 8261857280 29101 33554432000 4194304 4196468 140733878559840 140095390739040 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22493] ppid=22461 vsize=8068220 memory=1796 CPUtime=1.5 cores=1,3,5,7
/proc/22479/task/22493/stat : 22493 (java) S 22461 22461 16770 0 -1 1077944384 167 0 0 0 68 82 0 0 20 0 19 0 225889834 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097018596144 140097710557826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22495] ppid=22461 vsize=8068220 memory=134924 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22495/stat : 22495 (java) S 22461 22461 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225889898 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097010787904 140097710571289 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22497] ppid=22461 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22497/stat : 22497 (java) S 22461 22461 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225889898 8261857280 29101 33554432000 4194304 4196468 140733878559840 140094853853328 140097710568605 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22498] ppid=22461 vsize=8068220 memory=134924 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22498/stat : 22498 (java) S 22461 22461 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225889898 8261857280 29101 33554432000 4194304 4196468 140733878559840 140094988074256 140097710568605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22499] ppid=22461 vsize=8068220 memory=61364 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22499/stat : 22499 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225889901 8261857280 29101 33554432000 4194304 4196468 140733878559840 140094585429024 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
Current children cumulated CPU time: 2508.95 s
Current children cumulated vsize: 8339012 KiB
Current children cumulated memory: 254884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/227 22671
/proc/meminfo: memFree=12636920/32770624 swapFree=67108860/67108860
[pid=22461] ppid=22458 vsize=113128 memory=1472 CPUtime=9.73 cores=1,3,5,7
/proc/22461/stat : 22461 (scop.sh) S 22458 22461 16770 0 -1 4202496 591 28326 0 0 0 0 920 53 20 0 1 0 225889330 115843072 368 33554432000 4194304 5098028 140723021755744 140723021752488 139676163965564 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30896128 140723021763648 140723021763847 140723021763847 140723021766605 0
/proc/22461/statm: 28282 368 311 221 0 87 0
[pid=22479] ppid=22461 vsize=8068220 memory=116404 CPUtime=2.71 cores=1,3,5,7
/proc/22479/stat : 22479 (java) S 22461 22461 16770 0 -1 1077944320 18492 0 0 0 183 88 0 0 20 0 19 0 225889827 8261857280 29101 33554432000 4194304 4196468 140733878559840 140733878542384 140097710546679 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
/proc/22479/statm: 2017055 29101 3150 1 0 1978454 0
[pid=22494] ppid=22479 vsize=157936 memory=139372 CPUtime=2507.62 cores=1,3,5,7
/proc/22494/stat : 22494 (minisat_release) R 22479 22461 16770 0 -1 4202496 946304 0 0 0 250661 101 0 0 20 0 1 0 225889898 161726464 34843 33554432000 4194304 4308513 140725137735872 140725137732616 4276097 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 31154176 140725137740916 140725137741014 140725137741014 140725137743813 0
/proc/22494/statm: 39484 34843 343 28 0 35724 0
[pid=22479/tid=22480] ppid=22461 vsize=8068220 memory=199 CPUtime=0.73 cores=1,3,5,7
/proc/22479/task/22480/stat : 22480 (java) S 22461 22461 16770 0 -1 1077944384 15507 0 0 0 69 4 0 0 20 0 19 0 225889828 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097682386832 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22481] ppid=22461 vsize=8068220 memory=506 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22481/stat : 22481 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225889829 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097714788624 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22482] ppid=22461 vsize=8068220 memory=86 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22482/stat : 22482 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225889829 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097539430800 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22483] ppid=22461 vsize=8068220 memory=240 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22483/stat : 22483 (java) S 22461 22461 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225889829 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097194981904 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22484] ppid=22461 vsize=8068220 memory=7 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22484/stat : 22484 (java) S 22461 22461 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225889829 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097193929360 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22485] ppid=22461 vsize=8068220 memory=18587 CPUtime=0.06 cores=1,3,5,7
/proc/22479/task/22485/stat : 22485 (java) S 22461 22461 16770 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 225889830 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097022806512 140097710557826 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22486] ppid=22461 vsize=8068220 memory=642 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22486/stat : 22486 (java) S 22461 22461 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225889831 8261857280 29101 33554432000 4194304 4196468 140733878559840 140096531588512 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22487] ppid=22461 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22487/stat : 22487 (java) S 22461 22461 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225889831 8261857280 29101 33554432000 4194304 4196468 140733878559840 140096263153136 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22488] ppid=22461 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22488/stat : 22488 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225889833 8261857280 29101 33554432000 4194304 4196468 140733878559840 140095888644816 140097710565275 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22489] ppid=22461 vsize=8068220 memory=288230574492221466 CPUtime=0.09 cores=1,3,5,7
/proc/22479/task/22489/stat : 22489 (java) S 22461 22461 16770 0 -1 1077944384 601 0 0 0 9 0 0 0 20 0 19 0 225889833 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097021753328 140097710557826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22490] ppid=22461 vsize=8068220 memory=288230621803970871 CPUtime=0.09 cores=1,3,5,7
/proc/22479/task/22490/stat : 22490 (java) S 22461 22461 16770 0 -1 1077944384 346 0 0 0 9 0 0 0 20 0 19 0 225889833 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097020700784 140097710557826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22491] ppid=22461 vsize=8068220 memory=13567093857585738 CPUtime=0.19 cores=1,3,5,7
/proc/22479/task/22491/stat : 22491 (java) S 22461 22461 16770 0 -1 1077944384 456 0 0 0 19 0 0 0 20 0 19 0 225889833 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097019648240 140097710557826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22492] ppid=22461 vsize=8068220 memory=16228 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22492/stat : 22492 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225889834 8261857280 29101 33554432000 4194304 4196468 140733878559840 140095390739040 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22493] ppid=22461 vsize=8068220 memory=34120 CPUtime=1.5 cores=1,3,5,7
/proc/22479/task/22493/stat : 22493 (java) S 22461 22461 16770 0 -1 1077944384 167 0 0 0 68 82 0 0 20 0 19 0 225889834 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097018596144 140097710557826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22495] ppid=22461 vsize=8068220 memory=140528780664961 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22495/stat : 22495 (java) S 22461 22461 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225889898 8261857280 29101 33554432000 4194304 4196468 140733878559840 140097010787904 140097710571289 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22497] ppid=22461 vsize=8068220 memory=302585815534678282 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22497/stat : 22497 (java) S 22461 22461 16770 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 225889898 8261857280 29101 33554432000 4194304 4196468 140733878559840 140094853853328 140097710568605 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22498] ppid=22461 vsize=8068220 memory=15536310576241141 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22498/stat : 22498 (java) S 22461 22461 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225889898 8261857280 29101 33554432000 4194304 4196468 140733878559840 140094988074256 140097710568605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
[pid=22479/tid=22499] ppid=22461 vsize=8068220 memory=288230591722434826 CPUtime=0 cores=1,3,5,7
/proc/22479/task/22499/stat : 22499 (java) S 22461 22461 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225889901 8261857280 29101 33554432000 4194304 4196468 140733878559840 140094585429024 140097710556885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35741696 140733878564021 140733878564145 140733878564145 140733878566863 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 8339284 KiB
Current children cumulated memory: 257248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.41 s]
# the end of solver process 22461 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.20262 s, system=0.534331 s
[startup+2513.43 s]
# the end of solver process 22479 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.66 s, system=2.46149 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2513.43
CPU time (s): 2520.12
CPU user time (s): 2517.66
CPU system time (s): 2.46149
CPU usage (%): 100.266
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 2498752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.66
system time used= 2.46149
maximum resident set size= 2500120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 994275
page faults= 0
swaps= 0
block input operations= 0
block output operations= 69168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59746
involuntary context switches= 1883
# summary of solver processes directly reported to runsolver:
# pid: 22461,22479
# total CPU time (s): 2520.12
# total CPU user time (s): 2517.66
# total CPU system time (s): 2.46149
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6391 second user time and 30.0731 second system time
The end