0.66/0.52
0.66/0.53 scop both+minisat_release (2018-06-13)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Wed Jul 25 20:29:36 CEST 2018
0.66/0.55 c PID: 1144
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
3.01/1.34 c (0,0) Parsing End
3.01/1.35 c (0,0) CSP: 59 int (0 aux), 0 bool (0 aux), 556 ctr, max domain size 26
3.35/1.48 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.35/1.48 c (0,0) Constraint Name Generate Begin
3.35/1.48 c (0,0) Ctr:HOME/instance-4295579-1532543375.xml,ExtensionConflict:ExtensionSupport:IntVar
3.35/1.48 c (0,0) Constraint Name Generate End
3.35/1.48 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.35/1.48 c (0,0) CSP to CSPinCNF Begin
6.76/2.54 c (2,1) translated 56 (10%) constraints
8.63/3.13 c (2,2) translated 112 (20%) constraints
10.13/3.69 c (3,3) translated 167 (30%) constraints
11.94/4.24 c (3,3) translated 223 (40%) constraints
13.16/4.65 c (4,4) translated 278 (50%) constraints
13.91/4.97 c (4,4) translated 334 (60%) constraints
14.32/5.25 c (4,4) translated 390 (70%) constraints
14.76/5.52 c (4,4) translated 445 (80%) constraints
15.00/5.79 c (5,5) translated 501 (90%) constraints
15.34/6.06 c (5,5) translated 556 (100%) constraints
16.28/6.46 c (5,5) STATISTICS1:HOME/instance-4295579-1532543375.xml,ExtensionConflict:ExtensionSupport:IntVar,397,78161,-1,26,27,1,,26:295774;2:5028,27:13;4:66874;3:10420;2:854,1:300802;0:13,
16.28/6.46 c (5,5) ===========================================
16.28/6.46 c (5,5) Both Encoding selects:
16.28/6.46 c (5,5) Order
16.28/6.46 c (5,5) ===========================================
16.76/6.69 c (6,6) translated 7817 (10%) constraints
17.29/6.83 c (6,6) translated 15633 (20%) constraints
17.42/6.97 c (6,6) translated 23449 (30%) constraints
17.58/7.10 c (6,6) translated 31265 (40%) constraints
17.77/7.22 c (6,6) translated 39081 (50%) constraints
18.27/7.49 c (6,6) translated 46897 (60%) constraints
18.59/7.62 c (7,6) translated 54713 (70%) constraints
18.69/7.75 c (7,7) translated 62529 (80%) constraints
18.79/7.87 c (7,7) translated 70345 (90%) constraints
18.89/7.99 c (7,7) translated 78161 (100%) constraints
18.89/7.99 c (7,7) CSP to CSPinCNF End
18.89/7.99 c (7,7) CSP: 59 int (0 aux), 338 bool (338 aux), 78161 ctr, max domain size 26
18.89/7.99 c (7,7) Heap : 460 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
18.89/7.99 c (7,7) CSPinCNF Propagation Begin
19.89/8.42 c (7,7) 0 values, 6712 unsatisfiable literals, and 0 valid clauses are removed
19.89/8.42 c (7,7) CSPinCNF Propagation End
19.89/8.42 c (7,7) CSP: 59 int (0 aux), 338 bool (338 aux), 78161 ctr, max domain size 26
19.89/8.42 c (7,7) Heap : 843 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
19.89/8.42 c (7,7) Simplify CSPinCNF Begin
20.12/8.57 c (8,7) Simplify CSPinCNF End
20.12/8.57 c (8,7) CSP: 59 int (0 aux), 338 bool (338 aux), 78161 ctr, max domain size 26
20.12/8.57 c (8,7) Heap : 897 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.12/8.57 c (8,7) Calculate Precise Domain Begin
20.12/8.57 c (8,7) 0 values are removed by re-calculation
20.12/8.57 c (8,7) Calculate Precise Domain End
20.12/8.57 c (8,7) CSP: 59 int (0 aux), 338 bool (338 aux), 78161 ctr, max domain size 26
20.12/8.57 c (8,7) Heap : 897 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
20.12/8.57 c (8,7) CSPinCNF to SatSolver Begin
20.56/8.75 c (8,8) 7817 (10 %) CSP clauses are encoded (1813 SAT variables, 9232 SAT clauses)
20.87/8.82 c (8,8) 15633 (20 %) CSP clauses are encoded (1813 SAT variables, 17048 SAT clauses)
20.87/8.86 c (8,8) 23449 (30 %) CSP clauses are encoded (1813 SAT variables, 24864 SAT clauses)
21.00/8.91 c (8,8) 31265 (40 %) CSP clauses are encoded (1813 SAT variables, 32680 SAT clauses)
21.00/8.95 c (8,8) 39081 (50 %) CSP clauses are encoded (1813 SAT variables, 40496 SAT clauses)
21.00/9.00 c (8,8) 46897 (60 %) CSP clauses are encoded (1813 SAT variables, 48312 SAT clauses)
21.12/9.04 c (8,8) 54713 (70 %) CSP clauses are encoded (1813 SAT variables, 56128 SAT clauses)
21.12/9.09 c (8,8) 62529 (80 %) CSP clauses are encoded (1813 SAT variables, 63944 SAT clauses)
21.23/9.14 c (8,8) 70345 (90 %) CSP clauses are encoded (1813 SAT variables, 71760 SAT clauses)
21.23/9.19 c (8,8) 78161 (100 %) CSP clauses are encoded (1813 SAT variables, 79576 SAT clauses)
21.23/9.19 c (8,8) CSPinCNF to SatSolver End
21.23/9.19 c (8,8) Heap : 1389 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
21.76/9.43 c (8,8) STATISTICS2:HOME/instance-4295579-1532543375.xml,ExtensionConflict:ExtensionSupport:IntVar,397,78161,-1,26,26,1,,26:289075;2:5028,26:13;4:60609;3:16251;2:1288,1:294103,
21.76/9.43 c (8,8) SatSolver.solve Begin
21.76/9.43 c (8,8) 1813 bool, 79577 clause
21.76/9.43 c (8,8) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4295579-1532543375.xml-scop-1144.cnf HOME/instance-4295579-1532543375.xml-scop-1144.cnf.out
2520.03/2506.30 c (2505,8) SatSolver is killed by some reasons.
2520.03/2506.30 c (2505,8) 0,0,7,7,8,8,8,TO,TO,STOP-AFTER(DIMACS)
2520.03/2506.30 s UNKNOWN
2520.03/2506.30 c END-Prog: Wed Jul 25 21:11:21 CEST 2018
2520.03/2506.30 c (2505,0) receiving signal SIGTERM
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 (5068 MiB free)
memory of node 1: 16384 MiB (15587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295579-1532543375/watcher-4295579-1532543375 -o /tmp/evaluation-result-4295579-1532543375/solver-4295579-1532543375 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295579-1532543375.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1144, runsolver pid=1141
Current StackSize limit: 8192 KiB
[startup+0.100259 s]*
/proc/loadavg: 2.28 2.31 2.21 4/220 1159
/proc/meminfo: memFree=21091144/32770624 swapFree=67076520/67108860
[pid=1144] ppid=1141 vsize=15011656 memory=71924 CPUtime=0.1 cores=1,3,5,7
/proc/1144/stat : 1144 (java) S 1141 1144 29212 0 -1 1077944320 6203 0 0 0 8 2 0 0 20 0 15 0 71900677 15371935744 17981 33554432000 4194304 4196468 140734909532416 140734909514960 139757135154935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
/proc/1144/statm: 3752914 17981 2749 1 0 3715374 0
[pid=1144/tid=1146] ppid=1141 vsize=15011656 memory=4627829647351778678 CPUtime=0.08 cores=1,3,5,7
/proc/1144/task/1146/stat : 1146 (java) R 1141 1144 29212 0 -1 4202560 4522 0 0 0 7 1 0 0 20 0 15 0 71900677 15371935744 18179 33554432000 4194304 4196468 140734909532416 139757106944048 139757135166870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1147] ppid=1141 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1147/stat : 1147 (java) S 1141 1144 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71900679 15371935744 18179 33554432000 4194304 4196468 140734909532416 139757139397776 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1148] ppid=1141 vsize=15011656 memory=140438389900928 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1148/stat : 1148 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900679 15371935744 18179 33554432000 4194304 4196468 140734909532416 139756961893392 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1149] ppid=1141 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1149/stat : 1149 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900679 15371935744 18179 33554432000 4194304 4196468 140734909532416 139756595178384 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1150] ppid=1141 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1150/stat : 1150 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900679 15371935744 18179 33554432000 4194304 4196468 140734909532416 139756594125584 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1151] ppid=1141 vsize=15011656 memory=140438389900928 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1151/stat : 1151 (java) S 1141 1144 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71900680 15371935744 18179 33554432000 4194304 4196468 140734909532416 139755904760176 139757135166082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1152] ppid=1141 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1152/stat : 1152 (java) S 1141 1144 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71900681 15371935744 18179 33554432000 4194304 4196468 140734909532416 139755819885600 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1153] ppid=1141 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1153/stat : 1153 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900681 15371935744 18179 33554432000 4194304 4196468 140734909532416 139755551449968 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1154] ppid=1141 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1154/stat : 1154 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71900683 15371935744 18179 33554432000 4194304 4196468 140734909532416 139755176941392 139757135173531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1155] ppid=1141 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1155/stat : 1155 (java) S 1141 1144 29212 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 71900683 15371935744 18179 33554432000 4194304 4196468 140734909532416 139755903708016 139757135166082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1156] ppid=1141 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1156/stat : 1156 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900683 15371935744 18179 33554432000 4194304 4196468 140734909532416 139755902655216 139757135166082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1157] ppid=1141 vsize=15011656 memory=140438389900928 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1157/stat : 1157 (java) R 1141 1144 29212 0 -1 4202560 248 0 0 0 0 0 0 0 20 0 15 0 71900683 15371935744 18179 33554432000 4194304 4196468 140734909532416 139755901602416 139757116395248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1158] ppid=1141 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1158/stat : 1158 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71900683 15371935744 18179 33554432000 4194304 4196468 140734909532416 139754679036640 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1159] ppid=1141 vsize=15011656 memory=140438389900928 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1159/stat : 1159 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900684 15371935744 18179 33554432000 4194304 4196468 140734909532416 139755900549808 139757135166082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71924 KiB
[startup+0.210571 s]*
/proc/loadavg: 2.28 2.31 2.21 3/220 1159
/proc/meminfo: memFree=21077688/32770624 swapFree=67076520/67108860
[pid=1144] ppid=1141 vsize=15011656 memory=86308 CPUtime=0.25 cores=1,3,5,7
/proc/1144/stat : 1144 (java) S 1141 1144 29212 0 -1 1077944320 9980 0 0 0 22 3 0 0 20 0 15 0 71900677 15371935744 21577 33554432000 4194304 4196468 140734909532416 140734909514960 139757135154935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
/proc/1144/statm: 3752914 21577 2873 1 0 3715374 0
[pid=1144/tid=1146] ppid=1141 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/1144/task/1146/stat : 1146 (java) R 1141 1144 29212 0 -1 1077944384 7890 0 0 0 17 2 0 0 20 0 15 0 71900677 15371935744 21577 33554432000 4194304 4196468 140734909532416 139757106972528 139756637646102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1147] ppid=1141 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1147/stat : 1147 (java) S 1141 1144 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71900679 15371935744 21577 33554432000 4194304 4196468 140734909532416 139757139397776 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1148] ppid=1141 vsize=15011656 memory=140438389930423 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1148/stat : 1148 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900679 15371935744 21577 33554432000 4194304 4196468 140734909532416 139756961893392 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1149] ppid=1141 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1149/stat : 1149 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900679 15371935744 21577 33554432000 4194304 4196468 140734909532416 139756595178384 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1150] ppid=1141 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1150/stat : 1150 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900679 15371935744 21577 33554432000 4194304 4196468 140734909532416 139756594125584 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1151] ppid=1141 vsize=15011656 memory=140438389900928 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1151/stat : 1151 (java) S 1141 1144 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71900680 15371935744 21577 33554432000 4194304 4196468 140734909532416 139755904760176 139757135166082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1152] ppid=1141 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1152/stat : 1152 (java) S 1141 1144 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71900681 15371935744 21577 33554432000 4194304 4196468 140734909532416 139755819885600 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1153] ppid=1141 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1153/stat : 1153 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900681 15371935744 21577 33554432000 4194304 4196468 140734909532416 139755551449968 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1154] ppid=1141 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1154/stat : 1154 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71900683 15371935744 21577 33554432000 4194304 4196468 140734909532416 139755176941392 139757135173531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1155] ppid=1141 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1144/task/1155/stat : 1155 (java) S 1141 1144 29212 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 15 0 71900683 15371935744 21577 33554432000 4194304 4196468 140734909532416 139755903708016 139757135166082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1156] ppid=1141 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1156/stat : 1156 (java) S 1141 1144 29212 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 71900683 15371935744 21577 33554432000 4194304 4196468 140734909532416 139755902655216 139757135166082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1157] ppid=1141 vsize=15011656 memory=140438389900928 CPUtime=0.02 cores=1,3,5,7
/proc/1144/task/1157/stat : 1157 (java) R 1141 1144 29212 0 -1 4202560 289 0 0 0 2 0 0 0 20 0 15 0 71900683 15371935744 21577 33554432000 4194304 4196468 140734909532416 139755901602416 139757135166870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1158] ppid=1141 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1158/stat : 1158 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71900683 15371935744 21577 33554432000 4194304 4196468 140734909532416 139754679036640 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1159] ppid=1141 vsize=15011656 memory=140438389900928 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1159/stat : 1159 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900684 15371935744 21577 33554432000 4194304 4196468 140734909532416 139755900549808 139757135166082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86308 KiB
[startup+0.310516 s]*
/proc/loadavg: 2.28 2.31 2.21 3/220 1159
/proc/meminfo: memFree=21074400/32770624 swapFree=67076520/67108860
[pid=1144] ppid=1141 vsize=15011656 memory=89688 CPUtime=0.42 cores=1,3,5,7
/proc/1144/stat : 1144 (java) S 1141 1144 29212 0 -1 1077944320 10517 0 0 0 39 3 0 0 20 0 15 0 71900677 15371935744 22422 33554432000 4194304 4196468 140734909532416 140734909514960 139757135154935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
/proc/1144/statm: 3752914 22422 2974 1 0 3715374 0
[pid=1144/tid=1146] ppid=1141 vsize=15011656 memory=-7824251494390454375 CPUtime=0.29 cores=1,3,5,7
/proc/1144/task/1146/stat : 1146 (java) R 1141 1144 29212 0 -1 4202560 8253 0 0 0 27 2 0 0 20 0 15 0 71900677 15371935744 22422 33554432000 4194304 4196468 140734909532416 139757106959088 139757116719905 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1147] ppid=1141 vsize=15011656 memory=796 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1147/stat : 1147 (java) S 1141 1144 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71900679 15371935744 22422 33554432000 4194304 4196468 140734909532416 139757139397776 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1148] ppid=1141 vsize=15011656 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1148/stat : 1148 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900679 15371935744 22422 33554432000 4194304 4196468 140734909532416 139756961893392 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1149] ppid=1141 vsize=15011656 memory=15316 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1149/stat : 1149 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900679 15371935744 22422 33554432000 4194304 4196468 140734909532416 139756595178384 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1150] ppid=1141 vsize=15011656 memory=3604 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1150/stat : 1150 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900679 15371935744 22422 33554432000 4194304 4196468 140734909532416 139756594125584 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1151] ppid=1141 vsize=15011656 memory=10028 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1151/stat : 1151 (java) S 1141 1144 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71900680 15371935744 22422 33554432000 4194304 4196468 140734909532416 139755904760176 139757135166082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1152] ppid=1141 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1152/stat : 1152 (java) S 1141 1144 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71900681 15371935744 22422 33554432000 4194304 4196468 140734909532416 139755819885600 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1153] ppid=1141 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1153/stat : 1153 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900681 15371935744 22422 33554432000 4194304 4196468 140734909532416 139755551449968 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1154] ppid=1141 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1154/stat : 1154 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71900683 15371935744 22422 33554432000 4194304 4196468 140734909532416 139755176941392 139757135173531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1155] ppid=1141 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1144/task/1155/stat : 1155 (java) S 1141 1144 29212 0 -1 1077944384 390 0 0 0 2 0 0 0 20 0 15 0 71900683 15371935744 22422 33554432000 4194304 4196468 140734909532416 139755903708016 139757135166082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1156] ppid=1141 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1144/task/1156/stat : 1156 (java) S 1141 1144 29212 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 15 0 71900683 15371935744 22422 33554432000 4194304 4196468 140734909532416 139755902655216 139757135166082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1157] ppid=1141 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1144/task/1157/stat : 1157 (java) S 1141 1144 29212 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 15 0 71900683 15371935744 22422 33554432000 4194304 4196468 140734909532416 139755901602416 139757135166082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1158] ppid=1141 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1158/stat : 1158 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71900683 15371935744 22422 33554432000 4194304 4196468 140734909532416 139754679036640 139757135165141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1159] ppid=1141 vsize=15011656 memory=71924 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1159/stat : 1159 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900684 15371935744 22422 33554432000 4194304 4196468 140734909532416 139755900549808 139757135166082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89688 KiB
[startup+0.702214 s]
/proc/loadavg: 2.28 2.31 2.21 3/220 1159
/proc/meminfo: memFree=21050076/32770624 swapFree=67076520/67108860
[pid=1144] ppid=1141 vsize=15017928 memory=128928 CPUtime=1.01 cores=1,3,5,7
/proc/1144/stat : 1144 (java) S 1141 1144 29212 0 -1 1077944320 17417 0 0 0 96 5 0 0 20 0 15 0 71900677 15378358272 32232 33554432000 4194304 4196468 140734909532416 140734909514960 139757135154935 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
/proc/1144/statm: 3754482 32232 3138 1 0 3715886 0
[pid=1144/tid=1146] ppid=1141 vsize=15017928 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/1144/task/1146/stat : 1146 (java) R 1141 1144 29212 0 -1 4202560 14767 0 0 0 63 4 0 0 20 0 15 0 71900677 15378358272 32232 33554432000 4194304 4196468 140734909532416 139757106990768 139757135166870 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1147] ppid=1141 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1147/stat : 1147 (java) S 1141 1144 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71900679 15378358272 32232 33554432000 4194304 4196468 140734909532416 139757139397776 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1148] ppid=1141 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1148/stat : 1148 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900679 15378358272 32232 33554432000 4194304 4196468 140734909532416 139756961893392 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1149] ppid=1141 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1149/stat : 1149 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900679 15378358272 32232 33554432000 4194304 4196468 140734909532416 139756595178384 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1150] ppid=1141 vsize=15017928 memory=145381757294558 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1150/stat : 1150 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900679 15378358272 32232 33554432000 4194304 4196468 140734909532416 139756594125584 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1151] ppid=1141 vsize=15017928 memory=288230376152071363 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1151/stat : 1151 (java) S 1141 1144 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71900680 15378358272 32232 33554432000 4194304 4196468 140734909532416 139755904760176 139757135166082 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1152] ppid=1141 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1152/stat : 1152 (java) S 1141 1144 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71900681 15378358272 32232 33554432000 4194304 4196468 140734909532416 139755819885600 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1153] ppid=1141 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1153/stat : 1153 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900681 15378358272 32232 33554432000 4194304 4196468 140734909532416 139755551449968 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1154] ppid=1141 vsize=15017928 memory=280876499889056 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1154/stat : 1154 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71900683 15378358272 32232 33554432000 4194304 4196468 140734909532416 139755176941392 139757135173531 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1155] ppid=1141 vsize=15017928 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1144/task/1155/stat : 1155 (java) R 1141 1144 29212 0 -1 4202560 634 0 0 0 9 0 0 0 20 0 15 0 71900683 15378358272 32232 33554432000 4194304 4196468 140734909532416 139755903708016 139757128139977 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1156] ppid=1141 vsize=15017928 memory=280876499861744 CPUtime=0.05 cores=1,3,5,7
/proc/1144/task/1156/stat : 1156 (java) S 1141 1144 29212 0 -1 1077944384 242 0 0 0 5 0 0 0 20 0 15 0 71900683 15378358272 32232 33554432000 4194304 4196468 140734909532416 139755902655216 139757135166082 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1157] ppid=1141 vsize=15017928 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/1144/task/1157/stat : 1157 (java) R 1141 1144 29212 0 -1 4202560 435 0 0 0 17 0 0 0 20 0 15 0 71900683 15378358272 32232 33554432000 4194304 4196468 140734909532416 139755901599352 139757114073424 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1158] ppid=1141 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1158/stat : 1158 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71900683 15378358272 32232 33554432000 4194304 4196468 140734909532416 139754679036640 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1159] ppid=1141 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1159/stat : 1159 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900684 15378358272 32232 33554432000 4194304 4196468 140734909532416 139755900549808 139757135166082 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 128928 KiB
[startup+1.50139 s]
/proc/loadavg: 2.28 2.31 2.21 6/220 1159
/proc/meminfo: memFree=20957432/32770624 swapFree=67076520/67108860
[pid=1144] ppid=1141 vsize=15022100 memory=289120 CPUtime=3.69 cores=1,3,5,7
/proc/1144/stat : 1144 (java) S 1141 1144 29212 0 -1 1077944320 23217 0 0 0 360 9 0 0 20 0 15 0 71900677 15382630400 72280 33554432000 4194304 4196468 140734909532416 140734909514960 139757135154935 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
/proc/1144/statm: 3755525 72280 3202 1 0 3716910 0
[pid=1144/tid=1146] ppid=1141 vsize=15022100 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/1144/task/1146/stat : 1146 (java) R 1141 1144 29212 0 -1 4202560 15931 0 0 0 140 7 0 0 20 0 15 0 71900677 15382630400 72280 33554432000 4194304 4196468 140734909532416 139757106988528 139756637706784 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1147] ppid=1141 vsize=15022100 memory=4639341365868844132 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1147/stat : 1147 (java) S 1141 1144 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71900679 15382630400 72280 33554432000 4194304 4196468 140734909532416 139757139397776 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1148] ppid=1141 vsize=15022100 memory=7512114543601282149 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1148/stat : 1148 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900679 15382630400 72280 33554432000 4194304 4196468 140734909532416 139756961893392 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1149] ppid=1141 vsize=15022100 memory=280876500276752 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1149/stat : 1149 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900679 15382630400 72280 33554432000 4194304 4196468 140734909532416 139756595178384 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1150] ppid=1141 vsize=15022100 memory=280876499916432 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1150/stat : 1150 (java) S 1141 1144 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71900679 15382630400 72280 33554432000 4194304 4196468 140734909532416 139756594125584 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1151] ppid=1141 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1151/stat : 1151 (java) S 1141 1144 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71900680 15382630400 72280 33554432000 4194304 4196468 140734909532416 139755904760176 139757135166082 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
################
# More data... #
################
/proc/meminfo: memFree=18004976/32770624 swapFree=67076536/67108860
[pid=1144] ppid=1141 vsize=15683912 memory=3132484 CPUtime=23.12 cores=1,3,5,7
/proc/1144/stat : 1144 (java) S 1141 1144 29212 0 -1 1077944320 40903 0 0 0 2190 122 0 0 20 0 19 0 71900677 16060325888 783121 33554432000 4194304 4196468 140734909532416 140734909514960 139757135154935 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
/proc/1144/statm: 3920978 783121 3242 1 0 3881834 0
[pid=1160] ppid=1144 vsize=84076 memory=67772 CPUtime=2492.91 cores=1,3,5,7
/proc/1160/stat : 1160 (minisat_release) R 1144 1144 29212 0 -1 4202496 204162 0 0 0 249276 15 0 0 20 0 1 0 71901622 86093824 16943 33554432000 4194304 4308513 140724002960224 140724002957224 4276436 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 11108352 140724002968241 140724002968750 140724002968750 140724002971589 0
/proc/1160/statm: 21019 16943 353 28 0 17259 0
[pid=1144/tid=1146] ppid=1141 vsize=15683912 memory=3132484 CPUtime=9.3 cores=1,3,5,7
/proc/1144/task/1146/stat : 1146 (java) S 1141 1144 29212 0 -1 1077944384 19188 0 0 0 879 51 0 0 20 0 19 0 71900677 16060325888 783121 33554432000 4194304 4196468 140734909532416 139757106994176 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1147] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0.12 cores=1,3,5,7
/proc/1144/task/1147/stat : 1147 (java) S 1141 1144 29212 0 -1 1077944384 161 0 0 0 10 2 0 0 20 0 19 0 71900679 16060325888 783121 33554432000 4194304 4196468 140734909532416 139757139397776 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1148] ppid=1141 vsize=15683912 memory=12 CPUtime=0.12 cores=1,3,5,7
/proc/1144/task/1148/stat : 1148 (java) S 1141 1144 29212 0 -1 1077944384 75 0 0 0 10 2 0 0 20 0 19 0 71900679 16060325888 783121 33554432000 4194304 4196468 140734909532416 139756961893392 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1149] ppid=1141 vsize=15683912 memory=280876500987872 CPUtime=0.12 cores=1,3,5,7
/proc/1144/task/1149/stat : 1149 (java) S 1141 1144 29212 0 -1 1077944384 126 0 0 0 10 2 0 0 20 0 19 0 71900679 16060325888 783121 33554432000 4194304 4196468 140734909532416 139756595178384 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1150] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0.12 cores=1,3,5,7
/proc/1144/task/1150/stat : 1150 (java) S 1141 1144 29212 0 -1 1077944384 70 0 0 0 10 2 0 0 20 0 19 0 71900679 16060325888 783121 33554432000 4194304 4196468 140734909532416 139756594125584 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1151] ppid=1141 vsize=15683912 memory=3544 CPUtime=0.05 cores=1,3,5,7
/proc/1144/task/1151/stat : 1151 (java) S 1141 1144 29212 0 -1 1077944384 25 0 0 0 3 2 0 0 20 0 19 0 71900680 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755904760176 139757135166082 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1152] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1152/stat : 1152 (java) S 1141 1144 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 71900681 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755819885664 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1153] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1153/stat : 1153 (java) S 1141 1144 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71900681 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755551449968 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1154] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1154/stat : 1154 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71900683 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755176941392 139757135173531 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1155] ppid=1141 vsize=15683912 memory=3132484 CPUtime=5.35 cores=1,3,5,7
/proc/1144/task/1155/stat : 1155 (java) S 1141 1144 29212 0 -1 1077944384 8155 0 0 0 533 2 0 0 20 0 19 0 71900683 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755903708016 139757135166082 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1156] ppid=1141 vsize=15683912 memory=3132484 CPUtime=5.26 cores=1,3,5,7
/proc/1144/task/1156/stat : 1156 (java) S 1141 1144 29212 0 -1 1077944384 5716 0 0 0 524 2 0 0 20 0 19 0 71900683 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755902655216 139757135166082 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1157] ppid=1141 vsize=15683912 memory=67768 CPUtime=1.42 cores=1,3,5,7
/proc/1144/task/1157/stat : 1157 (java) S 1141 1144 29212 0 -1 1077944384 5823 0 0 0 139 3 0 0 20 0 19 0 71900683 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755901602416 139757135166082 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1158] ppid=1141 vsize=15683912 memory=67768 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1158/stat : 1158 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71900683 16060325888 783121 33554432000 4194304 4196468 140734909532416 139754679036640 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1159] ppid=1141 vsize=15683912 memory=2592 CPUtime=1.14 cores=1,3,5,7
/proc/1144/task/1159/stat : 1159 (java) S 1141 1144 29212 0 -1 1077944384 165 0 0 0 53 61 0 0 20 0 19 0 71900684 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755900549808 139757135166082 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1161] ppid=1141 vsize=15683912 memory=67768 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1161/stat : 1161 (java) S 1141 1144 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71901622 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755890975936 139757135179545 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1163] ppid=1141 vsize=15683912 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1163/stat : 1163 (java) S 1141 1144 29212 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 71901622 16060325888 783121 33554432000 4194304 4196468 140734909532416 139754276371632 139757135176861 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1164] ppid=1141 vsize=15683912 memory=6768 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1164/stat : 1164 (java) S 1141 1144 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71901622 16060325888 783121 33554432000 4194304 4196468 140734909532416 139754142150704 139757135176861 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1165] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1165/stat : 1165 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71901624 16060325888 783121 33554432000 4194304 4196468 140734909532416 139753873727136 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
Current children cumulated CPU time: 2516.03 s
Current children cumulated vsize: 15767988 KiB
Current children cumulated memory: 3200256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/226 1350
/proc/meminfo: memFree=18004976/32770624 swapFree=67076536/67108860
[pid=1144] ppid=1141 vsize=15683912 memory=3132484 CPUtime=23.12 cores=1,3,5,7
/proc/1144/stat : 1144 (java) S 1141 1144 29212 0 -1 1077944320 40903 0 0 0 2190 122 0 0 20 0 19 0 71900677 16060325888 783121 33554432000 4194304 4196468 140734909532416 140734909514960 139757135154935 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
/proc/1144/statm: 3920978 783121 3242 1 0 3881834 0
[pid=1160] ppid=1144 vsize=84244 memory=67772 CPUtime=2496.91 cores=1,3,5,7
/proc/1160/stat : 1160 (minisat_release) R 1144 1144 29212 0 -1 4202496 204179 0 0 0 249676 15 0 0 20 0 1 0 71901622 86265856 16943 33554432000 4194304 4308513 140724002960224 140724002957224 4275920 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 11108352 140724002968241 140724002968750 140724002968750 140724002971589 0
/proc/1160/statm: 21061 16943 353 28 0 17301 0
[pid=1144/tid=1146] ppid=1141 vsize=15683912 memory=3132484 CPUtime=9.3 cores=1,3,5,7
/proc/1144/task/1146/stat : 1146 (java) S 1141 1144 29212 0 -1 1077944384 19188 0 0 0 879 51 0 0 20 0 19 0 71900677 16060325888 783121 33554432000 4194304 4196468 140734909532416 139757106994176 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1147] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0.12 cores=1,3,5,7
/proc/1144/task/1147/stat : 1147 (java) S 1141 1144 29212 0 -1 1077944384 161 0 0 0 10 2 0 0 20 0 19 0 71900679 16060325888 783121 33554432000 4194304 4196468 140734909532416 139757139397776 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1148] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0.12 cores=1,3,5,7
/proc/1144/task/1148/stat : 1148 (java) S 1141 1144 29212 0 -1 1077944384 75 0 0 0 10 2 0 0 20 0 19 0 71900679 16060325888 783121 33554432000 4194304 4196468 140734909532416 139756961893392 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1149] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0.12 cores=1,3,5,7
/proc/1144/task/1149/stat : 1149 (java) S 1141 1144 29212 0 -1 1077944384 126 0 0 0 10 2 0 0 20 0 19 0 71900679 16060325888 783121 33554432000 4194304 4196468 140734909532416 139756595178384 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1150] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0.12 cores=1,3,5,7
/proc/1144/task/1150/stat : 1150 (java) S 1141 1144 29212 0 -1 1077944384 70 0 0 0 10 2 0 0 20 0 19 0 71900679 16060325888 783121 33554432000 4194304 4196468 140734909532416 139756594125584 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1151] ppid=1141 vsize=15683912 memory=12 CPUtime=0.05 cores=1,3,5,7
/proc/1144/task/1151/stat : 1151 (java) S 1141 1144 29212 0 -1 1077944384 25 0 0 0 3 2 0 0 20 0 19 0 71900680 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755904760176 139757135166082 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1152] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1152/stat : 1152 (java) S 1141 1144 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 71900681 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755819885664 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1153] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1153/stat : 1153 (java) S 1141 1144 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71900681 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755551449968 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1154] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1154/stat : 1154 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71900683 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755176941392 139757135173531 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1155] ppid=1141 vsize=15683912 memory=3132484 CPUtime=5.35 cores=1,3,5,7
/proc/1144/task/1155/stat : 1155 (java) S 1141 1144 29212 0 -1 1077944384 8155 0 0 0 533 2 0 0 20 0 19 0 71900683 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755903708016 139757135166082 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1156] ppid=1141 vsize=15683912 memory=3132484 CPUtime=5.26 cores=1,3,5,7
/proc/1144/task/1156/stat : 1156 (java) S 1141 1144 29212 0 -1 1077944384 5716 0 0 0 524 2 0 0 20 0 19 0 71900683 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755902655216 139757135166082 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1157] ppid=1141 vsize=15683912 memory=67772 CPUtime=1.42 cores=1,3,5,7
/proc/1144/task/1157/stat : 1157 (java) S 1141 1144 29212 0 -1 1077944384 5823 0 0 0 139 3 0 0 20 0 19 0 71900683 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755901602416 139757135166082 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1158] ppid=1141 vsize=15683912 memory=67768 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1158/stat : 1158 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71900683 16060325888 783121 33554432000 4194304 4196468 140734909532416 139754679036640 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1159] ppid=1141 vsize=15683912 memory=2592 CPUtime=1.14 cores=1,3,5,7
/proc/1144/task/1159/stat : 1159 (java) S 1141 1144 29212 0 -1 1077944384 165 0 0 0 53 61 0 0 20 0 19 0 71900684 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755900549808 139757135166082 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1161] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1161/stat : 1161 (java) S 1141 1144 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71901622 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755890975936 139757135179545 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1163] ppid=1141 vsize=15683912 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1163/stat : 1163 (java) S 1141 1144 29212 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 71901622 16060325888 783121 33554432000 4194304 4196468 140734909532416 139754276371632 139757135176861 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1164] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1164/stat : 1164 (java) S 1141 1144 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71901622 16060325888 783121 33554432000 4194304 4196468 140734909532416 139754142150704 139757135176861 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1165] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1165/stat : 1165 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71901624 16060325888 783121 33554432000 4194304 4196468 140734909532416 139753873727136 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 15768156 KiB
Current children cumulated memory: 3200256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.33 s]
# the end of solver process 1144 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.68 s, system=1.40573 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2506.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/226 1350
/proc/meminfo: memFree=18004976/32770624 swapFree=67076536/67108860
[pid=1144] ppid=1141 vsize=15683912 memory=3132484 CPUtime=23.12 cores=1,3,5,7
/proc/1144/stat : 1144 (java) S 1141 1144 29212 0 -1 1077944320 40903 0 0 0 2190 122 0 0 20 0 19 0 71900677 16060325888 783121 33554432000 4194304 4196468 140734909532416 140734909514960 139757135154935 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
/proc/1144/statm: 3920978 783121 3242 1 0 3881834 0
[pid=1160] ppid=1144 vsize=84244 memory=67772 CPUtime=2496.91 cores=1,3,5,7
/proc/1160/stat : 1160 (minisat_release) R 1144 1144 29212 0 -1 4202496 204179 0 0 0 249676 15 0 0 20 0 1 0 71901622 86265856 16943 33554432000 4194304 4308513 140724002960224 140724002957224 4275920 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 11108352 140724002968241 140724002968750 140724002968750 140724002971589 0
/proc/1160/statm: 21061 16943 353 28 0 17301 0
[pid=1144/tid=1146] ppid=1141 vsize=15683912 memory=3132484 CPUtime=9.3 cores=1,3,5,7
/proc/1144/task/1146/stat : 1146 (java) S 1141 1144 29212 0 -1 1077944384 19188 0 0 0 879 51 0 0 20 0 19 0 71900677 16060325888 783121 33554432000 4194304 4196468 140734909532416 139757106994176 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1147] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0.12 cores=1,3,5,7
/proc/1144/task/1147/stat : 1147 (java) S 1141 1144 29212 0 -1 1077944384 161 0 0 0 10 2 0 0 20 0 19 0 71900679 16060325888 783121 33554432000 4194304 4196468 140734909532416 139757139397776 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1148] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0.12 cores=1,3,5,7
/proc/1144/task/1148/stat : 1148 (java) S 1141 1144 29212 0 -1 1077944384 75 0 0 0 10 2 0 0 20 0 19 0 71900679 16060325888 783121 33554432000 4194304 4196468 140734909532416 139756961893392 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1149] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0.12 cores=1,3,5,7
/proc/1144/task/1149/stat : 1149 (java) S 1141 1144 29212 0 -1 1077944384 126 0 0 0 10 2 0 0 20 0 19 0 71900679 16060325888 783121 33554432000 4194304 4196468 140734909532416 139756595178384 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1150] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0.12 cores=1,3,5,7
/proc/1144/task/1150/stat : 1150 (java) S 1141 1144 29212 0 -1 1077944384 70 0 0 0 10 2 0 0 20 0 19 0 71900679 16060325888 783121 33554432000 4194304 4196468 140734909532416 139756594125584 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1151] ppid=1141 vsize=15683912 memory=12 CPUtime=0.05 cores=1,3,5,7
/proc/1144/task/1151/stat : 1151 (java) S 1141 1144 29212 0 -1 1077944384 25 0 0 0 3 2 0 0 20 0 19 0 71900680 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755904760176 139757135166082 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1152] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1152/stat : 1152 (java) S 1141 1144 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 71900681 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755819885664 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1153] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1153/stat : 1153 (java) S 1141 1144 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71900681 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755551449968 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1154] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1154/stat : 1154 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71900683 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755176941392 139757135173531 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1155] ppid=1141 vsize=15683912 memory=3132484 CPUtime=5.35 cores=1,3,5,7
/proc/1144/task/1155/stat : 1155 (java) S 1141 1144 29212 0 -1 1077944384 8155 0 0 0 533 2 0 0 20 0 19 0 71900683 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755903708016 139757135166082 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1156] ppid=1141 vsize=15683912 memory=3132484 CPUtime=5.26 cores=1,3,5,7
/proc/1144/task/1156/stat : 1156 (java) S 1141 1144 29212 0 -1 1077944384 5716 0 0 0 524 2 0 0 20 0 19 0 71900683 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755902655216 139757135166082 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1157] ppid=1141 vsize=15683912 memory=67772 CPUtime=1.42 cores=1,3,5,7
/proc/1144/task/1157/stat : 1157 (java) S 1141 1144 29212 0 -1 1077944384 5823 0 0 0 139 3 0 0 20 0 19 0 71900683 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755901602416 139757135166082 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1158] ppid=1141 vsize=15683912 memory=67768 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1158/stat : 1158 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71900683 16060325888 783121 33554432000 4194304 4196468 140734909532416 139754679036640 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1159] ppid=1141 vsize=15683912 memory=2592 CPUtime=1.14 cores=1,3,5,7
/proc/1144/task/1159/stat : 1159 (java) S 1141 1144 29212 0 -1 1077944384 165 0 0 0 53 61 0 0 20 0 19 0 71900684 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755900549808 139757135166082 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1161] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1161/stat : 1161 (java) S 1141 1144 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71901622 16060325888 783121 33554432000 4194304 4196468 140734909532416 139755890975936 139757135179545 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1163] ppid=1141 vsize=15683912 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1163/stat : 1163 (java) S 1141 1144 29212 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 71901622 16060325888 783121 33554432000 4194304 4196468 140734909532416 139754276371632 139757135176861 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1164] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1164/stat : 1164 (java) S 1141 1144 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71901622 16060325888 783121 33554432000 4194304 4196468 140734909532416 139754142150704 139757135176861 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
[pid=1144/tid=1165] ppid=1141 vsize=15683912 memory=3132484 CPUtime=0 cores=1,3,5,7
/proc/1144/task/1165/stat : 1165 (java) S 1141 1144 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71901624 16060325888 783121 33554432000 4194304 4196468 140734909532416 139753873727136 139757135165141 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14127104 140734909535220 140734909535497 140734909535497 140734909538255 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 15768156 KiB
Current children cumulated memory: 3200256 KiB
Child status: 1
Real time (s): 2506.33
CPU time (s): 2520.08
CPU user time (s): 2518.68
CPU system time (s): 1.40573
CPU usage (%): 100.549
Max. virtual memory (cumulated for all children) (KiB): 15786580
Max. memory (cumulated for all children) (KiB): 3218288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.68
system time used= 1.40573
maximum resident set size= 3133112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245155
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58914
involuntary context switches= 772
# summary of solver processes directly reported to runsolver:
# pid: 1144
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.68
# total CPU system time (s): 1.40573
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9579 second user time and 27.183 second system time
The end