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-20564-serial-file.bin HOME/instance-4305311-1534071930.xml
0.54/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 13:05:30 CEST 2018
0.66/0.55 c PID: 20567
0.66/0.55 c IP: 172.20.3.139
0.66/0.55 c HOST: node139.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.04/1.16 c (0,0) Parsing End
2.04/1.17 c (0,0) CSP: 0 int (0 aux), 726 bool (0 aux), 287 ctr, max domain size 2
2.04/1.18 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.04/1.18 c (0,0) Constraint Name Generate Begin
2.04/1.19 c (0,0) Ctr:HOME/instance-4305311-1534071930.xml,IntVar:LexMatrix:Num:WeightedSum
2.04/1.19 c (0,0) Constraint Name Generate End
2.04/1.19 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.04/1.19 c (0,0) CSP to CSPinCNF Begin
2.93/1.40 c (0,0) translated 29 (10%) constraints
3.26/1.56 c (1,1) translated 58 (20%) constraints
4.85/2.05 c (1,1) translated 87 (30%) constraints
5.73/2.38 c (1,1) translated 115 (40%) constraints
6.64/2.65 c (2,2) translated 144 (50%) constraints
7.54/2.90 c (2,2) translated 173 (60%) constraints
8.09/3.11 c (2,2) translated 201 (70%) constraints
8.64/3.32 c (2,2) translated 230 (80%) constraints
9.09/3.52 c (2,2) translated 259 (90%) constraints
9.22/3.69 c (3,3) translated 287 (100%) constraints
13.34/5.67 c (5,5) STATISTICS1:HOME/instance-4305311-1534071930.xml,IntVar:LexMatrix:Num:WeightedSum,17263,33466,4294967296,2,4,33,4294967296:506;2097152:66;2:2741,2:87037,4:1291;3:15299;2:16537;1:339,33:506;22:66;2:2741;1:80103,
13.34/5.67 c (5,5) ==========================================
13.34/5.68 c (5,5) Order
13.34/5.68 c (5,5) ==========================================
14.69/6.09 c (5,5) translated 3347 (10%) constraints
15.26/6.28 c (5,5) translated 6694 (20%) constraints
15.93/6.47 c (5,5) translated 10040 (30%) constraints
16.47/6.67 c (6,6) translated 13387 (40%) constraints
17.08/6.84 c (6,6) translated 16733 (50%) constraints
17.31/7.00 c (6,6) translated 20080 (60%) constraints
17.66/7.18 c (6,6) translated 23427 (70%) constraints
17.90/7.32 c (6,6) translated 26773 (80%) constraints
18.01/7.47 c (6,6) translated 30120 (90%) constraints
18.36/7.60 c (7,7) translated 33466 (100%) constraints
18.36/7.61 c (7,7) CSP to CSPinCNF End
18.36/7.62 c (7,7) CSP: 3135 int (3135 aux), 24886 bool (24160 aux), 55268 ctr, max domain size 12
18.36/7.62 c (7,7) Heap : 2760 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
18.36/7.62 c (7,7) CSPinCNF Propagation Begin
19.98/8.11 c (7,7) 0 values, 7623 unsatisfiable literals, and 7623 valid clauses are removed
19.98/8.11 c (7,7) CSPinCNF Propagation End
19.98/8.11 c (7,7) CSP: 3135 int (3135 aux), 24886 bool (24160 aux), 47645 ctr, max domain size 12
19.98/8.11 c (7,7) Heap : 281 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
19.98/8.11 c (7,7) Simplify CSPinCNF Begin
20.21/8.28 c (7,7) Simplify CSPinCNF End
20.21/8.29 c (7,7) CSP: 3135 int (3135 aux), 27627 bool (26901 aux), 50386 ctr, max domain size 12
20.21/8.29 c (7,7) Heap : 336 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.21/8.29 c (7,7) Calculate Precise Domain Begin
20.42/8.39 c (7,7) 0 values are removed by re-calculation
20.42/8.39 c (7,7) Calculate Precise Domain End
20.42/8.39 c (7,7) CSP: 3135 int (3135 aux), 27627 bool (26901 aux), 50386 ctr, max domain size 12
20.42/8.39 c (7,7) Heap : 336 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.42/8.39 c (7,7) CSPinCNF to SatSolver Begin
21.89/8.87 c (8,8) 5039 (10 %) CSP clauses are encoded (41223 SAT variables, 80773 SAT clauses)
22.20/9.00 c (8,8) 10078 (20 %) CSP clauses are encoded (41223 SAT variables, 97368 SAT clauses)
22.52/9.11 c (8,8) 15116 (30 %) CSP clauses are encoded (41223 SAT variables, 113534 SAT clauses)
22.73/9.19 c (8,8) 20155 (40 %) CSP clauses are encoded (41223 SAT variables, 130129 SAT clauses)
22.88/9.24 c (8,8) 25193 (50 %) CSP clauses are encoded (41223 SAT variables, 146295 SAT clauses)
22.88/9.29 c (8,8) 30232 (60 %) CSP clauses are encoded (41223 SAT variables, 162462 SAT clauses)
22.98/9.34 c (8,8) 35271 (70 %) CSP clauses are encoded (41223 SAT variables, 179057 SAT clauses)
22.98/9.40 c (8,8) 40309 (80 %) CSP clauses are encoded (41223 SAT variables, 195223 SAT clauses)
23.08/9.45 c (8,8) 45348 (90 %) CSP clauses are encoded (41223 SAT variables, 210727 SAT clauses)
23.24/9.55 c (9,8) 50386 (100 %) CSP clauses are encoded (41223 SAT variables, 218260 SAT clauses)
23.24/9.55 c (9,8) Launch Command will be: minisat_release
23.24/9.55 c (9,8) CSPinCNF to SatSolver End
23.24/9.55 c (9,8) Heap : 999 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
23.81/9.80 c (9,9) STATISTICS2:HOME/instance-4305311-1534071930.xml,IntVar:LexMatrix:Num:WeightedSum,30762,50386,256,12,4,9,256:66;144:44;128:132;72:132;64:66;40:1386;25:1980;16:3036;2:4085,12:264;9:396;8:264;5:11616;2:119528,4:1291;3:7676;2:34524;1:6895,9:66;8:132;5:4554;3:2090;2:4085;1:93208,
23.81/9.80 c (9,9) 41223 bool, 218261 clause
23.81/9.80 c (9,9) Export Begin
24.45/9.92 c (9,9) Export to HOME/scop-20564-serial-file.bin
24.45/9.92 c (9,9) Export End
24.45/9.92 c (9,9) Export File Size: 0.12 MB
24.45/9.92 c (9,9) 0,0,7,7,7,7,9,STOP-AFTER(DIMACS)
24.45/9.92 c END-Prog: Sun Aug 12 13:05:40 CEST 2018
24.45/9.97 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-20564-serial-file.bin
25.15/10.46 c (0,0) Read Serial File Begin
25.15/10.46 c (0,0) HOME/scop-20564-serial-file.bin
25.61/10.72 c (0,0) Read Serial File End
25.61/10.73
25.61/10.73 scop order+minisat_release (2018-07-31)
25.61/10.73 (Solving Process)
25.61/10.73
25.61/10.76 c BEGIN-Prog: Sun Aug 12 13:05:41 CEST 2018
25.61/10.76 c PID: 20582
25.61/10.76 c IP: 172.20.3.139
25.61/10.76 c HOST: node139.alineos.net
25.61/10.76 c (0,0) SatSolver.solve Begin
25.61/10.76 c (0,0) 0 bool, 0 clause
25.61/10.76 c (0,0) minisat_release HOME/instance-4305311-1534071930.xml-scop-20567.cnf
2520.07/2503.80 c (2493,0) receiving signal SIGTERM
2520.07/2503.80 s UNKNOWN
2520.07/2503.80 c (2493,0) SatSolver is killed by some reasons.
2520.07/2503.81 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.07/2503.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 (4667 MiB free)
memory of node 1: 16384 MiB (5337 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305311-1534071930/watcher-4305311-1534071930 -o /tmp/evaluation-result-4305311-1534071930/solver-4305311-1534071930 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16801 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305311-1534071930.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=20564, runsolver pid=20561
[startup+0.100163 s]*
/proc/loadavg: 2.03 2.11 2.09 3/222 20581
/proc/meminfo: memFree=10183592/32770624 swapFree=67108860/67108860
[pid=20564] ppid=20561 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20564/stat : 20564 (scop.sh) S 20561 20564 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224756150 115843072 349 33554432000 4194304 5098028 140722501157760 140722501155016 140053866943100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33738752 140722501166144 140722501166343 140722501166343 140722501169101 0
/proc/20564/statm: 28282 349 296 221 0 87 0
[pid=20567] ppid=20564 vsize=15012476 memory=72404 CPUtime=0.11 cores=0,2,4,6
/proc/20567/stat : 20567 (java) S 20564 20564 16770 0 -1 1077944320 6222 0 0 0 9 2 0 0 20 0 15 0 224756150 15372775424 18101 33554432000 4194304 4196468 140729140280800 140729140263344 140517928435447 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
/proc/20567/statm: 3753119 18101 2767 1 0 3715579 0
[pid=20567/tid=20568] ppid=20564 vsize=15012476 memory=-6222985969016291263 CPUtime=0.08 cores=0,2,4,6
/proc/20567/task/20568/stat : 20568 (java) R 20564 20564 16770 0 -1 4202560 4310 0 0 0 7 1 0 0 20 0 15 0 224756150 15372775424 18101 33554432000 4194304 4196468 140729140280800 140517900261776 140517909998999 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20569] ppid=20564 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20569/stat : 20569 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224756152 15372775424 18101 33554432000 4194304 4196468 140729140280800 140517932677392 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20570] ppid=20564 vsize=15012476 memory=140595588920960 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20570/stat : 20570 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224756152 15372775424 18101 33554432000 4194304 4196468 140729140280800 140517708380560 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20571] ppid=20564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20571/stat : 20571 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224756152 15372775424 18101 33554432000 4194304 4196468 140729140280800 140517388053008 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20572] ppid=20564 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20572/stat : 20572 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224756152 15372775424 18101 33554432000 4194304 4196468 140729140280800 140517387000464 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20573] ppid=20564 vsize=15012476 memory=140595588920960 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20573/stat : 20573 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224756154 15372775424 18101 33554432000 4194304 4196468 140729140280800 140517268060656 140517928446594 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20574] ppid=20564 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20574/stat : 20574 (java) S 20564 20564 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224756154 15372775424 18101 33554432000 4194304 4196468 140729140280800 140516532413856 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20575] ppid=20564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20575/stat : 20575 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224756154 15372775424 18101 33554432000 4194304 4196468 140729140280800 140516297532912 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20576] ppid=20564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20576/stat : 20576 (java) S 20564 20564 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224756157 15372775424 18167 33554432000 4194304 4196468 140729140280800 140515923024592 140517928454043 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20577] ppid=20564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20577/stat : 20577 (java) S 20564 20564 16770 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 224756157 15372775424 18167 33554432000 4194304 4196468 140729140280800 140517267007472 140517928446594 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20578] ppid=20564 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20578/stat : 20578 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224756157 15372775424 18167 33554432000 4194304 4196468 140729140280800 140517265954928 140517928446594 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20579] ppid=20564 vsize=15012476 memory=140595588920960 CPUtime=0.01 cores=0,2,4,6
/proc/20567/task/20579/stat : 20579 (java) S 20564 20564 16770 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 224756157 15372775424 18167 33554432000 4194304 4196468 140729140280800 140517264902384 140517928446594 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20580] ppid=20564 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20580/stat : 20580 (java) S 20564 20564 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224756157 15372775424 18167 33554432000 4194304 4196468 140729140280800 140515425118816 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20581] ppid=20564 vsize=15012476 memory=140595588920960 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20581/stat : 20581 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224756157 15372775424 18167 33554432000 4194304 4196468 140729140280800 140517263850288 140517928446594 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73800 KiB
[startup+0.211637 s]*
/proc/loadavg: 2.03 2.11 2.09 3/222 20581
/proc/meminfo: memFree=10169020/32770624 swapFree=67108860/67108860
[pid=20564] ppid=20561 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20564/stat : 20564 (scop.sh) S 20561 20564 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224756150 115843072 349 33554432000 4194304 5098028 140722501157760 140722501155016 140053866943100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33738752 140722501166144 140722501166343 140722501166343 140722501169101 0
/proc/20564/statm: 28282 349 296 221 0 87 0
[pid=20567] ppid=20564 vsize=15012476 memory=85468 CPUtime=0.25 cores=0,2,4,6
/proc/20567/stat : 20567 (java) S 20564 20564 16770 0 -1 1077944320 9769 0 0 0 23 2 0 0 20 0 15 0 224756150 15372775424 21367 33554432000 4194304 4196468 140729140280800 140729140263344 140517928435447 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
/proc/20567/statm: 3753119 21367 2903 1 0 3715579 0
[pid=20567/tid=20568] ppid=20564 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/20567/task/20568/stat : 20568 (java) R 20564 20564 16770 0 -1 4202560 7668 0 0 0 18 2 0 0 20 0 15 0 224756150 15372775424 21367 33554432000 4194304 4196468 140729140280800 140517900257744 140517388191445 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20569] ppid=20564 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20569/stat : 20569 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224756152 15372775424 21367 33554432000 4194304 4196468 140729140280800 140517932677392 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20570] ppid=20564 vsize=15012476 memory=140595590113514 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20570/stat : 20570 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224756152 15372775424 21367 33554432000 4194304 4196468 140729140280800 140517708380560 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20571] ppid=20564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20571/stat : 20571 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224756152 15372775424 21367 33554432000 4194304 4196468 140729140280800 140517388053008 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20572] ppid=20564 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20572/stat : 20572 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224756152 15372775424 21367 33554432000 4194304 4196468 140729140280800 140517387000464 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20573] ppid=20564 vsize=15012476 memory=140595588920960 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20573/stat : 20573 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224756154 15372775424 21367 33554432000 4194304 4196468 140729140280800 140517268060656 140517928446594 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20574] ppid=20564 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20574/stat : 20574 (java) S 20564 20564 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224756154 15372775424 21367 33554432000 4194304 4196468 140729140280800 140516532413856 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20575] ppid=20564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20575/stat : 20575 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224756154 15372775424 21367 33554432000 4194304 4196468 140729140280800 140516297532912 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20576] ppid=20564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20576/stat : 20576 (java) S 20564 20564 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224756157 15372775424 21367 33554432000 4194304 4196468 140729140280800 140515923024592 140517928454043 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20577] ppid=20564 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20567/task/20577/stat : 20577 (java) S 20564 20564 16770 0 -1 1077944384 312 0 0 0 1 0 0 0 20 0 15 0 224756157 15372775424 21367 33554432000 4194304 4196468 140729140280800 140517267007472 140517928446594 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20578] ppid=20564 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20578/stat : 20578 (java) S 20564 20564 16770 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 224756157 15372775424 21367 33554432000 4194304 4196468 140729140280800 140517265954928 140517928446594 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20579] ppid=20564 vsize=15012476 memory=140595588920960 CPUtime=0.03 cores=0,2,4,6
/proc/20567/task/20579/stat : 20579 (java) R 20564 20564 16770 0 -1 4202560 301 0 0 0 3 0 0 0 20 0 15 0 224756157 15372775424 21367 33554432000 4194304 4196468 140729140280800 140517264902384 140517907360524 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20580] ppid=20564 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20580/stat : 20580 (java) S 20564 20564 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224756157 15372775424 21367 33554432000 4194304 4196468 140729140280800 140515425118816 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20581] ppid=20564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20581/stat : 20581 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224756157 15372775424 21367 33554432000 4194304 4196468 140729140280800 140517263850288 140517928446594 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86864 KiB
[startup+0.310733 s]*
/proc/loadavg: 2.03 2.11 2.09 3/222 20581
/proc/meminfo: memFree=10165452/32770624 swapFree=67108860/67108860
[pid=20564] ppid=20561 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20564/stat : 20564 (scop.sh) S 20561 20564 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224756150 115843072 349 33554432000 4194304 5098028 140722501157760 140722501155016 140053866943100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33738752 140722501166144 140722501166343 140722501166343 140722501169101 0
/proc/20564/statm: 28282 349 296 221 0 87 0
[pid=20567] ppid=20564 vsize=15012476 memory=89928 CPUtime=0.43 cores=0,2,4,6
/proc/20567/stat : 20567 (java) S 20564 20564 16770 0 -1 1077944320 10385 0 0 0 40 3 0 0 20 0 15 0 224756150 15372775424 22482 33554432000 4194304 4196468 140729140280800 140729140263344 140517928435447 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
/proc/20567/statm: 3753119 22482 3017 1 0 3715579 0
[pid=20567/tid=20568] ppid=20564 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/20567/task/20568/stat : 20568 (java) R 20564 20564 16770 0 -1 4202560 8102 0 0 0 27 2 0 0 20 0 15 0 224756150 15372775424 22482 33554432000 4194304 4196468 140729140280800 140517900230448 140517928457373 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20569] ppid=20564 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20569/stat : 20569 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224756152 15372775424 22482 33554432000 4194304 4196468 140729140280800 140517932677392 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20570] ppid=20564 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20570/stat : 20570 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224756152 15372775424 22482 33554432000 4194304 4196468 140729140280800 140517708380560 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20571] ppid=20564 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20571/stat : 20571 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224756152 15372775424 22482 33554432000 4194304 4196468 140729140280800 140517388053008 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20572] ppid=20564 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20572/stat : 20572 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224756152 15372775424 22482 33554432000 4194304 4196468 140729140280800 140517387000464 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20573] ppid=20564 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20573/stat : 20573 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224756154 15372775424 22482 33554432000 4194304 4196468 140729140280800 140517268060656 140517928446594 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20574] ppid=20564 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20574/stat : 20574 (java) S 20564 20564 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224756154 15372775424 22482 33554432000 4194304 4196468 140729140280800 140516532413856 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20575] ppid=20564 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20575/stat : 20575 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224756154 15372775424 22482 33554432000 4194304 4196468 140729140280800 140516297532912 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20576] ppid=20564 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20576/stat : 20576 (java) S 20564 20564 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224756157 15372775424 22482 33554432000 4194304 4196468 140729140280800 140515923024592 140517928454043 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20577] ppid=20564 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20567/task/20577/stat : 20577 (java) R 20564 20564 16770 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 224756157 15372775424 22482 33554432000 4194304 4196468 140729140280800 140517267007472 140517928446594 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20578] ppid=20564 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20567/task/20578/stat : 20578 (java) R 20564 20564 16770 0 -1 4202560 208 0 0 0 1 0 0 0 20 0 15 0 224756157 15372775424 22482 33554432000 4194304 4196468 140729140280800 140517265954928 140517908265057 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20579] ppid=20564 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20567/task/20579/stat : 20579 (java) R 20564 20564 16770 0 -1 4202560 342 0 0 0 7 0 0 0 20 0 15 0 224756157 15372775424 22482 33554432000 4194304 4196468 140729140280800 140517264902384 140517906926224 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20580] ppid=20564 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20580/stat : 20580 (java) S 20564 20564 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224756157 15372775424 22482 33554432000 4194304 4196468 140729140280800 140515425118816 140517928445653 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20581] ppid=20564 vsize=15012476 memory=3833468387996016689 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20581/stat : 20581 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224756157 15372775424 22482 33554432000 4194304 4196468 140729140280800 140517263850288 140517928446594 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91324 KiB
[startup+0.709512 s]
/proc/loadavg: 2.03 2.11 2.09 3/222 20581
/proc/meminfo: memFree=10141640/32770624 swapFree=67108860/67108860
[pid=20564] ppid=20561 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20564/stat : 20564 (scop.sh) S 20561 20564 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224756150 115843072 349 33554432000 4194304 5098028 140722501157760 140722501155016 140053866943100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33738752 140722501166144 140722501166343 140722501166343 140722501169101 0
/proc/20564/statm: 28282 349 296 221 0 87 0
[pid=20567] ppid=20564 vsize=15020872 memory=129748 CPUtime=1.03 cores=0,2,4,6
/proc/20567/stat : 20567 (java) S 20564 20564 16770 0 -1 1077944320 17615 0 0 0 98 5 0 0 20 0 15 0 224756150 15381372928 32437 33554432000 4194304 4196468 140729140280800 140729140263344 140517928435447 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
/proc/20567/statm: 3755218 32437 3150 1 0 3716603 0
[pid=20567/tid=20568] ppid=20564 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/20567/task/20568/stat : 20568 (java) R 20564 20564 16770 0 -1 4202560 14845 0 0 0 63 4 0 0 20 0 15 0 224756150 15381372928 32437 33554432000 4194304 4196468 140729140280800 140517900273584 140517928456794 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20569] ppid=20564 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20569/stat : 20569 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224756152 15381372928 32437 33554432000 4194304 4196468 140729140280800 140517932677392 140517928445653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20570] ppid=20564 vsize=15020872 memory=61004 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20570/stat : 20570 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224756152 15381372928 32437 33554432000 4194304 4196468 140729140280800 140517708380560 140517928445653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20571] ppid=20564 vsize=15020872 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20571/stat : 20571 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224756152 15381372928 32437 33554432000 4194304 4196468 140729140280800 140517388053008 140517928445653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20572] ppid=20564 vsize=15020872 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20572/stat : 20572 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224756152 15381372928 32437 33554432000 4194304 4196468 140729140280800 140517387000464 140517928445653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20573] ppid=20564 vsize=15020872 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20573/stat : 20573 (java) S 20564 20564 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224756154 15381372928 32437 33554432000 4194304 4196468 140729140280800 140517268060656 140517928446594 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20574] ppid=20564 vsize=15020872 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20574/stat : 20574 (java) S 20564 20564 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224756154 15381372928 32437 33554432000 4194304 4196468 140729140280800 140516532413856 140517928445653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20575] ppid=20564 vsize=15020872 memory=796 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20575/stat : 20575 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224756154 15381372928 32437 33554432000 4194304 4196468 140729140280800 140516297532912 140517928445653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20576] ppid=20564 vsize=15020872 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20576/stat : 20576 (java) S 20564 20564 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224756157 15381372928 32437 33554432000 4194304 4196468 140729140280800 140515923024592 140517928454043 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20577] ppid=20564 vsize=15020872 memory=876 CPUtime=0.09 cores=0,2,4,6
/proc/20567/task/20577/stat : 20577 (java) R 20564 20564 16770 0 -1 4202560 628 0 0 0 9 0 0 0 20 0 15 0 224756157 15381372928 32437 33554432000 4194304 4196468 140729140280800 140517266996464 140517906882747 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20578] ppid=20564 vsize=15020872 memory=10096 CPUtime=0.07 cores=0,2,4,6
/proc/20567/task/20578/stat : 20578 (java) R 20564 20564 16770 0 -1 4202560 303 0 0 0 7 0 0 0 20 0 15 0 224756157 15381372928 32437 33554432000 4194304 4196468 140729140280800 140517265935944 140517913120976 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20579] ppid=20564 vsize=15020872 memory=1228 CPUtime=0.17 cores=0,2,4,6
/proc/20567/task/20579/stat : 20579 (java) R 20564 20564 16770 0 -1 4202560 503 0 0 0 17 0 0 0 20 0 15 0 224756157 15381372928 32437 33554432000 4194304 4196468 140729140280800 140517264898752 140517928447382 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20580] ppid=20564 vsize=15020872 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20580/stat : 20580 (java) S 20564 20564 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224756157 15381372928 32437 33554432000 4194304 4196468 140729140280800 140515425118816 140517928445653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
[pid=20567/tid=20581] ppid=20564 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/20567/task/20581/stat : 20581 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224756157 15381372928 32437 33554432000 4194304 4196468 140729140280800 140517263850288 140517928446594 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10362880 140729140282374 140729140282673 140729140282673 140729140285391 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131144 KiB
[startup+1.50844 s]
/proc/loadavg: 2.03 2.11 2.09 5/222 20581
/proc/meminfo: memFree=10114352/32770624 swapFree=67108860/67108860
[pid=20564] ppid=20561 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20564/stat : 20564 (scop.sh) S 20561 20564 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224756150 115843072 349 33554432000 4194304 5098028 140722501157760 140722501155016 140053866943100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33738752 140722501166144 140722501166343 140722501166343 140722501169101 0
/proc/20564/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=20582/tid=20585] ppid=20564 vsize=8068220 memory=120052 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20585/stat : 20585 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224757149 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663486474512 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20586] ppid=20564 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20586/stat : 20586 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224757149 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663485422224 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20587] ppid=20564 vsize=8068220 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20587/stat : 20587 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224757149 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663484369424 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20588] ppid=20564 vsize=8068220 memory=1472 CPUtime=0.03 cores=0,2,4,6
/proc/20582/task/20588/stat : 20588 (java) S 20564 20564 16770 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 224757151 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663380114032 139664000862850 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20589] ppid=20564 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20589/stat : 20589 (java) S 20564 20564 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224757151 8261857280 30013 33554432000 4194304 4196468 140730259626720 139662874109216 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20590] ppid=20564 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20590/stat : 20590 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224757151 8261857280 30013 33554432000 4194304 4196468 140730259626720 139662605674096 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20591] ppid=20564 vsize=8068220 memory=120052 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20591/stat : 20591 (java) S 20564 20564 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139662231165520 139664000870299 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20592] ppid=20564 vsize=8068220 memory=15880 CPUtime=0.15 cores=0,2,4,6
/proc/20582/task/20592/stat : 20592 (java) S 20564 20564 16770 0 -1 1077944384 1004 0 0 0 15 0 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663379060848 139664000862850 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20593] ppid=20564 vsize=8068220 memory=16228 CPUtime=0.14 cores=0,2,4,6
/proc/20582/task/20593/stat : 20593 (java) S 20564 20564 16770 0 -1 1077944384 272 0 0 0 14 0 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663378008048 139664000862850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20594] ppid=20564 vsize=8068220 memory=6791534058613427641 CPUtime=0.23 cores=0,2,4,6
/proc/20582/task/20594/stat : 20594 (java) S 20564 20564 16770 0 -1 1077944384 590 0 0 0 23 0 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663376955760 139664000862850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20595] ppid=20564 vsize=8068220 memory=120052 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20595/stat : 20595 (java) S 20564 20564 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139661733259744 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20596] ppid=20564 vsize=8068220 memory=3848 CPUtime=1.2 cores=0,2,4,6
/proc/20582/task/20596/stat : 20596 (java) S 20564 20564 16770 0 -1 1077944384 162 0 0 0 64 56 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663375903664 139664000862850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20598] ppid=20564 vsize=8068220 memory=3424 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20598/stat : 20598 (java) S 20564 20564 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224757229 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663368095168 139664000876313 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20600] ppid=20564 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20600/stat : 20600 (java) S 20564 20564 16770 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 224757229 8261857280 30013 33554432000 4194304 4196468 140730259626720 139661196374064 139664000873629 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20601] ppid=20564 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20601/stat : 20601 (java) S 20564 20564 16770 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 224757229 8261857280 30013 33554432000 4194304 4196468 140730259626720 139660927942064 139664000873629 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20602] ppid=20564 vsize=8068220 memory=61060 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20602/stat : 20602 (java) S 20564 20564 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224757231 8261857280 30013 33554432000 4194304 4196468 140730259626720 139661330602912 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
Current children cumulated CPU time: 2458.54 s
Current children cumulated vsize: 8343532 KiB
Current children cumulated memory: 264952 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 20779
/proc/meminfo: memFree=10454164/32770624 swapFree=67108860/67108860
[pid=20564] ppid=20561 vsize=113128 memory=1472 CPUtime=24.6 cores=0,2,4,6
/proc/20564/stat : 20564 (scop.sh) S 20561 20564 16770 0 -1 4202496 592 42772 0 0 0 0 2388 72 20 0 1 0 224756150 115843072 368 33554432000 4194304 5098028 140722501157760 140722501154504 140053866943100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33738752 140722501166144 140722501166343 140722501166343 140722501169101 0
/proc/20564/statm: 28282 368 311 221 0 87 0
[pid=20582] ppid=20564 vsize=8068220 memory=120052 CPUtime=2.63 cores=0,2,4,6
/proc/20582/stat : 20582 (java) S 20564 20564 16770 0 -1 1077944320 18406 0 0 0 198 65 0 0 20 0 19 0 224757148 8261857280 30013 33554432000 4194304 4196468 140730259626720 140730259609264 139664000851703 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
/proc/20582/statm: 2017055 30013 3137 1 0 1978454 0
[pid=20597] ppid=20582 vsize=162184 memory=143428 CPUtime=2491.34 cores=0,2,4,6
/proc/20597/stat : 20597 (minisat_release) R 20582 20564 16770 0 -1 4202496 364659 0 0 0 249109 25 0 0 20 0 1 0 224757228 166076416 35857 33554432000 4194304 4308513 140720314239056 140720314236056 4275941 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 20951040 140720314246260 140720314246358 140720314246358 140720314249157 0
/proc/20597/statm: 40546 35857 340 28 0 36786 0
[pid=20582/tid=20583] ppid=20564 vsize=8068220 memory=1472 CPUtime=0.78 cores=0,2,4,6
/proc/20582/task/20583/stat : 20583 (java) S 20564 20564 16770 0 -1 1077944384 14985 0 0 0 72 6 0 0 20 0 19 0 224757148 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663972691856 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20584] ppid=20564 vsize=8068220 memory=120052 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20584/stat : 20584 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224757149 8261857280 30013 33554432000 4194304 4196468 140730259626720 139664005093776 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20585] ppid=20564 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20585/stat : 20585 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224757149 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663486474512 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20586] ppid=20564 vsize=8068220 memory=143428 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20586/stat : 20586 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224757149 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663485422224 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20587] ppid=20564 vsize=8068220 memory=288230587427455269 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20587/stat : 20587 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224757149 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663484369424 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20588] ppid=20564 vsize=8068220 memory=120052 CPUtime=0.04 cores=0,2,4,6
/proc/20582/task/20588/stat : 20588 (java) S 20564 20564 16770 0 -1 1077944384 5 0 0 0 1 3 0 0 20 0 19 0 224757151 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663380114032 139664000862850 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20589] ppid=20564 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20589/stat : 20589 (java) S 20564 20564 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224757151 8261857280 30013 33554432000 4194304 4196468 140730259626720 139662874109216 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20590] ppid=20564 vsize=8068220 memory=281190973073936 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20590/stat : 20590 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224757151 8261857280 30013 33554432000 4194304 4196468 140730259626720 139662605674096 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20591] ppid=20564 vsize=8068220 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20591/stat : 20591 (java) S 20564 20564 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139662231165520 139664000870299 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20592] ppid=20564 vsize=8068220 memory=143428 CPUtime=0.15 cores=0,2,4,6
/proc/20582/task/20592/stat : 20592 (java) S 20564 20564 16770 0 -1 1077944384 1004 0 0 0 15 0 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663379060848 139664000862850 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20593] ppid=20564 vsize=8068220 memory=1472 CPUtime=0.14 cores=0,2,4,6
/proc/20582/task/20593/stat : 20593 (java) S 20564 20564 16770 0 -1 1077944384 272 0 0 0 14 0 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663378008048 139664000862850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20594] ppid=20564 vsize=8068220 memory=1472 CPUtime=0.23 cores=0,2,4,6
/proc/20582/task/20594/stat : 20594 (java) S 20564 20564 16770 0 -1 1077944384 590 0 0 0 23 0 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663376955760 139664000862850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20595] ppid=20564 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20595/stat : 20595 (java) S 20564 20564 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139661733259744 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20596] ppid=20564 vsize=8068220 memory=120052 CPUtime=1.23 cores=0,2,4,6
/proc/20582/task/20596/stat : 20596 (java) S 20564 20564 16770 0 -1 1077944384 166 0 0 0 66 57 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663375903664 139664000862850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20598] ppid=20564 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20598/stat : 20598 (java) S 20564 20564 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224757229 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663368095168 139664000876313 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20600] ppid=20564 vsize=8068220 memory=120052 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20600/stat : 20600 (java) S 20564 20564 16770 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 224757229 8261857280 30013 33554432000 4194304 4196468 140730259626720 139661196374064 139664000873629 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20601] ppid=20564 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20601/stat : 20601 (java) S 20564 20564 16770 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 224757229 8261857280 30013 33554432000 4194304 4196468 140730259626720 139660927942064 139664000873629 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20602] ppid=20564 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20602/stat : 20602 (java) S 20564 20564 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224757231 8261857280 30013 33554432000 4194304 4196468 140730259626720 139661330602912 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
Current children cumulated CPU time: 2518.57 s
Current children cumulated vsize: 8343532 KiB
Current children cumulated memory: 264952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2503.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 20779
/proc/meminfo: memFree=10454164/32770624 swapFree=67108860/67108860
[pid=20564] ppid=20561 vsize=113128 memory=1472 CPUtime=24.6 cores=0,2,4,6
/proc/20564/stat : 20564 (scop.sh) S 20561 20564 16770 0 -1 4202496 592 42772 0 0 0 0 2388 72 20 0 1 0 224756150 115843072 368 33554432000 4194304 5098028 140722501157760 140722501154504 140053866943100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33738752 140722501166144 140722501166343 140722501166343 140722501169101 0
/proc/20564/statm: 28282 368 311 221 0 87 0
[pid=20582] ppid=20564 vsize=8068220 memory=120052 CPUtime=2.63 cores=0,2,4,6
/proc/20582/stat : 20582 (java) S 20564 20564 16770 0 -1 1077944320 18406 0 0 0 198 65 0 0 20 0 19 0 224757148 8261857280 30013 33554432000 4194304 4196468 140730259626720 140730259609264 139664000851703 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
/proc/20582/statm: 2017055 30013 3137 1 0 1978454 0
[pid=20597] ppid=20582 vsize=162184 memory=143428 CPUtime=2492.84 cores=0,2,4,6
/proc/20597/stat : 20597 (minisat_release) R 20582 20564 16770 0 -1 4202496 364663 0 0 0 249259 25 0 0 20 0 1 0 224757228 166076416 35857 33554432000 4194304 4308513 140720314239056 140720314236056 4276465 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 20951040 140720314246260 140720314246358 140720314246358 140720314249157 0
/proc/20597/statm: 40546 35857 340 28 0 36786 0
[pid=20582/tid=20583] ppid=20564 vsize=8068220 memory=1160 CPUtime=0.78 cores=0,2,4,6
/proc/20582/task/20583/stat : 20583 (java) S 20564 20564 16770 0 -1 1077944384 14985 0 0 0 72 6 0 0 20 0 19 0 224757148 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663972691856 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20584] ppid=20564 vsize=8068220 memory=876 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20584/stat : 20584 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224757149 8261857280 30013 33554432000 4194304 4196468 140730259626720 139664005093776 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20585] ppid=20564 vsize=8068220 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20585/stat : 20585 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224757149 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663486474512 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20586] ppid=20564 vsize=8068220 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20586/stat : 20586 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224757149 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663485422224 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20587] ppid=20564 vsize=8068220 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20587/stat : 20587 (java) S 20564 20564 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224757149 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663484369424 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20588] ppid=20564 vsize=8068220 memory=1160 CPUtime=0.04 cores=0,2,4,6
/proc/20582/task/20588/stat : 20588 (java) S 20564 20564 16770 0 -1 1077944384 5 0 0 0 1 3 0 0 20 0 19 0 224757151 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663380114032 139664000862850 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20589] ppid=20564 vsize=8068220 memory=8804 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20589/stat : 20589 (java) S 20564 20564 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224757151 8261857280 30013 33554432000 4194304 4196468 140730259626720 139662874109216 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20590] ppid=20564 vsize=8068220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20590/stat : 20590 (java) S 20564 20564 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224757151 8261857280 30013 33554432000 4194304 4196468 140730259626720 139662605674096 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20591] ppid=20564 vsize=8068220 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20591/stat : 20591 (java) S 20564 20564 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139662231165520 139664000870299 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20592] ppid=20564 vsize=8068220 memory=15880 CPUtime=0.15 cores=0,2,4,6
/proc/20582/task/20592/stat : 20592 (java) S 20564 20564 16770 0 -1 1077944384 1004 0 0 0 15 0 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663379060848 139664000862850 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20593] ppid=20564 vsize=8068220 memory=16228 CPUtime=0.14 cores=0,2,4,6
/proc/20582/task/20593/stat : 20593 (java) S 20564 20564 16770 0 -1 1077944384 272 0 0 0 14 0 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663378008048 139664000862850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20594] ppid=20564 vsize=8068220 memory=33936 CPUtime=0.23 cores=0,2,4,6
/proc/20582/task/20594/stat : 20594 (java) S 20564 20564 16770 0 -1 1077944384 590 0 0 0 23 0 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663376955760 139664000862850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20595] ppid=20564 vsize=8068220 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20595/stat : 20595 (java) S 20564 20564 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139661733259744 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20596] ppid=20564 vsize=8068220 memory=1796 CPUtime=1.24 cores=0,2,4,6
/proc/20582/task/20596/stat : 20596 (java) S 20564 20564 16770 0 -1 1077944384 166 0 0 0 66 58 0 0 20 0 19 0 224757154 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663375903664 139664000862850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20598] ppid=20564 vsize=8068220 memory=636 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20598/stat : 20598 (java) S 20564 20564 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224757229 8261857280 30013 33554432000 4194304 4196468 140730259626720 139663368095168 139664000876313 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20600] ppid=20564 vsize=8068220 memory=960 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20600/stat : 20600 (java) S 20564 20564 16770 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 224757229 8261857280 30013 33554432000 4194304 4196468 140730259626720 139661196374064 139664000873629 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20601] ppid=20564 vsize=8068220 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20601/stat : 20601 (java) S 20564 20564 16770 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 224757229 8261857280 30013 33554432000 4194304 4196468 140730259626720 139660927942064 139664000873629 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
[pid=20582/tid=20602] ppid=20564 vsize=8068220 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/20582/task/20602/stat : 20602 (java) S 20564 20564 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224757231 8261857280 30013 33554432000 4194304 4196468 140730259626720 139661330602912 139664000861909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140730259629237 140730259629361 140730259629361 140730259632079 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 8343532 KiB
Current children cumulated memory: 264952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2503.81 s]
# the end of solver process 20564 was just reported to runsolver
# cumulated CPU time of all completed processes: user=23.8858 s, system=0.725172 s
[startup+2503.82 s]
# the end of solver process 20582 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.47 s, system=1.65344 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): 2503.82
CPU time (s): 2520.13
CPU user time (s): 2518.47
CPU system time (s): 1.65344
CPU usage (%): 100.651
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3129476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.47
system time used= 1.65344
maximum resident set size= 3129892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 426718
page faults= 0
swaps= 0
block input operations= 8
block output operations= 10240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60871
involuntary context switches= 3216
# summary of solver processes directly reported to runsolver:
# pid: 20564,20582
# total CPU time (s): 2520.13
# total CPU user time (s): 2518.47
# total CPU system time (s): 1.65344
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7741 second user time and 26.2166 second system time
The end