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-23166-serial-file.bin HOME/instance-4305597-1534075275.xml
0.55/0.51
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:15 CEST 2018
0.66/0.54 c PID: 23169
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.42/0.90 c (0,0) Parsing End
1.42/0.90 c (0,0) CSP: 0 int (0 aux), 120 bool (0 aux), 80 ctr, max domain size 2
1.42/0.90 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.90 c (0,0) Constraint Name Generate Begin
1.42/0.91 c (0,0) Ctr:HOME/instance-4305597-1534075275.xml,ExtensionSupport:IntVar
1.42/0.91 c (0,0) Constraint Name Generate End
1.42/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.91 c (0,0) CSP to CSPinCNF Begin
1.74/1.17 c (0,0) translated 8 (10%) constraints
1.97/1.24 c (0,0) translated 16 (20%) constraints
1.97/1.30 c (0,0) translated 24 (30%) constraints
2.25/1.33 c (0,0) translated 32 (40%) constraints
2.25/1.36 c (0,0) translated 40 (50%) constraints
2.25/1.39 c (0,0) translated 48 (60%) constraints
2.58/1.42 c (0,0) translated 56 (70%) constraints
2.58/1.44 c (0,0) translated 64 (80%) constraints
2.58/1.46 c (0,0) translated 72 (90%) constraints
2.58/1.47 c (0,0) translated 80 (100%) constraints
2.86/1.52 c (0,0) STATISTICS1:HOME/instance-4305597-1534075275.xml,ExtensionSupport:IntVar,440,1520,-1,2,3,1,,2:4000,3:1040;2:480,1:4000;0:80,
2.86/1.52 c (0,0) ==========================================
2.86/1.52 c (0,0) Both Encoding selects:
2.86/1.52 c (0,0) Order
2.86/1.52 c (0,0) ==========================================
2.86/1.53 c (1,1) translated 152 (10%) constraints
2.86/1.54 c (1,1) translated 304 (20%) constraints
2.86/1.55 c (1,1) translated 456 (30%) constraints
2.86/1.56 c (1,1) translated 608 (40%) constraints
2.86/1.57 c (1,1) translated 760 (50%) constraints
2.86/1.57 c (1,1) translated 912 (60%) constraints
2.86/1.58 c (1,1) translated 1064 (70%) constraints
2.86/1.59 c (1,1) translated 1216 (80%) constraints
2.86/1.60 c (1,1) translated 1368 (90%) constraints
3.18/1.60 c (1,1) translated 1520 (100%) constraints
3.18/1.60 c (1,1) CSP to CSPinCNF End
3.18/1.61 c (1,1) CSP: 0 int (0 aux), 440 bool (320 aux), 1520 ctr, max domain size 2
3.18/1.61 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.18/1.61 c (1,1) CSPinCNF Propagation Begin
3.18/1.65 c (1,1) 0 values, 80 unsatisfiable literals, and 0 valid clauses are removed
3.18/1.65 c (1,1) CSPinCNF Propagation End
3.18/1.66 c (1,1) CSP: 0 int (0 aux), 440 bool (320 aux), 1520 ctr, max domain size 2
3.18/1.66 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.18/1.66 c (1,1) Simplify CSPinCNF Begin
3.18/1.66 c (1,1) Simplify CSPinCNF End
3.18/1.66 c (1,1) CSP: 0 int (0 aux), 440 bool (320 aux), 1520 ctr, max domain size 2
3.18/1.66 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.18/1.66 c (1,1) Calculate Precise Domain Begin
3.18/1.67 c (1,1) 0 values are removed by re-calculation
3.18/1.67 c (1,1) Calculate Precise Domain End
3.18/1.67 c (1,1) CSP: 0 int (0 aux), 440 bool (320 aux), 1520 ctr, max domain size 2
3.18/1.67 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.18/1.67 c (1,1) CSPinCNF to SatSolver Begin
3.55/1.71 c (1,1) 152 (10 %) CSP clauses are encoded (440 SAT variables, 151 SAT clauses)
3.55/1.71 c (1,1) 304 (20 %) CSP clauses are encoded (440 SAT variables, 303 SAT clauses)
3.55/1.72 c (1,1) 456 (30 %) CSP clauses are encoded (440 SAT variables, 455 SAT clauses)
3.55/1.72 c (1,1) 608 (40 %) CSP clauses are encoded (440 SAT variables, 607 SAT clauses)
3.55/1.73 c (1,1) 760 (50 %) CSP clauses are encoded (440 SAT variables, 759 SAT clauses)
3.55/1.73 c (1,1) 912 (60 %) CSP clauses are encoded (440 SAT variables, 911 SAT clauses)
3.55/1.74 c (1,1) 1064 (70 %) CSP clauses are encoded (440 SAT variables, 1063 SAT clauses)
3.55/1.74 c (1,1) 1216 (80 %) CSP clauses are encoded (440 SAT variables, 1215 SAT clauses)
3.55/1.75 c (1,1) 1368 (90 %) CSP clauses are encoded (440 SAT variables, 1367 SAT clauses)
3.55/1.75 c (1,1) 1520 (100 %) CSP clauses are encoded (440 SAT variables, 1519 SAT clauses)
3.55/1.75 c (1,1) Launch Command will be: minisat_release
3.55/1.75 c (1,1) CSPinCNF to SatSolver End
3.55/1.75 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.55/1.76 c (1,1) STATISTICS2:HOME/instance-4305597-1534075275.xml,ExtensionSupport:IntVar,440,1520,-1,2,3,1,,2:4000,3:960;2:560,1:4000,
3.55/1.76 c (1,1) 440 bool, 1520 clause
3.55/1.76 c (1,1) Export Begin
3.80/1.86 c (1,1) Export to HOME/scop-23166-serial-file.bin
3.80/1.86 c (1,1) Export End
3.80/1.86 c (1,1) Export File Size: 0.02 MB
3.80/1.86 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
3.80/1.86 c END-Prog: Sun Aug 12 14:01:17 CEST 2018
3.80/1.88 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23166-serial-file.bin
4.48/2.37 c (0,0) Read Serial File Begin
4.48/2.37 c (0,0) HOME/scop-23166-serial-file.bin
4.78/2.55 c (0,0) Read Serial File End
4.78/2.56
4.78/2.56 scop order+minisat_release (2018-07-31)
4.78/2.56 (Solving Process)
4.78/2.56
4.78/2.58 c BEGIN-Prog: Sun Aug 12 14:01:18 CEST 2018
4.78/2.58 c PID: 23184
4.78/2.58 c IP: 172.20.3.135
4.78/2.58 c HOST: node135.alineos.net
4.78/2.59 c (0,0) SatSolver.solve Begin
4.78/2.59 c (0,0) 0 bool, 0 clause
4.78/2.59 c (0,0) minisat_release HOME/instance-4305597-1534075275.xml-scop-23169.cnf
4.97/2.62 c (0,0) c This is COMiniSatPS.
4.97/2.62 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.97/2.62 c (0,0) c ============================[ Problem Statistics ]=============================
4.97/2.62 c (0,0) c | |
4.97/2.62 c (0,0) c | Number of variables: 440 |
4.97/2.62 c (0,0) c | Number of clauses: 1520 |
4.97/2.62 c (0,0) c | Parse time: 0.00 s |
4.97/2.62 c (0,0) c | Eliminated clauses: 0.02 Mb |
4.97/2.62 c (0,0) c | Simplification time: 0.00 s |
4.97/2.62 c (0,0) c | |
4.97/2.62 c (0,0) c ===============================================================================
4.97/2.62 c (0,0) c Solved by simplification
4.97/2.62 c (0,0) c restarts : 0
4.97/2.62 c (0,0) c conflicts : 0 (0 /sec)
4.97/2.62 c (0,0) c decisions : 0 (-nan % random) (0 /sec)
4.97/2.62 c (0,0) c propagations : 0 (0 /sec)
4.97/2.62 c (0,0) c conflict literals : 0 (-nan % deleted)
4.97/2.62 c (0,0) c CPU time : 0.004135 s
4.97/2.62 c (0,0)
4.97/2.62 c (0,0) s UNSATISFIABLE
4.97/2.66 c (0,0) SatSolver.solve End
4.97/2.66 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.97/2.66 c (0,0) Show results Begin
4.97/2.66 s UNSATISFIABLE
4.97/2.66 c (0,0) Show results End
4.97/2.66 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.97/2.66 c (0,0) 0,0,STOP-AFTER(ALL)
4.97/2.66 c END-Prog: Sun Aug 12 14:01:18 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 (4573 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305597-1534075275/watcher-4305597-1534075275 -o /tmp/evaluation-result-4305597-1534075275/solver-4305597-1534075275 -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-4305597-1534075275.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=23166, runsolver pid=23163
[startup+0.100169 s]*
/proc/loadavg: 2.26 2.19 2.11 5/227 23183
/proc/meminfo: memFree=11734272/32770624 swapFree=67108860/67108860
[pid=23166] ppid=23163 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23166/stat : 23166 (scop.sh) S 23163 23166 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225090659 115843072 348 33554432000 4194304 5098028 140727430916864 140727430914120 140163870143100 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16187392 140727430919233 140727430919431 140727430919431 140727430922189 0
/proc/23166/statm: 28282 348 296 221 0 87 0
[pid=23169] ppid=23166 vsize=15012476 memory=73824 CPUtime=0.11 cores=0,2,4,6
/proc/23169/stat : 23169 (java) S 23166 23166 19383 0 -1 1077944320 6075 0 0 0 10 1 0 0 20 0 15 0 225090660 15372775424 18456 33554432000 4194304 4196468 140736349913584 140736349896128 140291440733943 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
/proc/23169/statm: 3753119 18456 2766 1 0 3715579 0
[pid=23169/tid=23170] ppid=23166 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=0,2,4,6
/proc/23169/task/23170/stat : 23170 (java) R 23166 23166 19383 0 -1 4202560 4206 0 0 0 8 1 0 0 20 0 15 0 225090660 15372775424 18522 33554432000 4194304 4196468 140736349913584 140291412545928 140291421010768 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23171] ppid=23166 vsize=15012476 memory=3472468416389641904 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23171/stat : 23171 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15372775424 18522 33554432000 4194304 4196468 140736349913584 140291444976656 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23172] ppid=23166 vsize=15012476 memory=140120161961600 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23172/stat : 23172 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15372775424 18522 33554432000 4194304 4196468 140736349913584 140291220679824 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23173] ppid=23166 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23173/stat : 23173 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15372775424 18522 33554432000 4194304 4196468 140736349913584 140291219626768 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23174] ppid=23166 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23174/stat : 23174 (java) S 23166 23166 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225090662 15372775424 18522 33554432000 4194304 4196468 140736349913584 140291218574224 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23175] ppid=23166 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23175/stat : 23175 (java) S 23166 23166 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225090663 15372775424 18522 33554432000 4194304 4196468 140736349913584 140290780260592 140291440745090 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23176] ppid=23166 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23176/stat : 23176 (java) S 23166 23166 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225090663 15372775424 18522 33554432000 4194304 4196468 140736349913584 140290039997600 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23177] ppid=23166 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23177/stat : 23177 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090664 15372775424 18588 33554432000 4194304 4196468 140736349913584 140289805116144 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23178] ppid=23166 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23178/stat : 23178 (java) S 23166 23166 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225090666 15372775424 18588 33554432000 4194304 4196468 140736349913584 140289430607824 140291440752539 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23179] ppid=23166 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23179/stat : 23179 (java) S 23166 23166 19383 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 225090666 15372775424 18588 33554432000 4194304 4196468 140736349913584 140290779208432 140291440745090 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23180] ppid=23166 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23180/stat : 23180 (java) S 23166 23166 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 225090666 15372775424 18588 33554432000 4194304 4196468 140736349913584 140290778155888 140291440745090 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23181] ppid=23166 vsize=15012476 memory=140120161961600 CPUtime=0.01 cores=0,2,4,6
/proc/23169/task/23181/stat : 23181 (java) S 23166 23166 19383 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 225090666 15372775424 18588 33554432000 4194304 4196468 140736349913584 140290777102832 140291440745090 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23182] ppid=23166 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23182/stat : 23182 (java) S 23166 23166 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225090666 15372775424 18588 33554432000 4194304 4196468 140736349913584 140288932703072 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23183] ppid=23166 vsize=15012476 memory=140120161961600 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23183/stat : 23183 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090666 15372775424 18588 33554432000 4194304 4196468 140736349913584 140290776050224 140291440745090 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75216 KiB
[startup+0.211032 s]*
/proc/loadavg: 2.26 2.19 2.11 3/227 23183
/proc/meminfo: memFree=11720692/32770624 swapFree=67108860/67108860
[pid=23166] ppid=23163 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23166/stat : 23166 (scop.sh) S 23163 23166 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225090659 115843072 348 33554432000 4194304 5098028 140727430916864 140727430914120 140163870143100 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16187392 140727430919233 140727430919431 140727430919431 140727430922189 0
/proc/23166/statm: 28282 348 296 221 0 87 0
[pid=23169] ppid=23166 vsize=15012476 memory=86636 CPUtime=0.26 cores=0,2,4,6
/proc/23169/stat : 23169 (java) S 23166 23166 19383 0 -1 1077944320 9496 0 0 0 23 3 0 0 20 0 15 0 225090660 15372775424 21659 33554432000 4194304 4196468 140736349913584 140736349896128 140291440733943 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
/proc/23169/statm: 3753119 21659 2868 1 0 3715579 0
[pid=23169/tid=23170] ppid=23166 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=0,2,4,6
/proc/23169/task/23170/stat : 23170 (java) R 23166 23166 19383 0 -1 4202560 7403 0 0 0 18 2 0 0 20 0 15 0 225090660 15372775424 21659 33554432000 4194304 4196468 140736349913584 140291412559040 140291440755869 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23171] ppid=23166 vsize=15012476 memory=3472468416389641904 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23171/stat : 23171 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15372775424 21659 33554432000 4194304 4196468 140736349913584 140291444976656 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23172] ppid=23166 vsize=15012476 memory=140120161961600 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23172/stat : 23172 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15372775424 21659 33554432000 4194304 4196468 140736349913584 140291220679824 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23173] ppid=23166 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23173/stat : 23173 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15372775424 21659 33554432000 4194304 4196468 140736349913584 140291219626768 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23174] ppid=23166 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23174/stat : 23174 (java) S 23166 23166 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225090662 15372775424 21659 33554432000 4194304 4196468 140736349913584 140291218574224 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23175] ppid=23166 vsize=15012476 memory=140120161961600 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23175/stat : 23175 (java) S 23166 23166 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225090663 15372775424 21659 33554432000 4194304 4196468 140736349913584 140290780260592 140291440745090 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23176] ppid=23166 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23176/stat : 23176 (java) S 23166 23166 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225090663 15372775424 21659 33554432000 4194304 4196468 140736349913584 140290039997600 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23177] ppid=23166 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23177/stat : 23177 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090664 15372775424 21659 33554432000 4194304 4196468 140736349913584 140289805116144 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23178] ppid=23166 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23178/stat : 23178 (java) S 23166 23166 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225090666 15372775424 21659 33554432000 4194304 4196468 140736349913584 140289430607824 140291440752539 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23179] ppid=23166 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23179/stat : 23179 (java) R 23166 23166 19383 0 -1 4202560 455 0 0 0 0 0 0 0 20 0 15 0 225090666 15372775424 21659 33554432000 4194304 4196468 140736349913584 140290779200080 140291424246186 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23180] ppid=23166 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23180/stat : 23180 (java) R 23166 23166 19383 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 225090666 15372775424 21659 33554432000 4194304 4196468 140736349913584 140290778155984 140291440744149 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23181] ppid=23166 vsize=15012476 memory=140120161961600 CPUtime=0.03 cores=0,2,4,6
/proc/23169/task/23181/stat : 23181 (java) S 23166 23166 19383 0 -1 1077944384 287 0 0 0 3 0 0 0 20 0 15 0 225090666 15372775424 21659 33554432000 4194304 4196468 140736349913584 140290777102832 140291440745090 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23182] ppid=23166 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23182/stat : 23182 (java) S 23166 23166 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225090666 15372775424 21659 33554432000 4194304 4196468 140736349913584 140288932703072 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23183] ppid=23166 vsize=15012476 memory=140120161961600 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23183/stat : 23183 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090666 15372775424 21659 33554432000 4194304 4196468 140736349913584 140290776050224 140291440745090 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88028 KiB
[startup+0.311038 s]*
/proc/loadavg: 2.26 2.19 2.11 3/227 23183
/proc/meminfo: memFree=11717776/32770624 swapFree=67108860/67108860
[pid=23166] ppid=23163 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23166/stat : 23166 (scop.sh) S 23163 23166 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225090659 115843072 348 33554432000 4194304 5098028 140727430916864 140727430914120 140163870143100 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16187392 140727430919233 140727430919431 140727430919431 140727430922189 0
/proc/23166/statm: 28282 348 296 221 0 87 0
[pid=23169] ppid=23166 vsize=15012476 memory=90156 CPUtime=0.43 cores=0,2,4,6
/proc/23169/stat : 23169 (java) S 23166 23166 19383 0 -1 1077944320 10041 0 0 0 40 3 0 0 20 0 15 0 225090660 15372775424 22539 33554432000 4194304 4196468 140736349913584 140736349896128 140291440733943 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
/proc/23169/statm: 3753119 22539 2968 1 0 3715579 0
[pid=23169/tid=23170] ppid=23166 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=0,2,4,6
/proc/23169/task/23170/stat : 23170 (java) R 23166 23166 19383 0 -1 4202560 7781 0 0 0 27 2 0 0 20 0 15 0 225090660 15372775424 22539 33554432000 4194304 4196468 140736349913584 140291412561648 140291424777573 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23171] ppid=23166 vsize=15012476 memory=3472468416389641904 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23171/stat : 23171 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15372775424 22539 33554432000 4194304 4196468 140736349913584 140291444976656 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23172] ppid=23166 vsize=15012476 memory=280240181775232 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23172/stat : 23172 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15372775424 22539 33554432000 4194304 4196468 140736349913584 140291220679824 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23173] ppid=23166 vsize=15012476 memory=280240039659552 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23173/stat : 23173 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15372775424 22539 33554432000 4194304 4196468 140736349913584 140291219626768 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23174] ppid=23166 vsize=15012476 memory=140120019813647 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23174/stat : 23174 (java) S 23166 23166 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225090662 15372775424 22539 33554432000 4194304 4196468 140736349913584 140291218574224 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23175] ppid=23166 vsize=15012476 memory=280240181782144 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23175/stat : 23175 (java) S 23166 23166 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225090663 15372775424 22539 33554432000 4194304 4196468 140736349913584 140290780260592 140291440745090 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23176] ppid=23166 vsize=15012476 memory=140120019818255 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23176/stat : 23176 (java) S 23166 23166 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225090663 15372775424 22539 33554432000 4194304 4196468 140736349913584 140290039997600 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23177] ppid=23166 vsize=15012476 memory=140120019842982 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23177/stat : 23177 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090664 15372775424 22539 33554432000 4194304 4196468 140736349913584 140289805116144 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23178] ppid=23166 vsize=15012476 memory=280240039668768 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23178/stat : 23178 (java) S 23166 23166 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225090666 15372775424 22539 33554432000 4194304 4196468 140736349913584 140289430607824 140291440752539 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23179] ppid=23166 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23169/task/23179/stat : 23179 (java) R 23166 23166 19383 0 -1 4202560 517 0 0 0 2 0 0 0 20 0 15 0 225090666 15372775424 22539 33554432000 4194304 4196468 140736349913584 140290779208432 140291433023392 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23180] ppid=23166 vsize=15012476 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23169/task/23180/stat : 23180 (java) R 23166 23166 19383 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 15 0 225090666 15372775424 22539 33554432000 4194304 4196468 140736349913584 140290778155888 140291440745090 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23181] ppid=23166 vsize=15012476 memory=140120161961600 CPUtime=0.08 cores=0,2,4,6
/proc/23169/task/23181/stat : 23181 (java) R 23166 23166 19383 0 -1 4202560 307 0 0 0 8 0 0 0 20 0 15 0 225090666 15372775424 22539 33554432000 4194304 4196468 140736349913584 140290777102832 140291419224176 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23182] ppid=23166 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23182/stat : 23182 (java) S 23166 23166 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225090666 15372775424 22539 33554432000 4194304 4196468 140736349913584 140288932703072 140291440744149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23183] ppid=23166 vsize=15012476 memory=140120161962992 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23183/stat : 23183 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090666 15372775424 22539 33554432000 4194304 4196468 140736349913584 140290776050224 140291440745090 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91548 KiB
[startup+0.701834 s]
/proc/loadavg: 2.26 2.19 2.11 3/227 23183
/proc/meminfo: memFree=11693592/32770624 swapFree=67108860/67108860
[pid=23166] ppid=23163 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23166/stat : 23166 (scop.sh) S 23163 23166 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225090659 115843072 348 33554432000 4194304 5098028 140727430916864 140727430914120 140163870143100 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16187392 140727430919233 140727430919431 140727430919431 140727430922189 0
/proc/23166/statm: 28282 348 296 221 0 87 0
[pid=23169] ppid=23166 vsize=15020872 memory=129644 CPUtime=1.02 cores=0,2,4,6
/proc/23169/stat : 23169 (java) S 23166 23166 19383 0 -1 1077944320 17125 0 0 0 97 5 0 0 20 0 15 0 225090660 15381372928 32411 33554432000 4194304 4196468 140736349913584 140736349896128 140291440733943 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
/proc/23169/statm: 3755218 32411 3147 1 0 3716603 0
[pid=23169/tid=23170] ppid=23166 vsize=15020872 memory=57 CPUtime=0.67 cores=0,2,4,6
/proc/23169/task/23170/stat : 23170 (java) R 23166 23166 19383 0 -1 4202560 14405 0 0 0 63 4 0 0 20 0 15 0 225090660 15381372928 32411 33554432000 4194304 4196468 140736349913584 140291412568880 140291440745878 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23171] ppid=23166 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23171/stat : 23171 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15381372928 32411 33554432000 4194304 4196468 140736349913584 140291444976656 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23172] ppid=23166 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23172/stat : 23172 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15381372928 32411 33554432000 4194304 4196468 140736349913584 140291220679824 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23173] ppid=23166 vsize=15020872 memory=7518566443438921826 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23173/stat : 23173 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15381372928 32411 33554432000 4194304 4196468 140736349913584 140291219626768 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23174] ppid=23166 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23174/stat : 23174 (java) S 23166 23166 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225090662 15381372928 32411 33554432000 4194304 4196468 140736349913584 140291218574224 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23175] ppid=23166 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23175/stat : 23175 (java) S 23166 23166 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225090663 15381372928 32411 33554432000 4194304 4196468 140736349913584 140290780260592 140291440745090 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23176] ppid=23166 vsize=15020872 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23176/stat : 23176 (java) S 23166 23166 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225090663 15381372928 32411 33554432000 4194304 4196468 140736349913584 140290039997600 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23177] ppid=23166 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23177/stat : 23177 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090664 15381372928 32411 33554432000 4194304 4196468 140736349913584 140289805116144 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23178] ppid=23166 vsize=15020872 memory=968 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23178/stat : 23178 (java) S 23166 23166 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225090666 15381372928 32411 33554432000 4194304 4196468 140736349913584 140289430607824 140291440752539 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23179] ppid=23166 vsize=15020872 memory=12144 CPUtime=0.08 cores=0,2,4,6
/proc/23169/task/23179/stat : 23179 (java) R 23166 23166 19383 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 15 0 225090666 15381372928 32411 33554432000 4194304 4196468 140736349913584 140290779208432 140291440745090 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23180] ppid=23166 vsize=15020872 memory=1712 CPUtime=0.07 cores=0,2,4,6
/proc/23169/task/23180/stat : 23180 (java) R 23166 23166 19383 0 -1 4202560 177 0 0 0 7 0 0 0 20 0 15 0 225090666 15381372928 32411 33554432000 4194304 4196468 140736349913584 140290778146272 140291425857982 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23181] ppid=23166 vsize=15020872 memory=8812 CPUtime=0.17 cores=0,2,4,6
/proc/23169/task/23181/stat : 23181 (java) R 23166 23166 19383 0 -1 4202560 448 0 0 0 17 0 0 0 20 0 15 0 225090666 15381372928 32411 33554432000 4194304 4196468 140736349913584 140290777102832 140291424814430 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23182] ppid=23166 vsize=15020872 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23182/stat : 23182 (java) S 23166 23166 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225090666 15381372928 32411 33554432000 4194304 4196468 140736349913584 140288932703072 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23183] ppid=23166 vsize=15020872 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23183/stat : 23183 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090666 15381372928 32411 33554432000 4194304 4196468 140736349913584 140290776050224 140291440745090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131036 KiB
[startup+1.50075 s]
/proc/loadavg: 2.26 2.19 2.11 5/227 23183
/proc/meminfo: memFree=11665056/32770624 swapFree=67108860/67108860
[pid=23166] ppid=23163 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23166/stat : 23166 (scop.sh) S 23163 23166 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225090659 115843072 348 33554432000 4194304 5098028 140727430916864 140727430914120 140163870143100 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16187392 140727430919233 140727430919431 140727430919431 140727430922189 0
/proc/23166/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/23169/task/23171/stat : 23171 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15385567232 44567 33554432000 4194304 4196468 140736349913584 140291444976656 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23172] ppid=23166 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23172/stat : 23172 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15385567232 44567 33554432000 4194304 4196468 140736349913584 140291220679824 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23173] ppid=23166 vsize=15024968 memory=280240039686720 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23173/stat : 23173 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15385567232 44567 33554432000 4194304 4196468 140736349913584 140291219626768 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23174] ppid=23166 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23174/stat : 23174 (java) S 23166 23166 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225090662 15385567232 44567 33554432000 4194304 4196468 140736349913584 140291218574224 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23175] ppid=23166 vsize=15024968 memory=140120019853152 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23175/stat : 23175 (java) S 23166 23166 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225090663 15385567232 44567 33554432000 4194304 4196468 140736349913584 140290780260592 140291440745090 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23176] ppid=23166 vsize=15024968 memory=40 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23176/stat : 23176 (java) S 23166 23166 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225090663 15385567232 44567 33554432000 4194304 4196468 140736349913584 140290039997600 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23177] ppid=23166 vsize=15024968 memory=11089 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23177/stat : 23177 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090664 15385567232 44567 33554432000 4194304 4196468 140736349913584 140289805116144 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23178] ppid=23166 vsize=15024968 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23178/stat : 23178 (java) S 23166 23166 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225090666 15385567232 44567 33554432000 4194304 4196468 140736349913584 140289430607824 140291440752539 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23179] ppid=23166 vsize=15024968 memory=6628 CPUtime=0.38 cores=0,2,4,6
/proc/23169/task/23179/stat : 23179 (java) S 23166 23166 19383 0 -1 1077944384 1073 0 0 0 37 1 0 0 20 0 15 0 225090666 15385567232 44567 33554432000 4194304 4196468 140736349913584 140290779208432 140291440745090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23180] ppid=23166 vsize=15024968 memory=8836 CPUtime=0.29 cores=0,2,4,6
/proc/23169/task/23180/stat : 23180 (java) R 23166 23166 19383 0 -1 1077944384 350 0 0 0 29 0 0 0 20 0 15 0 225090666 15385567232 44567 33554432000 4194304 4196468 140736349913584 140290778155888 140291440745090 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23181] ppid=23166 vsize=15024968 memory=11044 CPUtime=0.71 cores=0,2,4,6
/proc/23169/task/23181/stat : 23181 (java) R 23166 23166 19383 0 -1 4202560 2628 0 0 0 70 1 0 0 20 0 15 0 225090666 15385567232 44567 33554432000 4194304 4196468 140736349913584 140290777098688 140291440747792 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23182] ppid=23166 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23182/stat : 23182 (java) S 23166 23166 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225090666 15385567232 44567 33554432000 4194304 4196468 140736349913584 140288932703072 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23183] ppid=23166 vsize=15024968 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23183/stat : 23183 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090666 15385567232 44567 33554432000 4194304 4196468 140736349913584 140290776050224 140291440745090 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 179660 KiB
[startup+2.67254 s]
# the end of solver process 23166 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.93325 s, system=0.189865 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60148 s]
/proc/loadavg: 2.26 2.19 2.11 5/227 23183
/proc/meminfo: memFree=11665056/32770624 swapFree=67108860/67108860
[pid=23166] ppid=23163 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23166/stat : 23166 (scop.sh) S 23163 23166 19383 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225090659 115843072 348 33554432000 4194304 5098028 140727430916864 140727430914120 140163870143100 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16187392 140727430919233 140727430919431 140727430919431 140727430922189 0
/proc/23166/statm: 28282 348 296 221 0 87 0
[pid=23169] ppid=23166 vsize=15024968 memory=192308 CPUtime=3.18 cores=0,2,4,6
/proc/23169/stat : 23169 (java) S 23166 23166 19383 0 -1 1077944320 21448 0 0 0 310 8 0 0 20 0 15 0 225090660 15385567232 48077 33554432000 4194304 4196468 140736349913584 140736349896128 140291440733943 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
/proc/23169/statm: 3756242 48077 3191 1 0 3717627 0
[pid=23169/tid=23170] ppid=23166 vsize=15024968 memory=140120019988032 CPUtime=1.56 cores=0,2,4,6
/proc/23169/task/23170/stat : 23170 (java) R 23166 23166 19383 0 -1 4202560 15647 0 0 0 150 6 0 0 20 0 15 0 225090660 15385567232 48077 33554432000 4194304 4196468 140736349913584 140291412564192 140290903893022 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23171] ppid=23166 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23171/stat : 23171 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15385567232 48077 33554432000 4194304 4196468 140736349913584 140291444976656 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23172] ppid=23166 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23172/stat : 23172 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15385567232 48077 33554432000 4194304 4196468 140736349913584 140291220679824 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23173] ppid=23166 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23173/stat : 23173 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090662 15385567232 48077 33554432000 4194304 4196468 140736349913584 140291219626768 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23174] ppid=23166 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23174/stat : 23174 (java) S 23166 23166 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225090662 15385567232 48077 33554432000 4194304 4196468 140736349913584 140291218574224 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23175] ppid=23166 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23175/stat : 23175 (java) S 23166 23166 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225090663 15385567232 48077 33554432000 4194304 4196468 140736349913584 140290780260592 140291440745090 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23176] ppid=23166 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23176/stat : 23176 (java) S 23166 23166 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225090663 15385567232 48077 33554432000 4194304 4196468 140736349913584 140290039997600 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23177] ppid=23166 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23177/stat : 23177 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090664 15385567232 48077 33554432000 4194304 4196468 140736349913584 140289805116144 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23178] ppid=23166 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23178/stat : 23178 (java) S 23166 23166 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225090666 15385567232 48077 33554432000 4194304 4196468 140736349913584 140289430607824 140291440752539 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23179] ppid=23166 vsize=15024968 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/23169/task/23179/stat : 23179 (java) R 23166 23166 19383 0 -1 4202560 1156 0 0 0 46 1 0 0 20 0 15 0 225090666 15385567232 48077 33554432000 4194304 4196468 140736349913584 140290779194456 140291419990544 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23180] ppid=23166 vsize=15024968 memory=170926128 CPUtime=0.39 cores=0,2,4,6
/proc/23169/task/23180/stat : 23180 (java) R 23166 23166 19383 0 -1 4202560 617 0 0 0 39 0 0 0 20 0 15 0 225090666 15385567232 48077 33554432000 4194304 4196468 140736349913584 140290778147216 140291425633215 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23181] ppid=23166 vsize=15024968 memory=1392 CPUtime=0.74 cores=0,2,4,6
/proc/23169/task/23181/stat : 23181 (java) S 23166 23166 19383 0 -1 1077944384 2694 0 0 0 73 1 0 0 20 0 15 0 225090666 15385567232 48077 33554432000 4194304 4196468 140736349913584 140290777102832 140291440745090 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23182] ppid=23166 vsize=15024968 memory=159788 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23182/stat : 23182 (java) S 23166 23166 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225090666 15385567232 48077 33554432000 4194304 4196468 140736349913584 140288932703072 140291440744149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
[pid=23169/tid=23183] ppid=23166 vsize=15024968 memory=56 CPUtime=0 cores=0,2,4,6
/proc/23169/task/23183/stat : 23183 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090666 15385567232 48077 33554432000 4194304 4196468 140736349913584 140290776050224 140291440745090 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140736349922311 140736349922609 140736349922609 140736349925327 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 193700 KiB
[startup+2.40083 s]
/proc/loadavg: 2.26 2.19 2.11 3/227 23198
/proc/meminfo: memFree=11755240/32770624 swapFree=67108860/67108860
[pid=23166] ppid=23163 vsize=113128 memory=1468 CPUtime=3.92 cores=0,2,4,6
/proc/23166/stat : 23166 (scop.sh) S 23163 23166 19383 0 -1 4202496 590 23352 0 0 0 0 380 12 20 0 1 0 225090659 115843072 367 33554432000 4194304 5098028 140727430916864 140727430913608 140163870143100 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16187392 140727430919233 140727430919431 140727430919431 140727430922189 0
/proc/23166/statm: 28282 367 311 221 0 87 0
[pid=23184] ppid=23166 vsize=7406384 memory=89216 CPUtime=0.69 cores=0,2,4,6
/proc/23184/stat : 23184 (java) S 23166 23166 19383 0 -1 1077944320 15909 0 0 0 66 3 0 0 20 0 15 0 225090847 7584137216 22304 33554432000 4194304 4196468 140730908496224 140730908478768 140665910525687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
/proc/23184/statm: 1851596 22304 3054 1 0 1813530 0
[pid=23184/tid=23185] ppid=23166 vsize=7406384 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/23184/task/23185/stat : 23185 (java) R 23166 23166 19383 0 -1 4202560 13581 0 0 0 47 2 0 0 20 0 15 0 225090848 7584137216 22304 33554432000 4194304 4196468 140730908496224 140665882352144 140665894606174 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23186] ppid=23166 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23186/stat : 23186 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090849 7584137216 22304 33554432000 4194304 4196468 140730908496224 140665914768528 140665910535893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23187] ppid=23166 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23187/stat : 23187 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090849 7584137216 22304 33554432000 4194304 4196468 140730908496224 140665714936848 140665910535893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23188] ppid=23166 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23188/stat : 23188 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090849 7584137216 22304 33554432000 4194304 4196468 140730908496224 140665713884048 140665910535893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23189] ppid=23166 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23189/stat : 23189 (java) S 23166 23166 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225090849 7584137216 22304 33554432000 4194304 4196468 140730908496224 140665712831248 140665910535893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23190] ppid=23166 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23190/stat : 23190 (java) S 23166 23166 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225090850 7584137216 22304 33554432000 4194304 4196468 140730908496224 140665356781936 140665910536834 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23191] ppid=23166 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23191/stat : 23191 (java) S 23166 23166 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225090851 7584137216 22304 33554432000 4194304 4196468 140730908496224 140664742339616 140665910535893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23192] ppid=23166 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23192/stat : 23192 (java) S 23166 23166 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225090851 7584137216 22304 33554432000 4194304 4196468 140730908496224 140664608117616 140665910535893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23193] ppid=23166 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23193/stat : 23193 (java) S 23166 23166 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225090853 7584137216 22304 33554432000 4194304 4196468 140730908496224 140664233613136 140665910544283 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23194] ppid=23166 vsize=7406384 memory=1392 CPUtime=0.03 cores=0,2,4,6
/proc/23184/task/23194/stat : 23194 (java) S 23166 23166 19383 0 -1 1077944384 485 0 0 0 3 0 0 0 20 0 15 0 225090853 7584137216 22304 33554432000 4194304 4196468 140730908496224 140665355729776 140665910536834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23195] ppid=23166 vsize=7406384 memory=220076 CPUtime=0.03 cores=0,2,4,6
/proc/23184/task/23195/stat : 23195 (java) R 23166 23166 19383 0 -1 4202560 152 0 0 0 3 0 0 0 20 0 15 0 225090854 7584137216 22304 33554432000 4194304 4196468 140730908496224 140665354676976 140665896589907 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23196] ppid=23166 vsize=7406384 memory=7308308011628389974 CPUtime=0.11 cores=0,2,4,6
/proc/23184/task/23196/stat : 23196 (java) S 23166 23166 19383 0 -1 1077944384 338 0 0 0 11 0 0 0 20 0 15 0 225090854 7584137216 22304 33554432000 4194304 4196468 140730908496224 140665353624176 140665910536834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23197] ppid=23166 vsize=7406384 memory=7591218929170410584 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23197/stat : 23197 (java) S 23166 23166 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225090854 7584137216 22304 33554432000 4194304 4196468 140730908496224 140663735708384 140665910535893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23198] ppid=23166 vsize=7406384 memory=8172739655390881379 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23198/stat : 23198 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090854 7584137216 22304 33554432000 4194304 4196468 140730908496224 140665352571568 140665910536834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
Current children cumulated CPU time: 4.61 s
Current children cumulated vsize: 7519512 KiB
Current children cumulated memory: 90684 KiB
[startup+2.60948 s]
/proc/loadavg: 2.26 2.19 2.11 3/227 23198
/proc/meminfo: memFree=11755240/32770624 swapFree=67108860/67108860
[pid=23166] ppid=23163 vsize=113128 memory=1468 CPUtime=3.92 cores=0,2,4,6
/proc/23166/stat : 23166 (scop.sh) S 23163 23166 19383 0 -1 4202496 590 23352 0 0 0 0 380 12 20 0 1 0 225090659 115843072 367 33554432000 4194304 5098028 140727430916864 140727430913608 140163870143100 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16187392 140727430919233 140727430919431 140727430919431 140727430922189 0
/proc/23166/statm: 28282 367 311 221 0 87 0
[pid=23184] ppid=23166 vsize=7410572 memory=102888 CPUtime=1.05 cores=0,2,4,6
/proc/23184/stat : 23184 (java) S 23166 23166 19383 0 -1 1077944320 17523 0 0 0 100 5 0 0 20 0 15 0 225090847 7588425728 25722 33554432000 4194304 4196468 140730908496224 140730908478768 140665910525687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
/proc/23184/statm: 1852643 25722 3130 1 0 1814042 0
[pid=23184/tid=23185] ppid=23166 vsize=7410572 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/23184/task/23185/stat : 23185 (java) R 23166 23166 19383 0 -1 4202560 14756 0 0 0 66 4 0 0 20 0 15 0 225090848 7588425728 25722 33554432000 4194304 4196468 140730908496224 140665882362144 140665902762814 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23186] ppid=23166 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23186/stat : 23186 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090849 7588425728 25722 33554432000 4194304 4196468 140730908496224 140665914768528 140665910535893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23187] ppid=23166 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23187/stat : 23187 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090849 7588425728 25722 33554432000 4194304 4196468 140730908496224 140665714936848 140665910535893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23188] ppid=23166 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23188/stat : 23188 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090849 7588425728 25722 33554432000 4194304 4196468 140730908496224 140665713884048 140665910535893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23189] ppid=23166 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23189/stat : 23189 (java) S 23166 23166 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225090849 7588425728 25722 33554432000 4194304 4196468 140730908496224 140665712831248 140665910535893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23190] ppid=23166 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23190/stat : 23190 (java) S 23166 23166 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225090850 7588425728 25722 33554432000 4194304 4196468 140730908496224 140665356781936 140665910536834 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23191] ppid=23166 vsize=7410572 memory=37140 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23191/stat : 23191 (java) S 23166 23166 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225090851 7588425728 25722 33554432000 4194304 4196468 140730908496224 140664742339616 140665910535893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23192] ppid=23166 vsize=7410572 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23192/stat : 23192 (java) S 23166 23166 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225090851 7588425728 25722 33554432000 4194304 4196468 140730908496224 140664608117616 140665910535893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23193] ppid=23166 vsize=7410572 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23193/stat : 23193 (java) S 23166 23166 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225090853 7588425728 25722 33554432000 4194304 4196468 140730908496224 140664233613136 140665910544283 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23194] ppid=23166 vsize=7410572 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23184/task/23194/stat : 23194 (java) R 23166 23166 19383 0 -1 4202560 646 0 0 0 7 0 0 0 20 0 15 0 225090853 7588425728 25722 33554432000 4194304 4196468 140730908496224 140665355715656 140665895651093 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23195] ppid=23166 vsize=7410572 memory=8226000230768008761 CPUtime=0.07 cores=0,2,4,6
/proc/23184/task/23195/stat : 23195 (java) R 23166 23166 19383 0 -1 4202560 238 0 0 0 7 0 0 0 20 0 15 0 225090854 7588425728 25722 33554432000 4194304 4196468 140730908496224 140665354667088 140665892045778 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23196] ppid=23166 vsize=7410572 memory=6224608430726408548 CPUtime=0.19 cores=0,2,4,6
/proc/23184/task/23196/stat : 23196 (java) R 23166 23166 19383 0 -1 4202560 527 0 0 0 19 0 0 0 20 0 15 0 225090854 7588425728 25722 33554432000 4194304 4196468 140730908496224 140665353624176 140665889383294 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23197] ppid=23166 vsize=7410572 memory=6945507666079274341 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23197/stat : 23197 (java) S 23166 23166 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225090854 7588425728 25722 33554432000 4194304 4196468 140730908496224 140663735708384 140665910535893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
[pid=23184/tid=23198] ppid=23166 vsize=7410572 memory=4638778398332698720 CPUtime=0 cores=0,2,4,6
/proc/23184/task/23198/stat : 23198 (java) S 23166 23166 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225090854 7588425728 25722 33554432000 4194304 4196468 140730908496224 140665352571568 140665910536834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140730908505269 140730908505393 140730908505393 140730908508111 0
Current children cumulated CPU time: 4.97 s
Current children cumulated vsize: 7523700 KiB
Current children cumulated memory: 104356 KiB
Child status: 0
Real time (s): 2.67259
CPU time (s): 5.12312
CPU user time (s): 4.93325
CPU system time (s): 0.189865
CPU usage (%): 191.691
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 221468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.93325
system time used= 0.189865
maximum resident set size= 225540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5098
involuntary context switches= 60
# summary of solver processes directly reported to runsolver:
# pid: 23166
# total CPU time (s): 5.12312
# total CPU user time (s): 4.93325
# total CPU system time (s): 0.189865
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040492 second user time and 0.074228 second system time
The end