0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-27802-serial-file.bin HOME/instance-4305664-1534073422.xml
0.66/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 13:30:23 CEST 2018
0.66/0.55 c PID: 27805
0.66/0.55 c IP: 172.20.3.106
0.66/0.55 c HOST: node106.alineos.net
0.66/0.55 c (0,0) Parsing Begin
7.97/3.07 c (2,2) Parsing End
7.97/3.07 c (2,2) CSP: 288 int (0 aux), 0 bool (0 aux), 17650 ctr, max domain size 6
8.30/3.17 c (2,2) Heap : 844 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
8.30/3.17 c (2,2) Constraint Name Generate Begin
8.30/3.17 c (2,2) Ctr:HOME/instance-4305664-1534073422.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
8.30/3.17 c (2,2) Constraint Name Generate End
8.30/3.17 c (2,2) Heap : 901 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
8.30/3.17 c (2,2) CSP to CSPinCNF Begin
9.00/3.49 c (2,2) translated 1765 (10%) constraints
9.27/3.58 c (3,3) translated 3530 (20%) constraints
9.56/3.65 c (3,3) translated 5295 (30%) constraints
9.88/3.71 c (3,3) translated 7060 (40%) constraints
9.88/3.76 c (3,3) translated 8825 (50%) constraints
10.13/3.81 c (3,3) translated 10590 (60%) constraints
10.13/3.85 c (3,3) translated 12355 (70%) constraints
10.13/3.89 c (3,3) translated 14120 (80%) constraints
10.31/3.93 c (3,3) translated 15885 (90%) constraints
11.88/4.45 c (3,3) translated 17650 (100%) constraints
14.24/5.37 c (4,4) STATISTICS1:HOME/instance-4305664-1534073422.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,2464,22160,34359738368,6,4,36,34359738368:96;6:31751;1:4551,6:66597;2:6528;1:9499,4:18088;3:1770;2:2176;1:126,36:96;2:36302;1:10056,
14.24/5.37 c (4,4) ==========================================
14.24/5.37 c (4,4) Both Encoding selects:
14.24/5.37 c (4,4) Order
14.24/5.37 c (4,4) ==========================================
14.87/5.53 c (5,4) translated 2216 (10%) constraints
15.17/5.66 c (5,5) translated 4432 (20%) constraints
15.48/5.79 c (5,5) translated 6648 (30%) constraints
15.99/5.90 c (5,5) translated 8864 (40%) constraints
15.99/6.01 c (5,5) translated 11080 (50%) constraints
16.24/6.11 c (5,5) translated 13296 (60%) constraints
16.46/6.20 c (5,5) translated 15512 (70%) constraints
16.55/6.35 c (5,5) translated 17728 (80%) constraints
17.51/6.62 c (6,6) translated 19944 (90%) constraints
17.81/6.77 c (6,6) translated 22160 (100%) constraints
17.81/6.77 c (6,6) CSP to CSPinCNF End
17.81/6.78 c (6,6) CSP: 720 int (432 aux), 3904 bool (3904 aux), 26564 ctr, max domain size 7
17.81/6.78 c (6,6) Heap : 1971 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
17.81/6.78 c (6,6) CSPinCNF Propagation Begin
19.06/7.18 c (6,6) 786 values, 6580 unsatisfiable literals, and 5416 valid clauses are removed
19.06/7.18 c (6,6) CSPinCNF Propagation End
19.06/7.18 c (6,6) CSP: 1182 int (894 aux), 3442 bool (3442 aux), 21148 ctr, max domain size 7
19.06/7.18 c (6,6) Heap : 2196 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.06/7.18 c (6,6) Simplify CSPinCNF Begin
20.36/7.66 c (7,7) Simplify CSPinCNF End
20.36/7.66 c (7,7) CSP: 1182 int (894 aux), 12773 bool (12773 aux), 30479 ctr, max domain size 7
20.36/7.66 c (7,7) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.36/7.66 c (7,7) Calculate Precise Domain Begin
20.63/7.72 c (7,7) 0 values are removed by re-calculation
20.63/7.72 c (7,7) Calculate Precise Domain End
20.63/7.72 c (7,7) CSP: 1182 int (894 aux), 12773 bool (12773 aux), 30479 ctr, max domain size 7
20.63/7.72 c (7,7) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.63/7.72 c (7,7) CSPinCNF to SatSolver Begin
21.23/7.94 c (7,7) 3048 (10 %) CSP clauses are encoded (16301 SAT variables, 16775 SAT clauses)
21.56/8.05 c (7,7) 6096 (20 %) CSP clauses are encoded (16301 SAT variables, 30628 SAT clauses)
21.85/8.12 c (7,7) 9144 (30 %) CSP clauses are encoded (16301 SAT variables, 43301 SAT clauses)
21.85/8.18 c (7,7) 12192 (40 %) CSP clauses are encoded (16301 SAT variables, 55944 SAT clauses)
21.98/8.21 c (7,7) 15240 (50 %) CSP clauses are encoded (16301 SAT variables, 62237 SAT clauses)
21.98/8.24 c (7,7) 18288 (60 %) CSP clauses are encoded (16301 SAT variables, 65285 SAT clauses)
21.98/8.27 c (7,7) 21336 (70 %) CSP clauses are encoded (16301 SAT variables, 68333 SAT clauses)
22.13/8.38 c (7,7) 24384 (80 %) CSP clauses are encoded (16301 SAT variables, 82805 SAT clauses)
22.62/8.51 c (7,7) 27432 (90 %) CSP clauses are encoded (16301 SAT variables, 108701 SAT clauses)
22.62/8.58 c (8,8) 30479 (100 %) CSP clauses are encoded (16301 SAT variables, 121400 SAT clauses)
22.62/8.58 c (8,8) Launch Command will be: minisat_release
22.62/8.58 c (8,8) CSPinCNF to SatSolver End
22.62/8.58 c (8,8) Heap : 2760 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.43/8.83 c (8,8) STATISTICS2:HOME/instance-4305664-1534073422.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,13955,30479,64,7,4,7,64:504;49:336;6:9701;1:89,7:1512;6:24531;2:75766;1:89,4:13638;3:1054;2:14911;1:876,7:504;3:336;2:9790;1:77782,
23.43/8.83 c (8,8) 16301 bool, 121405 clause
23.43/8.83 c (8,8) Export Begin
23.76/8.94 c (8,8) Export to HOME/scop-27802-serial-file.bin
23.76/8.94 c (8,8) Export End
23.76/8.94 c (8,8) Export File Size: 0.05 MB
23.76/8.94 c (8,8) 2,2,6,6,7,7,8,STOP-AFTER(DIMACS)
23.76/8.94 c END-Prog: Sun Aug 12 13:30:31 CEST 2018
23.76/8.96 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-27802-serial-file.bin
24.49/9.45 c (0,0) Read Serial File Begin
24.49/9.45 c (0,0) HOME/scop-27802-serial-file.bin
24.80/9.63 c (0,0) Read Serial File End
24.80/9.64
24.80/9.64 scop order+minisat_release (2018-07-31)
24.80/9.64 (Solving Process)
24.80/9.64
24.80/9.66 c BEGIN-Prog: Sun Aug 12 13:30:32 CEST 2018
24.80/9.66 c PID: 27820
24.80/9.66 c IP: 172.20.3.106
24.80/9.66 c HOST: node106.alineos.net
24.80/9.67 c (0,0) SatSolver.solve Begin
24.80/9.67 c (0,0) 0 bool, 0 clause
24.80/9.67 c (0,0) minisat_release HOME/instance-4305664-1534073422.xml-scop-27805.cnf
2520.03/2503.20 c (2493,0) SatSolver is killed by some reasons.
2520.03/2503.20 c (2493,0) receiving signal SIGTERM
2520.03/2503.20 s UNKNOWN
2520.03/2503.21 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.03/2503.21 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 (8619 MiB free)
memory of node 1: 16384 MiB (10874 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305664-1534073422/watcher-4305664-1534073422 -o /tmp/evaluation-result-4305664-1534073422/solver-4305664-1534073422 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305664-1534073422.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=27802, runsolver pid=27799
[startup+0.100089 s]*
/proc/loadavg: 2.37 2.17 2.11 3/223 27819
/proc/meminfo: memFree=19900240/32770624 swapFree=67108688/67108860
[pid=27802] ppid=27799 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/27802/stat : 27802 (scop.sh) S 27799 27802 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224905083 115843072 348 33554432000 4194304 5098028 140727911263872 140727911261128 140589771903612 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29974528 140727911265345 140727911265543 140727911265543 140727911268301 0
/proc/27802/statm: 28282 348 296 221 0 87 0
[pid=27805] ppid=27802 vsize=15012476 memory=73596 CPUtime=0.11 cores=0,2,4,6
/proc/27805/stat : 27805 (java) S 27802 27802 23167 0 -1 1077944320 6511 0 0 0 10 1 0 0 20 0 15 0 224905083 15372775424 18399 33554432000 4194304 4196468 140721761364128 140721761346672 140183662800631 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
/proc/27805/statm: 3753119 18399 2771 1 0 3715579 0
[pid=27805/tid=27806] ppid=27802 vsize=15012476 memory=-6078870780940435395 CPUtime=0.09 cores=0,2,4,6
/proc/27805/task/27806/stat : 27806 (java) R 27802 27802 23167 0 -1 4202560 4599 0 0 0 8 1 0 0 20 0 15 0 224905083 15372775424 18399 33554432000 4194304 4196468 140721761364128 140183634612616 140183645987461 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27807] ppid=27802 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27807/stat : 27807 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224905085 15372775424 18399 33554432000 4194304 4196468 140721761364128 140183667042832 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27808] ppid=27802 vsize=15012476 memory=140426921117312 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27808/stat : 27808 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224905085 15372775424 18399 33554432000 4194304 4196468 140721761364128 140183442746000 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27809] ppid=27802 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27809/stat : 27809 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224905085 15372775424 18399 33554432000 4194304 4196468 140721761364128 140183441692944 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27810] ppid=27802 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27810/stat : 27810 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224905085 15372775424 18399 33554432000 4194304 4196468 140721761364128 140183440640400 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27811] ppid=27802 vsize=15012476 memory=140426921117312 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27811/stat : 27811 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224905087 15372775424 18399 33554432000 4194304 4196468 140721761364128 140182498044656 140183662811778 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27812] ppid=27802 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27812/stat : 27812 (java) S 27802 27802 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224905087 15372775424 18399 33554432000 4194304 4196468 140721761364128 140182296716960 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27813] ppid=27802 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27813/stat : 27813 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224905087 15372775424 18399 33554432000 4194304 4196468 140721761364128 140182028281072 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27814] ppid=27802 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27814/stat : 27814 (java) S 27802 27802 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224905090 15372775424 18399 33554432000 4194304 4196468 140721761364128 140181653772752 140183662819227 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27815] ppid=27802 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27815/stat : 27815 (java) S 27802 27802 23167 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 224905090 15372775424 18399 33554432000 4194304 4196468 140721761364128 140182496991472 140183662811778 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27816] ppid=27802 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27816/stat : 27816 (java) S 27802 27802 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224905090 15372775424 18399 33554432000 4194304 4196468 140721761364128 140182495938928 140183662811778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27817] ppid=27802 vsize=15012476 memory=140426921117312 CPUtime=0.01 cores=0,2,4,6
/proc/27805/task/27817/stat : 27817 (java) S 27802 27802 23167 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 224905090 15372775424 18399 33554432000 4194304 4196468 140721761364128 140182494885872 140183662811778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27818] ppid=27802 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27818/stat : 27818 (java) S 27802 27802 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224905090 15372775424 18399 33554432000 4194304 4196468 140721761364128 140181155866976 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27819] ppid=27802 vsize=15012476 memory=140426921117312 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27819/stat : 27819 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224905090 15372775424 18399 33554432000 4194304 4196468 140721761364128 140182493834288 140183662811778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74988 KiB
[startup+0.210619 s]*
/proc/loadavg: 2.37 2.17 2.11 4/223 27819
/proc/meminfo: memFree=19886504/32770624 swapFree=67108688/67108860
[pid=27802] ppid=27799 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/27802/stat : 27802 (scop.sh) S 27799 27802 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224905083 115843072 348 33554432000 4194304 5098028 140727911263872 140727911261128 140589771903612 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29974528 140727911265345 140727911265543 140727911265543 140727911268301 0
/proc/27802/statm: 28282 348 296 221 0 87 0
[pid=27805] ppid=27802 vsize=15012476 memory=86640 CPUtime=0.25 cores=0,2,4,6
/proc/27805/stat : 27805 (java) S 27802 27802 23167 0 -1 1077944320 10006 0 0 0 23 2 0 0 20 0 15 0 224905083 15372775424 21660 33554432000 4194304 4196468 140721761364128 140721761346672 140183662800631 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
/proc/27805/statm: 3753119 21660 2880 1 0 3715579 0
[pid=27805/tid=27806] ppid=27802 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/27805/task/27806/stat : 27806 (java) R 27802 27802 23167 0 -1 4202560 7914 0 0 0 18 1 0 0 20 0 15 0 224905083 15372775424 21660 33554432000 4194304 4196468 140721761364128 140183634620544 140183662822557 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27807] ppid=27802 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27807/stat : 27807 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224905085 15372775424 21660 33554432000 4194304 4196468 140721761364128 140183667042832 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27808] ppid=27802 vsize=15012476 memory=140426922316982 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27808/stat : 27808 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224905085 15372775424 21660 33554432000 4194304 4196468 140721761364128 140183442746000 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27809] ppid=27802 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27809/stat : 27809 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224905085 15372775424 21660 33554432000 4194304 4196468 140721761364128 140183441692944 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27810] ppid=27802 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27810/stat : 27810 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224905085 15372775424 21660 33554432000 4194304 4196468 140721761364128 140183440640400 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27811] ppid=27802 vsize=15012476 memory=140426921117312 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27811/stat : 27811 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224905087 15372775424 21660 33554432000 4194304 4196468 140721761364128 140182498044656 140183662811778 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27812] ppid=27802 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27812/stat : 27812 (java) S 27802 27802 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224905087 15372775424 21660 33554432000 4194304 4196468 140721761364128 140182296716960 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27813] ppid=27802 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27813/stat : 27813 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224905087 15372775424 21660 33554432000 4194304 4196468 140721761364128 140182028281072 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27814] ppid=27802 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27814/stat : 27814 (java) S 27802 27802 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224905090 15372775424 21660 33554432000 4194304 4196468 140721761364128 140181653772752 140183662819227 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27815] ppid=27802 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27815/stat : 27815 (java) S 27802 27802 23167 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 224905090 15372775424 21660 33554432000 4194304 4196468 140721761364128 140182496991472 140183662811778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27816] ppid=27802 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27816/stat : 27816 (java) S 27802 27802 23167 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 224905090 15372775424 21660 33554432000 4194304 4196468 140721761364128 140182495938928 140183662811778 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27817] ppid=27802 vsize=15012476 memory=140426921117312 CPUtime=0.03 cores=0,2,4,6
/proc/27805/task/27817/stat : 27817 (java) R 27802 27802 23167 0 -1 4202560 294 0 0 0 3 0 0 0 20 0 15 0 224905090 15372775424 21660 33554432000 4194304 4196468 140721761364128 140182494885872 140183662821978 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27818] ppid=27802 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27818/stat : 27818 (java) S 27802 27802 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224905090 15372775424 21660 33554432000 4194304 4196468 140721761364128 140181155866976 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27819] ppid=27802 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27819/stat : 27819 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224905090 15372775424 21660 33554432000 4194304 4196468 140721761364128 140182493834288 140183662811778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88032 KiB
[startup+0.310592 s]*
/proc/loadavg: 2.37 2.17 2.11 3/223 27819
/proc/meminfo: memFree=19882952/32770624 swapFree=67108688/67108860
[pid=27802] ppid=27799 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/27802/stat : 27802 (scop.sh) S 27799 27802 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224905083 115843072 348 33554432000 4194304 5098028 140727911263872 140727911261128 140589771903612 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29974528 140727911265345 140727911265543 140727911265543 140727911268301 0
/proc/27802/statm: 28282 348 296 221 0 87 0
[pid=27805] ppid=27802 vsize=15012476 memory=90164 CPUtime=0.42 cores=0,2,4,6
/proc/27805/stat : 27805 (java) S 27802 27802 23167 0 -1 1077944320 10524 0 0 0 40 2 0 0 20 0 15 0 224905083 15372775424 22541 33554432000 4194304 4196468 140721761364128 140721761346672 140183662800631 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
/proc/27805/statm: 3753119 22541 2978 1 0 3715579 0
[pid=27805/tid=27806] ppid=27802 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/27805/task/27806/stat : 27806 (java) R 27802 27802 23167 0 -1 4202560 8286 0 0 0 28 2 0 0 20 0 15 0 224905083 15372775424 22541 33554432000 4194304 4196468 140721761364128 140183634595632 140183662812566 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27807] ppid=27802 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27807/stat : 27807 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224905085 15372775424 22541 33554432000 4194304 4196468 140721761364128 140183667042832 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27808] ppid=27802 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27808/stat : 27808 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224905085 15372775424 22541 33554432000 4194304 4196468 140721761364128 140183442746000 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27809] ppid=27802 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27809/stat : 27809 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224905085 15372775424 22541 33554432000 4194304 4196468 140721761364128 140183441692944 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27810] ppid=27802 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27810/stat : 27810 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224905085 15372775424 22541 33554432000 4194304 4196468 140721761364128 140183440640400 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27811] ppid=27802 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27811/stat : 27811 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224905087 15372775424 22541 33554432000 4194304 4196468 140721761364128 140182498044656 140183662811778 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27812] ppid=27802 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27812/stat : 27812 (java) S 27802 27802 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224905087 15372775424 22541 33554432000 4194304 4196468 140721761364128 140182296716960 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27813] ppid=27802 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27813/stat : 27813 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224905087 15372775424 22541 33554432000 4194304 4196468 140721761364128 140182028281072 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27814] ppid=27802 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27814/stat : 27814 (java) S 27802 27802 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224905090 15372775424 22541 33554432000 4194304 4196468 140721761364128 140181653772752 140183662819227 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27815] ppid=27802 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27805/task/27815/stat : 27815 (java) R 27802 27802 23167 0 -1 4202560 440 0 0 0 1 0 0 0 20 0 15 0 224905090 15372775424 22541 33554432000 4194304 4196468 140721761364128 140182496991472 140183655785673 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27816] ppid=27802 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27805/task/27816/stat : 27816 (java) R 27802 27802 23167 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 15 0 224905090 15372775424 22541 33554432000 4194304 4196468 140721761364128 140182495939024 140183662810837 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27817] ppid=27802 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27805/task/27817/stat : 27817 (java) R 27802 27802 23167 0 -1 4202560 315 0 0 0 7 0 0 0 20 0 15 0 224905090 15372775424 22541 33554432000 4194304 4196468 140721761364128 140182494885872 140183662812566 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27818] ppid=27802 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27818/stat : 27818 (java) S 27802 27802 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224905090 15372775424 22541 33554432000 4194304 4196468 140721761364128 140181155866976 140183662810837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27819] ppid=27802 vsize=15012476 memory=3833186913019306033 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27819/stat : 27819 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224905090 15372775424 22541 33554432000 4194304 4196468 140721761364128 140182493834288 140183662811778 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91556 KiB
[startup+0.701299 s]
/proc/loadavg: 2.37 2.17 2.11 3/223 27819
/proc/meminfo: memFree=19859296/32770624 swapFree=67108688/67108860
[pid=27802] ppid=27799 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/27802/stat : 27802 (scop.sh) S 27799 27802 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224905083 115843072 348 33554432000 4194304 5098028 140727911263872 140727911261128 140589771903612 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29974528 140727911265345 140727911265543 140727911265543 140727911268301 0
/proc/27802/statm: 28282 348 296 221 0 87 0
[pid=27805] ppid=27802 vsize=15018748 memory=131164 CPUtime=1.03 cores=0,2,4,6
/proc/27805/stat : 27805 (java) S 27802 27802 23167 0 -1 1077944320 17397 0 0 0 99 4 0 0 20 0 15 0 224905083 15379197952 32791 33554432000 4194304 4196468 140721761364128 140721761346672 140183662800631 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
/proc/27805/statm: 3754687 32791 3130 1 0 3716091 0
[pid=27805/tid=27806] ppid=27802 vsize=15018748 memory=2372 CPUtime=0.66 cores=0,2,4,6
/proc/27805/task/27806/stat : 27806 (java) R 27802 27802 23167 0 -1 4202560 14608 0 0 0 63 3 0 0 20 0 15 0 224905083 15379197952 32791 33554432000 4194304 4196468 140721761364128 140183634636560 140183662822557 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27807] ppid=27802 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27807/stat : 27807 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224905085 15379197952 32791 33554432000 4194304 4196468 140721761364128 140183667042832 140183662810837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27808] ppid=27802 vsize=15018748 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27808/stat : 27808 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224905085 15379197952 32791 33554432000 4194304 4196468 140721761364128 140183442746000 140183662810837 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27809] ppid=27802 vsize=15018748 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27809/stat : 27809 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224905085 15379197952 32791 33554432000 4194304 4196468 140721761364128 140183441692944 140183662810837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27810] ppid=27802 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27810/stat : 27810 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224905085 15379197952 32791 33554432000 4194304 4196468 140721761364128 140183440640400 140183662810837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27811] ppid=27802 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27811/stat : 27811 (java) S 27802 27802 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224905087 15379197952 32791 33554432000 4194304 4196468 140721761364128 140182498044656 140183662811778 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27812] ppid=27802 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27812/stat : 27812 (java) S 27802 27802 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224905087 15379197952 32791 33554432000 4194304 4196468 140721761364128 140182296716960 140183662810837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27813] ppid=27802 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27813/stat : 27813 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224905087 15379197952 32791 33554432000 4194304 4196468 140721761364128 140182028281072 140183662810837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27814] ppid=27802 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27814/stat : 27814 (java) S 27802 27802 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224905090 15379197952 32791 33554432000 4194304 4196468 140721761364128 140181653772752 140183662819227 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27815] ppid=27802 vsize=15018748 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/27805/task/27815/stat : 27815 (java) R 27802 27802 23167 0 -1 4202560 598 0 0 0 6 0 0 0 20 0 15 0 224905090 15379197952 32791 33554432000 4194304 4196468 140721761364128 140182496981264 140183641990096 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27816] ppid=27802 vsize=15018748 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/27805/task/27816/stat : 27816 (java) R 27802 27802 23167 0 -1 4202560 370 0 0 0 10 0 0 0 20 0 15 0 224905090 15379197952 32791 33554432000 4194304 4196468 140721761364128 140182495930744 140183642046479 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27817] ppid=27802 vsize=15018748 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/27805/task/27817/stat : 27817 (java) R 27802 27802 23167 0 -1 4202560 485 0 0 0 17 0 0 0 20 0 15 0 224905090 15379197952 32791 33554432000 4194304 4196468 140721761364128 140182494881520 140183655897388 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27818] ppid=27802 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27818/stat : 27818 (java) S 27802 27802 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224905090 15379197952 32791 33554432000 4194304 4196468 140721761364128 140181155866976 140183662810837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
[pid=27805/tid=27819] ppid=27802 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27805/task/27819/stat : 27819 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224905090 15379197952 32791 33554432000 4194304 4196468 140721761364128 140182493834288 140183662811778 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13873152 140721761367047 140721761367345 140721761367345 140721761370063 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132556 KiB
[startup+1.50205 s]
/proc/loadavg: 2.37 2.17 2.11 5/223 27819
/proc/meminfo: memFree=19787744/32770624 swapFree=67108688/67108860
[pid=27802] ppid=27799 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/27802/stat : 27802 (scop.sh) S 27799 27802 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224905083 115843072 348 33554432000 4194304 5098028 140727911263872 140727911261128 140589771903612 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29974528 140727911265345 140727911265543 140727911265543 140727911268301 0
/proc/27802/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=27820/tid=27823] ppid=27802 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27823/stat : 27823 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224905981 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601998629392 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27824] ppid=27802 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27824/stat : 27824 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224905981 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601997576592 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27825] ppid=27802 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27825/stat : 27825 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224905981 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601658865936 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27826] ppid=27802 vsize=8068220 memory=3868 CPUtime=0.03 cores=0,2,4,6
/proc/27820/task/27826/stat : 27826 (java) S 27802 27802 23167 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 224905982 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601622768496 140602176309890 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27827] ppid=27802 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27827/stat : 27827 (java) S 27802 27802 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224905983 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601056028192 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27828] ppid=27802 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27828/stat : 27828 (java) S 27802 27802 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224905983 8261857280 29571 33554432000 4194304 4196468 140726292604672 140600921806192 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27829] ppid=27802 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27829/stat : 27829 (java) S 27802 27802 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224905985 8261857280 29571 33554432000 4194304 4196468 140726292604672 140600547301712 140602176317339 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27830] ppid=27802 vsize=8068220 memory=1468 CPUtime=0.09 cores=0,2,4,6
/proc/27820/task/27830/stat : 27830 (java) S 27802 27802 23167 0 -1 1077944384 561 0 0 0 9 0 0 0 20 0 19 0 224905985 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601621715312 140602176309890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27831] ppid=27802 vsize=8068220 memory=1468 CPUtime=0.14 cores=0,2,4,6
/proc/27820/task/27831/stat : 27831 (java) S 27802 27802 23167 0 -1 1077944384 826 0 0 0 14 0 0 0 20 0 19 0 224905985 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601620662512 140602176309890 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27832] ppid=27802 vsize=8068220 memory=118284 CPUtime=0.22 cores=0,2,4,6
/proc/27820/task/27832/stat : 27832 (java) S 27802 27802 23167 0 -1 1077944384 625 0 0 0 22 0 0 0 20 0 19 0 224905985 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601619609712 140602176309890 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27833] ppid=27802 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27833/stat : 27833 (java) S 27802 27802 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224905985 8261857280 29571 33554432000 4194304 4196468 140726292604672 140600049395936 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27834] ppid=27802 vsize=8068220 memory=2336 CPUtime=1.61 cores=0,2,4,6
/proc/27820/task/27834/stat : 27834 (java) S 27802 27802 23167 0 -1 1077944384 163 0 0 0 80 81 0 0 20 0 19 0 224905986 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601618558128 140602176309890 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27836] ppid=27802 vsize=8068220 memory=111836 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27836/stat : 27836 (java) S 27802 27802 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224906052 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601610749632 140602176323353 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27838] ppid=27802 vsize=8068220 memory=912 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27838/stat : 27838 (java) S 27802 27802 23167 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 224906053 8261857280 29571 33554432000 4194304 4196468 140726292604672 140599512510256 140602176320669 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27839] ppid=27802 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27839/stat : 27839 (java) S 27802 27802 23167 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 224906053 8261857280 29571 33554432000 4194304 4196468 140726292604672 140599378288304 140602176320669 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27840] ppid=27802 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27840/stat : 27840 (java) S 27802 27802 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224906055 8261857280 29571 33554432000 4194304 4196468 140726292604672 140599646739616 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
Current children cumulated CPU time: 2459.12 s
Current children cumulated vsize: 8309584 KiB
Current children cumulated memory: 231588 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 28038
/proc/meminfo: memFree=20399816/32770624 swapFree=67108688/67108860
[pid=27802] ppid=27799 vsize=113128 memory=1468 CPUtime=23.92 cores=0,2,4,6
/proc/27802/stat : 27802 (scop.sh) S 27799 27802 23167 0 -1 4202496 590 39762 0 0 0 0 2330 62 20 0 1 0 224905083 115843072 367 33554432000 4194304 5098028 140727911263872 140727911260616 140589771903612 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29974528 140727911265345 140727911265543 140727911265543 140727911268301 0
/proc/27802/statm: 28282 367 311 221 0 87 0
[pid=27820] ppid=27802 vsize=8068220 memory=118284 CPUtime=2.94 cores=0,2,4,6
/proc/27820/stat : 27820 (java) S 27802 27802 23167 0 -1 1077944320 18489 0 0 0 221 73 0 0 20 0 19 0 224905979 8261857280 29571 33554432000 4194304 4196468 140726292604672 140726292587216 140602176298743 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
/proc/27820/statm: 2017055 29571 3157 1 0 1978454 0
[pid=27835] ppid=27820 vsize=128236 memory=111836 CPUtime=2492.27 cores=0,2,4,6
/proc/27835/stat : 27835 (minisat_release) R 27820 27802 23167 0 -1 4202496 228468 0 0 0 249210 17 0 0 20 0 1 0 224906052 131313664 27959 33554432000 4194304 4308513 140736277839200 140736277836200 4275946 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 28381184 140736277845108 140736277845206 140736277845206 140736277848005 0
/proc/27835/statm: 32059 27959 339 28 0 28299 0
[pid=27820/tid=27821] ppid=27802 vsize=8068220 memory=118284 CPUtime=0.75 cores=0,2,4,6
/proc/27820/task/27821/stat : 27821 (java) S 27802 27802 23167 0 -1 1077944384 14901 0 0 0 71 4 0 0 20 0 19 0 224905980 8261857280 29571 33554432000 4194304 4196468 140726292604672 140602148138896 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27822] ppid=27802 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27822/stat : 27822 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224905981 8261857280 29571 33554432000 4194304 4196468 140726292604672 140602180541072 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27823] ppid=27802 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27823/stat : 27823 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224905981 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601998629392 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27824] ppid=27802 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27824/stat : 27824 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224905981 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601997576592 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27825] ppid=27802 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27825/stat : 27825 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224905981 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601658865936 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27826] ppid=27802 vsize=8068220 memory=111836 CPUtime=0.03 cores=0,2,4,6
/proc/27820/task/27826/stat : 27826 (java) S 27802 27802 23167 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 224905982 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601622768496 140602176309890 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27827] ppid=27802 vsize=8068220 memory=280853548891376 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27827/stat : 27827 (java) S 27802 27802 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224905983 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601056028192 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27828] ppid=27802 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27828/stat : 27828 (java) S 27802 27802 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224905983 8261857280 29571 33554432000 4194304 4196468 140726292604672 140600921806192 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27829] ppid=27802 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27829/stat : 27829 (java) S 27802 27802 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224905985 8261857280 29571 33554432000 4194304 4196468 140726292604672 140600547301712 140602176317339 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27830] ppid=27802 vsize=8068220 memory=3548 CPUtime=0.09 cores=0,2,4,6
/proc/27820/task/27830/stat : 27830 (java) S 27802 27802 23167 0 -1 1077944384 561 0 0 0 9 0 0 0 20 0 19 0 224905985 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601621715312 140602176309890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27831] ppid=27802 vsize=8068220 memory=7897517683652307531 CPUtime=0.14 cores=0,2,4,6
/proc/27820/task/27831/stat : 27831 (java) S 27802 27802 23167 0 -1 1077944384 826 0 0 0 14 0 0 0 20 0 19 0 224905985 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601620662512 140602176309890 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27832] ppid=27802 vsize=8068220 memory=118284 CPUtime=0.22 cores=0,2,4,6
/proc/27820/task/27832/stat : 27832 (java) S 27802 27802 23167 0 -1 1077944384 625 0 0 0 22 0 0 0 20 0 19 0 224905985 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601619609712 140602176309890 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27833] ppid=27802 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27833/stat : 27833 (java) S 27802 27802 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224905985 8261857280 29571 33554432000 4194304 4196468 140726292604672 140600049395936 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27834] ppid=27802 vsize=8068220 memory=1468 CPUtime=1.64 cores=0,2,4,6
/proc/27820/task/27834/stat : 27834 (java) S 27802 27802 23167 0 -1 1077944384 167 0 0 0 81 83 0 0 20 0 19 0 224905986 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601618558128 140602176309890 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27836] ppid=27802 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27836/stat : 27836 (java) S 27802 27802 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224906052 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601610749632 140602176323353 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27838] ppid=27802 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27838/stat : 27838 (java) S 27802 27802 23167 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 224906053 8261857280 29571 33554432000 4194304 4196468 140726292604672 140599512510256 140602176320669 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27839] ppid=27802 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27839/stat : 27839 (java) S 27802 27802 23167 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 224906053 8261857280 29571 33554432000 4194304 4196468 140726292604672 140599378288304 140602176320669 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27840] ppid=27802 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27840/stat : 27840 (java) S 27802 27802 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224906055 8261857280 29571 33554432000 4194304 4196468 140726292604672 140599646739616 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
Current children cumulated CPU time: 2519.13 s
Current children cumulated vsize: 8309584 KiB
Current children cumulated memory: 231588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2503.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 28038
/proc/meminfo: memFree=20399816/32770624 swapFree=67108688/67108860
[pid=27802] ppid=27799 vsize=113128 memory=1468 CPUtime=23.92 cores=0,2,4,6
/proc/27802/stat : 27802 (scop.sh) S 27799 27802 23167 0 -1 4202496 590 39762 0 0 0 0 2330 62 20 0 1 0 224905083 115843072 367 33554432000 4194304 5098028 140727911263872 140727911260616 140589771903612 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29974528 140727911265345 140727911265543 140727911265543 140727911268301 0
/proc/27802/statm: 28282 367 311 221 0 87 0
[pid=27820] ppid=27802 vsize=8068220 memory=118284 CPUtime=2.94 cores=0,2,4,6
/proc/27820/stat : 27820 (java) S 27802 27802 23167 0 -1 1077944320 18489 0 0 0 221 73 0 0 20 0 19 0 224905979 8261857280 29571 33554432000 4194304 4196468 140726292604672 140726292587216 140602176298743 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
/proc/27820/statm: 2017055 29571 3157 1 0 1978454 0
[pid=27835] ppid=27820 vsize=128236 memory=111836 CPUtime=2493.17 cores=0,2,4,6
/proc/27835/stat : 27835 (minisat_release) R 27820 27802 23167 0 -1 4202496 228469 0 0 0 249300 17 0 0 20 0 1 0 224906052 131313664 27959 33554432000 4194304 4308513 140736277839200 140736277836200 4275601 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 28381184 140736277845108 140736277845206 140736277845206 140736277848005 0
/proc/27835/statm: 32059 27959 339 28 0 28299 0
[pid=27820/tid=27821] ppid=27802 vsize=8068220 memory=111836 CPUtime=0.75 cores=0,2,4,6
/proc/27820/task/27821/stat : 27821 (java) S 27802 27802 23167 0 -1 1077944384 14901 0 0 0 71 4 0 0 20 0 19 0 224905980 8261857280 29571 33554432000 4194304 4196468 140726292604672 140602148138896 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27822] ppid=27802 vsize=8068220 memory=-7824251494391044963 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27822/stat : 27822 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224905981 8261857280 29571 33554432000 4194304 4196468 140726292604672 140602180541072 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27823] ppid=27802 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27823/stat : 27823 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224905981 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601998629392 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27824] ppid=27802 vsize=8068220 memory=111836 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27824/stat : 27824 (java) S 27802 27802 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224905981 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601997576592 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27825] ppid=27802 vsize=8068220 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27825/stat : 27825 (java) S 27802 27802 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224905981 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601658865936 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27826] ppid=27802 vsize=8068220 memory=3576 CPUtime=0.03 cores=0,2,4,6
/proc/27820/task/27826/stat : 27826 (java) S 27802 27802 23167 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 224905982 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601622768496 140602176309890 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27827] ppid=27802 vsize=8068220 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27827/stat : 27827 (java) S 27802 27802 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224905983 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601056028192 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27828] ppid=27802 vsize=8068220 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27828/stat : 27828 (java) S 27802 27802 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224905983 8261857280 29571 33554432000 4194304 4196468 140726292604672 140600921806192 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27829] ppid=27802 vsize=8068220 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27829/stat : 27829 (java) S 27802 27802 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224905985 8261857280 29571 33554432000 4194304 4196468 140726292604672 140600547301712 140602176317339 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27830] ppid=27802 vsize=8068220 memory=2336 CPUtime=0.09 cores=0,2,4,6
/proc/27820/task/27830/stat : 27830 (java) S 27802 27802 23167 0 -1 1077944384 561 0 0 0 9 0 0 0 20 0 19 0 224905985 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601621715312 140602176309890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27831] ppid=27802 vsize=8068220 memory=3868 CPUtime=0.14 cores=0,2,4,6
/proc/27820/task/27831/stat : 27831 (java) S 27802 27802 23167 0 -1 1077944384 826 0 0 0 14 0 0 0 20 0 19 0 224905985 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601620662512 140602176309890 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27832] ppid=27802 vsize=8068220 memory=4452 CPUtime=0.22 cores=0,2,4,6
/proc/27820/task/27832/stat : 27832 (java) S 27802 27802 23167 0 -1 1077944384 625 0 0 0 22 0 0 0 20 0 19 0 224905985 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601619609712 140602176309890 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27833] ppid=27802 vsize=8068220 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27833/stat : 27833 (java) S 27802 27802 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224905985 8261857280 29571 33554432000 4194304 4196468 140726292604672 140600049395936 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27834] ppid=27802 vsize=8068220 memory=12668 CPUtime=1.64 cores=0,2,4,6
/proc/27820/task/27834/stat : 27834 (java) S 27802 27802 23167 0 -1 1077944384 167 0 0 0 81 83 0 0 20 0 19 0 224905986 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601618558128 140602176309890 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27836] ppid=27802 vsize=8068220 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27836/stat : 27836 (java) S 27802 27802 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224906052 8261857280 29571 33554432000 4194304 4196468 140726292604672 140601610749632 140602176323353 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27838] ppid=27802 vsize=8068220 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27838/stat : 27838 (java) S 27802 27802 23167 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 224906053 8261857280 29571 33554432000 4194304 4196468 140726292604672 140599512510256 140602176320669 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27839] ppid=27802 vsize=8068220 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27839/stat : 27839 (java) S 27802 27802 23167 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 224906053 8261857280 29571 33554432000 4194304 4196468 140726292604672 140599378288304 140602176320669 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
[pid=27820/tid=27840] ppid=27802 vsize=8068220 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/27820/task/27840/stat : 27840 (java) S 27802 27802 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224906055 8261857280 29571 33554432000 4194304 4196468 140726292604672 140599646739616 140602176308949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10629120 140726292612277 140726292612401 140726292612401 140726292615119 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 8309584 KiB
Current children cumulated memory: 231588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2503.21 s]
# the end of solver process 27802 was just reported to runsolver
# cumulated CPU time of all completed processes: user=23.3023 s, system=0.624858 s
[startup+2503.21 s]
# the end of solver process 27820 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.54 s, system=1.55496 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.21
CPU time (s): 2520.09
CPU user time (s): 2518.54
CPU system time (s): 1.55496
CPU usage (%): 100.674
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2932896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.54
system time used= 1.55496
maximum resident set size= 2936200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287595
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60551
involuntary context switches= 3228
# summary of solver processes directly reported to runsolver:
# pid: 27802,27820
# total CPU time (s): 2520.09
# total CPU user time (s): 2518.54
# total CPU system time (s): 1.55496
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5808 second user time and 28.1814 second system time
The end