0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-17757-serial-file.bin HOME/instance-4305436-1534065479.xml
0.54/0.51
0.67/0.52 scop order+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 11:18:00 CEST 2018
0.67/0.54 c PID: 17760
0.67/0.54 c IP: 172.20.3.139
0.67/0.54 c HOST: node139.alineos.net
0.67/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-4305436-1534065479.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.60/1.05 c (0,0) translated 6 (10%) constraints
1.60/1.06 c (0,0) translated 11 (20%) constraints
1.60/1.06 c (0,0) translated 16 (30%) constraints
1.60/1.07 c (0,0) translated 21 (40%) constraints
1.60/1.07 c (0,0) translated 26 (50%) constraints
1.60/1.08 c (0,0) translated 32 (60%) constraints
1.77/1.17 c (0,0) translated 37 (70%) constraints
1.96/1.22 c (0,0) translated 42 (80%) constraints
1.96/1.27 c (0,0) translated 47 (90%) constraints
2.25/1.31 c (0,0) translated 52 (100%) constraints
2.54/1.46 c (0,0) STATISTICS1:HOME/instance-4305436-1534065479.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.54/1.46 c (0,0) ==========================================
2.54/1.46 c (0,0) Order
2.54/1.46 c (0,0) ==========================================
2.54/1.47 c (0,0) translated 43 (10%) constraints
2.54/1.48 c (0,0) translated 85 (20%) constraints
2.54/1.48 c (0,0) translated 128 (30%) constraints
2.54/1.48 c (0,0) translated 170 (40%) constraints
2.54/1.48 c (0,0) translated 213 (50%) constraints
2.54/1.49 c (0,0) translated 255 (60%) constraints
2.54/1.49 c (0,0) translated 298 (70%) constraints
2.87/1.50 c (0,0) translated 340 (80%) constraints
2.87/1.50 c (0,0) translated 383 (90%) constraints
2.87/1.51 c (0,0) translated 425 (100%) constraints
2.87/1.51 c (0,0) CSP to CSPinCNF End
2.87/1.51 c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 193
2.87/1.51 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.87/1.51 c (0,0) CSPinCNF Propagation Begin
2.87/1.58 c (1,1) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.87/1.58 c (1,1) CSPinCNF Propagation End
2.87/1.58 c (1,1) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 193
2.87/1.58 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.87/1.58 c (1,1) Simplify CSPinCNF Begin
3.21/1.64 c (1,1) Simplify CSPinCNF End
3.21/1.64 c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 193
3.21/1.64 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.21/1.64 c (1,1) Calculate Precise Domain Begin
3.21/1.64 c (1,1) 0 values are removed by re-calculation
3.21/1.64 c (1,1) Calculate Precise Domain End
3.21/1.65 c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 193
3.21/1.65 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.21/1.65 c (1,1) CSPinCNF to SatSolver Begin
3.52/1.70 c (1,1) 97 (10 %) CSP clauses are encoded (6369 SAT variables, 5768 SAT clauses)
3.52/1.71 c (1,1) 194 (20 %) CSP clauses are encoded (6369 SAT variables, 5865 SAT clauses)
3.52/1.71 c (1,1) 291 (30 %) CSP clauses are encoded (6369 SAT variables, 5962 SAT clauses)
3.86/1.84 c (1,1) 388 (40 %) CSP clauses are encoded (6369 SAT variables, 22562 SAT clauses)
4.18/1.91 c (1,1) 485 (50 %) CSP clauses are encoded (6369 SAT variables, 40664 SAT clauses)
4.18/1.97 c (1,1) 582 (60 %) CSP clauses are encoded (6369 SAT variables, 60756 SAT clauses)
4.50/2.02 c (1,1) 679 (70 %) CSP clauses are encoded (6369 SAT variables, 79476 SAT clauses)
4.50/2.07 c (1,1) 776 (80 %) CSP clauses are encoded (6369 SAT variables, 98031 SAT clauses)
4.67/2.12 c (1,1) 873 (90 %) CSP clauses are encoded (6369 SAT variables, 118105 SAT clauses)
4.67/2.16 c (1,1) 969 (100 %) CSP clauses are encoded (6369 SAT variables, 136176 SAT clauses)
4.67/2.16 c (1,1) Launch Command will be: minisat_release
4.67/2.16 c (1,1) CSPinCNF to SatSolver End
4.67/2.16 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.67/2.19 c (1,1) STATISTICS2:HOME/instance-4305436-1534065479.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.67/2.19 c (1,1) 6369 bool, 136337 clause
4.67/2.19 c (1,1) Export Begin
4.82/2.29 c (1,1) Export to HOME/scop-17757-serial-file.bin
4.82/2.29 c (1,1) Export End
4.82/2.29 c (1,1) Export File Size: 0.03 MB
4.82/2.29 c (1,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS)
4.82/2.29 c END-Prog: Sun Aug 12 11:18:02 CEST 2018
5.00/2.31 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-17757-serial-file.bin
5.01/2.80 c (0,0) Read Serial File Begin
5.01/2.80 c (0,0) HOME/scop-17757-serial-file.bin
5.01/2.99 c (0,0) Read Serial File End
5.01/3.00
5.01/3.00 scop order+minisat_release (2018-07-31)
5.01/3.00 (Solving Process)
5.01/3.00
5.98/3.02 c BEGIN-Prog: Sun Aug 12 11:18:02 CEST 2018
5.98/3.02 c PID: 17781
5.98/3.02 c IP: 172.20.3.139
5.98/3.02 c HOST: node139.alineos.net
5.98/3.03 c (0,0) SatSolver.solve Begin
5.98/3.03 c (0,0) 0 bool, 0 clause
5.98/3.03 c (0,0) minisat_release HOME/instance-4305436-1534065479.xml-scop-17760.cnf
2507.79/2503.47 c (2500,0) c This is COMiniSatPS.
2507.79/2503.47 c (2500,0) c WARNING: for repeatability, setting FPU to use double precision
2507.79/2503.47 c (2500,0) c ============================[ Problem Statistics ]=============================
2507.79/2503.47 c (2500,0) c | |
2507.79/2503.47 c (2500,0) c | Number of variables: 6369 |
2507.79/2503.47 c (2500,0) c | Number of clauses: 136337 |
2507.79/2503.47 c (2500,0) c | Parse time: 0.04 s |
2507.79/2503.47 c (2500,0) c | Eliminated clauses: 0.02 Mb |
2507.79/2503.47 c (2500,0) c Reduced to 5659 vars, 134260 cls (grow=0)
2507.79/2503.47 c (2500,0) c No iterative elimination performed. (vars=5659, c/v ratio=23.7)
2507.79/2503.47 c (2500,0) c | Simplification time: 0.25 s |
2507.79/2503.47 c (2500,0) c | |
2507.79/2503.47 c (2500,0) c ============================[ Search Statistics ]==============================
2507.79/2503.48 c (2500,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2507.79/2503.48 c (2500,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2507.79/2503.48 c (2500,0) c ===============================================================================
2507.79/2503.48 c (2500,0) c Switched to VSIDS.
2520.00/2515.60 c (2512,0) SatSolver is killed by some reasons.
2520.00/2515.60 c (2512,0) receiving signal SIGTERM
2520.00/2515.60 s UNKNOWN
2520.00/2515.61 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.00/2515.61 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 (4628 MiB free)
memory of node 1: 16384 MiB (5831 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305436-1534065479/watcher-4305436-1534065479 -o /tmp/evaluation-result-4305436-1534065479/solver-4305436-1534065479 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305436-1534065479.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17757, runsolver pid=17754
[startup+0.10006 s]*
/proc/loadavg: 2.16 2.05 2.06 4/217 17774
/proc/meminfo: memFree=10643660/32770624 swapFree=67108860/67108860
[pid=17757] ppid=17754 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17757/stat : 17757 (scop.sh) S 17754 17757 16770 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224111090 115843072 349 33554432000 4194304 5098028 140730142750752 140730142748008 140072320389756 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13848576 140730142753856 140730142754055 140730142754055 140730142756813 0
/proc/17757/statm: 28282 349 296 221 0 87 0
[pid=17760] ppid=17757 vsize=15012476 memory=72244 CPUtime=0.11 cores=1,3,5,7
/proc/17760/stat : 17760 (java) S 17757 17757 16770 0 -1 1077944320 6665 0 0 0 10 1 0 0 20 0 15 0 224111091 15372775424 18061 33554432000 4194304 4196468 140721413683680 140721413666224 140031155711735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
/proc/17760/statm: 3753119 18061 2772 1 0 3715579 0
[pid=17760/tid=17761] ppid=17757 vsize=15012476 memory=-6601833317647732518 CPUtime=0.09 cores=1,3,5,7
/proc/17760/task/17761/stat : 17761 (java) R 17757 17757 16770 0 -1 4202560 4811 0 0 0 8 1 0 0 20 0 15 0 224111091 15372775424 18127 33554432000 4194304 4196468 140721413683680 140031127517208 140031135987484 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17762] ppid=17757 vsize=15012476 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17762/stat : 17762 (java) S 17757 17757 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111093 15372775424 18127 33554432000 4194304 4196468 140721413683680 140031159954576 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17763] ppid=17757 vsize=15012476 memory=139622423987840 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17763/stat : 17763 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111093 15372775424 18127 33554432000 4194304 4196468 140721413683680 140030974110736 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17764] ppid=17757 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17764/stat : 17764 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111093 15372775424 18127 33554432000 4194304 4196468 140721413683680 140030973057936 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17765] ppid=17757 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17765/stat : 17765 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111093 15372775424 18127 33554432000 4194304 4196468 140721413683680 140030972005136 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17766] ppid=17757 vsize=15012476 memory=139622423987840 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17766/stat : 17766 (java) S 17757 17757 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111094 15372775424 18127 33554432000 4194304 4196468 140721413683680 140030126139760 140031155722882 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17767] ppid=17757 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17767/stat : 17767 (java) S 17757 17757 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224111095 15372775424 18127 33554432000 4194304 4196468 140721413683680 140029758268448 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17768] ppid=17757 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17768/stat : 17768 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111095 15372775424 18127 33554432000 4194304 4196468 140721413683680 140029489832816 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17769] ppid=17757 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17769/stat : 17769 (java) S 17757 17757 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111097 15372775424 18127 33554432000 4194304 4196468 140721413683680 140029115324240 140031155730331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17770] ppid=17757 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17770/stat : 17770 (java) S 17757 17757 16770 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 224111097 15372775424 18127 33554432000 4194304 4196468 140721413683680 140030125087600 140031155722882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17771] ppid=17757 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17771/stat : 17771 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111097 15372775424 18193 33554432000 4194304 4196468 140721413683680 140030124034800 140031155722882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17772] ppid=17757 vsize=15012476 memory=139622423987840 CPUtime=0.01 cores=1,3,5,7
/proc/17760/task/17772/stat : 17772 (java) S 17757 17757 16770 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 224111097 15372775424 18193 33554432000 4194304 4196468 140721413683680 140030122982000 140031155722882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17773] ppid=17757 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17773/stat : 17773 (java) S 17757 17757 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111097 15372775424 18193 33554432000 4194304 4196468 140721413683680 140028617419488 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17774] ppid=17757 vsize=15012476 memory=139622423987840 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17774/stat : 17774 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111098 15372775424 18193 33554432000 4194304 4196468 140721413683680 140030121929392 140031155722882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73640 KiB
[startup+0.210518 s]*
/proc/loadavg: 2.16 2.05 2.06 3/217 17774
/proc/meminfo: memFree=10626068/32770624 swapFree=67108860/67108860
[pid=17757] ppid=17754 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17757/stat : 17757 (scop.sh) S 17754 17757 16770 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224111090 115843072 349 33554432000 4194304 5098028 140730142750752 140730142748008 140072320389756 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13848576 140730142753856 140730142754055 140730142754055 140730142756813 0
/proc/17757/statm: 28282 349 296 221 0 87 0
[pid=17760] ppid=17757 vsize=15012476 memory=85568 CPUtime=0.25 cores=1,3,5,7
/proc/17760/stat : 17760 (java) S 17757 17757 16770 0 -1 1077944320 10272 0 0 0 23 2 0 0 20 0 15 0 224111091 15372775424 21392 33554432000 4194304 4196468 140721413683680 140721413666224 140031155711735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
/proc/17760/statm: 3753119 21392 2884 1 0 3715579 0
[pid=17760/tid=17761] ppid=17757 vsize=15012476 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17760/task/17761/stat : 17761 (java) R 17757 17757 16770 0 -1 4202560 8184 0 0 0 18 2 0 0 20 0 15 0 224111091 15372775424 21392 33554432000 4194304 4196468 140721413683680 140031127537120 140030647607184 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17762] ppid=17757 vsize=15012476 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17762/stat : 17762 (java) S 17757 17757 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111093 15372775424 21392 33554432000 4194304 4196468 140721413683680 140031159954576 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17763] ppid=17757 vsize=15012476 memory=139622425176061 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17763/stat : 17763 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111093 15372775424 21392 33554432000 4194304 4196468 140721413683680 140030974110736 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17764] ppid=17757 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17764/stat : 17764 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111093 15372775424 21392 33554432000 4194304 4196468 140721413683680 140030973057936 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17765] ppid=17757 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17765/stat : 17765 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111093 15372775424 21392 33554432000 4194304 4196468 140721413683680 140030972005136 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17766] ppid=17757 vsize=15012476 memory=139622423987840 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17766/stat : 17766 (java) S 17757 17757 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111094 15372775424 21392 33554432000 4194304 4196468 140721413683680 140030126139760 140031155722882 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17767] ppid=17757 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17767/stat : 17767 (java) S 17757 17757 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224111095 15372775424 21392 33554432000 4194304 4196468 140721413683680 140029758268448 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17768] ppid=17757 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17768/stat : 17768 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111095 15372775424 21392 33554432000 4194304 4196468 140721413683680 140029489832816 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17769] ppid=17757 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17769/stat : 17769 (java) S 17757 17757 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111097 15372775424 21392 33554432000 4194304 4196468 140721413683680 140029115324240 140031155730331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17770] ppid=17757 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17770/stat : 17770 (java) S 17757 17757 16770 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 15 0 224111097 15372775424 21392 33554432000 4194304 4196468 140721413683680 140030125087600 140031155722882 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17771] ppid=17757 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17771/stat : 17771 (java) S 17757 17757 16770 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 224111097 15372775424 21392 33554432000 4194304 4196468 140721413683680 140030124034800 140031155722882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17772] ppid=17757 vsize=15012476 memory=139622423987840 CPUtime=0.03 cores=1,3,5,7
/proc/17760/task/17772/stat : 17772 (java) R 17757 17757 16770 0 -1 4202560 297 0 0 0 3 0 0 0 20 0 15 0 224111097 15372775424 21392 33554432000 4194304 4196468 140721413683680 140030122982000 140031155733082 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17773] ppid=17757 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17773/stat : 17773 (java) S 17757 17757 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111097 15372775424 21392 33554432000 4194304 4196468 140721413683680 140028617419488 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17774] ppid=17757 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17774/stat : 17774 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111098 15372775424 21392 33554432000 4194304 4196468 140721413683680 140030121929392 140031155722882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86964 KiB
[startup+0.310544 s]*
/proc/loadavg: 2.16 2.05 2.06 3/217 17774
/proc/meminfo: memFree=10614468/32770624 swapFree=67108860/67108860
[pid=17757] ppid=17754 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17757/stat : 17757 (scop.sh) S 17754 17757 16770 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224111090 115843072 349 33554432000 4194304 5098028 140730142750752 140730142748008 140072320389756 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13848576 140730142753856 140730142754055 140730142754055 140730142756813 0
/proc/17757/statm: 28282 349 296 221 0 87 0
[pid=17760] ppid=17757 vsize=15012476 memory=89436 CPUtime=0.43 cores=1,3,5,7
/proc/17760/stat : 17760 (java) S 17757 17757 16770 0 -1 1077944320 10866 0 0 0 40 3 0 0 20 0 15 0 224111091 15372775424 22359 33554432000 4194304 4196468 140721413683680 140721413666224 140031155711735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
/proc/17760/statm: 3753119 22359 2927 1 0 3715579 0
[pid=17760/tid=17761] ppid=17757 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/17760/task/17761/stat : 17761 (java) R 17757 17757 16770 0 -1 4202560 8616 0 0 0 27 2 0 0 20 0 15 0 224111091 15372775424 22359 33554432000 4194304 4196468 140721413683680 140031127507184 140031139792222 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17762] ppid=17757 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17762/stat : 17762 (java) S 17757 17757 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111093 15372775424 22359 33554432000 4194304 4196468 140721413683680 140031159954576 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17763] ppid=17757 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17763/stat : 17763 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111093 15372775424 22359 33554432000 4194304 4196468 140721413683680 140030974110736 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17764] ppid=17757 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17764/stat : 17764 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111093 15372775424 22359 33554432000 4194304 4196468 140721413683680 140030973057936 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17765] ppid=17757 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17765/stat : 17765 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111093 15372775424 22359 33554432000 4194304 4196468 140721413683680 140030972005136 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17766] ppid=17757 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17766/stat : 17766 (java) S 17757 17757 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111094 15372775424 22359 33554432000 4194304 4196468 140721413683680 140030126139760 140031155722882 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17767] ppid=17757 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17767/stat : 17767 (java) S 17757 17757 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224111095 15372775424 22359 33554432000 4194304 4196468 140721413683680 140029758268448 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17768] ppid=17757 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17768/stat : 17768 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111095 15372775424 22359 33554432000 4194304 4196468 140721413683680 140029489832816 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17769] ppid=17757 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17769/stat : 17769 (java) S 17757 17757 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111097 15372775424 22359 33554432000 4194304 4196468 140721413683680 140029115324240 140031155730331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17770] ppid=17757 vsize=15012476 memory=4426078206164241782 CPUtime=0.01 cores=1,3,5,7
/proc/17760/task/17770/stat : 17770 (java) R 17757 17757 16770 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 15 0 224111097 15372775424 22359 33554432000 4194304 4196468 140721413683680 140030125087600 140031155722882 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17771] ppid=17757 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17760/task/17771/stat : 17771 (java) R 17757 17757 16770 0 -1 4202560 128 0 0 0 2 0 0 0 20 0 15 0 224111097 15372775424 22359 33554432000 4194304 4196468 140721413683680 140030124034800 140031141775911 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17772] ppid=17757 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17760/task/17772/stat : 17772 (java) R 17757 17757 16770 0 -1 4202560 335 0 0 0 7 0 0 0 20 0 15 0 224111097 15372775424 22359 33554432000 4194304 4196468 140721413683680 140030122982000 140031134641002 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17773] ppid=17757 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17773/stat : 17773 (java) S 17757 17757 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111097 15372775424 22359 33554432000 4194304 4196468 140721413683680 140028617419488 140031155721941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17774] ppid=17757 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17774/stat : 17774 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111098 15372775424 22359 33554432000 4194304 4196468 140721413683680 140030121929392 140031155722882 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90832 KiB
[startup+0.700808 s]
/proc/loadavg: 2.16 2.05 2.06 4/217 17774
/proc/meminfo: memFree=10566736/32770624 swapFree=67108860/67108860
[pid=17757] ppid=17754 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17757/stat : 17757 (scop.sh) S 17754 17757 16770 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224111090 115843072 349 33554432000 4194304 5098028 140730142750752 140730142748008 140072320389756 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13848576 140730142753856 140730142754055 140730142754055 140730142756813 0
/proc/17757/statm: 28282 349 296 221 0 87 0
[pid=17760] ppid=17757 vsize=15020872 memory=129792 CPUtime=1.02 cores=1,3,5,7
/proc/17760/stat : 17760 (java) S 17757 17757 16770 0 -1 1077944320 18116 0 0 0 97 5 0 0 20 0 15 0 224111091 15381372928 32448 33554432000 4194304 4196468 140721413683680 140721413666224 140031155711735 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
/proc/17760/statm: 3755218 32448 3153 1 0 3716603 0
[pid=17760/tid=17761] ppid=17757 vsize=15020872 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/17760/task/17761/stat : 17761 (java) R 17757 17757 16770 0 -1 4202560 15368 0 0 0 63 4 0 0 20 0 15 0 224111091 15381372928 32448 33554432000 4194304 4196468 140721413683680 140031127546592 140031155723670 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17762] ppid=17757 vsize=15020872 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17762/stat : 17762 (java) S 17757 17757 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111093 15381372928 32448 33554432000 4194304 4196468 140721413683680 140031159954576 140031155721941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17763] ppid=17757 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17763/stat : 17763 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111093 15381372928 32448 33554432000 4194304 4196468 140721413683680 140030974110736 140031155721941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17764] ppid=17757 vsize=15020872 memory=60820 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17764/stat : 17764 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111093 15381372928 32448 33554432000 4194304 4196468 140721413683680 140030973057936 140031155721941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17765] ppid=17757 vsize=15020872 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17765/stat : 17765 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111093 15381372928 32448 33554432000 4194304 4196468 140721413683680 140030972005136 140031155721941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17766] ppid=17757 vsize=15020872 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17766/stat : 17766 (java) S 17757 17757 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224111094 15381372928 32448 33554432000 4194304 4196468 140721413683680 140030126139760 140031155722882 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17767] ppid=17757 vsize=15020872 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17767/stat : 17767 (java) S 17757 17757 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224111095 15381372928 32448 33554432000 4194304 4196468 140721413683680 140029758268448 140031155721941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17768] ppid=17757 vsize=15020872 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17768/stat : 17768 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111095 15381372928 32448 33554432000 4194304 4196468 140721413683680 140029489832816 140031155721941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17769] ppid=17757 vsize=15020872 memory=796 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17769/stat : 17769 (java) S 17757 17757 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111097 15381372928 32448 33554432000 4194304 4196468 140721413683680 140029115324240 140031155730331 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17770] ppid=17757 vsize=15020872 memory=5408 CPUtime=0.06 cores=1,3,5,7
/proc/17760/task/17770/stat : 17770 (java) R 17757 17757 16770 0 -1 1077944384 573 0 0 0 6 0 0 0 20 0 15 0 224111097 15381372928 32448 33554432000 4194304 4196468 140721413683680 140030125087600 140031155722882 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17771] ppid=17757 vsize=15020872 memory=876 CPUtime=0.09 cores=1,3,5,7
/proc/17760/task/17771/stat : 17771 (java) R 17757 17757 16770 0 -1 4202560 354 0 0 0 9 0 0 0 20 0 15 0 224111097 15381372928 32448 33554432000 4194304 4196468 140721413683680 140030124013632 140031140837125 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17772] ppid=17757 vsize=15020872 memory=10096 CPUtime=0.16 cores=1,3,5,7
/proc/17760/task/17772/stat : 17772 (java) R 17757 17757 16770 0 -1 4202560 486 0 0 0 16 0 0 0 20 0 15 0 224111097 15381372928 32448 33554432000 4194304 4196468 140721413683680 140030122982128 140031134395844 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17773] ppid=17757 vsize=15020872 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17773/stat : 17773 (java) S 17757 17757 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111097 15381372928 32448 33554432000 4194304 4196468 140721413683680 140028617419488 140031155721941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
[pid=17760/tid=17774] ppid=17757 vsize=15020872 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/17760/task/17774/stat : 17774 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111098 15381372928 32448 33554432000 4194304 4196468 140721413683680 140030121929392 140031155722882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13344768 140721413690374 140721413690673 140721413690673 140721413693391 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131188 KiB
[startup+1.50298 s]
/proc/loadavg: 2.16 2.05 2.06 3/222 17780
/proc/meminfo: memFree=10509552/32770624 swapFree=67108860/67108860
[pid=17757] ppid=17754 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17757/stat : 17757 (scop.sh) S 17754 17757 16770 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224111090 115843072 349 33554432000 4194304 5098028 140730142750752 140730142748008 140072320389756 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13848576 140730142753856 140730142754055 140730142754055 140730142756813 0
/proc/17757/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=17781/tid=17784] ppid=17757 vsize=8068220 memory=121116 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17784/stat : 17784 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224111323 8261857280 30279 33554432000 4194304 4196468 140726971355376 139732089432720 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17785] ppid=17757 vsize=8068220 memory=121116 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17785/stat : 17785 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224111323 8261857280 30279 33554432000 4194304 4196468 140726971355376 139732088379664 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17786] ppid=17757 vsize=8068220 memory=121116 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17786/stat : 17786 (java) S 17757 17757 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224111323 8261857280 30279 33554432000 4194304 4196468 140726971355376 139732087327120 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17787] ppid=17757 vsize=8068220 memory=1472 CPUtime=0.04 cores=1,3,5,7
/proc/17781/task/17787/stat : 17787 (java) S 17757 17757 16770 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 224111325 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731597191920 139732285033090 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17788] ppid=17757 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17788/stat : 17788 (java) S 17757 17757 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224111325 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731123824288 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17789] ppid=17757 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17789/stat : 17789 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224111326 8261857280 30279 33554432000 4194304 4196468 140726971355376 139730855388400 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17790] ppid=17757 vsize=8068220 memory=121116 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17790/stat : 17790 (java) S 17757 17757 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139730480880080 139732285040539 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17791] ppid=17757 vsize=8068220 memory=1472 CPUtime=0.1 cores=1,3,5,7
/proc/17781/task/17791/stat : 17791 (java) S 17757 17757 16770 0 -1 1077944384 709 0 0 0 10 0 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731596138736 139732285033090 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17792] ppid=17757 vsize=8068220 memory=960 CPUtime=0.08 cores=1,3,5,7
/proc/17781/task/17792/stat : 17792 (java) S 17757 17757 16770 0 -1 1077944384 232 0 0 0 8 0 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731595086192 139732285033090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17793] ppid=17757 vsize=8068220 memory=1232 CPUtime=0.21 cores=1,3,5,7
/proc/17781/task/17793/stat : 17793 (java) S 17757 17757 16770 0 -1 1077944384 614 0 0 0 21 0 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731526477808 139732285033090 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17794] ppid=17757 vsize=8068220 memory=121116 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17794/stat : 17794 (java) S 17757 17757 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139729982974304 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17795] ppid=17757 vsize=8068220 memory=64208 CPUtime=1.22 cores=1,3,5,7
/proc/17781/task/17795/stat : 17795 (java) S 17757 17757 16770 0 -1 1077944384 163 0 0 0 60 62 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731525426224 139732285033090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17797] ppid=17757 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17797/stat : 17797 (java) S 17757 17757 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224111396 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731517949760 139732285046553 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17799] ppid=17757 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17799/stat : 17799 (java) S 17757 17757 16770 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 224111396 8261857280 30279 33554432000 4194304 4196468 140726971355376 139729446088592 139732285043869 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17800] ppid=17757 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17800/stat : 17800 (java) S 17757 17757 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224111396 8261857280 30279 33554432000 4194304 4196468 140726971355376 139729177656848 139732285043869 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17801] ppid=17757 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17801/stat : 17801 (java) S 17757 17757 16770 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 224111398 8261857280 30279 33554432000 4194304 4196468 140726971355376 139729580317984 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
Current children cumulated CPU time: 2446.66 s
Current children cumulated vsize: 8261744 KiB
Current children cumulated memory: 186796 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/227 18371
/proc/meminfo: memFree=10399508/32770624 swapFree=67108860/67108860
[pid=17757] ppid=17754 vsize=113128 memory=1472 CPUtime=5.01 cores=1,3,5,7
/proc/17757/stat : 17757 (scop.sh) S 17754 17757 16770 0 -1 4202496 591 24838 0 0 0 0 485 16 20 0 1 0 224111090 115843072 368 33554432000 4194304 5098028 140730142750752 140730142747496 140072320389756 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13848576 140730142753856 140730142754055 140730142754055 140730142756813 0
/proc/17757/statm: 28282 368 311 221 0 87 0
[pid=17781] ppid=17757 vsize=8068220 memory=121116 CPUtime=2.49 cores=1,3,5,7
/proc/17781/stat : 17781 (java) S 17757 17757 16770 0 -1 1077944320 18169 0 0 0 181 68 0 0 20 0 19 0 224111322 8261857280 30279 33554432000 4194304 4196468 140726971355376 140726971337920 139732285021943 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
/proc/17781/statm: 2017055 30279 3134 1 0 1978454 0
[pid=17796] ppid=17781 vsize=80396 memory=64208 CPUtime=2499.19 cores=1,3,5,7
/proc/17796/stat : 17796 (minisat_release) R 17781 17757 16770 0 -1 4202496 220178 0 0 0 249901 18 0 0 20 0 1 0 224111395 82325504 16052 33554432000 4194304 4308513 140730604180304 140730604177304 4262652 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 33775616 140730604184692 140730604184790 140730604184790 140730604187589 0
/proc/17796/statm: 20099 16052 340 28 0 16339 0
[pid=17781/tid=17782] ppid=17757 vsize=8068220 memory=1472 CPUtime=0.76 cores=1,3,5,7
/proc/17781/task/17782/stat : 17782 (java) S 17757 17757 16770 0 -1 1077944384 15050 0 0 0 71 5 0 0 20 0 19 0 224111322 8261857280 30279 33554432000 4194304 4196468 140726971355376 139732256862096 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17783] ppid=17757 vsize=8068220 memory=121116 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17783/stat : 17783 (java) S 17757 17757 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224111323 8261857280 30279 33554432000 4194304 4196468 140726971355376 139732289264144 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17784] ppid=17757 vsize=8068220 memory=121116 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17784/stat : 17784 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224111323 8261857280 30279 33554432000 4194304 4196468 140726971355376 139732089432720 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17785] ppid=17757 vsize=8068220 memory=121116 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17785/stat : 17785 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224111323 8261857280 30279 33554432000 4194304 4196468 140726971355376 139732088379664 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17786] ppid=17757 vsize=8068220 memory=121116 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17786/stat : 17786 (java) S 17757 17757 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224111323 8261857280 30279 33554432000 4194304 4196468 140726971355376 139732087327120 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17787] ppid=17757 vsize=8068220 memory=64208 CPUtime=0.05 cores=1,3,5,7
/proc/17781/task/17787/stat : 17787 (java) S 17757 17757 16770 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 224111325 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731597191920 139732285033090 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17788] ppid=17757 vsize=8068220 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17788/stat : 17788 (java) S 17757 17757 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224111325 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731123824288 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17789] ppid=17757 vsize=8068220 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17789/stat : 17789 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224111326 8261857280 30279 33554432000 4194304 4196468 140726971355376 139730855388400 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17790] ppid=17757 vsize=8068220 memory=60892 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17790/stat : 17790 (java) S 17757 17757 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139730480880080 139732285040539 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17791] ppid=17757 vsize=8068220 memory=1240 CPUtime=0.1 cores=1,3,5,7
/proc/17781/task/17791/stat : 17791 (java) S 17757 17757 16770 0 -1 1077944384 709 0 0 0 10 0 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731596138736 139732285033090 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17792] ppid=17757 vsize=8068220 memory=121116 CPUtime=0.08 cores=1,3,5,7
/proc/17781/task/17792/stat : 17792 (java) S 17757 17757 16770 0 -1 1077944384 232 0 0 0 8 0 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731595086192 139732285033090 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17793] ppid=17757 vsize=8068220 memory=4128 CPUtime=0.21 cores=1,3,5,7
/proc/17781/task/17793/stat : 17793 (java) S 17757 17757 16770 0 -1 1077944384 614 0 0 0 21 0 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731526477808 139732285033090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17794] ppid=17757 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17794/stat : 17794 (java) S 17757 17757 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139729982974304 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17795] ppid=17757 vsize=8068220 memory=5 CPUtime=1.24 cores=1,3,5,7
/proc/17781/task/17795/stat : 17795 (java) S 17757 17757 16770 0 -1 1077944384 167 0 0 0 61 63 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731525426224 139732285033090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17797] ppid=17757 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17797/stat : 17797 (java) S 17757 17757 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224111396 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731517949760 139732285046553 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17799] ppid=17757 vsize=8068220 memory=60892 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17799/stat : 17799 (java) S 17757 17757 16770 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 224111396 8261857280 30279 33554432000 4194304 4196468 140726971355376 139729446088592 139732285043869 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17800] ppid=17757 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17800/stat : 17800 (java) S 17757 17757 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224111396 8261857280 30279 33554432000 4194304 4196468 140726971355376 139729177656848 139732285043869 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17801] ppid=17757 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17801/stat : 17801 (java) S 17757 17757 16770 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 224111398 8261857280 30279 33554432000 4194304 4196468 140726971355376 139729580317984 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
Current children cumulated CPU time: 2506.69 s
Current children cumulated vsize: 8261744 KiB
Current children cumulated memory: 186796 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.6 s]
/proc/loadavg: 2.01 2.03 2.05 3/227 18372
/proc/meminfo: memFree=10399252/32770624 swapFree=67108860/67108860
[pid=17757] ppid=17754 vsize=113128 memory=1472 CPUtime=5.01 cores=1,3,5,7
/proc/17757/stat : 17757 (scop.sh) S 17754 17757 16770 0 -1 4202496 591 24838 0 0 0 0 485 16 20 0 1 0 224111090 115843072 368 33554432000 4194304 5098028 140730142750752 140730142747496 140072320389756 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13848576 140730142753856 140730142754055 140730142754055 140730142756813 0
/proc/17757/statm: 28282 368 311 221 0 87 0
[pid=17781] ppid=17757 vsize=8068220 memory=121116 CPUtime=2.5 cores=1,3,5,7
/proc/17781/stat : 17781 (java) S 17757 17757 16770 0 -1 1077944320 18181 0 0 0 182 68 0 0 20 0 19 0 224111322 8261857280 30279 33554432000 4194304 4196468 140726971355376 140726971337920 139732285021943 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
/proc/17781/statm: 2017055 30279 3134 1 0 1978454 0
[pid=17796] ppid=17781 vsize=80396 memory=64212 CPUtime=2512.49 cores=1,3,5,7
/proc/17796/stat : 17796 (minisat_release) R 17781 17757 16770 0 -1 4202496 220360 0 0 0 251231 18 0 0 20 0 1 0 224111395 82325504 16053 33554432000 4194304 4308513 140730604180304 140730604177800 4276436 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 33775616 140730604184692 140730604184790 140730604184790 140730604187589 0
/proc/17796/statm: 20099 16053 341 28 0 16339 0
[pid=17781/tid=17782] ppid=17757 vsize=8068220 memory=2416 CPUtime=0.76 cores=1,3,5,7
/proc/17781/task/17782/stat : 17782 (java) S 17757 17757 16770 0 -1 1077944384 15050 0 0 0 71 5 0 0 20 0 19 0 224111322 8261857280 30279 33554432000 4194304 4196468 140726971355376 139732256862096 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17783] ppid=17757 vsize=8068220 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17783/stat : 17783 (java) S 17757 17757 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224111323 8261857280 30279 33554432000 4194304 4196468 140726971355376 139732289264144 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17784] ppid=17757 vsize=8068220 memory=-7824251494390977892 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17784/stat : 17784 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224111323 8261857280 30279 33554432000 4194304 4196468 140726971355376 139732089432720 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17785] ppid=17757 vsize=8068220 memory=-7824251494390977892 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17785/stat : 17785 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224111323 8261857280 30279 33554432000 4194304 4196468 140726971355376 139732088379664 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17786] ppid=17757 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17786/stat : 17786 (java) S 17757 17757 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224111323 8261857280 30279 33554432000 4194304 4196468 140726971355376 139732087327120 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17787] ppid=17757 vsize=8068220 memory=121116 CPUtime=0.05 cores=1,3,5,7
/proc/17781/task/17787/stat : 17787 (java) S 17757 17757 16770 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 224111325 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731597191920 139732285033090 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17788] ppid=17757 vsize=8068220 memory=64208 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17788/stat : 17788 (java) S 17757 17757 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224111325 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731123824288 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17789] ppid=17757 vsize=8068220 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17789/stat : 17789 (java) S 17757 17757 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224111326 8261857280 30279 33554432000 4194304 4196468 140726971355376 139730855388400 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17790] ppid=17757 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17790/stat : 17790 (java) S 17757 17757 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139730480880080 139732285040539 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17791] ppid=17757 vsize=8068220 memory=121116 CPUtime=0.1 cores=1,3,5,7
/proc/17781/task/17791/stat : 17791 (java) S 17757 17757 16770 0 -1 1077944384 709 0 0 0 10 0 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731596138736 139732285033090 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17792] ppid=17757 vsize=8068220 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/17781/task/17792/stat : 17792 (java) S 17757 17757 16770 0 -1 1077944384 232 0 0 0 8 0 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731595086192 139732285033090 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17793] ppid=17757 vsize=8068220 memory=64212 CPUtime=0.21 cores=1,3,5,7
/proc/17781/task/17793/stat : 17793 (java) S 17757 17757 16770 0 -1 1077944384 620 0 0 0 21 0 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731526477808 139732285033090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17794] ppid=17757 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17794/stat : 17794 (java) S 17757 17757 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139729982974304 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17795] ppid=17757 vsize=8068220 memory=121116 CPUtime=1.25 cores=1,3,5,7
/proc/17781/task/17795/stat : 17795 (java) S 17757 17757 16770 0 -1 1077944384 169 0 0 0 62 63 0 0 20 0 19 0 224111328 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731525426224 139732285033090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17797] ppid=17757 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17797/stat : 17797 (java) S 17757 17757 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224111396 8261857280 30279 33554432000 4194304 4196468 140726971355376 139731517949760 139732285046553 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17799] ppid=17757 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17799/stat : 17799 (java) S 17757 17757 16770 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 224111396 8261857280 30279 33554432000 4194304 4196468 140726971355376 139729446088592 139732285043869 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17800] ppid=17757 vsize=8068220 memory=121116 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17800/stat : 17800 (java) S 17757 17757 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224111396 8261857280 30279 33554432000 4194304 4196468 140726971355376 139729177656848 139732285043869 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
[pid=17781/tid=17801] ppid=17757 vsize=8068220 memory=64212 CPUtime=0 cores=1,3,5,7
/proc/17781/task/17801/stat : 17801 (java) S 17757 17757 16770 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 224111398 8261857280 30279 33554432000 4194304 4196468 140726971355376 139729580317984 139732285032149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32776192 140726971364533 140726971364657 140726971364657 140726971367375 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 8261744 KiB
Current children cumulated memory: 186800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.61 s]
# the end of solver process 17757 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.85595 s, system=0.166259 s
[startup+2515.62 s]
# the end of solver process 17781 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519 s, system=1.0494 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.62
CPU time (s): 2520.05
CPU user time (s): 2519
CPU system time (s): 1.0494
CPU usage (%): 100.176
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 522876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519
system time used= 1.0494
maximum resident set size= 521736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59712
involuntary context switches= 829
# summary of solver processes directly reported to runsolver:
# pid: 17757,17781
# total CPU time (s): 2520.05
# total CPU user time (s): 2519
# total CPU system time (s): 1.0494
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4752 second user time and 29.1115 second system time
The end