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-23362-serial-file.bin HOME/instance-4305594-1534075281.xml
0.55/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 14:01:22 CEST 2018
0.66/0.54 c PID: 23365
0.66/0.54 c IP: 172.20.3.135
0.66/0.54 c HOST: node135.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.16/0.86 c (0,0) Parsing End
1.16/0.87 c (0,0) CSP: 0 int (0 aux), 72 bool (0 aux), 48 ctr, max domain size 2
1.16/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.16/0.87 c (0,0) Constraint Name Generate Begin
1.16/0.87 c (0,0) Ctr:HOME/instance-4305594-1534075281.xml,ExtensionSupport:IntVar
1.16/0.87 c (0,0) Constraint Name Generate End
1.16/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.16/0.88 c (0,0) CSP to CSPinCNF Begin
1.72/1.12 c (0,0) translated 5 (10%) constraints
1.72/1.17 c (0,0) translated 10 (20%) constraints
1.98/1.21 c (0,0) translated 15 (30%) constraints
1.98/1.25 c (0,0) translated 20 (40%) constraints
1.98/1.27 c (0,0) translated 24 (50%) constraints
2.25/1.31 c (0,0) translated 29 (60%) constraints
2.25/1.32 c (0,0) translated 34 (70%) constraints
2.25/1.34 c (0,0) translated 39 (80%) constraints
2.25/1.36 c (0,0) translated 44 (90%) constraints
2.25/1.37 c (0,0) translated 48 (100%) constraints
2.55/1.41 c (0,0) STATISTICS1:HOME/instance-4305594-1534075281.xml,ExtensionSupport:IntVar,264,912,-1,2,3,1,,2:2400,3:624;2:288,1:2400;0:48,
2.55/1.41 c (0,0) ==========================================
2.55/1.41 c (0,0) Both Encoding selects:
2.55/1.41 c (0,0) Order
2.55/1.41 c (0,0) ==========================================
2.55/1.42 c (0,0) translated 92 (10%) constraints
2.55/1.43 c (0,0) translated 183 (20%) constraints
2.55/1.44 c (0,0) translated 274 (30%) constraints
2.55/1.44 c (0,0) translated 365 (40%) constraints
2.55/1.45 c (0,0) translated 456 (50%) constraints
2.55/1.46 c (0,0) translated 548 (60%) constraints
2.55/1.46 c (0,0) translated 639 (70%) constraints
2.55/1.46 c (0,0) translated 730 (80%) constraints
2.55/1.47 c (0,0) translated 821 (90%) constraints
2.55/1.47 c (0,0) translated 912 (100%) constraints
2.55/1.47 c (0,0) CSP to CSPinCNF End
2.55/1.48 c (0,0) CSP: 0 int (0 aux), 264 bool (192 aux), 912 ctr, max domain size 2
2.55/1.48 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.55/1.48 c (0,0) CSPinCNF Propagation Begin
2.88/1.52 c (0,0) 0 values, 48 unsatisfiable literals, and 0 valid clauses are removed
2.88/1.52 c (0,0) CSPinCNF Propagation End
2.88/1.52 c (0,0) CSP: 0 int (0 aux), 264 bool (192 aux), 912 ctr, max domain size 2
2.88/1.52 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.88/1.52 c (0,0) Simplify CSPinCNF Begin
2.88/1.52 c (1,0) Simplify CSPinCNF End
2.88/1.53 c (1,0) CSP: 0 int (0 aux), 264 bool (192 aux), 912 ctr, max domain size 2
2.88/1.53 c (1,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.88/1.53 c (1,0) Calculate Precise Domain Begin
2.88/1.53 c (1,0) 0 values are removed by re-calculation
2.88/1.53 c (1,0) Calculate Precise Domain End
2.88/1.53 c (1,0) CSP: 0 int (0 aux), 264 bool (192 aux), 912 ctr, max domain size 2
2.88/1.53 c (1,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.88/1.53 c (1,0) CSPinCNF to SatSolver Begin
2.88/1.56 c (1,1) 92 (10 %) CSP clauses are encoded (264 SAT variables, 91 SAT clauses)
2.88/1.56 c (1,1) 183 (20 %) CSP clauses are encoded (264 SAT variables, 182 SAT clauses)
2.88/1.57 c (1,1) 274 (30 %) CSP clauses are encoded (264 SAT variables, 273 SAT clauses)
2.88/1.57 c (1,1) 365 (40 %) CSP clauses are encoded (264 SAT variables, 364 SAT clauses)
2.88/1.58 c (1,1) 456 (50 %) CSP clauses are encoded (264 SAT variables, 455 SAT clauses)
2.88/1.58 c (1,1) 548 (60 %) CSP clauses are encoded (264 SAT variables, 547 SAT clauses)
2.88/1.59 c (1,1) 639 (70 %) CSP clauses are encoded (264 SAT variables, 638 SAT clauses)
2.88/1.59 c (1,1) 730 (80 %) CSP clauses are encoded (264 SAT variables, 729 SAT clauses)
2.88/1.59 c (1,1) 821 (90 %) CSP clauses are encoded (264 SAT variables, 820 SAT clauses)
3.24/1.60 c (1,1) 912 (100 %) CSP clauses are encoded (264 SAT variables, 911 SAT clauses)
3.24/1.60 c (1,1) Launch Command will be: minisat_release
3.24/1.60 c (1,1) CSPinCNF to SatSolver End
3.24/1.60 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.24/1.61 c (1,1) STATISTICS2:HOME/instance-4305594-1534075281.xml,ExtensionSupport:IntVar,264,912,-1,2,3,1,,2:2400,3:576;2:336,1:2400,
3.24/1.61 c (1,1) 264 bool, 912 clause
3.24/1.61 c (1,1) Export Begin
3.43/1.70 c (1,1) Export to HOME/scop-23362-serial-file.bin
3.43/1.70 c (1,1) Export End
3.43/1.70 c (1,1) Export File Size: 0.02 MB
3.43/1.70 c (1,1) 0,0,0,0,1,1,1,STOP-AFTER(DIMACS)
3.43/1.70 c END-Prog: Sun Aug 12 14:01:23 CEST 2018
3.43/1.71 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23362-serial-file.bin
4.08/2.20 c (0,0) Read Serial File Begin
4.08/2.20 c (0,0) HOME/scop-23362-serial-file.bin
4.23/2.38 c (0,0) Read Serial File End
4.23/2.39
4.23/2.39 scop order+minisat_release (2018-07-31)
4.23/2.39 (Solving Process)
4.23/2.39
4.38/2.41 c BEGIN-Prog: Sun Aug 12 14:01:24 CEST 2018
4.38/2.41 c PID: 23380
4.38/2.41 c IP: 172.20.3.135
4.38/2.41 c HOST: node135.alineos.net
4.38/2.42 c (0,0) SatSolver.solve Begin
4.38/2.42 c (0,0) 0 bool, 0 clause
4.38/2.42 c (0,0) minisat_release HOME/instance-4305594-1534075281.xml-scop-23365.cnf
4.38/2.45 c (0,0) c This is COMiniSatPS.
4.38/2.45 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.38/2.45 c (0,0) c ============================[ Problem Statistics ]=============================
4.38/2.45 c (0,0) c | |
4.38/2.45 c (0,0) c | Number of variables: 264 |
4.38/2.45 c (0,0) c | Number of clauses: 912 |
4.38/2.45 c (0,0) c | Parse time: 0.00 s |
4.38/2.45 c (0,0) c | Eliminated clauses: 0.01 Mb |
4.38/2.45 c (0,0) c | Simplification time: 0.00 s |
4.38/2.45 c (0,0) c | |
4.38/2.45 c (0,0) c ===============================================================================
4.38/2.45 c (0,0) c Solved by simplification
4.38/2.45 c (0,0) c restarts : 0
4.38/2.45 c (0,0) c conflicts : 0 (0 /sec)
4.38/2.45 c (0,0) c decisions : 0 (-nan % random) (0 /sec)
4.38/2.45 c (0,0) c propagations : 0 (0 /sec)
4.38/2.45 c (0,0) c conflict literals : 0 (-nan % deleted)
4.38/2.45 c (0,0) c CPU time : 0.003018 s
4.38/2.45 c (0,0)
4.38/2.45 c (0,0) s UNSATISFIABLE
4.38/2.49 c (0,0) SatSolver.solve End
4.38/2.49 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.38/2.49 c (0,0) Show results Begin
4.38/2.49 s UNSATISFIABLE
4.38/2.49 c (0,0) Show results End
4.38/2.49 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.38/2.49 c (0,0) 0,0,STOP-AFTER(ALL)
4.38/2.49 c END-Prog: Sun Aug 12 14:01:24 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 (6946 MiB free)
memory of node 1: 16384 MiB (4572 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305594-1534075281/watcher-4305594-1534075281 -o /tmp/evaluation-result-4305594-1534075281/solver-4305594-1534075281 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305594-1534075281.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23362, runsolver pid=23359
[startup+0.100192 s]*
/proc/loadavg: 2.24 2.18 2.11 3/227 23379
/proc/meminfo: memFree=11734476/32770624 swapFree=67108860/67108860
[pid=23362] ppid=23359 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23362/stat : 23362 (scop.sh) S 23359 23362 19383 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 225091277 115843072 349 33554432000 4194304 5098028 140731773118784 140731773116040 140340810187388 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8597504 140731773125697 140731773125895 140731773125895 140731773128653 0
/proc/23362/statm: 28282 349 296 221 0 87 0
[pid=23365] ppid=23362 vsize=15012476 memory=73828 CPUtime=0.11 cores=0,2,4,6
/proc/23365/stat : 23365 (java) S 23362 23362 19383 0 -1 1077944320 6053 0 0 0 9 2 0 0 20 0 15 0 225091277 15372775424 18457 33554432000 4194304 4196468 140722542694336 140722542676880 139642921639671 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
/proc/23365/statm: 3753119 18457 2769 1 0 3715579 0
[pid=23365/tid=23366] ppid=23362 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=0,2,4,6
/proc/23365/task/23366/stat : 23366 (java) R 23362 23362 19383 0 -1 4202560 4185 0 0 0 8 1 0 0 20 0 15 0 225091278 15372775424 18523 33554432000 4194304 4196468 140722542694336 139642893451656 139642901915420 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23367] ppid=23362 vsize=15012476 memory=3472468779246962352 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23367/stat : 23367 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091279 15372775424 18523 33554432000 4194304 4196468 140722542694336 139642925881872 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23368] ppid=23362 vsize=15012476 memory=140483019282048 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23368/stat : 23368 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091279 15372775424 18523 33554432000 4194304 4196468 140722542694336 139642743970448 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23369] ppid=23362 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23369/stat : 23369 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091279 15372775424 18523 33554432000 4194304 4196468 140722542694336 139642742917392 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23370] ppid=23362 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23370/stat : 23370 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091279 15372775424 18523 33554432000 4194304 4196468 140722542694336 139642380298640 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23371] ppid=23362 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23371/stat : 23371 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091281 15372775424 18523 33554432000 4194304 4196468 140722542694336 139641915124464 139642921650818 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23372] ppid=23362 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23372/stat : 23372 (java) S 23362 23362 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091281 15372775424 18523 33554432000 4194304 4196468 140722542694336 139641533490848 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23373] ppid=23362 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23373/stat : 23373 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091282 15372775424 18523 33554432000 4194304 4196468 140722542694336 139641265054960 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23374] ppid=23362 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23374/stat : 23374 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091284 15372775424 18523 33554432000 4194304 4196468 140722542694336 139640890546640 139642921658267 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23375] ppid=23362 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23375/stat : 23375 (java) S 23362 23362 19383 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 225091284 15372775424 18523 33554432000 4194304 4196468 140722542694336 139641914071280 139642921650818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23376] ppid=23362 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23376/stat : 23376 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091284 15372775424 18523 33554432000 4194304 4196468 140722542694336 139641913018736 139642921650818 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23377] ppid=23362 vsize=15012476 memory=140483019282048 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23377/stat : 23377 (java) S 23362 23362 19383 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 225091284 15372775424 18589 33554432000 4194304 4196468 140722542694336 139641911965680 139642921650818 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23378] ppid=23362 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23378/stat : 23378 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091284 15372775424 18589 33554432000 4194304 4196468 140722542694336 139640392640864 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23379] ppid=23362 vsize=15012476 memory=140483019282048 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23379/stat : 23379 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091284 15372775424 18589 33554432000 4194304 4196468 140722542694336 139641910914096 139642921650818 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75224 KiB
[startup+0.210938 s]*
/proc/loadavg: 2.24 2.18 2.11 4/227 23379
/proc/meminfo: memFree=11720544/32770624 swapFree=67108860/67108860
[pid=23362] ppid=23359 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23362/stat : 23362 (scop.sh) S 23359 23362 19383 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 225091277 115843072 349 33554432000 4194304 5098028 140731773118784 140731773116040 140340810187388 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8597504 140731773125697 140731773125895 140731773125895 140731773128653 0
/proc/23362/statm: 28282 349 296 221 0 87 0
[pid=23365] ppid=23362 vsize=15012476 memory=86644 CPUtime=0.26 cores=0,2,4,6
/proc/23365/stat : 23365 (java) S 23362 23362 19383 0 -1 1077944320 9497 0 0 0 23 3 0 0 20 0 15 0 225091277 15372775424 21661 33554432000 4194304 4196468 140722542694336 140722542676880 139642921639671 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
/proc/23365/statm: 3753119 21661 2875 1 0 3715579 0
[pid=23365/tid=23366] ppid=23362 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=0,2,4,6
/proc/23365/task/23366/stat : 23366 (java) R 23362 23362 19383 0 -1 4202560 7406 0 0 0 18 2 0 0 20 0 15 0 225091278 15372775424 21661 33554432000 4194304 4196468 140722542694336 139642893464768 139642921651606 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23367] ppid=23362 vsize=15012476 memory=3472468779246962352 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23367/stat : 23367 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091279 15372775424 21661 33554432000 4194304 4196468 140722542694336 139642925881872 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23368] ppid=23362 vsize=15012476 memory=140483019282048 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23368/stat : 23368 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091279 15372775424 21661 33554432000 4194304 4196468 140722542694336 139642743970448 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23369] ppid=23362 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23369/stat : 23369 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091279 15372775424 21661 33554432000 4194304 4196468 140722542694336 139642742917392 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23370] ppid=23362 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23370/stat : 23370 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091279 15372775424 21661 33554432000 4194304 4196468 140722542694336 139642380298640 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23371] ppid=23362 vsize=15012476 memory=140483019282048 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23371/stat : 23371 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091281 15372775424 21661 33554432000 4194304 4196468 140722542694336 139641915124464 139642921650818 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23372] ppid=23362 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23372/stat : 23372 (java) S 23362 23362 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091281 15372775424 21661 33554432000 4194304 4196468 140722542694336 139641533490848 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23373] ppid=23362 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23373/stat : 23373 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091282 15372775424 21661 33554432000 4194304 4196468 140722542694336 139641265054960 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23374] ppid=23362 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23374/stat : 23374 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091284 15372775424 21661 33554432000 4194304 4196468 140722542694336 139640890546640 139642921658267 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23375] ppid=23362 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23375/stat : 23375 (java) R 23362 23362 19383 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 15 0 225091284 15372775424 21661 33554432000 4194304 4196468 140722542694336 139641914062784 139642921649877 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23376] ppid=23362 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23376/stat : 23376 (java) S 23362 23362 19383 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 225091284 15372775424 21661 33554432000 4194304 4196468 140722542694336 139641913018736 139642921650818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23377] ppid=23362 vsize=15012476 memory=140483019282048 CPUtime=0.03 cores=0,2,4,6
/proc/23365/task/23377/stat : 23377 (java) R 23362 23362 19383 0 -1 4202560 291 0 0 0 3 0 0 0 20 0 15 0 225091284 15372775424 21661 33554432000 4194304 4196468 140722542694336 139641911965680 139642921651606 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23378] ppid=23362 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23378/stat : 23378 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091284 15372775424 21661 33554432000 4194304 4196468 140722542694336 139640392640864 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23379] ppid=23362 vsize=15012476 memory=140483019282048 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23379/stat : 23379 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091284 15372775424 21661 33554432000 4194304 4196468 140722542694336 139641910914096 139642921650818 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88040 KiB
[startup+0.310948 s]*
/proc/loadavg: 2.24 2.18 2.11 3/227 23379
/proc/meminfo: memFree=11717644/32770624 swapFree=67108860/67108860
[pid=23362] ppid=23359 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23362/stat : 23362 (scop.sh) S 23359 23362 19383 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 225091277 115843072 349 33554432000 4194304 5098028 140731773118784 140731773116040 140340810187388 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8597504 140731773125697 140731773125895 140731773125895 140731773128653 0
/proc/23362/statm: 28282 349 296 221 0 87 0
[pid=23365] ppid=23362 vsize=15012476 memory=90436 CPUtime=0.42 cores=0,2,4,6
/proc/23365/stat : 23365 (java) S 23362 23362 19383 0 -1 1077944320 10036 0 0 0 39 3 0 0 20 0 15 0 225091277 15372775424 22609 33554432000 4194304 4196468 140722542694336 140722542676880 139642921639671 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
/proc/23365/statm: 3753119 22609 3024 1 0 3715579 0
[pid=23365/tid=23366] ppid=23362 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=0,2,4,6
/proc/23365/task/23366/stat : 23366 (java) R 23362 23362 19383 0 -1 4202560 7787 0 0 0 27 2 0 0 20 0 15 0 225091278 15372775424 22609 33554432000 4194304 4196468 140722542694336 139642893468912 139642905720158 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23367] ppid=23362 vsize=15012476 memory=3472468779246962352 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23367/stat : 23367 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091279 15372775424 22609 33554432000 4194304 4196468 140722542694336 139642925881872 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23368] ppid=23362 vsize=15012476 memory=280965896723328 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23368/stat : 23368 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091279 15372775424 22609 33554432000 4194304 4196468 140722542694336 139642743970448 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23369] ppid=23362 vsize=15012476 memory=280965754914848 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23369/stat : 23369 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091279 15372775424 22609 33554432000 4194304 4196468 140722542694336 139642742917392 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23370] ppid=23362 vsize=15012476 memory=140482877441295 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23370/stat : 23370 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091279 15372775424 22609 33554432000 4194304 4196468 140722542694336 139642380298640 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23371] ppid=23362 vsize=15012476 memory=280965896730240 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23371/stat : 23371 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091281 15372775424 22609 33554432000 4194304 4196468 140722542694336 139641915124464 139642921650818 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23372] ppid=23362 vsize=15012476 memory=140482877445903 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23372/stat : 23372 (java) S 23362 23362 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091281 15372775424 22609 33554432000 4194304 4196468 140722542694336 139641533490848 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23373] ppid=23362 vsize=15012476 memory=140482877470630 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23373/stat : 23373 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091282 15372775424 22609 33554432000 4194304 4196468 140722542694336 139641265054960 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23374] ppid=23362 vsize=15012476 memory=280965754924064 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23374/stat : 23374 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091284 15372775424 22609 33554432000 4194304 4196468 140722542694336 139640890546640 139642921658267 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23375] ppid=23362 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23365/task/23375/stat : 23375 (java) R 23362 23362 19383 0 -1 4202560 471 0 0 0 1 0 0 0 20 0 15 0 225091284 15372775424 22609 33554432000 4194304 4196468 140722542694336 139641914071280 139642901301671 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23376] ppid=23362 vsize=15012476 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23365/task/23376/stat : 23376 (java) R 23362 23362 19383 0 -1 1077944384 136 0 0 0 2 0 0 0 20 0 15 0 225091284 15372775424 22609 33554432000 4194304 4196468 140722542694336 139641913018736 139642921650818 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23377] ppid=23362 vsize=15012476 memory=140483019282048 CPUtime=0.07 cores=0,2,4,6
/proc/23365/task/23377/stat : 23377 (java) R 23362 23362 19383 0 -1 4202560 309 0 0 0 7 0 0 0 20 0 15 0 225091284 15372775424 22609 33554432000 4194304 4196468 140722542694336 139641911965680 139642900008216 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23378] ppid=23362 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23378/stat : 23378 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091284 15372775424 22609 33554432000 4194304 4196468 140722542694336 139640392640864 139642921649877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23379] ppid=23362 vsize=15012476 memory=140483019283444 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23379/stat : 23379 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091284 15372775424 22609 33554432000 4194304 4196468 140722542694336 139641910914096 139642921650818 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91832 KiB
[startup+0.700765 s]
/proc/loadavg: 2.24 2.18 2.11 3/227 23379
/proc/meminfo: memFree=11693460/32770624 swapFree=67108860/67108860
[pid=23362] ppid=23359 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23362/stat : 23362 (scop.sh) S 23359 23362 19383 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 225091277 115843072 349 33554432000 4194304 5098028 140731773118784 140731773116040 140340810187388 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8597504 140731773125697 140731773125895 140731773125895 140731773128653 0
/proc/23362/statm: 28282 349 296 221 0 87 0
[pid=23365] ppid=23362 vsize=15020872 memory=129656 CPUtime=1 cores=0,2,4,6
/proc/23365/stat : 23365 (java) S 23362 23362 19383 0 -1 1077944320 17057 0 0 0 95 5 0 0 20 0 15 0 225091277 15381372928 32414 33554432000 4194304 4196468 140722542694336 140722542676880 139642921639671 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
/proc/23365/statm: 3755218 32414 3147 1 0 3716603 0
[pid=23365/tid=23366] ppid=23362 vsize=15020872 memory=57 CPUtime=0.67 cores=0,2,4,6
/proc/23365/task/23366/stat : 23366 (java) R 23362 23362 19383 0 -1 4202560 14390 0 0 0 63 4 0 0 20 0 15 0 225091278 15381372928 32414 33554432000 4194304 4196468 140722542694336 139642893472560 139642921651606 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23367] ppid=23362 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23367/stat : 23367 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091279 15381372928 32414 33554432000 4194304 4196468 140722542694336 139642925881872 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23368] ppid=23362 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23368/stat : 23368 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091279 15381372928 32414 33554432000 4194304 4196468 140722542694336 139642743970448 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23369] ppid=23362 vsize=15020872 memory=7518566443438921826 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23369/stat : 23369 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091279 15381372928 32414 33554432000 4194304 4196468 140722542694336 139642742917392 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23370] ppid=23362 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23370/stat : 23370 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091279 15381372928 32414 33554432000 4194304 4196468 140722542694336 139642380298640 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23371] ppid=23362 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23371/stat : 23371 (java) S 23362 23362 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225091281 15381372928 32414 33554432000 4194304 4196468 140722542694336 139641915124464 139642921650818 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23372] ppid=23362 vsize=15020872 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23372/stat : 23372 (java) S 23362 23362 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091281 15381372928 32414 33554432000 4194304 4196468 140722542694336 139641533490848 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23373] ppid=23362 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23373/stat : 23373 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091282 15381372928 32414 33554432000 4194304 4196468 140722542694336 139641265054960 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23374] ppid=23362 vsize=15020872 memory=968 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23374/stat : 23374 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091284 15381372928 32414 33554432000 4194304 4196468 140722542694336 139640890546640 139642921658267 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23375] ppid=23362 vsize=15020872 memory=12144 CPUtime=0.06 cores=0,2,4,6
/proc/23365/task/23375/stat : 23375 (java) S 23362 23362 19383 0 -1 1077944384 560 0 0 0 6 0 0 0 20 0 15 0 225091284 15381372928 32414 33554432000 4194304 4196468 140722542694336 139641914071280 139642921650818 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23376] ppid=23362 vsize=15020872 memory=1712 CPUtime=0.09 cores=0,2,4,6
/proc/23365/task/23376/stat : 23376 (java) S 23362 23362 19383 0 -1 1077944384 366 0 0 0 9 0 0 0 20 0 15 0 225091284 15381372928 32414 33554432000 4194304 4196468 140722542694336 139641913018736 139642921650818 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23377] ppid=23362 vsize=15020872 memory=8812 CPUtime=0.15 cores=0,2,4,6
/proc/23365/task/23377/stat : 23377 (java) S 23362 23362 19383 0 -1 1077944384 404 0 0 0 15 0 0 0 20 0 15 0 225091284 15381372928 32414 33554432000 4194304 4196468 140722542694336 139641911965680 139642921650818 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23378] ppid=23362 vsize=15020872 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23378/stat : 23378 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091284 15381372928 32414 33554432000 4194304 4196468 140722542694336 139640392640864 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23379] ppid=23362 vsize=15020872 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23379/stat : 23379 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091284 15381372928 32414 33554432000 4194304 4196468 140722542694336 139641910914096 139642921650818 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131052 KiB
[startup+1.50115 s]
/proc/loadavg: 2.24 2.18 2.11 3/227 23379
/proc/meminfo: memFree=11664284/32770624 swapFree=67108860/67108860
[pid=23362] ppid=23359 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23362/stat : 23362 (scop.sh) S 23359 23362 19383 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 225091277 115843072 349 33554432000 4194304 5098028 140731773118784 140731773116040 140340810187388 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8597504 140731773125697 140731773125895 140731773125895 140731773128653 0
/proc/23362/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/23365/task/23372/stat : 23372 (java) S 23362 23362 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091281 15385567232 45211 33554432000 4194304 4196468 140722542694336 139641533490848 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23373] ppid=23362 vsize=15024968 memory=11089 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23373/stat : 23373 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091282 15385567232 45211 33554432000 4194304 4196468 140722542694336 139641265054960 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23374] ppid=23362 vsize=15024968 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23374/stat : 23374 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091284 15385567232 45211 33554432000 4194304 4196468 140722542694336 139640890546640 139642921658267 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23375] ppid=23362 vsize=15024968 memory=6628 CPUtime=0.33 cores=0,2,4,6
/proc/23365/task/23375/stat : 23375 (java) R 23362 23362 19383 0 -1 4202560 992 0 0 0 33 0 0 0 20 0 15 0 225091284 15385567232 45211 33554432000 4194304 4196468 140722542694336 139641914052296 139642902341335 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23376] ppid=23362 vsize=15024968 memory=8836 CPUtime=0.37 cores=0,2,4,6
/proc/23365/task/23376/stat : 23376 (java) R 23362 23362 19383 0 -1 4202560 603 0 0 0 37 0 0 0 20 0 15 0 225091284 15385567232 45211 33554432000 4194304 4196468 140722542694336 139641913004760 139642906744505 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23377] ppid=23362 vsize=15024968 memory=11044 CPUtime=0.68 cores=0,2,4,6
/proc/23365/task/23377/stat : 23377 (java) R 23362 23362 19383 0 -1 4202560 2541 0 0 0 67 1 0 0 20 0 15 0 225091284 15385567232 45211 33554432000 4194304 4196468 140722542694336 139641911965680 139642914736507 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23378] ppid=23362 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23378/stat : 23378 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091284 15385567232 45211 33554432000 4194304 4196468 140722542694336 139640392640864 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23379] ppid=23362 vsize=15024968 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23379/stat : 23379 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091284 15385567232 45211 33554432000 4194304 4196468 140722542694336 139641910914096 139642921650818 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 182240 KiB
[startup+2.50434 s]
# the end of solver process 23362 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.42458 s, system=0.201824 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60361 s]
/proc/loadavg: 2.24 2.18 2.11 3/227 23379
/proc/meminfo: memFree=11664284/32770624 swapFree=67108860/67108860
[pid=23362] ppid=23359 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23362/stat : 23362 (scop.sh) S 23359 23362 19383 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 225091277 115843072 349 33554432000 4194304 5098028 140731773118784 140731773116040 140340810187388 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8597504 140731773125697 140731773125895 140731773125895 140731773128653 0
/proc/23362/statm: 28282 349 296 221 0 87 0
[pid=23365] ppid=23362 vsize=15027084 memory=193200 CPUtime=3.24 cores=0,2,4,6
/proc/23365/stat : 23365 (java) S 23362 23362 19383 0 -1 1077944320 22183 0 0 0 316 8 0 0 20 0 15 0 225091277 15387734016 48300 33554432000 4194304 4196468 140722542694336 140722542676880 139642921639671 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
/proc/23365/statm: 3756771 48300 3201 1 0 3717627 0
[pid=23365/tid=23366] ppid=23362 vsize=15027084 memory=140482877615680 CPUtime=1.57 cores=0,2,4,6
/proc/23365/task/23366/stat : 23366 (java) R 23362 23362 19383 0 -1 4202560 15904 0 0 0 152 5 0 0 20 0 15 0 225091278 15387734016 48300 33554432000 4194304 4196468 140722542694336 139642893475472 139642429896616 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23367] ppid=23362 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23367/stat : 23367 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091279 15387734016 48300 33554432000 4194304 4196468 140722542694336 139642925881872 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23368] ppid=23362 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23368/stat : 23368 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091279 15387734016 48300 33554432000 4194304 4196468 140722542694336 139642743970448 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23369] ppid=23362 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23369/stat : 23369 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091279 15387734016 48300 33554432000 4194304 4196468 140722542694336 139642742917392 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23370] ppid=23362 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23370/stat : 23370 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091279 15387734016 48300 33554432000 4194304 4196468 140722542694336 139642380298640 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23371] ppid=23362 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23371/stat : 23371 (java) S 23362 23362 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225091281 15387734016 48300 33554432000 4194304 4196468 140722542694336 139641915124464 139642921650818 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23372] ppid=23362 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23372/stat : 23372 (java) S 23362 23362 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091281 15387734016 48300 33554432000 4194304 4196468 140722542694336 139641533490848 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23373] ppid=23362 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23373/stat : 23373 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091282 15387734016 48300 33554432000 4194304 4196468 140722542694336 139641265054960 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23374] ppid=23362 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23374/stat : 23374 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091284 15387734016 48300 33554432000 4194304 4196468 140722542694336 139640890546640 139642921658267 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23375] ppid=23362 vsize=15027084 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/23365/task/23375/stat : 23375 (java) R 23362 23362 19383 0 -1 4202560 1544 0 0 0 43 0 0 0 20 0 15 0 225091284 15387734016 48300 33554432000 4194304 4196468 140722542694336 139641914057464 139642901875760 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23376] ppid=23362 vsize=15027084 memory=170926128 CPUtime=0.46 cores=0,2,4,6
/proc/23365/task/23376/stat : 23376 (java) R 23362 23362 19383 0 -1 1077944384 719 0 0 0 46 0 0 0 20 0 15 0 225091284 15387734016 48300 33554432000 4194304 4196468 140722542694336 139641913004176 139642921649877 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23377] ppid=23362 vsize=15027084 memory=1396 CPUtime=0.74 cores=0,2,4,6
/proc/23365/task/23377/stat : 23377 (java) S 23362 23362 19383 0 -1 1077944384 2679 0 0 0 73 1 0 0 20 0 15 0 225091284 15387734016 48300 33554432000 4194304 4196468 140722542694336 139641911965680 139642921650818 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23378] ppid=23362 vsize=15027084 memory=159664 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23378/stat : 23378 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091284 15387734016 48300 33554432000 4194304 4196468 140722542694336 139640392640864 139642921649877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
[pid=23365/tid=23379] ppid=23362 vsize=15027084 memory=56 CPUtime=0 cores=0,2,4,6
/proc/23365/task/23379/stat : 23379 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091284 15387734016 48300 33554432000 4194304 4196468 140722542694336 139641910914096 139642921650818 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31248384 140722542695431 140722542695729 140722542695729 140722542698447 0
Current children cumulated CPU time: 3.24 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 194596 KiB
[startup+2.00032 s]*
/proc/loadavg: 2.24 2.18 2.11 3/227 23394
/proc/meminfo: memFree=11742332/32770624 swapFree=67108860/67108860
[pid=23362] ppid=23359 vsize=113128 memory=1472 CPUtime=3.44 cores=0,2,4,6
/proc/23362/stat : 23362 (scop.sh) S 23359 23362 19383 0 -1 4202496 590 23175 0 0 0 0 334 10 20 0 1 0 225091277 115843072 368 33554432000 4194304 5098028 140731773118784 140731773115528 140340810187388 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8597504 140731773125697 140731773125895 140731773125895 140731773128653 0
/proc/23362/statm: 28282 368 311 221 0 87 0
[pid=23380] ppid=23362 vsize=7404280 memory=65348 CPUtime=0.41 cores=0,2,4,6
/proc/23380/stat : 23380 (java) S 23362 23362 19383 0 -1 1077944320 10829 0 0 0 37 4 0 0 20 0 15 0 225091448 7581982720 16337 33554432000 4194304 4196468 140735901380304 140735901362848 139819205373687 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
/proc/23380/statm: 1851070 16337 2992 1 0 1813530 0
[pid=23380/tid=23381] ppid=23362 vsize=7404280 memory=7810761632834413137 CPUtime=0.27 cores=0,2,4,6
/proc/23380/task/23381/stat : 23381 (java) R 23362 23362 19383 0 -1 4202560 8570 0 0 0 24 3 0 0 20 0 15 0 225091449 7581982720 16337 33554432000 4194304 4196468 140735901380304 139819177165440 139819185649447 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23382] ppid=23362 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23382/stat : 23382 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091450 7581982720 16403 33554432000 4194304 4196468 140735901380304 139819209616016 139819205383893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23383] ppid=23362 vsize=7404280 memory=140483019282048 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23383/stat : 23383 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091450 7581982720 16403 33554432000 4194304 4196468 140735901380304 139818690918928 139819205383893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23384] ppid=23362 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23384/stat : 23384 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091450 7581982720 16403 33554432000 4194304 4196468 140735901380304 139818689866128 139819205383893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23385] ppid=23362 vsize=7404280 memory=3472328296227680299 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23385/stat : 23385 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091450 7581982720 16403 33554432000 4194304 4196468 140735901380304 139818688813328 139819205383893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23386] ppid=23362 vsize=7404280 memory=140483019282048 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23386/stat : 23386 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091451 7581982720 16403 33554432000 4194304 4196468 140735901380304 139818651773808 139819205384834 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23387] ppid=23362 vsize=7404280 memory=140482877481087 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23387/stat : 23387 (java) S 23362 23362 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091452 7581982720 16403 33554432000 4194304 4196468 140735901380304 139818029803040 139819205383893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23388] ppid=23362 vsize=7404280 memory=7649399392888369970 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23388/stat : 23388 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091452 7581982720 16403 33554432000 4194304 4196468 140735901380304 139817761367408 139819205383893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23389] ppid=23362 vsize=7404280 memory=7733922340088082008 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23389/stat : 23389 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091454 7581982720 16403 33554432000 4194304 4196468 140735901380304 139817386858832 139819205392283 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23390] ppid=23362 vsize=7404280 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23380/task/23390/stat : 23390 (java) S 23362 23362 19383 0 -1 1077944384 449 0 0 0 3 0 0 0 20 0 15 0 225091454 7581982720 16403 33554432000 4194304 4196468 140735901380304 139818650720624 139819205384834 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23391] ppid=23362 vsize=7404280 memory=3762257430744938034 CPUtime=0.01 cores=0,2,4,6
/proc/23380/task/23391/stat : 23391 (java) S 23362 23362 19383 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 15 0 225091454 7581982720 16403 33554432000 4194304 4196468 140735901380304 139818649667824 139819205384834 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23392] ppid=23362 vsize=7404280 memory=288363917221298210 CPUtime=0.07 cores=0,2,4,6
/proc/23380/task/23392/stat : 23392 (java) S 23362 23362 19383 0 -1 1077944384 355 0 0 0 7 0 0 0 20 0 15 0 225091454 7581982720 16403 33554432000 4194304 4196468 140735901380304 139818648615024 139819205384834 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23393] ppid=23362 vsize=7404280 memory=288230604657656139 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23393/stat : 23393 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091455 7581982720 16403 33554432000 4194304 4196468 140735901380304 139816888953056 139819205383893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23394] ppid=23362 vsize=7404280 memory=13569297242921548 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23394/stat : 23394 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091455 7581982720 16469 33554432000 4194304 4196468 140735901380304 139818647563440 139819205384834 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
Current children cumulated CPU time: 3.85 s
Current children cumulated vsize: 7517408 KiB
Current children cumulated memory: 66820 KiB
[startup+2.40077 s]
/proc/loadavg: 2.24 2.18 2.11 3/227 23394
/proc/meminfo: memFree=11742332/32770624 swapFree=67108860/67108860
[pid=23362] ppid=23359 vsize=113128 memory=1472 CPUtime=3.44 cores=0,2,4,6
/proc/23362/stat : 23362 (scop.sh) S 23359 23362 19383 0 -1 4202496 590 23175 0 0 0 0 334 10 20 0 1 0 225091277 115843072 368 33554432000 4194304 5098028 140731773118784 140731773115528 140340810187388 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8597504 140731773125697 140731773125895 140731773125895 140731773128653 0
/proc/23362/statm: 28282 368 311 221 0 87 0
[pid=23380] ppid=23362 vsize=7408432 memory=100152 CPUtime=0.94 cores=0,2,4,6
/proc/23380/stat : 23380 (java) S 23362 23362 19383 0 -1 1077944320 17312 0 0 0 87 7 0 0 20 0 15 0 225091448 7586234368 25038 33554432000 4194304 4196468 140735901380304 140735901362848 139819205373687 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
/proc/23380/statm: 1852108 25038 3025 1 0 1814042 0
[pid=23380/tid=23381] ppid=23362 vsize=7408432 memory=140483019314289 CPUtime=0.66 cores=0,2,4,6
/proc/23380/task/23381/stat : 23381 (java) R 23362 23362 19383 0 -1 4202560 14896 0 0 0 60 6 0 0 20 0 15 0 225091449 7586234368 25038 33554432000 4194304 4196468 140735901380304 139819177209152 139819187230293 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23382] ppid=23362 vsize=7408432 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23382/stat : 23382 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091450 7586234368 25038 33554432000 4194304 4196468 140735901380304 139819209616016 139819205383893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23383] ppid=23362 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23383/stat : 23383 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091450 7586234368 25038 33554432000 4194304 4196468 140735901380304 139818690918928 139819205383893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23384] ppid=23362 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23384/stat : 23384 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091450 7586234368 25038 33554432000 4194304 4196468 140735901380304 139818689866128 139819205383893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23385] ppid=23362 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23385/stat : 23385 (java) S 23362 23362 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091450 7586234368 25038 33554432000 4194304 4196468 140735901380304 139818688813328 139819205383893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23386] ppid=23362 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23386/stat : 23386 (java) S 23362 23362 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225091451 7586234368 25038 33554432000 4194304 4196468 140735901380304 139818651773808 139819205384834 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23387] ppid=23362 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23387/stat : 23387 (java) S 23362 23362 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091452 7586234368 25038 33554432000 4194304 4196468 140735901380304 139818029803040 139819205383893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23388] ppid=23362 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23388/stat : 23388 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091452 7586234368 25038 33554432000 4194304 4196468 140735901380304 139817761367408 139819205383893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23389] ppid=23362 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23389/stat : 23389 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091454 7586234368 25038 33554432000 4194304 4196468 140735901380304 139817386858832 139819205392283 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23390] ppid=23362 vsize=7408432 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/23380/task/23390/stat : 23390 (java) S 23362 23362 19383 0 -1 1077944384 449 0 0 0 5 0 0 0 20 0 15 0 225091454 7586234368 25038 33554432000 4194304 4196468 140735901380304 139818650720624 139819205384834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23391] ppid=23362 vsize=7408432 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23380/task/23391/stat : 23391 (java) S 23362 23362 19383 0 -1 1077944384 187 0 0 0 4 0 0 0 20 0 15 0 225091454 7586234368 25038 33554432000 4194304 4196468 140735901380304 139818649667824 139819205384834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23392] ppid=23362 vsize=7408432 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/23380/task/23392/stat : 23392 (java) R 23362 23362 19383 0 -1 4202560 444 0 0 0 16 0 0 0 20 0 15 0 225091454 7586234368 25038 33554432000 4194304 4196468 140735901380304 139818648614832 139819205385622 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23393] ppid=23362 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23393/stat : 23393 (java) S 23362 23362 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091455 7586234368 25038 33554432000 4194304 4196468 140735901380304 139816888953056 139819205383893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
[pid=23380/tid=23394] ppid=23362 vsize=7408432 memory=-8412661042793834637 CPUtime=0 cores=0,2,4,6
/proc/23380/task/23394/stat : 23394 (java) S 23362 23362 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091455 7586234368 25038 33554432000 4194304 4196468 140735901380304 139818647563440 139819205384834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37421056 140735901381813 140735901381937 140735901381937 140735901384655 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 101624 KiB
[startup+2.50078 s]
/proc/loadavg: 2.24 2.18 2.11 3/227 23394
/proc/meminfo: memFree=11742332/32770624 swapFree=67108860/67108860
[pid=23362] ppid=23359 vsize=113128 memory=1472 CPUtime=3.44 cores=0,2,4,6
/proc/23362/stat : 23362 (scop.sh) S 23359 23362 19383 0 -1 4202496 590 23175 0 0 0 0 334 10 20 0 1 0 225091277 115843072 368 33554432000 4194304 5098028 140731773118784 140731773115528 140340810187388 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8597504 140731773125697 140731773125895 140731773125895 140731773128653 0
/proc/23362/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 3.44 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
Child status: 0
Real time (s): 2.50437
CPU time (s): 4.6264
CPU user time (s): 4.42458
CPU system time (s): 0.201824
CPU usage (%): 184.733
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 203128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.42458
system time used= 0.201824
maximum resident set size= 204392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42694
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4902
involuntary context switches= 46
# summary of solver processes directly reported to runsolver:
# pid: 23362
# total CPU time (s): 4.6264
# total CPU user time (s): 4.42458
# total CPU system time (s): 0.201824
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044787 second user time and 0.068674 second system time
The end