0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-19784-serial-file.bin HOME/instance-4305669-1534065046.xml
0.55/0.52
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 11:10:47 CEST 2018
0.67/0.54 c PID: 19787
0.67/0.54 c IP: 172.20.3.135
0.67/0.54 c HOST: node135.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.38/0.96 c (0,0) Parsing End
1.38/0.96 c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 20
1.38/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.38/0.96 c (0,0) Constraint Name Generate Begin
1.38/0.97 c (0,0) Ctr:HOME/instance-4305669-1534065046.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.38/0.97 c (0,0) Constraint Name Generate End
1.38/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.38/0.97 c (0,0) CSP to CSPinCNF Begin
1.59/1.05 c (0,0) translated 6 (10%) constraints
1.59/1.05 c (0,0) translated 11 (20%) constraints
1.59/1.06 c (0,0) translated 16 (30%) constraints
1.59/1.06 c (0,0) translated 21 (40%) constraints
1.59/1.07 c (0,0) translated 26 (50%) constraints
1.59/1.07 c (0,0) translated 32 (60%) constraints
1.76/1.17 c (0,0) translated 37 (70%) constraints
1.94/1.22 c (0,0) translated 42 (80%) constraints
1.94/1.26 c (0,0) translated 47 (90%) constraints
2.23/1.30 c (0,0) translated 52 (100%) constraints
2.53/1.45 c (0,0) STATISTICS1:HOME/instance-4305669-1534065046.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,149,411,40,20,4,3,40:12;38:48;36:160;34:200;32:30;30:62;16:30;15:2;2:32;1:2,20:198;19:198;18:330;17:264;16:66;15:66;2:1088;1:34,4:136;3:80;2:160;1:35,3:544;2:34;1:544;0:17,
2.53/1.45 c (0,0) ==========================================
2.53/1.45 c (0,0) Both Encoding selects:
2.53/1.45 c (0,0) Order
2.53/1.45 c (0,0) ==========================================
2.53/1.46 c (0,0) translated 42 (10%) constraints
2.53/1.47 c (0,0) translated 83 (20%) constraints
2.53/1.47 c (0,0) translated 124 (30%) constraints
2.53/1.47 c (0,0) translated 165 (40%) constraints
2.53/1.48 c (0,0) translated 206 (50%) constraints
2.53/1.48 c (0,0) translated 247 (60%) constraints
2.53/1.49 c (0,0) translated 288 (70%) constraints
2.53/1.49 c (0,0) translated 329 (80%) constraints
2.53/1.49 c (0,0) translated 370 (90%) constraints
2.82/1.50 c (0,0) translated 411 (100%) constraints
2.82/1.50 c (0,0) CSP to CSPinCNF End
2.82/1.50 c (0,0) CSP: 68 int (0 aux), 81 bool (64 aux), 411 ctr, max domain size 20
2.82/1.50 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.82/1.50 c (0,0) CSPinCNF Propagation Begin
2.82/1.57 c (1,1) 0 values, 16 unsatisfiable literals, and 3 valid clauses are removed
2.82/1.57 c (1,1) CSPinCNF Propagation End
2.82/1.57 c (1,1) CSP: 68 int (0 aux), 81 bool (64 aux), 408 ctr, max domain size 20
2.82/1.57 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.82/1.57 c (1,1) Simplify CSPinCNF Begin
3.15/1.63 c (1,1) Simplify CSPinCNF End
3.15/1.64 c (1,1) CSP: 68 int (0 aux), 625 bool (608 aux), 952 ctr, max domain size 20
3.15/1.64 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.15/1.64 c (1,1) Calculate Precise Domain Begin
3.15/1.64 c (1,1) 0 values are removed by re-calculation
3.15/1.64 c (1,1) Calculate Precise Domain End
3.15/1.64 c (1,1) CSP: 68 int (0 aux), 625 bool (608 aux), 952 ctr, max domain size 20
3.15/1.64 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.15/1.64 c (1,1) CSPinCNF to SatSolver Begin
3.15/1.68 c (1,1) 96 (10 %) CSP clauses are encoded (1235 SAT variables, 639 SAT clauses)
3.15/1.69 c (1,1) 191 (20 %) CSP clauses are encoded (1235 SAT variables, 734 SAT clauses)
3.47/1.70 c (1,1) 286 (30 %) CSP clauses are encoded (1235 SAT variables, 1134 SAT clauses)
3.47/1.74 c (1,1) 381 (40 %) CSP clauses are encoded (1235 SAT variables, 3484 SAT clauses)
3.47/1.77 c (1,1) 476 (50 %) CSP clauses are encoded (1235 SAT variables, 5442 SAT clauses)
3.47/1.79 c (1,1) 572 (60 %) CSP clauses are encoded (1235 SAT variables, 7548 SAT clauses)
3.83/1.81 c (1,1) 667 (70 %) CSP clauses are encoded (1235 SAT variables, 9700 SAT clauses)
3.83/1.82 c (1,1) 762 (80 %) CSP clauses are encoded (1235 SAT variables, 11895 SAT clauses)
3.83/1.84 c (1,1) 857 (90 %) CSP clauses are encoded (1235 SAT variables, 13705 SAT clauses)
3.83/1.86 c (1,1) 952 (100 %) CSP clauses are encoded (1235 SAT variables, 15549 SAT clauses)
3.83/1.86 c (1,1) Launch Command will be: minisat_release
3.83/1.86 c (1,1) CSPinCNF to SatSolver End
3.83/1.86 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.83/1.88 c (1,1) STATISTICS2:HOME/instance-4305669-1534065046.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,693,952,40,20,4,3,40:12;38:48;36:160;34:200;32:30;30:62;16:30;15:2;2:32,20:198;19:198;18:330;17:264;16:64;15:66;2:2176;1:32,4:136;3:64;2:720;1:32,3:544;2:32;1:1632,
3.83/1.88 c (1,1) 1235 bool, 15572 clause
3.83/1.88 c (1,1) Export Begin
4.13/1.98 c (1,1) Export to HOME/scop-19784-serial-file.bin
4.13/1.98 c (1,1) Export End
4.13/1.99 c (1,1) Export File Size: 0.02 MB
4.13/1.99 c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
4.13/1.99 c END-Prog: Sun Aug 12 11:10:48 CEST 2018
0.00/2.01 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-19784-serial-file.bin
4.45/2.49 c (0,0) Read Serial File Begin
4.45/2.49 c (0,0) HOME/scop-19784-serial-file.bin
4.45/2.68 c (0,0) Read Serial File End
4.45/2.69
4.45/2.69 scop order+minisat_release (2018-07-31)
4.45/2.69 (Solving Process)
4.45/2.69
4.45/2.71 c BEGIN-Prog: Sun Aug 12 11:10:49 CEST 2018
4.45/2.71 c PID: 19808
4.45/2.71 c IP: 172.20.3.135
4.45/2.71 c HOST: node135.alineos.net
4.45/2.72 c (0,0) SatSolver.solve Begin
4.45/2.72 c (0,0) 0 bool, 0 clause
4.45/2.72 c (0,0) minisat_release HOME/instance-4305669-1534065046.xml-scop-19787.cnf
9.96/7.12 c (4,0) c This is COMiniSatPS.
9.96/7.12 c (4,0) c WARNING: for repeatability, setting FPU to use double precision
9.96/7.12 c (4,0) c ============================[ Problem Statistics ]=============================
9.96/7.12 c (4,0) c | |
9.96/7.12 c (4,0) c | Number of variables: 1235 |
9.96/7.12 c (4,0) c | Number of clauses: 15572 |
9.96/7.12 c (4,0) c | Parse time: 0.00 s |
9.96/7.12 c (4,0) c | Eliminated clauses: 0.01 Mb |
9.96/7.12 c (4,0) c Reduced to 1002 vars, 15196 cls (grow=0)
9.96/7.12 c (4,0) c No iterative elimination performed. (vars=1002, c/v ratio=15.2)
9.96/7.12 c (4,0) c | Simplification time: 0.02 s |
9.96/7.12 c (4,0) c | |
9.96/7.12 c (4,0) c ============================[ Search Statistics ]==============================
9.96/7.12 c (4,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
9.96/7.12 c (4,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.96/7.12 c (4,0) c ===============================================================================
9.96/7.12 c (4,0) c ===============================================================================
9.96/7.12 c (4,0) c restarts : 285
9.96/7.12 c (4,0) c conflicts : 103578 (23726 /sec)
9.96/7.12 c (4,0) c decisions : 194293 (0.00 % random) (44506 /sec)
9.96/7.12 c (4,0) c propagations : 7445895 (1705614 /sec)
9.96/7.12 c (4,0) c conflict literals : 3174862 (25.78 % deleted)
9.96/7.12 c (4,0) c CPU time : 4.36552 s
9.96/7.12 c (4,0)
9.96/7.12 c (4,0) s SATISFIABLE
9.96/7.14 c (4,0) SatSolver.solve End
9.96/7.14 c (4,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
9.96/7.14 c (4,0) Show results Begin
9.96/7.19 s SATISFIABLE
9.96/7.20 v <instantiation>
9.96/7.20 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16]</list>
9.96/7.20 v <values>12 16 12 6 0 0 6 0 8 4 13 9 8 16 0 0 6 9 0 0 8 0 3 3 4 13 3 9 0 18 5 5 10 13 1 4 4 3 9 4 3 4 5 2 3 3 8 4 4 6 2 4 5 9 5 3 1 5 1 5 7 9 13 2 15 5 10 7 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1</values>
9.96/7.20 v </instantiation>
9.96/7.20 c (4,0) Show results End
9.96/7.20 c (4,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
9.96/7.20 c (4,0) 4,4,STOP-AFTER(ALL)
9.96/7.20 c END-Prog: Sun Aug 12 11:10:53 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 (6832 MiB free)
memory of node 1: 16384 MiB (4639 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305669-1534065046/watcher-4305669-1534065046 -o /tmp/evaluation-result-4305669-1534065046/solver-4305669-1534065046 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19415 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305669-1534065046.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19784, runsolver pid=19781
Current StackSize limit: 8192 KiB
[startup+0.100145 s]*
/proc/loadavg: 2.00 2.01 1.97 4/221 19801
/proc/meminfo: memFree=11665408/32770624 swapFree=67108860/67108860
[pid=19784] ppid=19781 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19784/stat : 19784 (scop.sh) S 19781 19784 19383 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224067789 115843072 349 33554432000 4194304 5098028 140736758186592 140736758183848 140344064467580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32051200 140736758191169 140736758191367 140736758191367 140736758194125 0
/proc/19784/statm: 28282 349 296 221 0 87 0
[pid=19787] ppid=19784 vsize=15012476 memory=73408 CPUtime=0.11 cores=1,3,5,7
/proc/19787/stat : 19787 (java) S 19784 19784 19383 0 -1 1077944320 6961 0 0 0 9 2 0 0 20 0 15 0 224067789 15372775424 18352 33554432000 4194304 4196468 140728533842896 140728533825440 140045617442551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
/proc/19787/statm: 3753119 18352 2767 1 0 3715579 0
[pid=19787/tid=19788] ppid=19784 vsize=15012476 memory=8514701219881124769 CPUtime=0.09 cores=1,3,5,7
/proc/19787/task/19788/stat : 19788 (java) R 19784 19784 19383 0 -1 4202560 5050 0 0 0 7 2 0 0 20 0 15 0 224067790 15372775424 18352 33554432000 4194304 4196468 140728533842896 140045589219632 140045594666704 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19789] ppid=19784 vsize=15012476 memory=3472468470984332496 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19789/stat : 19789 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067791 15372775424 18352 33554432000 4194304 4196468 140728533842896 140045621685008 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19790] ppid=19784 vsize=15012476 memory=140342089180800 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19790/stat : 19790 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067791 15372775424 18352 33554432000 4194304 4196468 140728533842896 140045397388176 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19791] ppid=19784 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19791/stat : 19791 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067791 15372775424 18352 33554432000 4194304 4196468 140728533842896 140045396335632 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19792] ppid=19784 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19792/stat : 19792 (java) S 19784 19784 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224067791 15372775424 18352 33554432000 4194304 4196468 140728533842896 140045075868816 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19793] ppid=19784 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19793/stat : 19793 (java) S 19784 19784 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224067793 15372775424 18352 33554432000 4194304 4196468 140728533842896 140044957063152 140045617453698 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19794] ppid=19784 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19794/stat : 19794 (java) S 19784 19784 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224067793 15372775424 18352 33554432000 4194304 4196468 140728533842896 140044220228512 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19795] ppid=19784 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19795/stat : 19795 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067793 15372775424 18352 33554432000 4194304 4196468 140728533842896 140043985347568 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19796] ppid=19784 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19796/stat : 19796 (java) S 19784 19784 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224067796 15372775424 18352 33554432000 4194304 4196468 140728533842896 140043610839248 140045617461147 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19797] ppid=19784 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19797/stat : 19797 (java) S 19784 19784 19383 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 224067796 15372775424 18352 33554432000 4194304 4196468 140728533842896 140044956010992 140045617453698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19798] ppid=19784 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19798/stat : 19798 (java) S 19784 19784 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224067796 15372775424 18352 33554432000 4194304 4196468 140728533842896 140044954958448 140045617453698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19799] ppid=19784 vsize=15012476 memory=140342089180800 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19799/stat : 19799 (java) S 19784 19784 19383 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 224067796 15372775424 18352 33554432000 4194304 4196468 140728533842896 140044953905904 140045617453698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19800] ppid=19784 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19800/stat : 19800 (java) S 19784 19784 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224067796 15372775424 18352 33554432000 4194304 4196468 140728533842896 140043112934496 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19801] ppid=19784 vsize=15012476 memory=140342089180800 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19801/stat : 19801 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067796 15372775424 18352 33554432000 4194304 4196468 140728533842896 140044952852784 140045617453698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74804 KiB
[startup+0.211448 s]*
/proc/loadavg: 2.00 2.01 1.97 3/221 19801
/proc/meminfo: memFree=11645252/32770624 swapFree=67108860/67108860
[pid=19784] ppid=19781 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19784/stat : 19784 (scop.sh) S 19781 19784 19383 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224067789 115843072 349 33554432000 4194304 5098028 140736758186592 140736758183848 140344064467580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32051200 140736758191169 140736758191367 140736758191367 140736758194125 0
/proc/19784/statm: 28282 349 296 221 0 87 0
[pid=19787] ppid=19784 vsize=15012476 memory=86492 CPUtime=0.26 cores=1,3,5,7
/proc/19787/stat : 19787 (java) S 19784 19784 19383 0 -1 1077944320 10481 0 0 0 22 4 0 0 20 0 15 0 224067789 15372775424 21623 33554432000 4194304 4196468 140728533842896 140728533825440 140045617442551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
/proc/19787/statm: 3753119 21623 2870 1 0 3715579 0
[pid=19787/tid=19788] ppid=19784 vsize=15012476 memory=5855087028934049954 CPUtime=0.19 cores=1,3,5,7
/proc/19787/task/19788/stat : 19788 (java) R 19784 19784 19383 0 -1 4202560 8388 0 0 0 17 2 0 0 20 0 15 0 224067790 15372775424 21623 33554432000 4194304 4196468 140728533842896 140045589231152 140045075950821 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19789] ppid=19784 vsize=15012476 memory=3472468470984332496 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19789/stat : 19789 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067791 15372775424 21623 33554432000 4194304 4196468 140728533842896 140045621685008 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19790] ppid=19784 vsize=15012476 memory=140342089180800 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19790/stat : 19790 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067791 15372775424 21623 33554432000 4194304 4196468 140728533842896 140045397388176 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19791] ppid=19784 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19791/stat : 19791 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067791 15372775424 21623 33554432000 4194304 4196468 140728533842896 140045396335632 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19792] ppid=19784 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19792/stat : 19792 (java) S 19784 19784 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224067791 15372775424 21623 33554432000 4194304 4196468 140728533842896 140045075868816 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19793] ppid=19784 vsize=15012476 memory=140342089180800 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19793/stat : 19793 (java) S 19784 19784 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224067793 15372775424 21623 33554432000 4194304 4196468 140728533842896 140044957063152 140045617453698 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19794] ppid=19784 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19794/stat : 19794 (java) S 19784 19784 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224067793 15372775424 21623 33554432000 4194304 4196468 140728533842896 140044220228512 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19795] ppid=19784 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19795/stat : 19795 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067793 15372775424 21623 33554432000 4194304 4196468 140728533842896 140043985347568 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19796] ppid=19784 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19796/stat : 19796 (java) S 19784 19784 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224067796 15372775424 21623 33554432000 4194304 4196468 140728533842896 140043610839248 140045617461147 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19797] ppid=19784 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19797/stat : 19797 (java) S 19784 19784 19383 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 224067796 15372775424 21623 33554432000 4194304 4196468 140728533842896 140044956002640 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19798] ppid=19784 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19798/stat : 19798 (java) R 19784 19784 19383 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 224067796 15372775424 21623 33554432000 4194304 4196468 140728533842896 140044954958544 140045617452757 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19799] ppid=19784 vsize=15012476 memory=140342089180800 CPUtime=0.03 cores=1,3,5,7
/proc/19787/task/19799/stat : 19799 (java) R 19784 19784 19383 0 -1 4202560 290 0 0 0 3 0 0 0 20 0 15 0 224067796 15372775424 21623 33554432000 4194304 4196468 140728533842896 140044953905904 140045617454486 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19800] ppid=19784 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19800/stat : 19800 (java) S 19784 19784 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224067796 15372775424 21623 33554432000 4194304 4196468 140728533842896 140043112934496 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19801] ppid=19784 vsize=15012476 memory=140342089180800 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19801/stat : 19801 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067796 15372775424 21623 33554432000 4194304 4196468 140728533842896 140044952852784 140045617453698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87888 KiB
[startup+0.310736 s]*
/proc/loadavg: 2.00 2.01 1.97 6/221 19801
/proc/meminfo: memFree=11637436/32770624 swapFree=67108860/67108860
[pid=19784] ppid=19781 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19784/stat : 19784 (scop.sh) S 19781 19784 19383 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224067789 115843072 349 33554432000 4194304 5098028 140736758186592 140736758183848 140344064467580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32051200 140736758191169 140736758191367 140736758191367 140736758194125 0
/proc/19784/statm: 28282 349 296 221 0 87 0
[pid=19787] ppid=19784 vsize=15012476 memory=90280 CPUtime=0.43 cores=1,3,5,7
/proc/19787/stat : 19787 (java) S 19784 19784 19383 0 -1 1077944320 11010 0 0 0 39 4 0 0 20 0 15 0 224067789 15372775424 22570 33554432000 4194304 4196468 140728533842896 140728533825440 140045617442551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
/proc/19787/statm: 3753119 22570 3020 1 0 3715579 0
[pid=19787/tid=19788] ppid=19784 vsize=15012476 memory=8514701219881124769 CPUtime=0.3 cores=1,3,5,7
/proc/19787/task/19788/stat : 19788 (java) R 19784 19784 19383 0 -1 4202560 8760 0 0 0 27 3 0 0 20 0 15 0 224067790 15372775424 22570 33554432000 4194304 4196468 140728533842896 140045589237552 140045617454486 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19789] ppid=19784 vsize=15012476 memory=3472468470984332496 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19789/stat : 19789 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067791 15372775424 22570 33554432000 4194304 4196468 140728533842896 140045621685008 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19790] ppid=19784 vsize=15012476 memory=140342089180800 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19790/stat : 19790 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067791 15372775424 22570 33554432000 4194304 4196468 140728533842896 140045397388176 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19791] ppid=19784 vsize=15012476 memory=1 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19791/stat : 19791 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067791 15372775424 22570 33554432000 4194304 4196468 140728533842896 140045396335632 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19792] ppid=19784 vsize=15012476 memory=140341948852255 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19792/stat : 19792 (java) S 19784 19784 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224067791 15372775424 22570 33554432000 4194304 4196468 140728533842896 140045075868816 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19793] ppid=19784 vsize=15012476 memory=280683897665280 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19793/stat : 19793 (java) S 19784 19784 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224067793 15372775424 22570 33554432000 4194304 4196468 140728533842896 140044957063152 140045617453698 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19794] ppid=19784 vsize=15012476 memory=140341948829199 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19794/stat : 19794 (java) S 19784 19784 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224067793 15372775424 22570 33554432000 4194304 4196468 140728533842896 140044220228512 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19795] ppid=19784 vsize=15012476 memory=280684038019168 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19795/stat : 19795 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067793 15372775424 22570 33554432000 4194304 4196468 140728533842896 140043985347568 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19796] ppid=19784 vsize=15012476 memory=140341948833807 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19796/stat : 19796 (java) S 19784 19784 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224067796 15372775424 22570 33554432000 4194304 4196468 140728533842896 140043610839248 140045617461147 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19797] ppid=19784 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19787/task/19797/stat : 19797 (java) R 19784 19784 19383 0 -1 1077944384 543 0 0 0 2 0 0 0 20 0 15 0 224067796 15372775424 22570 33554432000 4194304 4196468 140728533842896 140044956010992 140045617453698 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19798] ppid=19784 vsize=15012476 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/19787/task/19798/stat : 19798 (java) R 19784 19784 19383 0 -1 4202560 67 0 0 0 1 0 0 0 20 0 15 0 224067796 15372775424 22570 33554432000 4194304 4196468 140728533842896 140044954958448 140045610427593 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19799] ppid=19784 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19787/task/19799/stat : 19799 (java) R 19784 19784 19383 0 -1 4202560 309 0 0 0 7 0 0 0 20 0 15 0 224067796 15372775424 22570 33554432000 4194304 4196468 140728533842896 140044953905904 140045617454486 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19800] ppid=19784 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19800/stat : 19800 (java) S 19784 19784 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224067796 15372775424 22570 33554432000 4194304 4196468 140728533842896 140043112934496 140045617452757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19801] ppid=19784 vsize=15012476 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19801/stat : 19801 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067796 15372775424 22570 33554432000 4194304 4196468 140728533842896 140044952852784 140045617453698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91676 KiB
[startup+0.700803 s]
/proc/loadavg: 2.00 2.01 1.97 3/226 19807
/proc/meminfo: memFree=11593192/32770624 swapFree=67108860/67108860
[pid=19784] ppid=19781 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19784/stat : 19784 (scop.sh) S 19781 19784 19383 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224067789 115843072 349 33554432000 4194304 5098028 140736758186592 140736758183848 140344064467580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32051200 140736758191169 140736758191367 140736758191367 140736758194125 0
/proc/19784/statm: 28282 349 296 221 0 87 0
[pid=19787] ppid=19784 vsize=15020872 memory=129640 CPUtime=1.01 cores=1,3,5,7
/proc/19787/stat : 19787 (java) S 19784 19784 19383 0 -1 1077944320 18119 0 0 0 95 6 0 0 20 0 15 0 224067789 15381372928 32410 33554432000 4194304 4196468 140728533842896 140728533825440 140045617442551 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
/proc/19787/statm: 3755218 32410 3147 1 0 3716603 0
[pid=19787/tid=19788] ppid=19784 vsize=15020872 memory=1444 CPUtime=0.66 cores=1,3,5,7
/proc/19787/task/19788/stat : 19788 (java) R 19784 19784 19383 0 -1 4202560 15395 0 0 0 62 4 0 0 20 0 15 0 224067790 15381372928 32410 33554432000 4194304 4196468 140728533842896 140045589278768 140045617454486 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19789] ppid=19784 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19789/stat : 19789 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067791 15381372928 32410 33554432000 4194304 4196468 140728533842896 140045621685008 140045617452757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19790] ppid=19784 vsize=15020872 memory=968 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19790/stat : 19790 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067791 15381372928 32410 33554432000 4194304 4196468 140728533842896 140045397388176 140045617452757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19791] ppid=19784 vsize=15020872 memory=12144 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19791/stat : 19791 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067791 15381372928 32410 33554432000 4194304 4196468 140728533842896 140045396335632 140045617452757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19792] ppid=19784 vsize=15020872 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19792/stat : 19792 (java) S 19784 19784 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224067791 15381372928 32410 33554432000 4194304 4196468 140728533842896 140045075868816 140045617452757 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19793] ppid=19784 vsize=15020872 memory=8812 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19793/stat : 19793 (java) S 19784 19784 19383 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 224067793 15381372928 32410 33554432000 4194304 4196468 140728533842896 140044957063152 140045617453698 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19794] ppid=19784 vsize=15020872 memory=4576 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19794/stat : 19794 (java) S 19784 19784 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224067793 15381372928 32410 33554432000 4194304 4196468 140728533842896 140044220228512 140045617452757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19795] ppid=19784 vsize=15020872 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19795/stat : 19795 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067793 15381372928 32410 33554432000 4194304 4196468 140728533842896 140043985347568 140045617452757 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19796] ppid=19784 vsize=15020872 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19796/stat : 19796 (java) S 19784 19784 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224067796 15381372928 32410 33554432000 4194304 4196468 140728533842896 140043610839248 140045617461147 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19797] ppid=19784 vsize=15020872 memory=60964 CPUtime=0.07 cores=1,3,5,7
/proc/19787/task/19797/stat : 19797 (java) R 19784 19784 19383 0 -1 1077944384 609 0 0 0 7 0 0 0 20 0 15 0 224067796 15381372928 32410 33554432000 4194304 4196468 140728533842896 140044956010992 140045617453698 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19798] ppid=19784 vsize=15020872 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/19787/task/19798/stat : 19798 (java) S 19784 19784 19383 0 -1 1077944384 326 0 0 0 8 0 0 0 20 0 15 0 224067796 15381372928 32410 33554432000 4194304 4196468 140728533842896 140044954958448 140045617453698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19799] ppid=19784 vsize=15020872 memory=2432 CPUtime=0.16 cores=1,3,5,7
/proc/19787/task/19799/stat : 19799 (java) S 19784 19784 19383 0 -1 1077944384 456 0 0 0 16 0 0 0 20 0 15 0 224067796 15381372928 32410 33554432000 4194304 4196468 140728533842896 140044953905904 140045617453698 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19800] ppid=19784 vsize=15020872 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19800/stat : 19800 (java) S 19784 19784 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224067796 15381372928 32410 33554432000 4194304 4196468 140728533842896 140043112934496 140045617452757 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
[pid=19787/tid=19801] ppid=19784 vsize=15020872 memory=792 CPUtime=0 cores=1,3,5,7
/proc/19787/task/19801/stat : 19801 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224067796 15381372928 32410 33554432000 4194304 4196468 140728533842896 140044952852784 140045617453698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15781888 140728533844999 140728533845297 140728533845297 140728533848015 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131036 KiB
[startup+1.5011 s]
/proc/loadavg: 2.00 2.01 1.97 4/226 19807
/proc/meminfo: memFree=11559544/32770624 swapFree=67108860/67108860
[pid=19784] ppid=19781 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19784/stat : 19784 (scop.sh) S 19781 19784 19383 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 224067789 115843072 349 33554432000 4194304 5098028 140736758186592 140736758183848 140344064467580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32051200 140736758191169 140736758191367 140736758191367 140736758194125 0
/proc/19784/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 8211800 KiB
Current children cumulated memory: 129416 KiB
[startup+7.21168 s]
# the end of solver process 19784 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.96005 s, system=0.211489 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4011 s]
/proc/loadavg: 2.00 2.01 1.97 3/231 19828
/proc/meminfo: memFree=11571656/32770624 swapFree=67108860/67108860
[pid=19784] ppid=19781 vsize=113128 memory=1472 CPUtime=4.45 cores=1,3,5,7
/proc/19784/stat : 19784 (scop.sh) S 19781 19784 19383 0 -1 4202496 591 25440 0 0 0 0 432 13 20 0 1 0 224067789 115843072 368 33554432000 4194304 5098028 140736758186592 140736758183336 140344064467580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32051200 140736758191169 140736758191367 140736758191367 140736758194125 0
/proc/19784/statm: 28282 368 311 221 0 87 0
[pid=19808] ppid=19784 vsize=8068220 memory=114604 CPUtime=1.15 cores=1,3,5,7
/proc/19808/stat : 19808 (java) S 19784 19784 19383 0 -1 1077944320 17973 0 0 0 111 4 0 0 20 0 19 0 224067990 8261857280 28651 33554432000 4194304 4196468 140722891383168 140722891365712 140225844952823 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
/proc/19808/statm: 2017055 28651 3138 1 0 1978454 0
[pid=19823] ppid=19808 vsize=37524 memory=15892 CPUtime=3.65 cores=1,3,5,7
/proc/19823/stat : 19823 (minisat_release) R 19808 19784 19383 0 -1 4202496 5503 0 0 0 364 1 0 0 20 0 1 0 224068063 38424576 3973 33554432000 4194304 4308513 140721034855504 140721034852408 4267351 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 33402880 140721034863732 140721034863830 140721034863830 140721034866629 0
/proc/19823/statm: 9381 3973 336 28 0 5621 0
[pid=19808/tid=19809] ppid=19784 vsize=8068220 memory=-7824251494390521187 CPUtime=0.75 cores=1,3,5,7
/proc/19808/task/19809/stat : 19809 (java) S 19784 19784 19383 0 -1 1077944384 15116 0 0 0 72 3 0 0 20 0 19 0 224067991 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225816792976 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19810] ppid=19784 vsize=8068220 memory=7233713810075445346 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19810/stat : 19810 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224067992 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225849195664 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19811] ppid=19784 vsize=8068220 memory=6933690330692294553 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19811/stat : 19811 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224067992 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225330277392 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19812] ppid=19784 vsize=8068220 memory=-9108684669924967205 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19812/stat : 19812 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224067992 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225329224592 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19813] ppid=19784 vsize=8068220 memory=7380385388137112419 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19813/stat : 19813 (java) S 19784 19784 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224067992 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225328171792 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19814] ppid=19784 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19814/stat : 19814 (java) S 19784 19784 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224067993 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225089964400 140225844963970 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19815] ppid=19784 vsize=8068220 memory=140341949155741 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19815/stat : 19815 (java) S 19784 19784 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224067994 8261857280 28651 33554432000 4194304 4196468 140722891383168 140224709518368 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19816] ppid=19784 vsize=8068220 memory=280683898271664 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19816/stat : 19816 (java) S 19784 19784 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224067994 8261857280 28651 33554432000 4194304 4196468 140722891383168 140224575296368 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19817] ppid=19784 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19817/stat : 19817 (java) S 19784 19784 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224067996 8261857280 28651 33554432000 4194304 4196468 140722891383168 140224200791888 140225844971419 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19818] ppid=19784 vsize=8068220 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/19808/task/19818/stat : 19818 (java) S 19784 19784 19383 0 -1 1077944384 694 0 0 0 11 0 0 0 20 0 19 0 224067996 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225088912240 140225844963970 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19819] ppid=19784 vsize=8068220 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/19808/task/19819/stat : 19819 (java) S 19784 19784 19383 0 -1 1077944384 164 0 0 0 6 0 0 0 20 0 19 0 224067996 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225087859440 140225844963970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19820] ppid=19784 vsize=8068220 memory=2432 CPUtime=0.21 cores=1,3,5,7
/proc/19808/task/19820/stat : 19820 (java) S 19784 19784 19383 0 -1 1077944384 567 0 0 0 21 0 0 0 20 0 19 0 224067996 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225086806640 140225844963970 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19821] ppid=19784 vsize=8068220 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19821/stat : 19821 (java) S 19784 19784 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224067996 8261857280 28651 33554432000 4194304 4196468 140722891383168 140223702887136 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19822] ppid=19784 vsize=8068220 memory=792 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19822/stat : 19822 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224067997 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225085754032 140225844963970 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19824] ppid=19784 vsize=8068220 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19824/stat : 19824 (java) S 19784 19784 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224068064 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225077945536 140225844977433 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19826] ppid=19784 vsize=8068220 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19826/stat : 19826 (java) S 19784 19784 19383 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224068064 8261857280 28651 33554432000 4194304 4196468 140722891383168 140223166000400 140225844974749 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19827] ppid=19784 vsize=8068220 memory=5772 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19827/stat : 19827 (java) S 19784 19784 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224068064 8261857280 28651 33554432000 4194304 4196468 140722891383168 140223300223120 140225844974749 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19828] ppid=19784 vsize=8068220 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19828/stat : 19828 (java) S 19784 19784 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224068066 8261857280 28651 33554432000 4194304 4196468 140722891383168 140222897577632 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
Current children cumulated CPU time: 9.25 s
Current children cumulated vsize: 8218872 KiB
Current children cumulated memory: 131968 KiB
[startup+6.80084 s]
/proc/loadavg: 2.00 2.01 1.97 3/231 19828
/proc/meminfo: memFree=11571656/32770624 swapFree=67108860/67108860
[pid=19784] ppid=19781 vsize=113128 memory=1472 CPUtime=4.45 cores=1,3,5,7
/proc/19784/stat : 19784 (scop.sh) S 19781 19784 19383 0 -1 4202496 591 25440 0 0 0 0 432 13 20 0 1 0 224067789 115843072 368 33554432000 4194304 5098028 140736758186592 140736758183336 140344064467580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32051200 140736758191169 140736758191367 140736758191367 140736758194125 0
/proc/19784/statm: 28282 368 311 221 0 87 0
[pid=19808] ppid=19784 vsize=8068220 memory=114604 CPUtime=1.15 cores=1,3,5,7
/proc/19808/stat : 19808 (java) S 19784 19784 19383 0 -1 1077944320 17973 0 0 0 111 4 0 0 20 0 19 0 224067990 8261857280 28651 33554432000 4194304 4196468 140722891383168 140722891365712 140225844952823 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
/proc/19808/statm: 2017055 28651 3138 1 0 1978454 0
[pid=19823] ppid=19808 vsize=37524 memory=20380 CPUtime=4.05 cores=1,3,5,7
/proc/19823/stat : 19823 (minisat_release) R 19808 19784 19383 0 -1 4202496 6315 0 0 0 404 1 0 0 20 0 1 0 224068063 38424576 5095 33554432000 4194304 4308513 140721034855504 140721034852408 4289173 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 33402880 140721034863732 140721034863830 140721034863830 140721034866629 0
/proc/19823/statm: 9381 5095 336 28 0 5621 0
[pid=19808/tid=19809] ppid=19784 vsize=8068220 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/19808/task/19809/stat : 19809 (java) S 19784 19784 19383 0 -1 1077944384 15116 0 0 0 72 3 0 0 20 0 19 0 224067991 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225816792976 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19810] ppid=19784 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19810/stat : 19810 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224067992 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225849195664 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19811] ppid=19784 vsize=8068220 memory=-2247047206207641111 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19811/stat : 19811 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224067992 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225330277392 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19812] ppid=19784 vsize=8068220 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19812/stat : 19812 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224067992 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225329224592 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19813] ppid=19784 vsize=8068220 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19813/stat : 19813 (java) S 19784 19784 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224067992 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225328171792 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19814] ppid=19784 vsize=8068220 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19814/stat : 19814 (java) S 19784 19784 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224067993 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225089964400 140225844963970 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19815] ppid=19784 vsize=8068220 memory=-7812736537705029536 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19815/stat : 19815 (java) S 19784 19784 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224067994 8261857280 28651 33554432000 4194304 4196468 140722891383168 140224709518368 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19816] ppid=19784 vsize=8068220 memory=1399103955520229747 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19816/stat : 19816 (java) S 19784 19784 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224067994 8261857280 28651 33554432000 4194304 4196468 140722891383168 140224575296368 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19817] ppid=19784 vsize=8068220 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19817/stat : 19817 (java) S 19784 19784 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224067996 8261857280 28651 33554432000 4194304 4196468 140722891383168 140224200791888 140225844971419 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19818] ppid=19784 vsize=8068220 memory=4132774494331964790 CPUtime=0.11 cores=1,3,5,7
/proc/19808/task/19818/stat : 19818 (java) S 19784 19784 19383 0 -1 1077944384 694 0 0 0 11 0 0 0 20 0 19 0 224067996 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225088912240 140225844963970 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19819] ppid=19784 vsize=8068220 memory=8508281339140727949 CPUtime=0.06 cores=1,3,5,7
/proc/19808/task/19819/stat : 19819 (java) S 19784 19784 19383 0 -1 1077944384 164 0 0 0 6 0 0 0 20 0 19 0 224067996 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225087859440 140225844963970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19820] ppid=19784 vsize=8068220 memory=-7824251494390521187 CPUtime=0.21 cores=1,3,5,7
/proc/19808/task/19820/stat : 19820 (java) S 19784 19784 19383 0 -1 1077944384 567 0 0 0 21 0 0 0 20 0 19 0 224067996 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225086806640 140225844963970 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19821] ppid=19784 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19821/stat : 19821 (java) S 19784 19784 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224067996 8261857280 28651 33554432000 4194304 4196468 140722891383168 140223702887136 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19822] ppid=19784 vsize=8068220 memory=6788 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19822/stat : 19822 (java) S 19784 19784 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224067997 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225085754032 140225844963970 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19824] ppid=19784 vsize=8068220 memory=3560 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19824/stat : 19824 (java) S 19784 19784 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224068064 8261857280 28651 33554432000 4194304 4196468 140722891383168 140225077945536 140225844977433 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19826] ppid=19784 vsize=8068220 memory=60964 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19826/stat : 19826 (java) S 19784 19784 19383 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224068064 8261857280 28651 33554432000 4194304 4196468 140722891383168 140223166000400 140225844974749 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19827] ppid=19784 vsize=8068220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19827/stat : 19827 (java) S 19784 19784 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224068064 8261857280 28651 33554432000 4194304 4196468 140722891383168 140223300223120 140225844974749 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19828] ppid=19784 vsize=8068220 memory=15620 CPUtime=0 cores=1,3,5,7
/proc/19808/task/19828/stat : 19828 (java) S 19784 19784 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224068066 8261857280 28651 33554432000 4194304 4196468 140722891383168 140222897577632 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
Current children cumulated CPU time: 9.65 s
Current children cumulated vsize: 8218872 KiB
Current children cumulated memory: 136456 KiB
[startup+7.20467 s]
/proc/loadavg: 2.00 2.01 1.97 3/231 19828
/proc/meminfo: memFree=11557280/32770624 swapFree=67108860/67108860
[pid=19784] ppid=19781 vsize=113128 memory=1472 CPUtime=4.45 cores=1,3,5,7
/proc/19784/stat : 19784 (scop.sh) S 19781 19784 19383 0 -1 4202496 591 25440 0 0 0 0 432 13 20 0 1 0 224067789 115843072 368 33554432000 4194304 5098028 140736758186592 140736758183336 140344064467580 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32051200 140736758191169 140736758191367 140736758191367 140736758194125 0
/proc/19784/statm: 28282 368 311 221 0 87 0
[pid=19808] ppid=19784 vsize=7937144 memory=121300 CPUtime=5.68 cores=1,3,5,7
/proc/19808/stat : 19808 (java) S 19784 19784 19383 0 -1 1077944320 18596 7041 0 0 126 5 436 1 20 0 17 0 224067990 8127635456 30325 33554432000 4194304 4196468 140722891383168 140722891365712 140225844952823 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
/proc/19808/statm: 1984286 30325 3153 1 0 1945685 0
[pid=19808/tid=19809] ppid=19784 vsize=7937144 memory=1712 CPUtime=5.18 cores=1,3,5,7
/proc/19808/task/19809/stat : 19809 (java) R 19784 19784 19383 0 -1 4202560 15308 7041 0 0 78 3 436 1 20 0 17 0 224067991 8127635456 30325 33554432000 4194304 4196468 140722891383168 140225816791248 140225844974653 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19810] ppid=19784 vsize=7937144 memory=8812 CPUtime=4.37 cores=1,3,5,7
/proc/19808/task/19810/stat : 19810 (java) S 19784 19784 19383 0 -1 1077944384 1 7041 0 0 0 0 436 1 20 0 17 0 224067992 8127635456 30390 33554432000 4194304 4196468 140722891383168 140225849195664 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19811] ppid=19784 vsize=7937144 memory=4576 CPUtime=4.37 cores=1,3,5,7
/proc/19808/task/19811/stat : 19811 (java) S 19784 19784 19383 0 -1 1077944384 1 7041 0 0 0 0 436 1 20 0 17 0 224067992 8127635456 30390 33554432000 4194304 4196468 140722891383168 140225330277392 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19812] ppid=19784 vsize=7937144 memory=1472 CPUtime=4.37 cores=1,3,5,7
/proc/19808/task/19812/stat : 19812 (java) S 19784 19784 19383 0 -1 1077944384 1 7041 0 0 0 0 436 1 20 0 17 0 224067992 8127635456 30390 33554432000 4194304 4196468 140722891383168 140225329224592 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19813] ppid=19784 vsize=7937144 memory=1472 CPUtime=4.37 cores=1,3,5,7
/proc/19808/task/19813/stat : 19813 (java) S 19784 19784 19383 0 -1 1077944384 2 7041 0 0 0 0 436 1 20 0 17 0 224067992 8127635456 30390 33554432000 4194304 4196468 140722891383168 140225328171792 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19814] ppid=19784 vsize=7937144 memory=114604 CPUtime=4.37 cores=1,3,5,7
/proc/19808/task/19814/stat : 19814 (java) S 19784 19784 19383 0 -1 1077944384 5 7041 0 0 0 0 436 1 20 0 17 0 224067993 8127635456 30390 33554432000 4194304 4196468 140722891383168 140225089964400 140225844963970 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19815] ppid=19784 vsize=7937144 memory=20244 CPUtime=4.37 cores=1,3,5,7
/proc/19808/task/19815/stat : 19815 (java) S 19784 19784 19383 0 -1 1077944384 13 7041 0 0 0 0 436 1 20 0 17 0 224067994 8127635456 30390 33554432000 4194304 4196468 140722891383168 140224709518368 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19816] ppid=19784 vsize=7937144 memory=6011304278761958500 CPUtime=4.37 cores=1,3,5,7
/proc/19808/task/19816/stat : 19816 (java) S 19784 19784 19383 0 -1 1077944384 21 7041 0 0 0 0 436 1 20 0 17 0 224067994 8127635456 30390 33554432000 4194304 4196468 140722891383168 140224575296368 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19817] ppid=19784 vsize=7937144 memory=7236269117979978865 CPUtime=4.37 cores=1,3,5,7
/proc/19808/task/19817/stat : 19817 (java) S 19784 19784 19383 0 -1 1077944384 3 7041 0 0 0 0 436 1 20 0 17 0 224067996 8127635456 30390 33554432000 4194304 4196468 140722891383168 140224200791888 140225844971419 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19818] ppid=19784 vsize=7937144 memory=7236269117979978865 CPUtime=4.5 cores=1,3,5,7
/proc/19808/task/19818/stat : 19818 (java) S 19784 19784 19383 0 -1 1077944384 709 7041 0 0 13 0 436 1 20 0 17 0 224067996 8127635456 30390 33554432000 4194304 4196468 140722891383168 140225088912240 140225844963970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19819] ppid=19784 vsize=7937144 memory=164 CPUtime=4.44 cores=1,3,5,7
/proc/19808/task/19819/stat : 19819 (java) S 19784 19784 19383 0 -1 1077944384 268 7041 0 0 7 0 436 1 20 0 17 0 224067996 8127635456 30390 33554432000 4194304 4196468 140722891383168 140225087859440 140225844963970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19820] ppid=19784 vsize=7937144 memory=288230596050944315 CPUtime=4.62 cores=1,3,5,7
/proc/19808/task/19820/stat : 19820 (java) R 19784 19784 19383 0 -1 4202560 830 7041 0 0 25 0 436 1 20 0 17 0 224067996 8127635456 30390 33554432000 4194304 4196468 140722891383168 140225086806640 140225823922624 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19821] ppid=19784 vsize=7937144 memory=14972265422916166 CPUtime=4.37 cores=1,3,5,7
/proc/19808/task/19821/stat : 19821 (java) S 19784 19784 19383 0 -1 1077944384 3 7041 0 0 0 0 436 1 20 0 17 0 224067996 8127635456 30390 33554432000 4194304 4196468 140722891383168 140223702887136 140225844963029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19822] ppid=19784 vsize=7937144 memory=1828 CPUtime=4.37 cores=1,3,5,7
/proc/19808/task/19822/stat : 19822 (java) S 19784 19784 19383 0 -1 1077944384 3 7041 0 0 0 0 436 1 20 0 17 0 224067997 8127635456 30390 33554432000 4194304 4196468 140722891383168 140225085754032 140225844963970 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19824] ppid=19784 vsize=7937144 memory=6656426216303648864 CPUtime=4.37 cores=1,3,5,7
/proc/19808/task/19824/stat : 19824 (java) S 19784 19784 19383 0 -1 1077944384 25 7041 0 0 0 0 436 1 20 0 17 0 224068064 8127635456 30902 33554432000 4194304 4196468 140722891383168 140225077944720 140225844963970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
[pid=19808/tid=19828] ppid=19784 vsize=7937144 memory=5772 CPUtime=4.37 cores=1,3,5,7
/proc/19808/task/19828/stat : 19828 (java) S 19784 19784 19383 0 -1 1077944384 9 7041 0 0 0 0 436 1 20 0 17 0 224068066 8127635456 30902 33554432000 4194304 4196468 140722891383168 140222897579440 140225844963970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35307520 140722891392181 140722891392305 140722891392305 140722891395023 0
Current children cumulated CPU time: 10.13 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 122772 KiB
Child status: 0
Real time (s): 7.21173
CPU time (s): 10.1715
CPU user time (s): 9.96005
CPU system time (s): 0.211489
CPU usage (%): 141.042
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 243016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.96005
system time used= 0.211489
maximum resident set size= 252160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51709
page faults= 0
swaps= 0
block input operations= 0
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5641
involuntary context switches= 40
# summary of solver processes directly reported to runsolver:
# pid: 19784
# total CPU time (s): 10.1715
# total CPU user time (s): 9.96005
# total CPU system time (s): 0.211489
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077057 second user time and 0.11361 second system time
The end