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-20562-serial-file.bin HOME/instance-4305359-1534075110.xml
0.54/0.51
0.54/0.52 scop order+minisat_release (2018-07-31)
0.54/0.52 (Encoding Process)
0.54/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 13:58:31 CEST 2018
0.67/0.54 c PID: 20565
0.67/0.54 c IP: 172.20.3.107
0.67/0.54 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.20/0.86 c (0,0) Parsing End
1.20/0.86 c (0,0) CSP: 0 int (0 aux), 75 bool (0 aux), 50 ctr, max domain size 2
1.20/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.86 c (0,0) Constraint Name Generate Begin
1.20/0.87 c (0,0) Ctr:HOME/instance-4305359-1534075110.xml,ExtensionSupport:IntVar
1.20/0.87 c (0,0) Constraint Name Generate End
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) CSP to CSPinCNF Begin
1.73/1.11 c (0,0) translated 5 (10%) constraints
1.73/1.16 c (0,0) translated 10 (20%) constraints
2.00/1.20 c (0,0) translated 15 (30%) constraints
2.00/1.24 c (0,0) translated 20 (40%) constraints
2.00/1.27 c (0,0) translated 25 (50%) constraints
2.28/1.30 c (0,0) translated 30 (60%) constraints
2.28/1.32 c (0,0) translated 35 (70%) constraints
2.28/1.35 c (0,0) translated 40 (80%) constraints
2.28/1.35 c (0,0) translated 45 (90%) constraints
2.28/1.37 c (0,0) translated 50 (100%) constraints
2.56/1.41 c (0,0) STATISTICS1:HOME/instance-4305359-1534075110.xml,ExtensionSupport:IntVar,275,950,-1,2,3,1,,2:2500,3:650;2:300,1:2500;0:50,
2.56/1.41 c (0,0) ==========================================
2.56/1.41 c (0,0) Order
2.56/1.41 c (0,0) ==========================================
2.56/1.42 c (0,0) translated 95 (10%) constraints
2.56/1.43 c (0,0) translated 190 (20%) constraints
2.56/1.44 c (0,0) translated 285 (30%) constraints
2.56/1.44 c (0,0) translated 380 (40%) constraints
2.56/1.45 c (0,0) translated 475 (50%) constraints
2.56/1.45 c (0,0) translated 570 (60%) constraints
2.56/1.46 c (0,0) translated 665 (70%) constraints
2.56/1.46 c (0,0) translated 760 (80%) constraints
2.56/1.47 c (0,0) translated 855 (90%) constraints
2.56/1.47 c (0,0) translated 950 (100%) constraints
2.56/1.47 c (0,0) CSP to CSPinCNF End
2.56/1.48 c (0,0) CSP: 0 int (0 aux), 275 bool (200 aux), 950 ctr, max domain size 2
2.56/1.48 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.56/1.48 c (0,0) CSPinCNF Propagation Begin
2.91/1.51 c (0,0) 0 values, 50 unsatisfiable literals, and 0 valid clauses are removed
2.91/1.51 c (0,0) CSPinCNF Propagation End
2.91/1.52 c (0,0) CSP: 0 int (0 aux), 275 bool (200 aux), 950 ctr, max domain size 2
2.91/1.52 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.91/1.52 c (0,0) Simplify CSPinCNF Begin
2.91/1.52 c (1,0) Simplify CSPinCNF End
2.91/1.52 c (1,0) CSP: 0 int (0 aux), 275 bool (200 aux), 950 ctr, max domain size 2
2.91/1.52 c (1,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.91/1.52 c (1,0) Calculate Precise Domain Begin
2.91/1.52 c (1,0) 0 values are removed by re-calculation
2.91/1.53 c (1,0) Calculate Precise Domain End
2.91/1.53 c (1,0) CSP: 0 int (0 aux), 275 bool (200 aux), 950 ctr, max domain size 2
2.91/1.53 c (1,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.91/1.53 c (1,0) CSPinCNF to SatSolver Begin
2.91/1.56 c (1,1) 95 (10 %) CSP clauses are encoded (275 SAT variables, 94 SAT clauses)
2.91/1.56 c (1,1) 190 (20 %) CSP clauses are encoded (275 SAT variables, 189 SAT clauses)
2.91/1.57 c (1,1) 285 (30 %) CSP clauses are encoded (275 SAT variables, 284 SAT clauses)
2.91/1.57 c (1,1) 380 (40 %) CSP clauses are encoded (275 SAT variables, 379 SAT clauses)
2.91/1.58 c (1,1) 475 (50 %) CSP clauses are encoded (275 SAT variables, 474 SAT clauses)
2.91/1.58 c (1,1) 570 (60 %) CSP clauses are encoded (275 SAT variables, 569 SAT clauses)
2.91/1.59 c (1,1) 665 (70 %) CSP clauses are encoded (275 SAT variables, 664 SAT clauses)
2.91/1.59 c (1,1) 760 (80 %) CSP clauses are encoded (275 SAT variables, 759 SAT clauses)
2.91/1.59 c (1,1) 855 (90 %) CSP clauses are encoded (275 SAT variables, 854 SAT clauses)
2.91/1.59 c (1,1) 950 (100 %) CSP clauses are encoded (275 SAT variables, 949 SAT clauses)
2.91/1.59 c (1,1) Launch Command will be: minisat_release
2.91/1.59 c (1,1) CSPinCNF to SatSolver End
2.91/1.59 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.25/1.61 c (1,1) STATISTICS2:HOME/instance-4305359-1534075110.xml,ExtensionSupport:IntVar,275,950,-1,2,3,1,,2:2500,3:600;2:350,1:2500,
3.25/1.61 c (1,1) 275 bool, 950 clause
3.25/1.61 c (1,1) Export Begin
3.25/1.70 c (1,1) Export to HOME/scop-20562-serial-file.bin
3.25/1.70 c (1,1) Export End
3.55/1.70 c (1,1) Export File Size: 0.02 MB
3.55/1.70 c (1,1) 0,0,0,0,1,1,1,STOP-AFTER(DIMACS)
3.55/1.70 c END-Prog: Sun Aug 12 13:58:32 CEST 2018
3.55/1.71 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-20562-serial-file.bin
4.20/2.20 c (0,0) Read Serial File Begin
4.20/2.20 c (0,0) HOME/scop-20562-serial-file.bin
4.35/2.37 c (0,0) Read Serial File End
4.35/2.38
4.35/2.38 scop order+minisat_release (2018-07-31)
4.35/2.38 (Solving Process)
4.35/2.38
4.51/2.41 c BEGIN-Prog: Sun Aug 12 13:58:33 CEST 2018
4.51/2.41 c PID: 20580
4.51/2.41 c IP: 172.20.3.107
4.51/2.41 c HOST: node107.alineos.net
4.51/2.41 c (0,0) SatSolver.solve Begin
4.51/2.41 c (0,0) 0 bool, 0 clause
4.51/2.41 c (0,0) minisat_release HOME/instance-4305359-1534075110.xml-scop-20565.cnf
4.51/2.44 c (0,0) c This is COMiniSatPS.
4.51/2.44 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.51/2.44 c (0,0) c ============================[ Problem Statistics ]=============================
4.51/2.44 c (0,0) c | |
4.51/2.44 c (0,0) c | Number of variables: 275 |
4.51/2.44 c (0,0) c | Number of clauses: 950 |
4.51/2.44 c (0,0) c | Parse time: 0.00 s |
4.51/2.44 c (0,0) c | Eliminated clauses: 0.01 Mb |
4.51/2.44 c (0,0) c | Simplification time: 0.00 s |
4.51/2.44 c (0,0) c | |
4.51/2.44 c (0,0) c ===============================================================================
4.51/2.44 c (0,0) c Solved by simplification
4.51/2.44 c (0,0) c restarts : 0
4.51/2.44 c (0,0) c conflicts : 0 (0 /sec)
4.51/2.44 c (0,0) c decisions : 0 (-nan % random) (0 /sec)
4.51/2.44 c (0,0) c propagations : 0 (0 /sec)
4.51/2.44 c (0,0) c conflict literals : 0 (-nan % deleted)
4.51/2.44 c (0,0) c CPU time : 0.003876 s
4.51/2.44 c (0,0)
4.51/2.44 c (0,0) s UNSATISFIABLE
4.51/2.48 c (0,0) SatSolver.solve End
4.51/2.48 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.51/2.48 c (0,0) Show results Begin
4.51/2.48 s UNSATISFIABLE
4.51/2.48 c (0,0) Show results End
4.51/2.48 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.51/2.48 c (0,0) 0,0,STOP-AFTER(ALL)
4.51/2.48 c END-Prog: Sun Aug 12 13:58:33 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 (12669 MiB free)
memory of node 1: 16384 MiB (11394 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305359-1534075110/watcher-4305359-1534075110 -o /tmp/evaluation-result-4305359-1534075110/solver-4305359-1534075110 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305359-1534075110.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=20562, runsolver pid=20559
Current StackSize limit: 8192 KiB
[startup+0.100414 s]*
/proc/loadavg: 2.94 2.41 2.19 3/222 20579
/proc/meminfo: memFree=24581688/32770624 swapFree=67108860/67108860
[pid=20562] ppid=20559 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/20562/stat : 20562 (scop.sh) S 20559 20562 16605 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 225074241 115843072 348 33554432000 4194304 5098028 140728529271696 140728529268952 140412800152188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9338880 140728529273920 140728529274119 140728529274119 140728529276877 0
/proc/20562/statm: 28282 348 296 221 0 87 0
[pid=20565] ppid=20562 vsize=15012476 memory=72068 CPUtime=0.11 cores=1,3,5,7
/proc/20565/stat : 20565 (java) S 20562 20562 16605 0 -1 1077944320 6148 0 0 0 10 1 0 0 20 0 15 0 225074241 15372775424 18017 33554432000 4194304 4196468 140720598473824 140720598456368 140609402236663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
/proc/20565/statm: 3753119 18017 2768 1 0 3715579 0
[pid=20565/tid=20566] ppid=20562 vsize=15012476 memory=-6150928374978363333 CPUtime=0.09 cores=1,3,5,7
/proc/20565/task/20566/stat : 20566 (java) R 20562 20562 16605 0 -1 4202560 4250 0 0 0 8 1 0 0 20 0 15 0 225074242 15372775424 18083 33554432000 4194304 4196468 140720598473824 140609374060096 140609382512423 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20567] ppid=20562 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20567/stat : 20567 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074243 15372775424 18083 33554432000 4194304 4196468 140720598473824 140609406478864 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20568] ppid=20562 vsize=15012476 memory=140090952664704 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20568/stat : 20568 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074243 15372775424 18083 33554432000 4194304 4196468 140720598473824 140609182182032 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20569] ppid=20562 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20569/stat : 20569 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074243 15372775424 18083 33554432000 4194304 4196468 140720598473824 140609181128976 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20570] ppid=20562 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20570/stat : 20570 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074243 15372775424 18083 33554432000 4194304 4196468 140720598473824 140609180076432 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20571] ppid=20562 vsize=15012476 memory=140090952664704 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20571/stat : 20571 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074245 15372775424 18083 33554432000 4194304 4196468 140720598473824 140608439798512 140609402247810 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20572] ppid=20562 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20572/stat : 20572 (java) S 20562 20562 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225074245 15372775424 18083 33554432000 4194304 4196468 140720598473824 140608035350176 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20573] ppid=20562 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20573/stat : 20573 (java) S 20562 20562 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225074245 15372775424 18083 33554432000 4194304 4196468 140720598473824 140607901127920 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20574] ppid=20562 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20574/stat : 20574 (java) S 20562 20562 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074248 15372775424 18083 33554432000 4194304 4196468 140720598473824 140607526623696 140609402255259 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20575] ppid=20562 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20575/stat : 20575 (java) S 20562 20562 16605 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 225074248 15372775424 18083 33554432000 4194304 4196468 140720598473824 140607766907120 140609402247810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20576] ppid=20562 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20576/stat : 20576 (java) S 20562 20562 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225074248 15372775424 18083 33554432000 4194304 4196468 140720598473824 140607765854576 140609402247810 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20577] ppid=20562 vsize=15012476 memory=140090952664704 CPUtime=0.01 cores=1,3,5,7
/proc/20565/task/20577/stat : 20577 (java) S 20562 20562 16605 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 225074248 15372775424 18149 33554432000 4194304 4196468 140720598473824 140607764801520 140609402247810 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20578] ppid=20562 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20578/stat : 20578 (java) S 20562 20562 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074248 15372775424 18149 33554432000 4194304 4196468 140720598473824 140607028717920 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20579] ppid=20562 vsize=15012476 memory=140090952664704 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20579/stat : 20579 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074248 15372775424 18149 33554432000 4194304 4196468 140720598473824 140607763749936 140609402247810 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73460 KiB
[startup+0.210627 s]*
/proc/loadavg: 2.94 2.41 2.19 3/222 20579
/proc/meminfo: memFree=24567984/32770624 swapFree=67108860/67108860
[pid=20562] ppid=20559 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/20562/stat : 20562 (scop.sh) S 20559 20562 16605 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 225074241 115843072 348 33554432000 4194304 5098028 140728529271696 140728529268952 140412800152188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9338880 140728529273920 140728529274119 140728529274119 140728529276877 0
/proc/20562/statm: 28282 348 296 221 0 87 0
[pid=20565] ppid=20562 vsize=15012476 memory=84832 CPUtime=0.26 cores=1,3,5,7
/proc/20565/stat : 20565 (java) S 20562 20562 16605 0 -1 1077944320 9516 0 0 0 23 3 0 0 20 0 15 0 225074241 15372775424 21208 33554432000 4194304 4196468 140720598473824 140720598456368 140609402236663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
/proc/20565/statm: 3753119 21208 2928 1 0 3715579 0
[pid=20565/tid=20566] ppid=20562 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/20565/task/20566/stat : 20566 (java) R 20562 20562 16605 0 -1 4202560 7396 0 0 0 18 2 0 0 20 0 15 0 225074242 15372775424 21208 33554432000 4194304 4196468 140720598473824 140609374063056 140609402248598 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20567] ppid=20562 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20567/stat : 20567 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074243 15372775424 21208 33554432000 4194304 4196468 140720598473824 140609406478864 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20568] ppid=20562 vsize=15012476 memory=3762953891759277728 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20568/stat : 20568 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074243 15372775424 21208 33554432000 4194304 4196468 140720598473824 140609182182032 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20569] ppid=20562 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20569/stat : 20569 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074243 15372775424 21208 33554432000 4194304 4196468 140720598473824 140609181128976 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20570] ppid=20562 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20570/stat : 20570 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074243 15372775424 21208 33554432000 4194304 4196468 140720598473824 140609180076432 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20571] ppid=20562 vsize=15012476 memory=140090952664704 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20571/stat : 20571 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074245 15372775424 21208 33554432000 4194304 4196468 140720598473824 140608439798512 140609402247810 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20572] ppid=20562 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20572/stat : 20572 (java) S 20562 20562 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225074245 15372775424 21208 33554432000 4194304 4196468 140720598473824 140608035350176 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20573] ppid=20562 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20573/stat : 20573 (java) S 20562 20562 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225074245 15372775424 21208 33554432000 4194304 4196468 140720598473824 140607901127920 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20574] ppid=20562 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20574/stat : 20574 (java) S 20562 20562 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074248 15372775424 21208 33554432000 4194304 4196468 140720598473824 140607526623696 140609402255259 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20575] ppid=20562 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20565/task/20575/stat : 20575 (java) R 20562 20562 16605 0 -1 4202560 336 0 0 0 1 0 0 0 20 0 15 0 225074248 15372775424 21208 33554432000 4194304 4196468 140720598473824 140607766907120 140609386210603 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20576] ppid=20562 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20576/stat : 20576 (java) R 20562 20562 16605 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 225074248 15372775424 21208 33554432000 4194304 4196468 140720598473824 140607765854576 140609402247810 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20577] ppid=20562 vsize=15012476 memory=140090952664704 CPUtime=0.03 cores=1,3,5,7
/proc/20565/task/20577/stat : 20577 (java) R 20562 20562 16605 0 -1 4202560 296 0 0 0 3 0 0 0 20 0 15 0 225074248 15372775424 21208 33554432000 4194304 4196468 140720598473824 140607764801520 140609402248598 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20578] ppid=20562 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20578/stat : 20578 (java) S 20562 20562 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074248 15372775424 21208 33554432000 4194304 4196468 140720598473824 140607028717920 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20579] ppid=20562 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20579/stat : 20579 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074248 15372775424 21208 33554432000 4194304 4196468 140720598473824 140607763749936 140609402247810 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86224 KiB
[startup+0.310653 s]*
/proc/loadavg: 2.94 2.41 2.19 3/222 20579
/proc/meminfo: memFree=24564348/32770624 swapFree=67108860/67108860
[pid=20562] ppid=20559 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/20562/stat : 20562 (scop.sh) S 20559 20562 16605 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 225074241 115843072 348 33554432000 4194304 5098028 140728529271696 140728529268952 140412800152188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9338880 140728529273920 140728529274119 140728529274119 140728529276877 0
/proc/20562/statm: 28282 348 296 221 0 87 0
[pid=20565] ppid=20562 vsize=15012476 memory=88088 CPUtime=0.43 cores=1,3,5,7
/proc/20565/stat : 20565 (java) S 20562 20562 16605 0 -1 1077944320 10055 0 0 0 40 3 0 0 20 0 15 0 225074241 15372775424 22022 33554432000 4194304 4196468 140720598473824 140720598456368 140609402236663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
/proc/20565/statm: 3753119 22022 2966 1 0 3715579 0
[pid=20565/tid=20566] ppid=20562 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/20565/task/20566/stat : 20566 (java) R 20562 20562 16605 0 -1 4202560 7774 0 0 0 27 2 0 0 20 0 15 0 225074242 15372775424 22022 33554432000 4194304 4196468 140720598473824 140609374064880 140609402258010 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20567] ppid=20562 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20567/stat : 20567 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074243 15372775424 22022 33554432000 4194304 4196468 140720598473824 140609406478864 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20568] ppid=20562 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20568/stat : 20568 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074243 15372775424 22022 33554432000 4194304 4196468 140720598473824 140609182182032 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20569] ppid=20562 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20569/stat : 20569 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074243 15372775424 22022 33554432000 4194304 4196468 140720598473824 140609181128976 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20570] ppid=20562 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20570/stat : 20570 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074243 15372775424 22022 33554432000 4194304 4196468 140720598473824 140609180076432 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20571] ppid=20562 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20571/stat : 20571 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074245 15372775424 22022 33554432000 4194304 4196468 140720598473824 140608439798512 140609402247810 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20572] ppid=20562 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20572/stat : 20572 (java) S 20562 20562 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225074245 15372775424 22022 33554432000 4194304 4196468 140720598473824 140608035350176 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20573] ppid=20562 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20573/stat : 20573 (java) S 20562 20562 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225074245 15372775424 22022 33554432000 4194304 4196468 140720598473824 140607901127920 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20574] ppid=20562 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20574/stat : 20574 (java) S 20562 20562 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074248 15372775424 22022 33554432000 4194304 4196468 140720598473824 140607526623696 140609402255259 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20575] ppid=20562 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20565/task/20575/stat : 20575 (java) R 20562 20562 16605 0 -1 1077944384 382 0 0 0 2 0 0 0 20 0 15 0 225074248 15372775424 22022 33554432000 4194304 4196468 140720598473824 140607766907120 140609402247810 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20576] ppid=20562 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20565/task/20576/stat : 20576 (java) R 20562 20562 16605 0 -1 4202560 232 0 0 0 2 0 0 0 20 0 15 0 225074248 15372775424 22022 33554432000 4194304 4196468 140720598473824 140607765854576 140609379871312 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20577] ppid=20562 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20565/task/20577/stat : 20577 (java) R 20562 20562 16605 0 -1 4202560 314 0 0 0 7 0 0 0 20 0 15 0 225074248 15372775424 22022 33554432000 4194304 4196468 140720598473824 140607764801520 140609402258010 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20578] ppid=20562 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20578/stat : 20578 (java) S 20562 20562 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074248 15372775424 22022 33554432000 4194304 4196468 140720598473824 140607028717920 140609402246869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20579] ppid=20562 vsize=15012476 memory=3905244507057233969 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20579/stat : 20579 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074248 15372775424 22022 33554432000 4194304 4196468 140720598473824 140607763749936 140609402247810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89480 KiB
[startup+0.700816 s]
/proc/loadavg: 2.94 2.41 2.19 3/222 20579
/proc/meminfo: memFree=24540032/32770624 swapFree=67108860/67108860
[pid=20562] ppid=20559 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/20562/stat : 20562 (scop.sh) S 20559 20562 16605 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 225074241 115843072 348 33554432000 4194304 5098028 140728529271696 140728529268952 140412800152188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9338880 140728529273920 140728529274119 140728529274119 140728529276877 0
/proc/20562/statm: 28282 348 296 221 0 87 0
[pid=20565] ppid=20562 vsize=15020872 memory=128064 CPUtime=1 cores=1,3,5,7
/proc/20565/stat : 20565 (java) S 20562 20562 16605 0 -1 1077944320 17114 0 0 0 95 5 0 0 20 0 15 0 225074241 15381372928 32016 33554432000 4194304 4196468 140720598473824 140720598456368 140609402236663 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
/proc/20565/statm: 3755218 32016 3167 1 0 3716603 0
[pid=20565/tid=20566] ppid=20562 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/20565/task/20566/stat : 20566 (java) R 20562 20562 16605 0 -1 4202560 14415 0 0 0 63 4 0 0 20 0 15 0 225074242 15381372928 32016 33554432000 4194304 4196468 140720598473824 140609374070048 140609386317150 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20567] ppid=20562 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20567/stat : 20567 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074243 15381372928 32016 33554432000 4194304 4196468 140720598473824 140609406478864 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20568] ppid=20562 vsize=15020872 memory=61224 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20568/stat : 20568 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074243 15381372928 32016 33554432000 4194304 4196468 140720598473824 140609182182032 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20569] ppid=20562 vsize=15020872 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20569/stat : 20569 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074243 15381372928 32016 33554432000 4194304 4196468 140720598473824 140609181128976 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20570] ppid=20562 vsize=15020872 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20570/stat : 20570 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074243 15381372928 32016 33554432000 4194304 4196468 140720598473824 140609180076432 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20571] ppid=20562 vsize=15020872 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20571/stat : 20571 (java) S 20562 20562 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225074245 15381372928 32016 33554432000 4194304 4196468 140720598473824 140608439798512 140609402247810 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20572] ppid=20562 vsize=15020872 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20572/stat : 20572 (java) S 20562 20562 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225074245 15381372928 32016 33554432000 4194304 4196468 140720598473824 140608035350176 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20573] ppid=20562 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20573/stat : 20573 (java) S 20562 20562 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225074245 15381372928 32016 33554432000 4194304 4196468 140720598473824 140607901127920 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20574] ppid=20562 vsize=15020872 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20574/stat : 20574 (java) S 20562 20562 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074248 15381372928 32016 33554432000 4194304 4196468 140720598473824 140607526623696 140609402255259 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20575] ppid=20562 vsize=15020872 memory=1120 CPUtime=0.06 cores=1,3,5,7
/proc/20565/task/20575/stat : 20575 (java) S 20562 20562 16605 0 -1 1077944384 469 0 0 0 6 0 0 0 20 0 15 0 225074248 15381372928 32016 33554432000 4194304 4196468 140720598473824 140607766907120 140609402247810 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20576] ppid=20562 vsize=15020872 memory=6120 CPUtime=0.1 cores=1,3,5,7
/proc/20565/task/20576/stat : 20576 (java) S 20562 20562 16605 0 -1 1077944384 462 0 0 0 10 0 0 0 20 0 15 0 225074248 15381372928 32016 33554432000 4194304 4196468 140720598473824 140607765854576 140609402247810 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20577] ppid=20562 vsize=15020872 memory=1724 CPUtime=0.15 cores=1,3,5,7
/proc/20565/task/20577/stat : 20577 (java) S 20562 20562 16605 0 -1 1077944384 414 0 0 0 15 0 0 0 20 0 15 0 225074248 15381372928 32016 33554432000 4194304 4196468 140720598473824 140607764801520 140609402247810 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20578] ppid=20562 vsize=15020872 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20578/stat : 20578 (java) S 20562 20562 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074248 15381372928 32016 33554432000 4194304 4196468 140720598473824 140607028717920 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20579] ppid=20562 vsize=15020872 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20579/stat : 20579 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074248 15381372928 32016 33554432000 4194304 4196468 140720598473824 140607763749936 140609402247810 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129456 KiB
[startup+1.50669 s]
/proc/loadavg: 2.94 2.41 2.19 3/222 20579
/proc/meminfo: memFree=24511248/32770624 swapFree=67108860/67108860
[pid=20562] ppid=20559 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/20562/stat : 20562 (scop.sh) S 20559 20562 16605 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 225074241 115843072 348 33554432000 4194304 5098028 140728529271696 140728529268952 140412800152188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9338880 140728529273920 140728529274119 140728529274119 140728529276877 0
/proc/20562/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/20565/task/20567/stat : 20567 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074243 15385567232 44744 33554432000 4194304 4196468 140720598473824 140609406478864 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20568] ppid=20562 vsize=15024968 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20568/stat : 20568 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074243 15385567232 44744 33554432000 4194304 4196468 140720598473824 140609182182032 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20569] ppid=20562 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20569/stat : 20569 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074243 15385567232 44744 33554432000 4194304 4196468 140720598473824 140609181128976 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20570] ppid=20562 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20570/stat : 20570 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074243 15385567232 44744 33554432000 4194304 4196468 140720598473824 140609180076432 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20571] ppid=20562 vsize=15024968 memory=10881 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20571/stat : 20571 (java) S 20562 20562 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225074245 15385567232 44744 33554432000 4194304 4196468 140720598473824 140608439798512 140609402247810 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20572] ppid=20562 vsize=15024968 memory=20710 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20572/stat : 20572 (java) S 20562 20562 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225074245 15385567232 44744 33554432000 4194304 4196468 140720598473824 140608035350176 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20573] ppid=20562 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20573/stat : 20573 (java) S 20562 20562 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225074245 15385567232 44744 33554432000 4194304 4196468 140720598473824 140607901127920 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20574] ppid=20562 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20574/stat : 20574 (java) S 20562 20562 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074248 15385567232 44744 33554432000 4194304 4196468 140720598473824 140607526623696 140609402255259 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20575] ppid=20562 vsize=15024968 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/20565/task/20575/stat : 20575 (java) R 20562 20562 16605 0 -1 4202560 817 0 0 0 33 0 0 0 20 0 15 0 225074248 15385567232 44744 33554432000 4194304 4196468 140720598473824 140607766899752 140609388292059 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20576] ppid=20562 vsize=15024968 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/20565/task/20576/stat : 20576 (java) R 20562 20562 16605 0 -1 4202560 805 0 0 0 40 0 0 0 20 0 15 0 225074248 15385567232 44744 33554432000 4194304 4196468 140720598473824 140607765839776 140609402248598 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20577] ppid=20562 vsize=15024968 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/20565/task/20577/stat : 20577 (java) S 20562 20562 16605 0 -1 1077944384 2579 0 0 0 67 1 0 0 20 0 15 0 225074248 15385567232 44744 33554432000 4194304 4196468 140720598473824 140607764801520 140609402247810 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20578] ppid=20562 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20578/stat : 20578 (java) S 20562 20562 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074248 15385567232 44744 33554432000 4194304 4196468 140720598473824 140607028717920 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20579] ppid=20562 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20579/stat : 20579 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074248 15385567232 44744 33554432000 4194304 4196468 140720598473824 140607763749936 140609402247810 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 180368 KiB
[startup+2.49537 s]
# the end of solver process 20562 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.54858 s, system=0.183303 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60195 s]
/proc/loadavg: 2.94 2.41 2.19 3/222 20579
/proc/meminfo: memFree=24511248/32770624 swapFree=67108860/67108860
[pid=20562] ppid=20559 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/20562/stat : 20562 (scop.sh) S 20559 20562 16605 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 225074241 115843072 348 33554432000 4194304 5098028 140728529271696 140728529268952 140412800152188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9338880 140728529273920 140728529274119 140728529274119 140728529276877 0
/proc/20562/statm: 28282 348 296 221 0 87 0
[pid=20565] ppid=20562 vsize=15027084 memory=188152 CPUtime=3.25 cores=1,3,5,7
/proc/20565/stat : 20565 (java) S 20562 20562 16605 0 -1 1077944320 22016 0 0 0 316 9 0 0 20 0 15 0 225074241 15387734016 47038 33554432000 4194304 4196468 140720598473824 140720598456368 140609402236663 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
/proc/20565/statm: 3756771 47038 3202 1 0 3717627 0
[pid=20565/tid=20566] ppid=20562 vsize=15027084 memory=1740 CPUtime=1.56 cores=1,3,5,7
/proc/20565/task/20566/stat : 20566 (java) R 20562 20562 16605 0 -1 4202560 15872 0 0 0 150 6 0 0 20 0 15 0 225074242 15387734016 47038 33554432000 4194304 4196468 140720598473824 140609374071792 140608858577127 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20567] ppid=20562 vsize=15027084 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20567/stat : 20567 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074243 15387734016 47038 33554432000 4194304 4196468 140720598473824 140609406478864 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20568] ppid=20562 vsize=15027084 memory=752 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20568/stat : 20568 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074243 15387734016 47038 33554432000 4194304 4196468 140720598473824 140609182182032 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20569] ppid=20562 vsize=15027084 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20569/stat : 20569 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074243 15387734016 47038 33554432000 4194304 4196468 140720598473824 140609181128976 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20570] ppid=20562 vsize=15027084 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20570/stat : 20570 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074243 15387734016 47038 33554432000 4194304 4196468 140720598473824 140609180076432 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20571] ppid=20562 vsize=15027084 memory=6120 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20571/stat : 20571 (java) S 20562 20562 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225074245 15387734016 47038 33554432000 4194304 4196468 140720598473824 140608439798512 140609402247810 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20572] ppid=20562 vsize=15027084 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20572/stat : 20572 (java) S 20562 20562 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225074245 15387734016 47038 33554432000 4194304 4196468 140720598473824 140608035350176 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20573] ppid=20562 vsize=15027084 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20573/stat : 20573 (java) S 20562 20562 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225074245 15387734016 47038 33554432000 4194304 4196468 140720598473824 140607901127920 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20574] ppid=20562 vsize=15027084 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20574/stat : 20574 (java) S 20562 20562 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074248 15387734016 47038 33554432000 4194304 4196468 140720598473824 140607526623696 140609402255259 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20575] ppid=20562 vsize=15027084 memory=872 CPUtime=0.42 cores=1,3,5,7
/proc/20565/task/20575/stat : 20575 (java) R 20562 20562 16605 0 -1 4202560 1244 0 0 0 42 0 0 0 20 0 15 0 225074248 15387734016 47038 33554432000 4194304 4196468 140720598473824 140607766893472 140609380253675 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20576] ppid=20562 vsize=15027084 memory=1288 CPUtime=0.49 cores=1,3,5,7
/proc/20565/task/20576/stat : 20576 (java) R 20562 20562 16605 0 -1 4202560 845 0 0 0 49 0 0 0 20 0 15 0 225074248 15387734016 47038 33554432000 4194304 4196468 140720598473824 140607765840656 140609387124611 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20577] ppid=20562 vsize=15027084 memory=1088 CPUtime=0.74 cores=1,3,5,7
/proc/20565/task/20577/stat : 20577 (java) S 20562 20562 16605 0 -1 1077944384 2700 0 0 0 73 1 0 0 20 0 15 0 225074248 15387734016 47038 33554432000 4194304 4196468 140720598473824 140607764801520 140609402247810 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20578] ppid=20562 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20578/stat : 20578 (java) S 20562 20562 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074248 15387734016 47038 33554432000 4194304 4196468 140720598473824 140607028717920 140609402246869 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
[pid=20565/tid=20579] ppid=20562 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20565/task/20579/stat : 20579 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074248 15387734016 47038 33554432000 4194304 4196468 140720598473824 140607763749936 140609402247810 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140720598479878 140720598480177 140720598480177 140720598482895 0
Current children cumulated CPU time: 3.25 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 189544 KiB
[startup+2.00033 s]*
/proc/loadavg: 2.94 2.41 2.19 3/222 20594
/proc/meminfo: memFree=24589972/32770624 swapFree=67108860/67108860
[pid=20562] ppid=20559 vsize=113128 memory=1468 CPUtime=3.57 cores=1,3,5,7
/proc/20562/stat : 20562 (scop.sh) S 20559 20562 16605 0 -1 4202496 589 23348 0 0 0 0 346 11 20 0 1 0 225074241 115843072 367 33554432000 4194304 5098028 140728529271696 140728529268440 140412800152188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9338880 140728529273920 140728529274119 140728529274119 140728529276877 0
/proc/20562/statm: 28282 367 311 221 0 87 0
[pid=20580] ppid=20562 vsize=7404280 memory=63408 CPUtime=0.4 cores=1,3,5,7
/proc/20580/stat : 20580 (java) S 20562 20562 16605 0 -1 1077944320 10336 0 0 0 38 2 0 0 20 0 15 0 225074413 7581982720 15852 33554432000 4194304 4196468 140730363891392 140730363873936 140357497741047 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
/proc/20580/statm: 1851070 15852 3014 1 0 1813530 0
[pid=20580/tid=20581] ppid=20562 vsize=7404280 memory=4026531863 CPUtime=0.27 cores=1,3,5,7
/proc/20580/task/20581/stat : 20581 (java) R 20562 20562 16605 0 -1 4202560 8069 0 0 0 26 1 0 0 20 0 15 0 225074413 7581982720 15852 33554432000 4194304 4196468 140730363891392 140357469538592 140357478016768 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20582] ppid=20562 vsize=7404280 memory=10627 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20582/stat : 20582 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074414 7581982720 15852 33554432000 4194304 4196468 140730363891392 140357501983376 140357497751253 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20583] ppid=20562 vsize=7404280 memory=3978845168831579808 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20583/stat : 20583 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074414 7581982720 15852 33554432000 4194304 4196468 140730363891392 140357320071696 140357497751253 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20584] ppid=20562 vsize=7404280 memory=-1751206657426859557 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20584/stat : 20584 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074414 7581982720 15852 33554432000 4194304 4196468 140730363891392 140357319018896 140357497751253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20585] ppid=20562 vsize=7404280 memory=3471202396320837679 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20585/stat : 20585 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074414 7581982720 15918 33554432000 4194304 4196468 140730363891392 140357317966096 140357497751253 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20586] ppid=20562 vsize=7404280 memory=3472468370000475824 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20586/stat : 20586 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074415 7581982720 15918 33554432000 4194304 4196468 140730363891392 140356944231280 140357497752194 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20587] ppid=20562 vsize=7404280 memory=3472323898181169199 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20587/stat : 20587 (java) S 20562 20562 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225074416 7581982720 15918 33554432000 4194304 4196468 140730363891392 140356310001184 140357497751253 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20588] ppid=20562 vsize=7404280 memory=-3040564339240289162 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20588/stat : 20588 (java) S 20562 20562 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225074416 7581982720 15918 33554432000 4194304 4196468 140730363891392 140356175779184 140357497751253 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20589] ppid=20562 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20589/stat : 20589 (java) S 20562 20562 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074418 7581982720 15918 33554432000 4194304 4196468 140730363891392 140355801274704 140357497759643 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20590] ppid=20562 vsize=7404280 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20580/task/20590/stat : 20590 (java) S 20562 20562 16605 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 15 0 225074418 7581982720 15918 33554432000 4194304 4196468 140730363891392 140356943178096 140357497752194 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20591] ppid=20562 vsize=7404280 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20580/task/20591/stat : 20591 (java) S 20562 20562 16605 0 -1 1077944384 152 0 0 0 2 0 0 0 20 0 15 0 225074418 7581982720 15918 33554432000 4194304 4196468 140730363891392 140356942125296 140357497752194 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20592] ppid=20562 vsize=7404280 memory=140090952664704 CPUtime=0.07 cores=1,3,5,7
/proc/20580/task/20592/stat : 20592 (java) S 20562 20562 16605 0 -1 1077944384 329 0 0 0 7 0 0 0 20 0 15 0 225074419 7581982720 15918 33554432000 4194304 4196468 140730363891392 140356941072496 140357497752194 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20593] ppid=20562 vsize=7404280 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20593/stat : 20593 (java) S 20562 20562 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074419 7581982720 15918 33554432000 4194304 4196468 140730363891392 140355303368928 140357497751253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20594] ppid=20562 vsize=7404280 memory=140090952664704 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20594/stat : 20594 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074419 7581982720 15918 33554432000 4194304 4196468 140730363891392 140356940020912 140357497752194 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
Current children cumulated CPU time: 3.97 s
Current children cumulated vsize: 7517408 KiB
Current children cumulated memory: 64876 KiB
[startup+2.40077 s]
/proc/loadavg: 2.94 2.41 2.19 3/222 20594
/proc/meminfo: memFree=24589972/32770624 swapFree=67108860/67108860
[pid=20562] ppid=20559 vsize=113128 memory=1468 CPUtime=3.57 cores=1,3,5,7
/proc/20562/stat : 20562 (scop.sh) S 20559 20562 16605 0 -1 4202496 589 23348 0 0 0 0 346 11 20 0 1 0 225074241 115843072 367 33554432000 4194304 5098028 140728529271696 140728529268440 140412800152188 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9338880 140728529273920 140728529274119 140728529274119 140728529276877 0
/proc/20562/statm: 28282 367 311 221 0 87 0
[pid=20580] ppid=20562 vsize=7408432 memory=98556 CPUtime=0.94 cores=1,3,5,7
/proc/20580/stat : 20580 (java) S 20562 20562 16605 0 -1 1077944320 16934 0 0 0 89 5 0 0 20 0 15 0 225074413 7586234368 24639 33554432000 4194304 4196468 140730363891392 140730363873936 140357497741047 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
/proc/20580/statm: 1852108 24639 3051 1 0 1814042 0
[pid=20580/tid=20581] ppid=20562 vsize=7408432 memory=6791534058613427641 CPUtime=0.66 cores=1,3,5,7
/proc/20580/task/20581/stat : 20581 (java) R 20562 20562 16605 0 -1 4202560 14431 0 0 0 62 4 0 0 20 0 15 0 225074413 7586234368 24639 33554432000 4194304 4196468 140730363891392 140357469577776 140357497762973 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20582] ppid=20562 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20582/stat : 20582 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074414 7586234368 24639 33554432000 4194304 4196468 140730363891392 140357501983376 140357497751253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20583] ppid=20562 vsize=7408432 memory=7522249850107619944 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20583/stat : 20583 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074414 7586234368 24639 33554432000 4194304 4196468 140730363891392 140357320071696 140357497751253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20584] ppid=20562 vsize=7408432 memory=6227754155019561063 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20584/stat : 20584 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074414 7586234368 24639 33554432000 4194304 4196468 140730363891392 140357319018896 140357497751253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20585] ppid=20562 vsize=7408432 memory=6940729192974674007 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20585/stat : 20585 (java) S 20562 20562 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074414 7586234368 24639 33554432000 4194304 4196468 140730363891392 140357317966096 140357497751253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20586] ppid=20562 vsize=7408432 memory=356143472 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20586/stat : 20586 (java) S 20562 20562 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225074415 7586234368 24639 33554432000 4194304 4196468 140730363891392 140356944231280 140357497752194 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20587] ppid=20562 vsize=7408432 memory=140090827634737 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20587/stat : 20587 (java) S 20562 20562 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225074416 7586234368 24639 33554432000 4194304 4196468 140730363891392 140356310001184 140357497751253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20588] ppid=20562 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20588/stat : 20588 (java) S 20562 20562 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225074416 7586234368 24639 33554432000 4194304 4196468 140730363891392 140356175779184 140357497751253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20589] ppid=20562 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20589/stat : 20589 (java) S 20562 20562 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074418 7586234368 24639 33554432000 4194304 4196468 140730363891392 140355801274704 140357497759643 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20590] ppid=20562 vsize=7408432 memory=140090827638448 CPUtime=0.04 cores=1,3,5,7
/proc/20580/task/20590/stat : 20590 (java) S 20562 20562 16605 0 -1 1077944384 484 0 0 0 4 0 0 0 20 0 15 0 225074418 7586234368 24639 33554432000 4194304 4196468 140730363891392 140356943178096 140357497752194 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20591] ppid=20562 vsize=7408432 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20580/task/20591/stat : 20591 (java) S 20562 20562 16605 0 -1 1077944384 164 0 0 0 5 0 0 0 20 0 15 0 225074418 7586234368 24639 33554432000 4194304 4196468 140730363891392 140356942125296 140357497752194 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20592] ppid=20562 vsize=7408432 memory=-7452431979323206951 CPUtime=0.16 cores=1,3,5,7
/proc/20580/task/20592/stat : 20592 (java) S 20562 20562 16605 0 -1 1077944384 500 0 0 0 16 0 0 0 20 0 15 0 225074419 7586234368 24639 33554432000 4194304 4196468 140730363891392 140356941072496 140357497752194 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20593] ppid=20562 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20593/stat : 20593 (java) S 20562 20562 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074419 7586234368 24639 33554432000 4194304 4196468 140730363891392 140355303368928 140357497751253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
[pid=20580/tid=20594] ppid=20562 vsize=7408432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20580/task/20594/stat : 20594 (java) S 20562 20562 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074419 7586234368 24639 33554432000 4194304 4196468 140730363891392 140356940020912 140357497752194 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140730363897013 140730363897137 140730363897137 140730363899855 0
Current children cumulated CPU time: 4.51 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 100024 KiB
Child status: 0
Real time (s): 2.49543
CPU time (s): 4.73188
CPU user time (s): 4.54858
CPU system time (s): 0.183303
CPU usage (%): 189.622
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 199752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.54858
system time used= 0.183303
maximum resident set size= 201016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42432
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4796
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 20562
# total CPU time (s): 4.73188
# total CPU user time (s): 4.54858
# total CPU system time (s): 0.183303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040796 second user time and 0.06836 second system time
The end