0.67/0.53
0.67/0.53 scop both+minisat_release (2018-06-13)
0.67/0.53
0.67/0.56 c BEGIN-Prog: Wed Jul 25 20:56:31 CEST 2018
0.67/0.56 c PID: 1277
0.67/0.56 c IP: 172.20.3.102
0.67/0.56 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
2.99/1.34 c (0,0) Parsing End
2.99/1.34 c (0,0) CSP: 59 int (0 aux), 0 bool (0 aux), 547 ctr, max domain size 26
2.99/1.34 c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.99/1.34 c (0,0) Constraint Name Generate Begin
2.99/1.36 c (0,0) Ctr:HOME/instance-4295588-1532544990.xml,ExtensionConflict:ExtensionSupport:IntVar
2.99/1.36 c (0,0) Constraint Name Generate End
2.99/1.36 c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.99/1.36 c (0,0) CSP to CSPinCNF Begin
6.65/2.60 c (2,2) translated 55 (10%) constraints
8.52/3.13 c (2,2) translated 110 (20%) constraints
10.01/3.62 c (3,3) translated 165 (30%) constraints
11.54/4.12 c (3,3) translated 219 (40%) constraints
12.73/4.51 c (3,3) translated 274 (50%) constraints
13.64/4.88 c (4,4) translated 329 (60%) constraints
14.83/5.21 c (4,4) translated 383 (70%) constraints
15.53/5.50 c (4,4) translated 438 (80%) constraints
15.96/5.78 c (5,5) translated 493 (90%) constraints
16.57/6.06 c (5,5) translated 547 (100%) constraints
17.61/6.48 c (5,5) STATISTICS1:HOME/instance-4295588-1532544990.xml,ExtensionConflict:ExtensionSupport:IntVar,579,78617,-1,26,27,1,,26:291911;2:7928,27:20;4:64760;3:12605;2:1232,1:299839;0:20,
17.61/6.48 c (5,5) ===========================================
17.61/6.48 c (5,5) Both Encoding selects:
17.61/6.48 c (5,5) Order
17.61/6.48 c (5,5) ===========================================
18.36/6.71 c (6,6) translated 7862 (10%) constraints
18.66/6.86 c (6,6) translated 15724 (20%) constraints
18.88/6.99 c (6,6) translated 23586 (30%) constraints
19.11/7.13 c (6,6) translated 31447 (40%) constraints
19.22/7.26 c (6,6) translated 39309 (50%) constraints
19.94/7.53 c (6,6) translated 47171 (60%) constraints
20.04/7.66 c (7,6) translated 55032 (70%) constraints
20.15/7.79 c (7,7) translated 62894 (80%) constraints
20.34/7.92 c (7,7) translated 70756 (90%) constraints
20.45/8.04 c (7,7) translated 78617 (100%) constraints
20.45/8.04 c (7,7) CSP to CSPinCNF End
20.45/8.04 c (7,7) CSP: 59 int (0 aux), 520 bool (520 aux), 78617 ctr, max domain size 26
20.45/8.04 c (7,7) Heap : 460 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.45/8.04 c (7,7) CSPinCNF Propagation Begin
21.25/8.46 c (7,7) 0 values, 6636 unsatisfiable literals, and 0 valid clauses are removed
21.25/8.46 c (7,7) CSPinCNF Propagation End
21.25/8.46 c (7,7) CSP: 59 int (0 aux), 520 bool (520 aux), 78617 ctr, max domain size 26
21.25/8.46 c (7,7) Heap : 842 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.25/8.46 c (7,7) Simplify CSPinCNF Begin
21.58/8.61 c (8,7) Simplify CSPinCNF End
21.58/8.61 c (8,7) CSP: 59 int (0 aux), 520 bool (520 aux), 78617 ctr, max domain size 26
21.58/8.61 c (8,7) Heap : 897 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.58/8.61 c (8,7) Calculate Precise Domain Begin
21.58/8.62 c (8,7) 0 values are removed by re-calculation
21.58/8.62 c (8,7) Calculate Precise Domain End
21.58/8.62 c (8,7) CSP: 59 int (0 aux), 520 bool (520 aux), 78617 ctr, max domain size 26
21.58/8.62 c (8,7) Heap : 897 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.58/8.62 c (8,7) CSPinCNF to SatSolver Begin
21.82/8.79 c (8,8) 7862 (10 %) CSP clauses are encoded (1995 SAT variables, 9277 SAT clauses)
22.13/8.85 c (8,8) 15724 (20 %) CSP clauses are encoded (1995 SAT variables, 17139 SAT clauses)
22.43/8.90 c (8,8) 23586 (30 %) CSP clauses are encoded (1995 SAT variables, 25001 SAT clauses)
22.43/8.95 c (8,8) 31447 (40 %) CSP clauses are encoded (1995 SAT variables, 32862 SAT clauses)
22.43/8.99 c (8,8) 39309 (50 %) CSP clauses are encoded (1995 SAT variables, 40724 SAT clauses)
22.59/9.04 c (8,8) 47171 (60 %) CSP clauses are encoded (1995 SAT variables, 48586 SAT clauses)
22.59/9.08 c (8,8) 55032 (70 %) CSP clauses are encoded (1995 SAT variables, 56447 SAT clauses)
22.69/9.13 c (8,8) 62894 (80 %) CSP clauses are encoded (1995 SAT variables, 64309 SAT clauses)
22.69/9.18 c (8,8) 70756 (90 %) CSP clauses are encoded (1995 SAT variables, 72171 SAT clauses)
22.78/9.22 c (8,8) 78617 (100 %) CSP clauses are encoded (1995 SAT variables, 80032 SAT clauses)
22.78/9.22 c (8,8) CSPinCNF to SatSolver End
22.78/9.22 c (8,8) Heap : 1389 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.27/9.49 c (8,8) STATISTICS2:HOME/instance-4295588-1532544990.xml,ExtensionConflict:ExtensionSupport:IntVar,579,78617,-1,26,26,1,,26:285295;2:7928,26:20;4:58579;3:18351;2:1667,1:293223,
23.27/9.49 c (8,8) SatSolver.solve Begin
23.27/9.49 c (8,8) 1995 bool, 80033 clause
23.27/9.49 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-4295588-1532544990.xml-scop-1277.cnf HOME/instance-4295588-1532544990.xml-scop-1277.cnf.out
2520.00/2504.50 c (2503,8) SatSolver is killed by some reasons.
2520.00/2504.50 c (2503,0) receiving signal SIGTERM
2520.00/2504.50 c (2503,8) 0,0,7,7,8,8,8,TO,TO,STOP-AFTER(DIMACS)
2520.00/2504.50 s UNKNOWN
2520.00/2504.50 s UNKNOWN
2520.00/2504.50 c END-Prog: Wed Jul 25 21:38:15 CEST 2018
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 (8228 MiB free)
memory of node 1: 16384 MiB (12467 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295588-1532544990/watcher-4295588-1532544990 -o /tmp/evaluation-result-4295588-1532544990/solver-4295588-1532544990 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29243 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295588-1532544990.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=1277, runsolver pid=1274
[startup+0.100087 s]*
/proc/loadavg: 2.01 2.02 2.06 3/220 1292
/proc/meminfo: memFree=21133036/32770624 swapFree=67076532/67108860
[pid=1277] ppid=1274 vsize=15011656 memory=71344 CPUtime=0.1 cores=0,2,4,6
/proc/1277/stat : 1277 (java) S 1274 1277 29212 0 -1 1077944320 7055 0 0 0 9 1 0 0 20 0 15 0 72062198 15371935744 17836 33554432000 4194304 4196468 140735363526000 140735363508544 139850007121655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
/proc/1277/statm: 3752914 17836 2775 1 0 3715374 0
[pid=1277/tid=1279] ppid=1274 vsize=15011656 memory=7100839878644369768 CPUtime=0.09 cores=0,2,4,6
/proc/1277/task/1279/stat : 1279 (java) R 1274 1277 29212 0 -1 4202560 5171 0 0 0 8 1 0 0 20 0 15 0 72062198 15371935744 17902 33554432000 4194304 4196468 140735363526000 139849978917536 139849987397487 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1280] ppid=1274 vsize=15011656 memory=3472328295574039403 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1280/stat : 1280 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062200 15371935744 17902 33554432000 4194304 4196468 140735363526000 139850011363856 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1281] ppid=1274 vsize=15011656 memory=139859999712896 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1281/stat : 1281 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72062200 15371935744 17902 33554432000 4194304 4196468 140735363526000 139849840458384 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1282] ppid=1274 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1282/stat : 1282 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72062200 15371935744 17902 33554432000 4194304 4196468 140735363526000 139849467246864 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1283] ppid=1274 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1283/stat : 1283 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062200 15371935744 17902 33554432000 4194304 4196468 140735363526000 139849466194320 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1284] ppid=1274 vsize=15011656 memory=139859999712896 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1284/stat : 1284 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72062201 15371935744 17902 33554432000 4194304 4196468 140735363526000 139849045633776 139850007132802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1285] ppid=1274 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1285/stat : 1285 (java) S 1274 1277 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72062202 15371935744 17902 33554432000 4194304 4196468 140735363526000 139848564336288 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1286] ppid=1274 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1286/stat : 1286 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062202 15371935744 17902 33554432000 4194304 4196468 140735363526000 139848295900400 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1287] ppid=1274 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1287/stat : 1287 (java) S 1274 1277 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72062205 15371935744 17902 33554432000 4194304 4196468 140735363526000 139847921392080 139850007140251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1288] ppid=1274 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1288/stat : 1288 (java) S 1274 1277 29212 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 72062205 15371935744 17902 33554432000 4194304 4196468 140735363526000 139849044580592 139850007132802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1289] ppid=1274 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1289/stat : 1289 (java) S 1274 1277 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72062205 15371935744 17902 33554432000 4194304 4196468 140735363526000 139849043528048 139850007132802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1290] ppid=1274 vsize=15011656 memory=139859999712896 CPUtime=0.01 cores=0,2,4,6
/proc/1277/task/1290/stat : 1290 (java) S 1274 1277 29212 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 15 0 72062205 15371935744 17902 33554432000 4194304 4196468 140735363526000 139849042474992 139850007132802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1291] ppid=1274 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1291/stat : 1291 (java) S 1274 1277 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72062205 15371935744 17902 33554432000 4194304 4196468 140735363526000 139847423486304 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1292] ppid=1274 vsize=15011656 memory=139859999712896 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1292/stat : 1292 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062205 15371935744 17902 33554432000 4194304 4196468 140735363526000 139849041423408 139850007132802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71344 KiB
[startup+0.210426 s]*
/proc/loadavg: 2.01 2.02 2.06 3/220 1292
/proc/meminfo: memFree=21119580/32770624 swapFree=67076532/67108860
[pid=1277] ppid=1274 vsize=15011656 memory=84980 CPUtime=0.25 cores=0,2,4,6
/proc/1277/stat : 1277 (java) S 1274 1277 29212 0 -1 1077944320 10668 0 0 0 23 2 0 0 20 0 15 0 72062198 15371935744 21245 33554432000 4194304 4196468 140735363526000 140735363508544 139850007121655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
/proc/1277/statm: 3752914 21245 2912 1 0 3715374 0
[pid=1277/tid=1279] ppid=1274 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/1277/task/1279/stat : 1279 (java) R 1274 1277 29212 0 -1 4202560 8521 0 0 0 18 2 0 0 20 0 15 0 72062198 15371935744 21245 33554432000 4194304 4196468 140735363526000 139849978948048 139849991165285 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1280] ppid=1274 vsize=15011656 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1280/stat : 1280 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062200 15371935744 21245 33554432000 4194304 4196468 140735363526000 139850011363856 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1281] ppid=1274 vsize=15011656 memory=139860000118970 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1281/stat : 1281 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72062200 15371935744 21245 33554432000 4194304 4196468 140735363526000 139849840458384 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1282] ppid=1274 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1282/stat : 1282 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72062200 15371935744 21245 33554432000 4194304 4196468 140735363526000 139849467246864 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1283] ppid=1274 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1283/stat : 1283 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062200 15371935744 21245 33554432000 4194304 4196468 140735363526000 139849466194320 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1284] ppid=1274 vsize=15011656 memory=139859999712896 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1284/stat : 1284 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72062201 15371935744 21245 33554432000 4194304 4196468 140735363526000 139849045633776 139850007132802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1285] ppid=1274 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1285/stat : 1285 (java) S 1274 1277 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72062202 15371935744 21245 33554432000 4194304 4196468 140735363526000 139848564336288 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1286] ppid=1274 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1286/stat : 1286 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062202 15371935744 21245 33554432000 4194304 4196468 140735363526000 139848295900400 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1287] ppid=1274 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1287/stat : 1287 (java) S 1274 1277 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72062205 15371935744 21245 33554432000 4194304 4196468 140735363526000 139847921392080 139850007140251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1288] ppid=1274 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1277/task/1288/stat : 1288 (java) R 1274 1277 29212 0 -1 1077944384 315 0 0 0 1 0 0 0 20 0 15 0 72062205 15371935744 21245 33554432000 4194304 4196468 140735363526000 139849044580592 139850007132802 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1289] ppid=1274 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1289/stat : 1289 (java) S 1274 1277 29212 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 72062205 15371935744 21245 33554432000 4194304 4196468 140735363526000 139849043528048 139850007132802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1290] ppid=1274 vsize=15011656 memory=139859999712896 CPUtime=0.03 cores=0,2,4,6
/proc/1277/task/1290/stat : 1290 (java) R 1274 1277 29212 0 -1 4202560 345 0 0 0 3 0 0 0 20 0 15 0 72062205 15371935744 21245 33554432000 4194304 4196468 140735363526000 139849042474992 139850007143002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1291] ppid=1274 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1291/stat : 1291 (java) S 1274 1277 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72062205 15371935744 21245 33554432000 4194304 4196468 140735363526000 139847423486304 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1292] ppid=1274 vsize=15011656 memory=139859999712896 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1292/stat : 1292 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062205 15371935744 21245 33554432000 4194304 4196468 140735363526000 139849041423408 139850007132802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84980 KiB
[startup+0.310256 s]*
/proc/loadavg: 2.01 2.02 2.06 3/220 1292
/proc/meminfo: memFree=21115548/32770624 swapFree=67076532/67108860
[pid=1277] ppid=1274 vsize=15011656 memory=88756 CPUtime=0.43 cores=0,2,4,6
/proc/1277/stat : 1277 (java) S 1274 1277 29212 0 -1 1077944320 11303 0 0 0 40 3 0 0 20 0 15 0 72062198 15371935744 22189 33554432000 4194304 4196468 140735363526000 140735363508544 139850007121655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
/proc/1277/statm: 3752914 22189 2986 1 0 3715374 0
[pid=1277/tid=1279] ppid=1274 vsize=15011656 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/1277/task/1279/stat : 1279 (java) R 1274 1277 29212 0 -1 4202560 8892 0 0 0 28 2 0 0 20 0 15 0 72062198 15371935744 22189 33554432000 4194304 4196468 140735363526000 139849978925584 139849991202142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1280] ppid=1274 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1280/stat : 1280 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062200 15371935744 22189 33554432000 4194304 4196468 140735363526000 139850011363856 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1281] ppid=1274 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1281/stat : 1281 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72062200 15371935744 22189 33554432000 4194304 4196468 140735363526000 139849840458384 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1282] ppid=1274 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1282/stat : 1282 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72062200 15371935744 22189 33554432000 4194304 4196468 140735363526000 139849467246864 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1283] ppid=1274 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1283/stat : 1283 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062200 15371935744 22189 33554432000 4194304 4196468 140735363526000 139849466194320 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1284] ppid=1274 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1284/stat : 1284 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72062201 15371935744 22189 33554432000 4194304 4196468 140735363526000 139849045633776 139850007132802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1285] ppid=1274 vsize=15011656 memory=139859838740943 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1285/stat : 1285 (java) S 1274 1277 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72062202 15371935744 22189 33554432000 4194304 4196468 140735363526000 139848564336288 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1286] ppid=1274 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1286/stat : 1286 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062202 15371935744 22189 33554432000 4194304 4196468 140735363526000 139848295900400 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1287] ppid=1274 vsize=15011656 memory=2273 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1287/stat : 1287 (java) S 1274 1277 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72062205 15371935744 22189 33554432000 4194304 4196468 140735363526000 139847921392080 139850007140251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1288] ppid=1274 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1277/task/1288/stat : 1288 (java) S 1274 1277 29212 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 15 0 72062205 15371935744 22189 33554432000 4194304 4196468 140735363526000 139849044580592 139850007132802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1289] ppid=1274 vsize=15011656 memory=139859838771087 CPUtime=0.02 cores=0,2,4,6
/proc/1277/task/1289/stat : 1289 (java) S 1274 1277 29212 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 15 0 72062205 15371935744 22189 33554432000 4194304 4196468 140735363526000 139849043528048 139850007132802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1290] ppid=1274 vsize=15011656 memory=139859999712896 CPUtime=0.07 cores=0,2,4,6
/proc/1277/task/1290/stat : 1290 (java) S 1274 1277 29212 0 -1 1077944384 443 0 0 0 7 0 0 0 20 0 15 0 72062205 15371935744 22189 33554432000 4194304 4196468 140735363526000 139849042474992 139850007132802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1291] ppid=1274 vsize=15011656 memory=139859838776223 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1291/stat : 1291 (java) S 1274 1277 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72062205 15371935744 22189 33554432000 4194304 4196468 140735363526000 139847423486304 139850007131861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1292] ppid=1274 vsize=15011656 memory=139860071775094 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1292/stat : 1292 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062205 15371935744 22189 33554432000 4194304 4196468 140735363526000 139849041423408 139850007132802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88756 KiB
[startup+0.70069 s]
/proc/loadavg: 2.01 2.02 2.06 3/220 1292
/proc/meminfo: memFree=21091364/32770624 swapFree=67076532/67108860
[pid=1277] ppid=1274 vsize=15017928 memory=129936 CPUtime=1.01 cores=0,2,4,6
/proc/1277/stat : 1277 (java) S 1274 1277 29212 0 -1 1077944320 18170 0 0 0 96 5 0 0 20 0 15 0 72062198 15378358272 32484 33554432000 4194304 4196468 140735363526000 140735363508544 139850007121655 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
/proc/1277/statm: 3754482 32484 3135 1 0 3715886 0
[pid=1277/tid=1279] ppid=1274 vsize=15017928 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/1277/task/1279/stat : 1279 (java) R 1274 1277 29212 0 -1 4202560 15247 0 0 0 64 3 0 0 20 0 15 0 72062198 15378358272 32484 33554432000 4194304 4196468 140735363526000 139849978959488 139850007143581 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1280] ppid=1274 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1280/stat : 1280 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062200 15378358272 32484 33554432000 4194304 4196468 140735363526000 139850011363856 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1281] ppid=1274 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1281/stat : 1281 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72062200 15378358272 32484 33554432000 4194304 4196468 140735363526000 139849840458384 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1282] ppid=1274 vsize=15017928 memory=54 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1282/stat : 1282 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72062200 15378358272 32484 33554432000 4194304 4196468 140735363526000 139849467246864 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1283] ppid=1274 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1283/stat : 1283 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062200 15378358272 32484 33554432000 4194304 4196468 140735363526000 139849466194320 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1284] ppid=1274 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1284/stat : 1284 (java) S 1274 1277 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72062201 15378358272 32484 33554432000 4194304 4196468 140735363526000 139849045633776 139850007132802 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1285] ppid=1274 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1285/stat : 1285 (java) S 1274 1277 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72062202 15378358272 32484 33554432000 4194304 4196468 140735363526000 139848564336288 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1286] ppid=1274 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1286/stat : 1286 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062202 15378358272 32484 33554432000 4194304 4196468 140735363526000 139848295900400 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1287] ppid=1274 vsize=15017928 memory=7813587196152395573 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1287/stat : 1287 (java) S 1274 1277 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72062205 15378358272 32484 33554432000 4194304 4196468 140735363526000 139847921392080 139850007140251 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1288] ppid=1274 vsize=15017928 memory=7012755875661107284 CPUtime=0.08 cores=0,2,4,6
/proc/1277/task/1288/stat : 1288 (java) R 1274 1277 29212 0 -1 1077944384 618 0 0 0 8 0 0 0 20 0 15 0 72062205 15378358272 32484 33554432000 4194304 4196468 140735363526000 139849044580592 139850007132802 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1289] ppid=1274 vsize=15017928 memory=7588675599774802240 CPUtime=0.06 cores=0,2,4,6
/proc/1277/task/1289/stat : 1289 (java) R 1274 1277 29212 0 -1 4202560 298 0 0 0 6 0 0 0 20 0 15 0 72062205 15378358272 32484 33554432000 4194304 4196468 140735363526000 139849043528048 139849988486179 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1290] ppid=1274 vsize=15017928 memory=-7741331004330446197 CPUtime=0.16 cores=0,2,4,6
/proc/1277/task/1290/stat : 1290 (java) R 1274 1277 29212 0 -1 4202560 668 0 0 0 16 0 0 0 20 0 15 0 72062205 15378358272 32484 33554432000 4194304 4196468 140735363526000 139849042474176 139850007133590 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1291] ppid=1274 vsize=15017928 memory=-8341965534556230502 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1291/stat : 1291 (java) S 1274 1277 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72062205 15378358272 32484 33554432000 4194304 4196468 140735363526000 139847423486304 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1292] ppid=1274 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1292/stat : 1292 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062205 15378358272 32484 33554432000 4194304 4196468 140735363526000 139849041423408 139850007132802 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 129936 KiB
[startup+1.50413 s]
/proc/loadavg: 2.01 2.02 2.06 5/220 1292
/proc/meminfo: memFree=20988224/32770624 swapFree=67076532/67108860
[pid=1277] ppid=1274 vsize=15022100 memory=293872 CPUtime=3.65 cores=0,2,4,6
/proc/1277/stat : 1277 (java) S 1274 1277 29212 0 -1 1077944320 23848 0 0 0 357 8 0 0 20 0 15 0 72062198 15382630400 73468 33554432000 4194304 4196468 140735363526000 140735363508544 139850007121655 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
/proc/1277/statm: 3755525 73468 3199 1 0 3716910 0
[pid=1277/tid=1279] ppid=1274 vsize=15022100 memory=168260 CPUtime=1.47 cores=0,2,4,6
/proc/1277/task/1279/stat : 1279 (java) R 1274 1277 29212 0 -1 4202560 16436 0 0 0 141 6 0 0 20 0 15 0 72062198 15382630400 73468 33554432000 4194304 4196468 140735363526000 139849978955472 139850007143002 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1280] ppid=1274 vsize=15022100 memory=279719677526688 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1280/stat : 1280 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062200 15382630400 73468 33554432000 4194304 4196468 140735363526000 139850011363856 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1281] ppid=1274 vsize=15022100 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1281/stat : 1281 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72062200 15382630400 73468 33554432000 4194304 4196468 140735363526000 139849840458384 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1282] ppid=1274 vsize=15022100 memory=279719677764896 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1282/stat : 1282 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72062200 15382630400 73468 33554432000 4194304 4196468 140735363526000 139849467246864 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1283] ppid=1274 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1283/stat : 1283 (java) S 1274 1277 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72062200 15382630400 73468 33554432000 4194304 4196468 140735363526000 139849466194320 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1284] ppid=1274 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1284/stat : 1284 (java) S 1274 1277 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72062201 15382630400 73468 33554432000 4194304 4196468 140735363526000 139849045633776 139850007132802 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
################
# More data... #
################
/proc/meminfo: memFree=17999348/32770624 swapFree=67076536/67108860
[pid=1277] ppid=1274 vsize=15683912 memory=3128900 CPUtime=24.94 cores=0,2,4,6
/proc/1277/stat : 1277 (java) S 1274 1277 29212 0 -1 1077944320 37962 0 0 0 2374 120 0 0 20 0 19 0 72062198 16060325888 782225 33554432000 4194304 4196468 140735363526000 140735363508544 139850007121655 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
/proc/1277/statm: 3920978 782225 3240 1 0 3881834 0
[pid=1293] ppid=1277 vsize=100848 memory=82880 CPUtime=2492.86 cores=0,2,4,6
/proc/1293/stat : 1293 (minisat_release) R 1277 1277 29212 0 -1 4202496 189154 0 0 0 249270 16 0 0 20 0 1 0 72063149 103268352 20720 33554432000 4194304 4308513 140726561937088 140726561934088 4269966 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 10502144 140726561940145 140726561940654 140726561940654 140726561943493 0
/proc/1293/statm: 25212 20720 353 28 0 21452 0
[pid=1277/tid=1279] ppid=1274 vsize=15683912 memory=3128900 CPUtime=9.37 cores=0,2,4,6
/proc/1277/task/1279/stat : 1279 (java) S 1274 1277 29212 0 -1 1077944384 19714 0 0 0 890 47 0 0 20 0 19 0 72062198 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849978960896 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1280] ppid=1274 vsize=15683912 memory=139859839216144 CPUtime=0.13 cores=0,2,4,6
/proc/1277/task/1280/stat : 1280 (java) S 1274 1277 29212 0 -1 1077944384 52 0 0 0 10 3 0 0 20 0 19 0 72062200 16060325888 782225 33554432000 4194304 4196468 140735363526000 139850011363856 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1281] ppid=1274 vsize=15683912 memory=82704 CPUtime=0.13 cores=0,2,4,6
/proc/1277/task/1281/stat : 1281 (java) S 1274 1277 29212 0 -1 1077944384 233 0 0 0 10 3 0 0 20 0 19 0 72062200 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849840458384 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1282] ppid=1274 vsize=15683912 memory=3328 CPUtime=0.12 cores=0,2,4,6
/proc/1277/task/1282/stat : 1282 (java) S 1274 1277 29212 0 -1 1077944384 68 0 0 0 10 2 0 0 20 0 19 0 72062200 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849467246864 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1283] ppid=1274 vsize=15683912 memory=3032 CPUtime=0.13 cores=0,2,4,6
/proc/1277/task/1283/stat : 1283 (java) S 1274 1277 29212 0 -1 1077944384 105 0 0 0 10 3 0 0 20 0 19 0 72062200 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849466194320 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1284] ppid=1274 vsize=15683912 memory=3544 CPUtime=0.06 cores=0,2,4,6
/proc/1277/task/1284/stat : 1284 (java) S 1274 1277 29212 0 -1 1077944384 26 0 0 0 2 4 0 0 20 0 19 0 72062201 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849045633776 139850007132802 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1285] ppid=1274 vsize=15683912 memory=18724 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1285/stat : 1285 (java) S 1274 1277 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 72062202 16060325888 782225 33554432000 4194304 4196468 140735363526000 139848564336352 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1286] ppid=1274 vsize=15683912 memory=3128900 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1286/stat : 1286 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72062202 16060325888 782225 33554432000 4194304 4196468 140735363526000 139848295900400 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1287] ppid=1274 vsize=15683912 memory=5192 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1287/stat : 1287 (java) S 1274 1277 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139847921392080 139850007140251 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1288] ppid=1274 vsize=15683912 memory=82704 CPUtime=5.75 cores=0,2,4,6
/proc/1277/task/1288/stat : 1288 (java) S 1274 1277 29212 0 -1 1077944384 5989 0 0 0 573 2 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849044580592 139850007132802 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1289] ppid=1274 vsize=15683912 memory=937 CPUtime=6.42 cores=0,2,4,6
/proc/1277/task/1289/stat : 1289 (java) S 1274 1277 29212 0 -1 1077944384 5725 0 0 0 640 2 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849043528048 139850007132802 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1290] ppid=1274 vsize=15683912 memory=3128900 CPUtime=1.38 cores=0,2,4,6
/proc/1277/task/1290/stat : 1290 (java) S 1274 1277 29212 0 -1 1077944384 4482 0 0 0 136 2 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849042474992 139850007132802 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1291] ppid=1274 vsize=15683912 memory=3128900 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1291/stat : 1291 (java) S 1274 1277 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139847423486304 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1292] ppid=1274 vsize=15683912 memory=2494 CPUtime=1.36 cores=0,2,4,6
/proc/1277/task/1292/stat : 1292 (java) S 1274 1277 29212 0 -1 1077944384 169 0 0 0 72 64 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849041423408 139850007132802 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1294] ppid=1274 vsize=15683912 memory=249176 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1294/stat : 1294 (java) S 1274 1277 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72063149 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849035712320 139850007146265 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1296] ppid=1274 vsize=15683912 memory=3128900 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1296/stat : 1296 (java) S 1274 1277 29212 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 72063149 16060325888 782225 33554432000 4194304 4196468 140735363526000 139847020822320 139850007143581 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1297] ppid=1274 vsize=15683912 memory=82704 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1297/stat : 1297 (java) S 1274 1277 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 72063149 16060325888 782225 33554432000 4194304 4196468 140735363526000 139846886600112 139850007143581 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1298] ppid=1274 vsize=15683912 memory=3128900 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1298/stat : 1298 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72063151 16060325888 782225 33554432000 4194304 4196468 140735363526000 139846618176800 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
Current children cumulated CPU time: 2517.8 s
Current children cumulated vsize: 15784760 KiB
Current children cumulated memory: 3211780 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2504.5 s]
/proc/loadavg: 2.02 2.02 2.05 3/225 1474
/proc/meminfo: memFree=17999224/32770624 swapFree=67076536/67108860
[pid=1277] ppid=1274 vsize=15683912 memory=3128900 CPUtime=24.94 cores=0,2,4,6
/proc/1277/stat : 1277 (java) S 1274 1277 29212 0 -1 1077944320 37962 0 0 0 2374 120 0 0 20 0 19 0 72062198 16060325888 782225 33554432000 4194304 4196468 140735363526000 140735363508544 139850007121655 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
/proc/1277/statm: 3920978 782225 3240 1 0 3881834 0
[pid=1293] ppid=1277 vsize=100848 memory=82880 CPUtime=2495.06 cores=0,2,4,6
/proc/1293/stat : 1293 (minisat_release) R 1277 1277 29212 0 -1 4202496 189163 0 0 0 249490 16 0 0 20 0 1 0 72063149 103268352 20720 33554432000 4194304 4308513 140726561937088 140726561934088 4276656 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 10502144 140726561940145 140726561940654 140726561940654 140726561943493 0
/proc/1293/statm: 25212 20720 353 28 0 21452 0
[pid=1277/tid=1279] ppid=1274 vsize=15683912 memory=3128900 CPUtime=9.37 cores=0,2,4,6
/proc/1277/task/1279/stat : 1279 (java) S 1274 1277 29212 0 -1 1077944384 19714 0 0 0 890 47 0 0 20 0 19 0 72062198 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849978960896 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1280] ppid=1274 vsize=15683912 memory=139859839216144 CPUtime=0.13 cores=0,2,4,6
/proc/1277/task/1280/stat : 1280 (java) S 1274 1277 29212 0 -1 1077944384 52 0 0 0 10 3 0 0 20 0 19 0 72062200 16060325888 782225 33554432000 4194304 4196468 140735363526000 139850011363856 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1281] ppid=1274 vsize=15683912 memory=3128900 CPUtime=0.13 cores=0,2,4,6
/proc/1277/task/1281/stat : 1281 (java) S 1274 1277 29212 0 -1 1077944384 233 0 0 0 10 3 0 0 20 0 19 0 72062200 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849840458384 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1282] ppid=1274 vsize=15683912 memory=3128900 CPUtime=0.12 cores=0,2,4,6
/proc/1277/task/1282/stat : 1282 (java) S 1274 1277 29212 0 -1 1077944384 68 0 0 0 10 2 0 0 20 0 19 0 72062200 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849467246864 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1283] ppid=1274 vsize=15683912 memory=3128900 CPUtime=0.13 cores=0,2,4,6
/proc/1277/task/1283/stat : 1283 (java) S 1274 1277 29212 0 -1 1077944384 105 0 0 0 10 3 0 0 20 0 19 0 72062200 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849466194320 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1284] ppid=1274 vsize=15683912 memory=5192 CPUtime=0.06 cores=0,2,4,6
/proc/1277/task/1284/stat : 1284 (java) S 1274 1277 29212 0 -1 1077944384 26 0 0 0 2 4 0 0 20 0 19 0 72062201 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849045633776 139850007132802 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1285] ppid=1274 vsize=15683912 memory=82704 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1285/stat : 1285 (java) S 1274 1277 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 72062202 16060325888 782225 33554432000 4194304 4196468 140735363526000 139848564336352 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1286] ppid=1274 vsize=15683912 memory=937 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1286/stat : 1286 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72062202 16060325888 782225 33554432000 4194304 4196468 140735363526000 139848295900400 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1287] ppid=1274 vsize=15683912 memory=776 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1287/stat : 1287 (java) S 1274 1277 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139847921392080 139850007140251 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1288] ppid=1274 vsize=15683912 memory=1876 CPUtime=5.75 cores=0,2,4,6
/proc/1277/task/1288/stat : 1288 (java) S 1274 1277 29212 0 -1 1077944384 5989 0 0 0 573 2 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849044580592 139850007132802 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1289] ppid=1274 vsize=15683912 memory=3128900 CPUtime=6.42 cores=0,2,4,6
/proc/1277/task/1289/stat : 1289 (java) S 1274 1277 29212 0 -1 1077944384 5725 0 0 0 640 2 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849043528048 139850007132802 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1290] ppid=1274 vsize=15683912 memory=82880 CPUtime=1.38 cores=0,2,4,6
/proc/1277/task/1290/stat : 1290 (java) S 1274 1277 29212 0 -1 1077944384 4482 0 0 0 136 2 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849042474992 139850007132802 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1291] ppid=1274 vsize=15683912 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1291/stat : 1291 (java) S 1274 1277 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139847423486304 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1292] ppid=1274 vsize=15683912 memory=6935054825532540783 CPUtime=1.36 cores=0,2,4,6
/proc/1277/task/1292/stat : 1292 (java) S 1274 1277 29212 0 -1 1077944384 169 0 0 0 72 64 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849041423408 139850007132802 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1294] ppid=1274 vsize=15683912 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1294/stat : 1294 (java) S 1274 1277 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72063149 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849035712320 139850007146265 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1296] ppid=1274 vsize=15683912 memory=3032 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1296/stat : 1296 (java) S 1274 1277 29212 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 72063149 16060325888 782225 33554432000 4194304 4196468 140735363526000 139847020822320 139850007143581 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1297] ppid=1274 vsize=15683912 memory=3128900 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1297/stat : 1297 (java) S 1274 1277 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 72063149 16060325888 782225 33554432000 4194304 4196468 140735363526000 139846886600112 139850007143581 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1298] ppid=1274 vsize=15683912 memory=3128900 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1298/stat : 1298 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72063151 16060325888 782225 33554432000 4194304 4196468 140735363526000 139846618176800 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15784760 KiB
Current children cumulated memory: 3211780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2504.53 s]
# the end of solver process 1277 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.66 s, system=1.40043 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2504.5 s]
/proc/loadavg: 2.02 2.02 2.05 3/225 1474
/proc/meminfo: memFree=17999224/32770624 swapFree=67076536/67108860
[pid=1277] ppid=1274 vsize=15683912 memory=3128900 CPUtime=24.94 cores=0,2,4,6
/proc/1277/stat : 1277 (java) S 1274 1277 29212 0 -1 1077944320 37962 0 0 0 2374 120 0 0 20 0 19 0 72062198 16060325888 782225 33554432000 4194304 4196468 140735363526000 140735363508544 139850007121655 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
/proc/1277/statm: 3920978 782225 3240 1 0 3881834 0
[pid=1293] ppid=1277 vsize=100848 memory=82880 CPUtime=2495.06 cores=0,2,4,6
/proc/1293/stat : 1293 (minisat_release) R 1277 1277 29212 0 -1 4202496 189163 0 0 0 249490 16 0 0 20 0 1 0 72063149 103268352 20720 33554432000 4194304 4308513 140726561937088 140726561934088 4276656 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 10502144 140726561940145 140726561940654 140726561940654 140726561943493 0
/proc/1293/statm: 25212 20720 353 28 0 21452 0
[pid=1277/tid=1279] ppid=1274 vsize=15683912 memory=3128900 CPUtime=9.37 cores=0,2,4,6
/proc/1277/task/1279/stat : 1279 (java) S 1274 1277 29212 0 -1 1077944384 19714 0 0 0 890 47 0 0 20 0 19 0 72062198 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849978960896 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1280] ppid=1274 vsize=15683912 memory=139859839216144 CPUtime=0.13 cores=0,2,4,6
/proc/1277/task/1280/stat : 1280 (java) S 1274 1277 29212 0 -1 1077944384 52 0 0 0 10 3 0 0 20 0 19 0 72062200 16060325888 782225 33554432000 4194304 4196468 140735363526000 139850011363856 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1281] ppid=1274 vsize=15683912 memory=3128900 CPUtime=0.13 cores=0,2,4,6
/proc/1277/task/1281/stat : 1281 (java) S 1274 1277 29212 0 -1 1077944384 233 0 0 0 10 3 0 0 20 0 19 0 72062200 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849840458384 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1282] ppid=1274 vsize=15683912 memory=3128900 CPUtime=0.12 cores=0,2,4,6
/proc/1277/task/1282/stat : 1282 (java) S 1274 1277 29212 0 -1 1077944384 68 0 0 0 10 2 0 0 20 0 19 0 72062200 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849467246864 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1283] ppid=1274 vsize=15683912 memory=3128900 CPUtime=0.13 cores=0,2,4,6
/proc/1277/task/1283/stat : 1283 (java) S 1274 1277 29212 0 -1 1077944384 105 0 0 0 10 3 0 0 20 0 19 0 72062200 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849466194320 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1284] ppid=1274 vsize=15683912 memory=5192 CPUtime=0.06 cores=0,2,4,6
/proc/1277/task/1284/stat : 1284 (java) S 1274 1277 29212 0 -1 1077944384 26 0 0 0 2 4 0 0 20 0 19 0 72062201 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849045633776 139850007132802 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1285] ppid=1274 vsize=15683912 memory=82704 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1285/stat : 1285 (java) S 1274 1277 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 72062202 16060325888 782225 33554432000 4194304 4196468 140735363526000 139848564336352 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1286] ppid=1274 vsize=15683912 memory=937 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1286/stat : 1286 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72062202 16060325888 782225 33554432000 4194304 4196468 140735363526000 139848295900400 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1287] ppid=1274 vsize=15683912 memory=776 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1287/stat : 1287 (java) S 1274 1277 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139847921392080 139850007140251 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1288] ppid=1274 vsize=15683912 memory=1876 CPUtime=5.75 cores=0,2,4,6
/proc/1277/task/1288/stat : 1288 (java) S 1274 1277 29212 0 -1 1077944384 5989 0 0 0 573 2 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849044580592 139850007132802 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1289] ppid=1274 vsize=15683912 memory=3128900 CPUtime=6.42 cores=0,2,4,6
/proc/1277/task/1289/stat : 1289 (java) S 1274 1277 29212 0 -1 1077944384 5725 0 0 0 640 2 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849043528048 139850007132802 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1290] ppid=1274 vsize=15683912 memory=82880 CPUtime=1.38 cores=0,2,4,6
/proc/1277/task/1290/stat : 1290 (java) S 1274 1277 29212 0 -1 1077944384 4482 0 0 0 136 2 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849042474992 139850007132802 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1291] ppid=1274 vsize=15683912 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1291/stat : 1291 (java) S 1274 1277 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139847423486304 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1292] ppid=1274 vsize=15683912 memory=6935054825532540783 CPUtime=1.36 cores=0,2,4,6
/proc/1277/task/1292/stat : 1292 (java) S 1274 1277 29212 0 -1 1077944384 169 0 0 0 72 64 0 0 20 0 19 0 72062205 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849041423408 139850007132802 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1294] ppid=1274 vsize=15683912 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1294/stat : 1294 (java) S 1274 1277 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72063149 16060325888 782225 33554432000 4194304 4196468 140735363526000 139849035712320 139850007146265 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1296] ppid=1274 vsize=15683912 memory=3032 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1296/stat : 1296 (java) S 1274 1277 29212 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 72063149 16060325888 782225 33554432000 4194304 4196468 140735363526000 139847020822320 139850007143581 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1297] ppid=1274 vsize=15683912 memory=3128900 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1297/stat : 1297 (java) S 1274 1277 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 72063149 16060325888 782225 33554432000 4194304 4196468 140735363526000 139846886600112 139850007143581 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
[pid=1277/tid=1298] ppid=1274 vsize=15683912 memory=3128900 CPUtime=0 cores=0,2,4,6
/proc/1277/task/1298/stat : 1298 (java) S 1274 1277 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 72063151 16060325888 782225 33554432000 4194304 4196468 140735363526000 139846618176800 139850007131861 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8134656 140735363527668 140735363527945 140735363527945 140735363530703 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15784760 KiB
Current children cumulated memory: 3211780 KiB
Child status: 1
Real time (s): 2504.53
CPU time (s): 2520.06
CPU user time (s): 2518.66
CPU system time (s): 1.40043
CPU usage (%): 100.62
Max. virtual memory (cumulated for all children) (KiB): 15784760
Max. memory (cumulated for all children) (KiB): 3211780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.66
system time used= 1.40043
maximum resident set size= 3130056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227243
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58969
involuntary context switches= 885
# summary of solver processes directly reported to runsolver:
# pid: 1277
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.66
# total CPU system time (s): 1.40043
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1509 second user time and 25.0336 second system time
The end