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-24145-serial-file.bin HOME/instance-4305672-1534065639.xml
0.66/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 11:20:39 CEST 2018
0.66/0.54 c PID: 24148
0.66/0.54 c IP: 172.20.3.106
0.66/0.54 c HOST: node106.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.39/0.96 c (0,0) Parsing End
1.39/0.97 c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.39/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.39/0.97 c (0,0) Constraint Name Generate Begin
1.39/0.97 c (0,0) Ctr:HOME/instance-4305672-1534065639.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.39/0.97 c (0,0) Constraint Name Generate End
1.39/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.39/0.97 c (0,0) CSP to CSPinCNF Begin
1.59/1.06 c (0,0) translated 6 (10%) constraints
1.59/1.06 c (0,0) translated 11 (20%) constraints
1.59/1.07 c (0,0) translated 16 (30%) constraints
1.59/1.07 c (0,0) translated 21 (40%) constraints
1.59/1.07 c (0,0) translated 26 (50%) constraints
1.59/1.08 c (0,0) translated 32 (60%) constraints
1.75/1.17 c (0,0) translated 37 (70%) constraints
1.95/1.23 c (0,0) translated 42 (80%) constraints
1.95/1.27 c (0,0) translated 47 (90%) constraints
2.23/1.32 c (0,0) translated 52 (100%) constraints
2.52/1.46 c (0,0) STATISTICS1:HOME/instance-4305672-1534065639.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,153,425,384,193,4,3,384:12;372:12;368:16;352:20;344:24;338:28;336:32;326:36;324:40;320:92;318:52;314:56;288:60;266:64;2:34,193:66;192:132;186:66;184:66;176:66;172:66;169:66;168:66;163:66;162:66;160:132;159:66;157:66;144:66;133:66;2:1156,4:136;3:85;2:170;1:34,3:544;2:34;1:578;0:17,
2.52/1.46 c (0,0) ==========================================
2.52/1.46 c (0,0) Both Encoding selects:
2.52/1.46 c (0,0) Order
2.52/1.46 c (0,0) ==========================================
2.52/1.47 c (0,0) translated 43 (10%) constraints
2.52/1.48 c (0,0) translated 85 (20%) constraints
2.52/1.48 c (0,0) translated 128 (30%) constraints
2.52/1.48 c (0,0) translated 170 (40%) constraints
2.52/1.49 c (0,0) translated 213 (50%) constraints
2.52/1.49 c (0,0) translated 255 (60%) constraints
2.52/1.49 c (0,0) translated 298 (70%) constraints
2.52/1.50 c (0,0) translated 340 (80%) constraints
2.85/1.51 c (0,0) translated 383 (90%) constraints
2.85/1.51 c (0,0) translated 425 (100%) constraints
2.85/1.51 c (0,0) CSP to CSPinCNF End
2.85/1.51 c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 193
2.85/1.51 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.85/1.51 c (0,0) CSPinCNF Propagation Begin
2.85/1.58 c (1,1) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.85/1.58 c (1,1) CSPinCNF Propagation End
2.85/1.58 c (1,1) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 193
2.85/1.58 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.85/1.58 c (1,1) Simplify CSPinCNF Begin
3.16/1.64 c (1,1) Simplify CSPinCNF End
3.16/1.65 c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 193
3.16/1.65 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.16/1.65 c (1,1) Calculate Precise Domain Begin
3.16/1.65 c (1,1) 0 values are removed by re-calculation
3.16/1.65 c (1,1) Calculate Precise Domain End
3.16/1.65 c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 193
3.16/1.65 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.16/1.65 c (1,1) CSPinCNF to SatSolver Begin
3.49/1.71 c (1,1) 97 (10 %) CSP clauses are encoded (6369 SAT variables, 5768 SAT clauses)
3.49/1.71 c (1,1) 194 (20 %) CSP clauses are encoded (6369 SAT variables, 5865 SAT clauses)
3.49/1.72 c (1,1) 291 (30 %) CSP clauses are encoded (6369 SAT variables, 5962 SAT clauses)
3.81/1.84 c (1,1) 388 (40 %) CSP clauses are encoded (6369 SAT variables, 22562 SAT clauses)
4.13/1.91 c (1,1) 485 (50 %) CSP clauses are encoded (6369 SAT variables, 40664 SAT clauses)
4.13/1.97 c (1,1) 582 (60 %) CSP clauses are encoded (6369 SAT variables, 60756 SAT clauses)
4.41/2.02 c (1,1) 679 (70 %) CSP clauses are encoded (6369 SAT variables, 79476 SAT clauses)
4.41/2.07 c (1,1) 776 (80 %) CSP clauses are encoded (6369 SAT variables, 98031 SAT clauses)
4.55/2.13 c (1,1) 873 (90 %) CSP clauses are encoded (6369 SAT variables, 118105 SAT clauses)
4.55/2.18 c (1,1) 969 (100 %) CSP clauses are encoded (6369 SAT variables, 136176 SAT clauses)
4.55/2.18 c (1,1) Launch Command will be: minisat_release
4.55/2.18 c (1,1) CSPinCNF to SatSolver End
4.55/2.18 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.69/2.20 c (1,1) STATISTICS2:HOME/instance-4305672-1534065639.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,697,969,384,193,4,3,384:12;372:12;368:16;352:20;344:24;338:28;336:32;326:36;324:40;320:92;318:52;314:56;288:60;266:64;2:34,193:66;192:132;186:66;184:66;176:66;172:66;169:66;168:66;163:66;162:66;160:132;159:66;157:66;144:66;133:66;2:2244,4:136;3:68;2:731;1:34,3:544;2:34;1:1666,
4.69/2.20 c (1,1) 6369 bool, 136337 clause
4.69/2.20 c (1,1) Export Begin
4.88/2.30 c (1,1) Export to HOME/scop-24145-serial-file.bin
4.88/2.30 c (1,1) Export End
4.88/2.30 c (1,1) Export File Size: 0.03 MB
4.88/2.30 c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
4.88/2.30 c END-Prog: Sun Aug 12 11:20:41 CEST 2018
4.88/2.32 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-24145-serial-file.bin
4.90/2.82 c (0,0) Read Serial File Begin
4.90/2.82 c (0,0) HOME/scop-24145-serial-file.bin
5.83/3.01 c (0,0) Read Serial File End
5.83/3.02
5.83/3.02 scop order+minisat_release (2018-07-31)
5.83/3.02 (Solving Process)
5.83/3.02
5.83/3.04 c BEGIN-Prog: Sun Aug 12 11:20:42 CEST 2018
5.83/3.04 c PID: 24184
5.83/3.04 c IP: 172.20.3.106
5.83/3.04 c HOST: node106.alineos.net
5.83/3.05 c (0,0) SatSolver.solve Begin
5.83/3.05 c (0,0) 0 bool, 0 clause
5.83/3.05 c (0,0) minisat_release HOME/instance-4305672-1534065639.xml-scop-24148.cnf
2507.72/2503.56 c (2500,0) c This is COMiniSatPS.
2507.72/2503.56 c (2500,0) c WARNING: for repeatability, setting FPU to use double precision
2507.72/2503.56 c (2500,0) c ============================[ Problem Statistics ]=============================
2507.72/2503.56 c (2500,0) c | |
2507.72/2503.56 c (2500,0) c | Number of variables: 6369 |
2507.72/2503.56 c (2500,0) c | Number of clauses: 136337 |
2507.72/2503.56 c (2500,0) c | Parse time: 0.04 s |
2507.72/2503.56 c (2500,0) c | Eliminated clauses: 0.02 Mb |
2507.72/2503.56 c (2500,0) c Reduced to 5659 vars, 134260 cls (grow=0)
2507.72/2503.56 c (2500,0) c No iterative elimination performed. (vars=5659, c/v ratio=23.7)
2507.72/2503.56 c (2500,0) c | Simplification time: 0.26 s |
2507.72/2503.56 c (2500,0) c | |
2507.72/2503.56 c (2500,0) c ============================[ Search Statistics ]==============================
2507.72/2503.56 c (2500,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2507.72/2503.56 c (2500,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2507.72/2503.56 c (2500,0) c ===============================================================================
2507.72/2503.56 c (2500,0) c Switched to VSIDS.
2520.04/2515.80 c (2513,0) SatSolver is killed by some reasons.
2520.04/2515.80 c (2513,0) receiving signal SIGTERM
2520.04/2515.80 s UNKNOWN
2520.04/2515.81 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.04/2515.81 c (scop.sh) Killing background jobs.
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 (8583 MiB free)
memory of node 1: 16384 MiB (11517 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305672-1534065639/watcher-4305672-1534065639 -o /tmp/evaluation-result-4305672-1534065639/solver-4305672-1534065639 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305672-1534065639.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=24145, runsolver pid=24142
[startup+0.10006 s]*
/proc/loadavg: 2.05 2.03 2.05 7/217 24162
/proc/meminfo: memFree=20519752/32770624 swapFree=67108688/67108860
[pid=24145] ppid=24142 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24145/stat : 24145 (scop.sh) S 24142 24145 23167 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 224126754 115843072 349 33554432000 4194304 5098028 140728415107328 140728415104584 139653876531836 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13570048 140728415114305 140728415114503 140728415114503 140728415117261 0
/proc/24145/statm: 28282 349 296 221 0 87 0
[pid=24148] ppid=24145 vsize=15012476 memory=72332 CPUtime=0.11 cores=0,2,4,6
/proc/24148/stat : 24148 (java) S 24145 24145 23167 0 -1 1077944320 6159 0 0 0 9 2 0 0 20 0 15 0 224126754 15372775424 18017 33554432000 4194304 4196468 140736499480208 140736499462752 140456722235127 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
/proc/24148/statm: 3753119 18017 2771 1 0 3715579 0
[pid=24148/tid=24149] ppid=24145 vsize=15012476 memory=-6601833317647732518 CPUtime=0.09 cores=0,2,4,6
/proc/24148/task/24149/stat : 24149 (java) R 24145 24145 23167 0 -1 4202560 4285 0 0 0 7 2 0 0 20 0 15 0 224126754 15372775424 18083 33554432000 4194304 4196468 140736499480208 140456694047112 140456702510834 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24150] ppid=24145 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24150/stat : 24150 (java) S 24145 24145 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224126756 15372775424 18083 33554432000 4194304 4196468 140736499480208 140456726477456 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24151] ppid=24145 vsize=15012476 memory=139790684518016 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24151/stat : 24151 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126756 15372775424 18083 33554432000 4194304 4196468 140736499480208 140456517560848 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24152] ppid=24145 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24152/stat : 24152 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126756 15372775424 18083 33554432000 4194304 4196468 140736499480208 140456516508048 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24153] ppid=24145 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24153/stat : 24153 (java) S 24145 24145 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224126756 15372775424 18083 33554432000 4194304 4196468 140736499480208 140456515455248 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24154] ppid=24145 vsize=15012476 memory=139790684518016 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24154/stat : 24154 (java) S 24145 24145 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224126757 15372775424 18149 33554432000 4194304 4196468 140736499480208 140455691914096 140456722246274 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24155] ppid=24145 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24155/stat : 24155 (java) S 24145 24145 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224126758 15372775424 18149 33554432000 4194304 4196468 140736499480208 140455295575584 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24156] ppid=24145 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24156/stat : 24156 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126758 15372775424 18149 33554432000 4194304 4196468 140736499480208 140455027139952 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24157] ppid=24145 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24157/stat : 24157 (java) S 24145 24145 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224126760 15372775424 18149 33554432000 4194304 4196468 140736499480208 140454652631376 140456722253723 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24158] ppid=24145 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24158/stat : 24158 (java) S 24145 24145 23167 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 224126760 15372775424 18149 33554432000 4194304 4196468 140736499480208 140455690860912 140456722246274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24159] ppid=24145 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24159/stat : 24159 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126760 15372775424 18149 33554432000 4194304 4196468 140736499480208 140455689808112 140456722246274 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24160] ppid=24145 vsize=15012476 memory=139790684518016 CPUtime=0.01 cores=0,2,4,6
/proc/24148/task/24160/stat : 24160 (java) S 24145 24145 23167 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 224126760 15372775424 18149 33554432000 4194304 4196468 140736499480208 140455688755312 140456722246274 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24161] ppid=24145 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24161/stat : 24161 (java) S 24145 24145 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224126761 15372775424 18149 33554432000 4194304 4196468 140736499480208 140454154725600 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24162] ppid=24145 vsize=15012476 memory=139790684518016 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24162/stat : 24162 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126761 15372775424 18149 33554432000 4194304 4196468 140736499480208 140455687703728 140456722246274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73728 KiB
[startup+0.210605 s]*
/proc/loadavg: 2.05 2.03 2.05 7/217 24162
/proc/meminfo: memFree=20497864/32770624 swapFree=67108688/67108860
[pid=24145] ppid=24142 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24145/stat : 24145 (scop.sh) S 24142 24145 23167 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 224126754 115843072 349 33554432000 4194304 5098028 140728415107328 140728415104584 139653876531836 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13570048 140728415114305 140728415114503 140728415114503 140728415117261 0
/proc/24145/statm: 28282 349 296 221 0 87 0
[pid=24148] ppid=24145 vsize=15012476 memory=85672 CPUtime=0.25 cores=0,2,4,6
/proc/24148/stat : 24148 (java) S 24145 24145 23167 0 -1 1077944320 9763 0 0 0 22 3 0 0 20 0 15 0 224126754 15372775424 21418 33554432000 4194304 4196468 140736499480208 140736499462752 140456722235127 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
/proc/24148/statm: 3753119 21418 2911 1 0 3715579 0
[pid=24148/tid=24149] ppid=24145 vsize=15012476 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/24148/task/24149/stat : 24149 (java) R 24145 24145 23167 0 -1 4202560 7655 0 0 0 17 2 0 0 20 0 15 0 224126754 15372775424 21418 33554432000 4194304 4196468 140736499480208 140456694023912 140456722247062 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24150] ppid=24145 vsize=15012476 memory=12629 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24150/stat : 24150 (java) S 24145 24145 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224126756 15372775424 21418 33554432000 4194304 4196468 140736499480208 140456726477456 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24151] ppid=24145 vsize=15012476 memory=139790685710311 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24151/stat : 24151 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126756 15372775424 21418 33554432000 4194304 4196468 140736499480208 140456517560848 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24152] ppid=24145 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24152/stat : 24152 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126756 15372775424 21418 33554432000 4194304 4196468 140736499480208 140456516508048 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24153] ppid=24145 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24153/stat : 24153 (java) S 24145 24145 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224126756 15372775424 21418 33554432000 4194304 4196468 140736499480208 140456515455248 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24154] ppid=24145 vsize=15012476 memory=139790684518016 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24154/stat : 24154 (java) S 24145 24145 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224126757 15372775424 21418 33554432000 4194304 4196468 140736499480208 140455691914096 140456722246274 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24155] ppid=24145 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24155/stat : 24155 (java) S 24145 24145 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224126758 15372775424 21418 33554432000 4194304 4196468 140736499480208 140455295575584 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24156] ppid=24145 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24156/stat : 24156 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126758 15372775424 21418 33554432000 4194304 4196468 140736499480208 140455027139952 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24157] ppid=24145 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24157/stat : 24157 (java) S 24145 24145 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224126760 15372775424 21418 33554432000 4194304 4196468 140736499480208 140454652631376 140456722253723 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24158] ppid=24145 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24158/stat : 24158 (java) S 24145 24145 23167 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 224126760 15372775424 21418 33554432000 4194304 4196468 140736499480208 140455690860912 140456722246274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24159] ppid=24145 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24159/stat : 24159 (java) S 24145 24145 23167 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 224126760 15372775424 21418 33554432000 4194304 4196468 140736499480208 140455689808112 140456722246274 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24160] ppid=24145 vsize=15012476 memory=139790684518016 CPUtime=0.03 cores=0,2,4,6
/proc/24148/task/24160/stat : 24160 (java) R 24145 24145 23167 0 -1 4202560 301 0 0 0 3 0 0 0 20 0 15 0 224126760 15372775424 21418 33554432000 4194304 4196468 140736499480208 140455688755312 140456722256474 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24161] ppid=24145 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24161/stat : 24161 (java) S 24145 24145 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224126761 15372775424 21418 33554432000 4194304 4196468 140736499480208 140454154725600 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24162] ppid=24145 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24162/stat : 24162 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126761 15372775424 21418 33554432000 4194304 4196468 140736499480208 140455687703728 140456722246274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87068 KiB
[startup+0.310654 s]*
/proc/loadavg: 2.05 2.03 2.05 6/217 24162
/proc/meminfo: memFree=20485580/32770624 swapFree=67108688/67108860
[pid=24145] ppid=24142 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24145/stat : 24145 (scop.sh) S 24142 24145 23167 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 224126754 115843072 349 33554432000 4194304 5098028 140728415107328 140728415104584 139653876531836 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13570048 140728415114305 140728415114503 140728415114503 140728415117261 0
/proc/24145/statm: 28282 349 296 221 0 87 0
[pid=24148] ppid=24145 vsize=15012476 memory=89608 CPUtime=0.42 cores=0,2,4,6
/proc/24148/stat : 24148 (java) S 24145 24145 23167 0 -1 1077944320 10360 0 0 0 39 3 0 0 20 0 15 0 224126754 15372775424 22402 33554432000 4194304 4196468 140736499480208 140736499462752 140456722235127 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
/proc/24148/statm: 3753119 22402 2965 1 0 3715579 0
[pid=24148/tid=24149] ppid=24145 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/24148/task/24149/stat : 24149 (java) R 24145 24145 23167 0 -1 4202560 8084 0 0 0 27 3 0 0 20 0 15 0 224126754 15372775424 22402 33554432000 4194304 4196468 140736499480208 140456694030576 140456722257053 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24150] ppid=24145 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24150/stat : 24150 (java) S 24145 24145 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224126756 15372775424 22402 33554432000 4194304 4196468 140736499480208 140456726477456 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24151] ppid=24145 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24151/stat : 24151 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126756 15372775424 22402 33554432000 4194304 4196468 140736499480208 140456517560848 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24152] ppid=24145 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24152/stat : 24152 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126756 15372775424 22402 33554432000 4194304 4196468 140736499480208 140456516508048 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24153] ppid=24145 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24153/stat : 24153 (java) S 24145 24145 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224126756 15372775424 22402 33554432000 4194304 4196468 140736499480208 140456515455248 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24154] ppid=24145 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24154/stat : 24154 (java) S 24145 24145 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224126757 15372775424 22402 33554432000 4194304 4196468 140736499480208 140455691914096 140456722246274 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24155] ppid=24145 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24155/stat : 24155 (java) S 24145 24145 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224126758 15372775424 22402 33554432000 4194304 4196468 140736499480208 140455295575584 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24156] ppid=24145 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24156/stat : 24156 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126758 15372775424 22402 33554432000 4194304 4196468 140736499480208 140455027139952 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24157] ppid=24145 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24157/stat : 24157 (java) S 24145 24145 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224126760 15372775424 22402 33554432000 4194304 4196468 140736499480208 140454652631376 140456722253723 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24158] ppid=24145 vsize=15012476 memory=4426078206164241782 CPUtime=0.03 cores=0,2,4,6
/proc/24148/task/24158/stat : 24158 (java) R 24145 24145 23167 0 -1 4202560 431 0 0 0 3 0 0 0 20 0 15 0 224126760 15372775424 22402 33554432000 4194304 4196468 140736499480208 140455690860912 140456699982513 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24159] ppid=24145 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24148/task/24159/stat : 24159 (java) R 24145 24145 23167 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 15 0 224126760 15372775424 22402 33554432000 4194304 4196468 140736499480208 140455689808112 140456722246274 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24160] ppid=24145 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24148/task/24160/stat : 24160 (java) R 24145 24145 23167 0 -1 4202560 344 0 0 0 7 0 0 0 20 0 15 0 224126760 15372775424 22402 33554432000 4194304 4196468 140736499480208 140455688755312 140456701170448 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24161] ppid=24145 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24161/stat : 24161 (java) S 24145 24145 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224126761 15372775424 22402 33554432000 4194304 4196468 140736499480208 140454154725600 140456722245333 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24162] ppid=24145 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24162/stat : 24162 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126761 15372775424 22402 33554432000 4194304 4196468 140736499480208 140455687703728 140456722246274 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91004 KiB
[startup+0.702348 s]
/proc/loadavg: 2.05 2.03 2.05 5/217 24162
/proc/meminfo: memFree=20444208/32770624 swapFree=67108688/67108860
[pid=24145] ppid=24142 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24145/stat : 24145 (scop.sh) S 24142 24145 23167 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 224126754 115843072 349 33554432000 4194304 5098028 140728415107328 140728415104584 139653876531836 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13570048 140728415114305 140728415114503 140728415114503 140728415117261 0
/proc/24145/statm: 28282 349 296 221 0 87 0
[pid=24148] ppid=24145 vsize=15020872 memory=129732 CPUtime=1.01 cores=0,2,4,6
/proc/24148/stat : 24148 (java) S 24145 24145 23167 0 -1 1077944320 17610 0 0 0 95 6 0 0 20 0 15 0 224126754 15381372928 32433 33554432000 4194304 4196468 140736499480208 140736499462752 140456722235127 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
/proc/24148/statm: 3755218 32433 3147 1 0 3716603 0
[pid=24148/tid=24149] ppid=24145 vsize=15020872 memory=61020 CPUtime=0.68 cores=0,2,4,6
/proc/24148/task/24149/stat : 24149 (java) R 24145 24145 23167 0 -1 4202560 14844 0 0 0 63 5 0 0 20 0 15 0 224126754 15381372928 32433 33554432000 4194304 4196468 140736499480208 140456694070992 140456722247062 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24150] ppid=24145 vsize=15020872 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24150/stat : 24150 (java) S 24145 24145 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224126756 15381372928 32433 33554432000 4194304 4196468 140736499480208 140456726477456 140456722245333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24151] ppid=24145 vsize=15020872 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24151/stat : 24151 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126756 15381372928 32433 33554432000 4194304 4196468 140736499480208 140456517560848 140456722245333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24152] ppid=24145 vsize=15020872 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24152/stat : 24152 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126756 15381372928 32433 33554432000 4194304 4196468 140736499480208 140456516508048 140456722245333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24153] ppid=24145 vsize=15020872 memory=868 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24153/stat : 24153 (java) S 24145 24145 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224126756 15381372928 32433 33554432000 4194304 4196468 140736499480208 140456515455248 140456722245333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24154] ppid=24145 vsize=15020872 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24154/stat : 24154 (java) S 24145 24145 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224126757 15381372928 32433 33554432000 4194304 4196468 140736499480208 140455691914096 140456722246274 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24155] ppid=24145 vsize=15020872 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24155/stat : 24155 (java) S 24145 24145 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224126758 15381372928 32433 33554432000 4194304 4196468 140736499480208 140455295575584 140456722245333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24156] ppid=24145 vsize=15020872 memory=748 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24156/stat : 24156 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126758 15381372928 32433 33554432000 4194304 4196468 140736499480208 140455027139952 140456722245333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24157] ppid=24145 vsize=15020872 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24157/stat : 24157 (java) S 24145 24145 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224126760 15381372928 32433 33554432000 4194304 4196468 140736499480208 140454652631376 140456722253723 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24158] ppid=24145 vsize=15020872 memory=6580 CPUtime=0.08 cores=0,2,4,6
/proc/24148/task/24158/stat : 24158 (java) S 24145 24145 23167 0 -1 1077944384 499 0 0 0 8 0 0 0 20 0 15 0 224126760 15381372928 32433 33554432000 4194304 4196468 140736499480208 140455690860912 140456722246274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24159] ppid=24145 vsize=15020872 memory=1296 CPUtime=0.07 cores=0,2,4,6
/proc/24148/task/24159/stat : 24159 (java) S 24145 24145 23167 0 -1 1077944384 438 0 0 0 7 0 0 0 20 0 15 0 224126760 15381372928 32433 33554432000 4194304 4196468 140736499480208 140455689808112 140456722246274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24160] ppid=24145 vsize=15020872 memory=4452 CPUtime=0.16 cores=0,2,4,6
/proc/24148/task/24160/stat : 24160 (java) R 24145 24145 23167 0 -1 4202560 493 0 0 0 16 0 0 0 20 0 15 0 224126760 15381372928 32433 33554432000 4194304 4196468 140736499480208 140455688755312 140456722247062 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24161] ppid=24145 vsize=15020872 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24161/stat : 24161 (java) S 24145 24145 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224126761 15381372928 32433 33554432000 4194304 4196468 140736499480208 140454154725600 140456722245333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
[pid=24148/tid=24162] ppid=24145 vsize=15020872 memory=12668 CPUtime=0 cores=0,2,4,6
/proc/24148/task/24162/stat : 24162 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224126761 15381372928 32433 33554432000 4194304 4196468 140736499480208 140455687703728 140456722246274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140736499487751 140736499488049 140736499488049 140736499490767 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131128 KiB
[startup+1.50695 s]
/proc/loadavg: 2.21 2.07 2.06 4/217 24177
/proc/meminfo: memFree=20550100/32770624 swapFree=67108688/67108860
[pid=24145] ppid=24142 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24145/stat : 24145 (scop.sh) S 24142 24145 23167 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 224126754 115843072 349 33554432000 4194304 5098028 140728415107328 140728415104584 139653876531836 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13570048 140728415114305 140728415114503 140728415114503 140728415117261 0
/proc/24145/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=24184/tid=24187] ppid=24145 vsize=8068220 memory=116688 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24187/stat : 24187 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126988 8261857280 29172 33554432000 4194304 4196468 140733758991584 139726247545872 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24188] ppid=24145 vsize=8068220 memory=116688 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24188/stat : 24188 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126988 8261857280 29172 33554432000 4194304 4196468 140733758991584 139726246493072 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24189] ppid=24145 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24189/stat : 24189 (java) S 24145 24145 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224126988 8261857280 29172 33554432000 4194304 4196468 140733758991584 139726245440272 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24190] ppid=24145 vsize=8068220 memory=116688 CPUtime=0.04 cores=0,2,4,6
/proc/24184/task/24190/stat : 24190 (java) S 24145 24145 23167 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 224126990 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725486680432 139726443145858 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24191] ppid=24145 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24191/stat : 24191 (java) S 24145 24145 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224126990 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725352461344 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24192] ppid=24145 vsize=8068220 memory=116688 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24192/stat : 24192 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126990 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725084025712 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24193] ppid=24145 vsize=8068220 memory=116688 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24193/stat : 24193 (java) S 24145 24145 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139724709517136 139726443153307 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24194] ppid=24145 vsize=8068220 memory=1472 CPUtime=0.13 cores=0,2,4,6
/proc/24184/task/24194/stat : 24194 (java) S 24145 24145 23167 0 -1 1077944384 667 0 0 0 13 0 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725485628272 139726443145858 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24195] ppid=24145 vsize=8068220 memory=116688 CPUtime=0.05 cores=0,2,4,6
/proc/24184/task/24195/stat : 24195 (java) S 24145 24145 23167 0 -1 1077944384 171 0 0 0 4 1 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725484575472 139726443145858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24196] ppid=24145 vsize=8068220 memory=116688 CPUtime=0.2 cores=0,2,4,6
/proc/24184/task/24196/stat : 24196 (java) S 24145 24145 23167 0 -1 1077944384 599 0 0 0 20 0 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725483522672 139726443145858 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24197] ppid=24145 vsize=8068220 memory=116688 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24197/stat : 24197 (java) S 24145 24145 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139724211612384 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24198] ppid=24145 vsize=8068220 memory=1472 CPUtime=1.36 cores=0,2,4,6
/proc/24184/task/24198/stat : 24198 (java) S 24145 24145 23167 0 -1 1077944384 164 0 0 0 69 67 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725482470064 139726443145858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24200] ppid=24145 vsize=8068220 memory=114292 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24200/stat : 24200 (java) S 24145 24145 23167 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224127061 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725889590464 139726443159321 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24202] ppid=24145 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24202/stat : 24202 (java) S 24145 24145 23167 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 224127061 8261857280 29172 33554432000 4194304 4196468 140733758991584 139723674725648 139726443156637 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24203] ppid=24145 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24203/stat : 24203 (java) S 24145 24145 23167 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224127061 8261857280 29172 33554432000 4194304 4196468 140733758991584 139723406295184 139726443156637 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24204] ppid=24145 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24204/stat : 24204 (java) S 24145 24145 23167 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 224127064 8261857280 29172 33554432000 4194304 4196468 140733758991584 139723808956064 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
Current children cumulated CPU time: 2446.5 s
Current children cumulated vsize: 8261744 KiB
Current children cumulated memory: 182368 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/229 24797
/proc/meminfo: memFree=20370172/32770624 swapFree=67108688/67108860
[pid=24145] ppid=24142 vsize=113128 memory=1472 CPUtime=4.9 cores=0,2,4,6
/proc/24145/stat : 24145 (scop.sh) S 24142 24145 23167 0 -1 4202496 590 24342 0 0 0 0 472 18 20 0 1 0 224126754 115843072 368 33554432000 4194304 5098028 140728415107328 140728415104072 139653876531836 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13570048 140728415114305 140728415114503 140728415114503 140728415117261 0
/proc/24145/statm: 28282 368 311 221 0 87 0
[pid=24184] ppid=24145 vsize=8068220 memory=116688 CPUtime=2.62 cores=0,2,4,6
/proc/24184/stat : 24184 (java) S 24145 24145 23167 0 -1 1077944320 18119 0 0 0 196 66 0 0 20 0 19 0 224126987 8261857280 29172 33554432000 4194304 4196468 140733758991584 140733758974128 139726443134711 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
/proc/24184/statm: 2017055 29172 3118 1 0 1978454 0
[pid=24199] ppid=24184 vsize=80396 memory=64208 CPUtime=2499 cores=0,2,4,6
/proc/24199/stat : 24199 (minisat_release) R 24184 24145 23167 0 -1 4202496 219021 0 0 0 249881 19 0 0 20 0 1 0 224127061 82325504 16052 33554432000 4194304 4308513 140722531520352 140722531517352 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 17117184 140722531525748 140722531525846 140722531525846 140722531528645 0
/proc/24199/statm: 20099 16052 340 28 0 16339 0
[pid=24184/tid=24185] ppid=24145 vsize=8068220 memory=116688 CPUtime=0.76 cores=0,2,4,6
/proc/24184/task/24185/stat : 24185 (java) S 24145 24145 23167 0 -1 1077944384 15098 0 0 0 72 4 0 0 20 0 19 0 224126987 8261857280 29172 33554432000 4194304 4196468 140733758991584 139726414974864 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24186] ppid=24145 vsize=8068220 memory=116688 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24186/stat : 24186 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126988 8261857280 29172 33554432000 4194304 4196468 140733758991584 139726447377552 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24187] ppid=24145 vsize=8068220 memory=116688 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24187/stat : 24187 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126988 8261857280 29172 33554432000 4194304 4196468 140733758991584 139726247545872 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24188] ppid=24145 vsize=8068220 memory=116688 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24188/stat : 24188 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126988 8261857280 29172 33554432000 4194304 4196468 140733758991584 139726246493072 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24189] ppid=24145 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24189/stat : 24189 (java) S 24145 24145 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224126988 8261857280 29172 33554432000 4194304 4196468 140733758991584 139726245440272 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24190] ppid=24145 vsize=8068220 memory=116688 CPUtime=0.04 cores=0,2,4,6
/proc/24184/task/24190/stat : 24190 (java) S 24145 24145 23167 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 224126990 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725486680432 139726443145858 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24191] ppid=24145 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24191/stat : 24191 (java) S 24145 24145 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224126990 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725352461344 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24192] ppid=24145 vsize=8068220 memory=804 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24192/stat : 24192 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126990 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725084025712 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24193] ppid=24145 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24193/stat : 24193 (java) S 24145 24145 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139724709517136 139726443153307 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24194] ppid=24145 vsize=8068220 memory=1472 CPUtime=0.13 cores=0,2,4,6
/proc/24184/task/24194/stat : 24194 (java) S 24145 24145 23167 0 -1 1077944384 667 0 0 0 13 0 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725485628272 139726443145858 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24195] ppid=24145 vsize=8068220 memory=116688 CPUtime=0.05 cores=0,2,4,6
/proc/24184/task/24195/stat : 24195 (java) S 24145 24145 23167 0 -1 1077944384 171 0 0 0 4 1 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725484575472 139726443145858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24196] ppid=24145 vsize=8068220 memory=496 CPUtime=0.2 cores=0,2,4,6
/proc/24184/task/24196/stat : 24196 (java) S 24145 24145 23167 0 -1 1077944384 599 0 0 0 20 0 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725483522672 139726443145858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24197] ppid=24145 vsize=8068220 memory=924 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24197/stat : 24197 (java) S 24145 24145 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139724211612384 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24198] ppid=24145 vsize=8068220 memory=748 CPUtime=1.38 cores=0,2,4,6
/proc/24184/task/24198/stat : 24198 (java) S 24145 24145 23167 0 -1 1077944384 168 0 0 0 70 68 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725482470064 139726443145858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24200] ppid=24145 vsize=8068220 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24200/stat : 24200 (java) S 24145 24145 23167 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224127061 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725889590464 139726443159321 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24202] ppid=24145 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24202/stat : 24202 (java) S 24145 24145 23167 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 224127061 8261857280 29172 33554432000 4194304 4196468 140733758991584 139723674725648 139726443156637 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24203] ppid=24145 vsize=8068220 memory=116688 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24203/stat : 24203 (java) S 24145 24145 23167 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224127061 8261857280 29172 33554432000 4194304 4196468 140733758991584 139723406295184 139726443156637 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24204] ppid=24145 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24204/stat : 24204 (java) S 24145 24145 23167 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 224127064 8261857280 29172 33554432000 4194304 4196468 140733758991584 139723808956064 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
Current children cumulated CPU time: 2506.52 s
Current children cumulated vsize: 8261744 KiB
Current children cumulated memory: 182368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.8 s]
/proc/loadavg: 2.00 2.04 2.06 3/229 24798
/proc/meminfo: memFree=20369788/32770624 swapFree=67108688/67108860
[pid=24145] ppid=24142 vsize=113128 memory=1472 CPUtime=4.9 cores=0,2,4,6
/proc/24145/stat : 24145 (scop.sh) S 24142 24145 23167 0 -1 4202496 590 24342 0 0 0 0 472 18 20 0 1 0 224126754 115843072 368 33554432000 4194304 5098028 140728415107328 140728415104072 139653876531836 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13570048 140728415114305 140728415114503 140728415114503 140728415117261 0
/proc/24145/statm: 28282 368 311 221 0 87 0
[pid=24184] ppid=24145 vsize=8068220 memory=116688 CPUtime=2.64 cores=0,2,4,6
/proc/24184/stat : 24184 (java) S 24145 24145 23167 0 -1 1077944320 18131 0 0 0 197 67 0 0 20 0 19 0 224126987 8261857280 29172 33554432000 4194304 4196468 140733758991584 140733758974128 139726443134711 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
/proc/24184/statm: 2017055 29172 3118 1 0 1978454 0
[pid=24199] ppid=24184 vsize=80396 memory=64212 CPUtime=2512.5 cores=0,2,4,6
/proc/24199/stat : 24199 (minisat_release) R 24184 24145 23167 0 -1 4202496 219105 0 0 0 251231 19 0 0 20 0 1 0 224127061 82325504 16053 33554432000 4194304 4308513 140722531520352 140722531517848 4269582 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 17117184 140722531525748 140722531525846 140722531525846 140722531528645 0
/proc/24199/statm: 20099 16053 341 28 0 16339 0
[pid=24184/tid=24185] ppid=24145 vsize=8068220 memory=1808 CPUtime=0.76 cores=0,2,4,6
/proc/24184/task/24185/stat : 24185 (java) S 24145 24145 23167 0 -1 1077944384 15098 0 0 0 72 4 0 0 20 0 19 0 224126987 8261857280 29172 33554432000 4194304 4196468 140733758991584 139726414974864 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24186] ppid=24145 vsize=8068220 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24186/stat : 24186 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126988 8261857280 29172 33554432000 4194304 4196468 140733758991584 139726447377552 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24187] ppid=24145 vsize=8068220 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24187/stat : 24187 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126988 8261857280 29172 33554432000 4194304 4196468 140733758991584 139726247545872 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24188] ppid=24145 vsize=8068220 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24188/stat : 24188 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126988 8261857280 29172 33554432000 4194304 4196468 140733758991584 139726246493072 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24189] ppid=24145 vsize=8068220 memory=15768 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24189/stat : 24189 (java) S 24145 24145 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224126988 8261857280 29172 33554432000 4194304 4196468 140733758991584 139726245440272 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24190] ppid=24145 vsize=8068220 memory=34496 CPUtime=0.04 cores=0,2,4,6
/proc/24184/task/24190/stat : 24190 (java) S 24145 24145 23167 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 224126990 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725486680432 139726443145858 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24191] ppid=24145 vsize=8068220 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24191/stat : 24191 (java) S 24145 24145 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224126990 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725352461344 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24192] ppid=24145 vsize=8068220 memory=496 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24192/stat : 24192 (java) S 24145 24145 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126990 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725084025712 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24193] ppid=24145 vsize=8068220 memory=924 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24193/stat : 24193 (java) S 24145 24145 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139724709517136 139726443153307 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24194] ppid=24145 vsize=8068220 memory=1168 CPUtime=0.13 cores=0,2,4,6
/proc/24184/task/24194/stat : 24194 (java) S 24145 24145 23167 0 -1 1077944384 668 0 0 0 13 0 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725485628272 139726443145858 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24195] ppid=24145 vsize=8068220 memory=2336 CPUtime=0.05 cores=0,2,4,6
/proc/24184/task/24195/stat : 24195 (java) S 24145 24145 23167 0 -1 1077944384 171 0 0 0 4 1 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725484575472 139726443145858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24196] ppid=24145 vsize=8068220 memory=1220 CPUtime=0.2 cores=0,2,4,6
/proc/24184/task/24196/stat : 24196 (java) S 24145 24145 23167 0 -1 1077944384 602 0 0 0 20 0 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725483522672 139726443145858 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24197] ppid=24145 vsize=8068220 memory=6580 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24197/stat : 24197 (java) S 24145 24145 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139724211612384 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24198] ppid=24145 vsize=8068220 memory=1296 CPUtime=1.39 cores=0,2,4,6
/proc/24184/task/24198/stat : 24198 (java) S 24145 24145 23167 0 -1 1077944384 170 0 0 0 70 69 0 0 20 0 19 0 224126993 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725482470064 139726443145858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24200] ppid=24145 vsize=8068220 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24200/stat : 24200 (java) S 24145 24145 23167 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224127061 8261857280 29172 33554432000 4194304 4196468 140733758991584 139725889590464 139726443159321 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24202] ppid=24145 vsize=8068220 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24202/stat : 24202 (java) S 24145 24145 23167 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 224127061 8261857280 29172 33554432000 4194304 4196468 140733758991584 139723674725648 139726443156637 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24203] ppid=24145 vsize=8068220 memory=12668 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24203/stat : 24203 (java) S 24145 24145 23167 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224127061 8261857280 29172 33554432000 4194304 4196468 140733758991584 139723406295184 139726443156637 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
[pid=24184/tid=24204] ppid=24145 vsize=8068220 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/24184/task/24204/stat : 24204 (java) S 24145 24145 23167 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 224127064 8261857280 29172 33554432000 4194304 4196468 140733758991584 139723808956064 139726443144917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39391232 140733758993589 140733758993713 140733758993713 140733758996431 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 8261744 KiB
Current children cumulated memory: 182372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.81 s]
# the end of solver process 24145 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.73127 s, system=0.184321 s
[startup+2515.81 s]
# the end of solver process 24184 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.02 s, system=1.06161 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2515.81
CPU time (s): 2520.09
CPU user time (s): 2519.02
CPU system time (s): 1.06161
CPU usage (%): 100.17
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 520476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.02
system time used= 1.06161
maximum resident set size= 521688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262449
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59684
involuntary context switches= 908
# summary of solver processes directly reported to runsolver:
# pid: 24145,24184
# total CPU time (s): 2520.09
# total CPU user time (s): 2519.02
# total CPU system time (s): 1.06161
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4902 second user time and 27.4753 second system time
The end