0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Wed Jul 25 21:11:23 CEST 2018
0.67/0.55 c PID: 1411
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.70/1.24 c (0,0) Parsing End
2.70/1.25 c (0,0) CSP: 53 int (0 aux), 0 bool (0 aux), 470 ctr, max domain size 24
2.70/1.25 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.70/1.25 c (0,0) Constraint Name Generate Begin
2.70/1.26 c (0,0) Ctr:HOME/instance-4295597-1532545882.xml,ExtensionConflict:ExtensionSupport:IntVar
2.70/1.26 c (0,0) Constraint Name Generate End
2.70/1.26 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.70/1.26 c (0,0) CSP to CSPinCNF Begin
5.63/2.28 c (1,1) translated 47 (10%) constraints
7.22/2.77 c (2,2) translated 94 (20%) constraints
8.47/3.14 c (2,2) translated 141 (30%) constraints
9.64/3.50 c (2,2) translated 188 (40%) constraints
10.55/3.84 c (3,3) translated 235 (50%) constraints
11.50/4.18 c (3,3) translated 282 (60%) constraints
12.37/4.46 c (3,3) translated 329 (70%) constraints
13.26/4.72 c (4,4) translated 376 (80%) constraints
13.59/4.93 c (4,4) translated 423 (90%) constraints
13.88/5.13 c (4,4) translated 470 (100%) constraints
14.72/5.47 c (4,4) STATISTICS1:HOME/instance-4295597-1532545882.xml,ExtensionConflict:ExtensionSupport:IntVar,389,57740,-1,24,25,1,,24:215937;2:4802,25:14;4:48050;3:8851;2:825,1:220739;0:14,
14.72/5.47 c (4,4) ===========================================
14.72/5.47 c (4,4) Both Encoding selects:
14.72/5.47 c (4,4) Order
14.72/5.47 c (4,4) ===========================================
15.15/5.66 c (5,5) translated 5774 (10%) constraints
15.41/5.77 c (5,5) translated 11548 (20%) constraints
15.68/5.87 c (5,5) translated 17322 (30%) constraints
15.80/5.97 c (5,5) translated 23096 (40%) constraints
15.90/6.07 c (5,5) translated 28870 (50%) constraints
16.01/6.17 c (5,5) translated 34644 (60%) constraints
16.11/6.27 c (5,5) translated 40418 (70%) constraints
16.20/6.37 c (5,5) translated 46192 (80%) constraints
16.31/6.47 c (5,5) translated 51966 (90%) constraints
16.41/6.58 c (6,6) translated 57740 (100%) constraints
16.41/6.58 c (6,6) CSP to CSPinCNF End
16.41/6.58 c (6,6) CSP: 53 int (0 aux), 336 bool (336 aux), 57740 ctr, max domain size 24
16.41/6.58 c (6,6) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
16.41/6.58 c (6,6) CSPinCNF Propagation Begin
17.25/6.99 c (6,6) 0 values, 5415 unsatisfiable literals, and 0 valid clauses are removed
17.25/6.99 c (6,6) CSPinCNF Propagation End
17.25/6.99 c (6,6) CSP: 53 int (0 aux), 336 bool (336 aux), 57740 ctr, max domain size 24
17.25/6.99 c (6,6) Heap : 2591 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
17.25/6.99 c (6,6) Simplify CSPinCNF Begin
17.61/7.15 c (6,6) Simplify CSPinCNF End
17.61/7.15 c (6,6) CSP: 53 int (0 aux), 336 bool (336 aux), 57740 ctr, max domain size 24
17.61/7.15 c (6,6) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
17.61/7.15 c (6,6) Calculate Precise Domain Begin
17.61/7.15 c (6,6) 0 values are removed by re-calculation
17.61/7.15 c (6,6) Calculate Precise Domain End
17.61/7.15 c (6,6) CSP: 53 int (0 aux), 336 bool (336 aux), 57740 ctr, max domain size 24
17.61/7.15 c (6,6) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
17.61/7.15 c (6,6) CSPinCNF to SatSolver Begin
18.11/7.30 c (6,6) 5774 (10 %) CSP clauses are encoded (1555 SAT variables, 6939 SAT clauses)
18.11/7.37 c (6,6) 11548 (20 %) CSP clauses are encoded (1555 SAT variables, 12713 SAT clauses)
18.42/7.42 c (6,6) 17322 (30 %) CSP clauses are encoded (1555 SAT variables, 18487 SAT clauses)
18.42/7.47 c (6,6) 23096 (40 %) CSP clauses are encoded (1555 SAT variables, 24261 SAT clauses)
18.58/7.51 c (6,6) 28870 (50 %) CSP clauses are encoded (1555 SAT variables, 30035 SAT clauses)
18.87/7.64 c (7,7) 34644 (60 %) CSP clauses are encoded (1555 SAT variables, 35809 SAT clauses)
18.87/7.68 c (7,7) 40418 (70 %) CSP clauses are encoded (1555 SAT variables, 41583 SAT clauses)
19.06/7.71 c (7,7) 46192 (80 %) CSP clauses are encoded (1555 SAT variables, 47357 SAT clauses)
19.06/7.75 c (7,7) 51966 (90 %) CSP clauses are encoded (1555 SAT variables, 53131 SAT clauses)
19.06/7.78 c (7,7) 57740 (100 %) CSP clauses are encoded (1555 SAT variables, 58905 SAT clauses)
19.06/7.78 c (7,7) CSPinCNF to SatSolver End
19.06/7.78 c (7,7) Heap : 265 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.74/8.01 c (7,7) STATISTICS2:HOME/instance-4295597-1532545882.xml,ExtensionConflict:ExtensionSupport:IntVar,389,57740,-1,24,24,1,,24:210536;2:4802,24:14;4:43037;3:13476;2:1213,1:215338,
19.74/8.01 c (7,7) SatSolver.solve Begin
19.74/8.01 c (7,7) 1555 bool, 58906 clause
19.74/8.01 c (7,7) 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-4295597-1532545882.xml-scop-1411.cnf HOME/instance-4295597-1532545882.xml-scop-1411.cnf.out
2520.05/2506.80 c (2506,7) SatSolver is killed by some reasons.
2520.05/2506.80 c (2506,7) 0,0,6,6,6,6,7,TO,TO,STOP-AFTER(DIMACS)
2520.05/2506.80 s UNKNOWN
2520.05/2506.80 c END-Prog: Wed Jul 25 21:53:09 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 (5118 MiB free)
memory of node 1: 16384 MiB (15586 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295597-1532545882/watcher-4295597-1532545882 -o /tmp/evaluation-result-4295597-1532545882/solver-4295597-1532545882 -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-4295597-1532545882.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
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=1411, runsolver pid=1408
Current StackSize limit: 8192 KiB
[startup+0.106293 s]*
/proc/loadavg: 2.08 2.03 2.05 4/221 1426
/proc/meminfo: memFree=21141412/32770624 swapFree=67076536/67108860
[pid=1411] ppid=1408 vsize=15011656 memory=74536 CPUtime=0.12 cores=1,3,5,7
/proc/1411/stat : 1411 (java) S 1408 1411 29212 0 -1 1077944320 6814 0 0 0 11 1 0 0 20 0 15 0 72151407 15371935744 18634 33554432000 4194304 4196468 140730853685840 140730853668384 140135564353271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
/proc/1411/statm: 3752914 18634 2869 1 0 3715374 0
[pid=1411/tid=1413] ppid=1408 vsize=15011656 memory=7100839887284243048 CPUtime=0.1 cores=1,3,5,7
/proc/1411/task/1413/stat : 1413 (java) R 1408 1411 29212 0 -1 4202560 4752 0 0 0 9 1 0 0 20 0 15 0 72151408 15371935744 18634 33554432000 4194304 4196468 140730853685840 140135536167056 140135564365206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1414] ppid=1408 vsize=15011656 memory=3472328295574039403 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1414/stat : 1414 (java) S 1408 1411 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72151409 15371935744 18634 33554432000 4194304 4196468 140730853685840 140135568595728 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1415] ppid=1408 vsize=15011656 memory=139803849549440 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1415/stat : 1415 (java) S 1408 1411 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72151409 15371935744 18634 33554432000 4194304 4196468 140730853685840 140135388892048 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1416] ppid=1408 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1416/stat : 1416 (java) S 1408 1411 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72151409 15371935744 18634 33554432000 4194304 4196468 140730853685840 140135024262160 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1417] ppid=1408 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1417/stat : 1417 (java) S 1408 1411 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72151409 15371935744 18634 33554432000 4194304 4196468 140730853685840 140135023209616 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1418] ppid=1408 vsize=15011656 memory=139803849549440 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1418/stat : 1418 (java) S 1408 1411 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72151411 15371935744 18634 33554432000 4194304 4196468 140730853685840 140134535067632 140135564364418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1419] ppid=1408 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1419/stat : 1419 (java) S 1408 1411 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72151411 15371935744 18634 33554432000 4194304 4196468 140730853685840 140134179660704 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1420] ppid=1408 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1420/stat : 1420 (java) S 1408 1411 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72151411 15371935744 18634 33554432000 4194304 4196468 140730853685840 140134045438960 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1421] ppid=1408 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1421/stat : 1421 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72151414 15371935744 18634 33554432000 4194304 4196468 140730853685840 140133670934736 140135564371867 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1422] ppid=1408 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1422/stat : 1422 (java) S 1408 1411 29212 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 72151414 15371935744 18634 33554432000 4194304 4196468 140730853685840 140134534015472 140135564364418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1423] ppid=1408 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1423/stat : 1423 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72151414 15371935744 18634 33554432000 4194304 4196468 140730853685840 140134532962928 140135564364418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1424] ppid=1408 vsize=15011656 memory=139803849549440 CPUtime=0.01 cores=1,3,5,7
/proc/1411/task/1424/stat : 1424 (java) R 1408 1411 29212 0 -1 4202560 291 0 0 0 1 0 0 0 20 0 15 0 72151414 15371935744 18634 33554432000 4194304 4196468 140730853685840 140134531910384 140135564365206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1425] ppid=1408 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1425/stat : 1425 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72151414 15371935744 18634 33554432000 4194304 4196468 140730853685840 140133173029984 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1426] ppid=1408 vsize=15011688 memory=139803849549440 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1426/stat : 1426 (java) S 1408 1411 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72151414 15371968512 18634 33554432000 4194304 4196468 140730853685840 140134530857264 140135564364418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74536 KiB
[startup+0.210616 s]*
/proc/loadavg: 2.08 2.03 2.05 3/221 1426
/proc/meminfo: memFree=21129240/32770624 swapFree=67076536/67108860
[pid=1411] ppid=1408 vsize=15011656 memory=84704 CPUtime=0.25 cores=1,3,5,7
/proc/1411/stat : 1411 (java) S 1408 1411 29212 0 -1 1077944320 9629 0 0 0 23 2 0 0 20 0 15 0 72151407 15371935744 21176 33554432000 4194304 4196468 140730853685840 140730853668384 140135564353271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
/proc/1411/statm: 3752914 21176 2878 1 0 3715374 0
[pid=1411/tid=1413] ppid=1408 vsize=15011656 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/1411/task/1413/stat : 1413 (java) R 1408 1411 29212 0 -1 4202560 7496 0 0 0 18 1 0 0 20 0 15 0 72151408 15371935744 21176 33554432000 4194304 4196468 140730853685840 140135536179664 140135564365206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1414] ppid=1408 vsize=15011656 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1414/stat : 1414 (java) S 1408 1411 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72151409 15371935744 21176 33554432000 4194304 4196468 140730853685840 140135568595728 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1415] ppid=1408 vsize=15011656 memory=139803849578760 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1415/stat : 1415 (java) S 1408 1411 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72151409 15371935744 21176 33554432000 4194304 4196468 140730853685840 140135388892048 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1416] ppid=1408 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1416/stat : 1416 (java) S 1408 1411 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72151409 15371935744 21176 33554432000 4194304 4196468 140730853685840 140135024262160 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1417] ppid=1408 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1417/stat : 1417 (java) S 1408 1411 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72151409 15371935744 21176 33554432000 4194304 4196468 140730853685840 140135023209616 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1418] ppid=1408 vsize=15011656 memory=139803849549440 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1418/stat : 1418 (java) S 1408 1411 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72151411 15371935744 21176 33554432000 4194304 4196468 140730853685840 140134535067632 140135564364418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1419] ppid=1408 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1419/stat : 1419 (java) S 1408 1411 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72151411 15371935744 21176 33554432000 4194304 4196468 140730853685840 140134179660704 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1420] ppid=1408 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1420/stat : 1420 (java) S 1408 1411 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72151411 15371935744 21176 33554432000 4194304 4196468 140730853685840 140134045438960 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1421] ppid=1408 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1421/stat : 1421 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72151414 15371935744 21176 33554432000 4194304 4196468 140730853685840 140133670934736 140135564371867 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1422] ppid=1408 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1422/stat : 1422 (java) R 1408 1411 29212 0 -1 4202560 435 0 0 0 0 0 0 0 20 0 15 0 72151414 15371935744 21176 33554432000 4194304 4196468 140730853685840 140134534015472 140135564365206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1423] ppid=1408 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1423/stat : 1423 (java) R 1408 1411 29212 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 72151414 15371935744 21176 33554432000 4194304 4196468 140730853685840 140134532962928 140135564364418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1424] ppid=1408 vsize=15011656 memory=139803849549440 CPUtime=0.03 cores=1,3,5,7
/proc/1411/task/1424/stat : 1424 (java) R 1408 1411 29212 0 -1 4202560 299 0 0 0 3 0 0 0 20 0 15 0 72151414 15371935744 21176 33554432000 4194304 4196468 140730853685840 140134531910384 140135543489209 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1425] ppid=1408 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1425/stat : 1425 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72151414 15371935744 21176 33554432000 4194304 4196468 140730853685840 140133173029984 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1426] ppid=1408 vsize=15011656 memory=139803849549440 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1426/stat : 1426 (java) S 1408 1411 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72151414 15371935744 21176 33554432000 4194304 4196468 140730853685840 140134530857264 140135564364418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84704 KiB
[startup+0.310456 s]*
/proc/loadavg: 2.08 2.03 2.05 4/221 1426
/proc/meminfo: memFree=21125580/32770624 swapFree=67076536/67108860
[pid=1411] ppid=1408 vsize=15011656 memory=88432 CPUtime=0.42 cores=1,3,5,7
/proc/1411/stat : 1411 (java) S 1408 1411 29212 0 -1 1077944320 10158 0 0 0 39 3 0 0 20 0 15 0 72151407 15371935744 22108 33554432000 4194304 4196468 140730853685840 140730853668384 140135564353271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
/proc/1411/statm: 3752914 22108 3017 1 0 3715374 0
[pid=1411/tid=1413] ppid=1408 vsize=15011656 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1411/task/1413/stat : 1413 (java) R 1408 1411 29212 0 -1 4202560 7865 0 0 0 27 2 0 0 20 0 15 0 72151408 15371935744 22108 33554432000 4194304 4196468 140730853685840 140135536180896 140135564365206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1414] ppid=1408 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1414/stat : 1414 (java) S 1408 1411 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72151409 15371935744 22108 33554432000 4194304 4196468 140730853685840 140135568595728 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1415] ppid=1408 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1415/stat : 1415 (java) S 1408 1411 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72151409 15371935744 22108 33554432000 4194304 4196468 140730853685840 140135388892048 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1416] ppid=1408 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1416/stat : 1416 (java) S 1408 1411 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72151409 15371935744 22108 33554432000 4194304 4196468 140730853685840 140135024262160 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1417] ppid=1408 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1417/stat : 1417 (java) S 1408 1411 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72151409 15371935744 22108 33554432000 4194304 4196468 140730853685840 140135023209616 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1418] ppid=1408 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1418/stat : 1418 (java) S 1408 1411 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72151411 15371935744 22108 33554432000 4194304 4196468 140730853685840 140134535067632 140135564364418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1419] ppid=1408 vsize=15011656 memory=139803735730639 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1419/stat : 1419 (java) S 1408 1411 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72151411 15371935744 22108 33554432000 4194304 4196468 140730853685840 140134179660704 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1420] ppid=1408 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1420/stat : 1420 (java) S 1408 1411 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72151411 15371935744 22108 33554432000 4194304 4196468 140730853685840 140134045438960 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1421] ppid=1408 vsize=15011656 memory=279607471433600 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1421/stat : 1421 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72151414 15371935744 22108 33554432000 4194304 4196468 140730853685840 140133670934736 140135564371867 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1422] ppid=1408 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1411/task/1422/stat : 1422 (java) R 1408 1411 29212 0 -1 4202560 492 0 0 0 2 0 0 0 20 0 15 0 72151414 15371935744 22108 33554432000 4194304 4196468 140730853685840 140134534015472 140135545874446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1423] ppid=1408 vsize=15011656 memory=139803735760783 CPUtime=0.02 cores=1,3,5,7
/proc/1411/task/1423/stat : 1423 (java) R 1408 1411 29212 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 15 0 72151414 15371935744 22108 33554432000 4194304 4196468 140730853685840 140134532962928 140135564364418 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1424] ppid=1408 vsize=15011656 memory=139803849549440 CPUtime=0.07 cores=1,3,5,7
/proc/1411/task/1424/stat : 1424 (java) R 1408 1411 29212 0 -1 4202560 318 0 0 0 7 0 0 0 20 0 15 0 72151414 15371935744 22108 33554432000 4194304 4196468 140730853685840 140134531910384 140135564365206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1425] ppid=1408 vsize=15011656 memory=139803735765919 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1425/stat : 1425 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72151414 15371935744 22108 33554432000 4194304 4196468 140730853685840 140133173029984 140135564363477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1426] ppid=1408 vsize=15011656 memory=139803921700847 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1426/stat : 1426 (java) R 1408 1411 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72151414 15371935744 22108 33554432000 4194304 4196468 140730853685840 140134530857264 140135564364418 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88432 KiB
[startup+0.706733 s]
/proc/loadavg: 2.08 2.03 2.05 3/221 1426
/proc/meminfo: memFree=21101520/32770624 swapFree=67076536/67108860
[pid=1411] ppid=1408 vsize=15017928 memory=127524 CPUtime=1.07 cores=1,3,5,7
/proc/1411/stat : 1411 (java) S 1408 1411 29212 0 -1 1077944320 17019 0 0 0 102 5 0 0 20 0 15 0 72151407 15378358272 31881 33554432000 4194304 4196468 140730853685840 140730853668384 140135564353271 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
/proc/1411/statm: 3754482 31881 3160 1 0 3715886 0
[pid=1411/tid=1413] ppid=1408 vsize=15017928 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/1411/task/1413/stat : 1413 (java) R 1408 1411 29212 0 -1 4202560 14251 0 0 0 64 3 0 0 20 0 15 0 72151408 15378358272 31881 33554432000 4194304 4196468 140730853685840 140135536190928 140135548433758 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1414] ppid=1408 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1414/stat : 1414 (java) S 1408 1411 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72151409 15378358272 31881 33554432000 4194304 4196468 140730853685840 140135568595728 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1415] ppid=1408 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1415/stat : 1415 (java) S 1408 1411 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72151409 15378358272 31881 33554432000 4194304 4196468 140730853685840 140135388892048 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1416] ppid=1408 vsize=15017928 memory=54 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1416/stat : 1416 (java) S 1408 1411 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72151409 15378358272 31881 33554432000 4194304 4196468 140730853685840 140135024262160 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1417] ppid=1408 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1417/stat : 1417 (java) S 1408 1411 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72151409 15378358272 31881 33554432000 4194304 4196468 140730853685840 140135023209616 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1418] ppid=1408 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1418/stat : 1418 (java) S 1408 1411 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 72151411 15378358272 31881 33554432000 4194304 4196468 140730853685840 140134535067632 140135564364418 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1419] ppid=1408 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1419/stat : 1419 (java) S 1408 1411 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72151411 15378358272 31881 33554432000 4194304 4196468 140730853685840 140134179660704 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1420] ppid=1408 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1420/stat : 1420 (java) S 1408 1411 29212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72151411 15378358272 31881 33554432000 4194304 4196468 140730853685840 140134045438960 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1421] ppid=1408 vsize=15017928 memory=7813587196152395573 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1421/stat : 1421 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72151414 15378358272 31881 33554432000 4194304 4196468 140730853685840 140133670934736 140135564371867 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1422] ppid=1408 vsize=15017928 memory=7012755875661107284 CPUtime=0.08 cores=1,3,5,7
/proc/1411/task/1422/stat : 1422 (java) R 1408 1411 29212 0 -1 4202560 582 0 0 0 8 0 0 0 20 0 15 0 72151414 15378358272 31881 33554432000 4194304 4196468 140730853685840 140134534015472 140135564365206 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1423] ppid=1408 vsize=15017928 memory=7588675599774802240 CPUtime=0.11 cores=1,3,5,7
/proc/1411/task/1423/stat : 1423 (java) R 1408 1411 29212 0 -1 4202560 363 0 0 0 11 0 0 0 20 0 15 0 72151414 15378358272 31881 33554432000 4194304 4196468 140730853685840 140134532962928 140135547884777 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1424] ppid=1408 vsize=15017928 memory=-7741331004330446197 CPUtime=0.18 cores=1,3,5,7
/proc/1411/task/1424/stat : 1424 (java) R 1408 1411 29212 0 -1 4202560 465 0 0 0 18 0 0 0 20 0 15 0 72151414 15378358272 31881 33554432000 4194304 4196468 140730853685840 140134531907320 140135544322026 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1425] ppid=1408 vsize=15017928 memory=-8341965534556230502 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1425/stat : 1425 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72151414 15378358272 31881 33554432000 4194304 4196468 140730853685840 140133173029984 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1426] ppid=1408 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1426/stat : 1426 (java) S 1408 1411 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72151414 15378358272 31881 33554432000 4194304 4196468 140730853685840 140134530857264 140135564364418 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 127524 KiB
[startup+1.50076 s]
/proc/loadavg: 2.08 2.03 2.05 5/221 1426
/proc/meminfo: memFree=21004424/32770624 swapFree=67076536/67108860
[pid=1411] ppid=1408 vsize=15022100 memory=255600 CPUtime=3.37 cores=1,3,5,7
/proc/1411/stat : 1411 (java) S 1408 1411 29212 0 -1 1077944320 21339 0 0 0 329 8 0 0 20 0 15 0 72151407 15382630400 63900 33554432000 4194304 4196468 140730853685840 140730853668384 140135564353271 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
/proc/1411/statm: 3755525 63900 3202 1 0 3716910 0
[pid=1411/tid=1413] ppid=1408 vsize=15022100 memory=164576 CPUtime=1.46 cores=1,3,5,7
/proc/1411/task/1413/stat : 1413 (java) R 1408 1411 29212 0 -1 4202560 15504 0 0 0 141 5 0 0 20 0 15 0 72151408 15382630400 63900 33554432000 4194304 4196468 140730853685840 140135536183120 140135066729754 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1414] ppid=1408 vsize=15022100 memory=279607471506080 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1414/stat : 1414 (java) S 1408 1411 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72151409 15382630400 63900 33554432000 4194304 4196468 140730853685840 140135568595728 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1415] ppid=1408 vsize=15022100 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1415/stat : 1415 (java) S 1408 1411 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72151409 15382630400 63900 33554432000 4194304 4196468 140730853685840 140135388892048 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1416] ppid=1408 vsize=15022100 memory=279607471744288 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1416/stat : 1416 (java) S 1408 1411 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72151409 15382630400 63900 33554432000 4194304 4196468 140730853685840 140135024262160 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1417] ppid=1408 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1417/stat : 1417 (java) S 1408 1411 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72151409 15382630400 63900 33554432000 4194304 4196468 140730853685840 140135023209616 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1418] ppid=1408 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1418/stat : 1418 (java) S 1408 1411 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 72151411 15382630400 63900 33554432000 4194304 4196468 140730853685840 140134535067632 140135564364418 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
################
# More data... #
################
/proc/meminfo: memFree=18011020/32770624 swapFree=67076544/67108860
[pid=1411] ppid=1408 vsize=15683912 memory=3103516 CPUtime=21.16 cores=1,3,5,7
/proc/1411/stat : 1411 (java) S 1408 1411 29212 0 -1 1077944320 37307 0 0 0 1993 123 0 0 20 0 19 0 72151407 16060325888 775879 33554432000 4194304 4196468 140730853685840 140730853668384 140135564353271 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
/proc/1411/statm: 3920978 775879 3230 1 0 3881834 0
[pid=1427] ppid=1411 vsize=136832 memory=109016 CPUtime=2434.36 cores=1,3,5,7
/proc/1427/stat : 1427 (minisat_release) R 1411 1411 29212 0 -1 4202496 139042 0 0 0 243421 15 0 0 20 0 1 0 72152210 140115968 27254 33554432000 4194304 4308513 140730637830064 140730637827064 4275992 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 31719424 140730637832881 140730637833390 140730637833390 140730637836229 0
/proc/1427/statm: 34208 27254 354 28 0 30448 0
[pid=1411/tid=1413] ppid=1408 vsize=15683912 memory=109016 CPUtime=7.93 cores=1,3,5,7
/proc/1411/task/1413/stat : 1413 (java) S 1408 1411 29212 0 -1 1077944384 18596 0 0 0 746 47 0 0 20 0 19 0 72151408 16060325888 775879 33554432000 4194304 4196468 140730853685840 140135536192512 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1414] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0.08 cores=1,3,5,7
/proc/1411/task/1414/stat : 1414 (java) S 1408 1411 29212 0 -1 1077944384 105 0 0 0 6 2 0 0 20 0 19 0 72151409 16060325888 775879 33554432000 4194304 4196468 140730853685840 140135568595728 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1415] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0.08 cores=1,3,5,7
/proc/1411/task/1415/stat : 1415 (java) S 1408 1411 29212 0 -1 1077944384 36 0 0 0 6 2 0 0 20 0 19 0 72151409 16060325888 775879 33554432000 4194304 4196468 140730853685840 140135388892048 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1416] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0.08 cores=1,3,5,7
/proc/1411/task/1416/stat : 1416 (java) S 1408 1411 29212 0 -1 1077944384 41 0 0 0 6 2 0 0 20 0 19 0 72151409 16060325888 775879 33554432000 4194304 4196468 140730853685840 140135024262160 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1417] ppid=1408 vsize=15683912 memory=109016 CPUtime=0.08 cores=1,3,5,7
/proc/1411/task/1417/stat : 1417 (java) S 1408 1411 29212 0 -1 1077944384 53 0 0 0 6 2 0 0 20 0 19 0 72151409 16060325888 775879 33554432000 4194304 4196468 140730853685840 140135023209616 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1418] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0.05 cores=1,3,5,7
/proc/1411/task/1418/stat : 1418 (java) S 1408 1411 29212 0 -1 1077944384 24 0 0 0 2 3 0 0 20 0 19 0 72151411 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134535067632 140135564364418 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1419] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1419/stat : 1419 (java) S 1408 1411 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 72151411 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134179660704 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1420] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1420/stat : 1420 (java) S 1408 1411 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 72151411 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134045438960 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1421] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1421/stat : 1421 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140133670934736 140135564371867 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1422] ppid=1408 vsize=15683912 memory=109016 CPUtime=4.97 cores=1,3,5,7
/proc/1411/task/1422/stat : 1422 (java) S 1408 1411 29212 0 -1 1077944384 5707 0 0 0 495 2 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134534015472 140135564364418 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1423] ppid=1408 vsize=15683912 memory=3103516 CPUtime=5.12 cores=1,3,5,7
/proc/1411/task/1423/stat : 1423 (java) S 1408 1411 29212 0 -1 1077944384 4637 0 0 0 511 1 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134532962928 140135564364418 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1424] ppid=1408 vsize=15683912 memory=3103516 CPUtime=1.43 cores=1,3,5,7
/proc/1411/task/1424/stat : 1424 (java) S 1408 1411 29212 0 -1 1077944384 6521 0 0 0 141 2 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134531910384 140135564364418 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1425] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1425/stat : 1425 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140133173029984 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1426] ppid=1408 vsize=15683912 memory=109016 CPUtime=1.25 cores=1,3,5,7
/proc/1411/task/1426/stat : 1426 (java) S 1408 1411 29212 0 -1 1077944384 165 0 0 0 58 67 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134530857264 140135564364418 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1428] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1428/stat : 1428 (java) S 1408 1411 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 72152210 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134517089344 140135564377881 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1430] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1430/stat : 1430 (java) S 1408 1411 29212 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 72152210 16060325888 775879 33554432000 4194304 4196468 140730853685840 140132636143152 140135564375197 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1431] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1431/stat : 1431 (java) S 1408 1411 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 72152210 16060325888 775879 33554432000 4194304 4196468 140730853685840 140132770365104 140135564375197 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1432] ppid=1408 vsize=15683912 memory=109016 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1432/stat : 1432 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72152212 16060325888 775879 33554432000 4194304 4196468 140730853685840 140132367719968 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
Current children cumulated CPU time: 2455.52 s
Current children cumulated vsize: 15820744 KiB
Current children cumulated memory: 3212532 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/226 1585
/proc/meminfo: memFree=18012028/32770624 swapFree=67076544/67108860
[pid=1411] ppid=1408 vsize=15683912 memory=3103516 CPUtime=21.2 cores=1,3,5,7
/proc/1411/stat : 1411 (java) S 1408 1411 29212 0 -1 1077944320 37311 0 0 0 1996 124 0 0 20 0 19 0 72151407 16060325888 775879 33554432000 4194304 4196468 140730853685840 140730853668384 140135564353271 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
/proc/1411/statm: 3920978 775879 3230 1 0 3881834 0
[pid=1427] ppid=1411 vsize=136832 memory=109016 CPUtime=2494.35 cores=1,3,5,7
/proc/1427/stat : 1427 (minisat_release) R 1411 1411 29212 0 -1 4202496 143098 0 0 0 249420 15 0 0 20 0 1 0 72152210 140115968 27254 33554432000 4194304 4308513 140730637830064 140730637827064 4275579 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 31719424 140730637832881 140730637833390 140730637833390 140730637836229 0
/proc/1427/statm: 34208 27254 354 28 0 30448 0
[pid=1411/tid=1413] ppid=1408 vsize=15683912 memory=109016 CPUtime=7.93 cores=1,3,5,7
/proc/1411/task/1413/stat : 1413 (java) S 1408 1411 29212 0 -1 1077944384 18596 0 0 0 746 47 0 0 20 0 19 0 72151408 16060325888 775879 33554432000 4194304 4196468 140730853685840 140135536192512 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1414] ppid=1408 vsize=15683912 memory=109016 CPUtime=0.08 cores=1,3,5,7
/proc/1411/task/1414/stat : 1414 (java) S 1408 1411 29212 0 -1 1077944384 105 0 0 0 6 2 0 0 20 0 19 0 72151409 16060325888 775879 33554432000 4194304 4196468 140730853685840 140135568595728 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1415] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0.08 cores=1,3,5,7
/proc/1411/task/1415/stat : 1415 (java) S 1408 1411 29212 0 -1 1077944384 36 0 0 0 6 2 0 0 20 0 19 0 72151409 16060325888 775879 33554432000 4194304 4196468 140730853685840 140135388892048 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1416] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0.08 cores=1,3,5,7
/proc/1411/task/1416/stat : 1416 (java) S 1408 1411 29212 0 -1 1077944384 41 0 0 0 6 2 0 0 20 0 19 0 72151409 16060325888 775879 33554432000 4194304 4196468 140730853685840 140135024262160 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1417] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0.08 cores=1,3,5,7
/proc/1411/task/1417/stat : 1417 (java) S 1408 1411 29212 0 -1 1077944384 53 0 0 0 6 2 0 0 20 0 19 0 72151409 16060325888 775879 33554432000 4194304 4196468 140730853685840 140135023209616 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1418] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0.05 cores=1,3,5,7
/proc/1411/task/1418/stat : 1418 (java) S 1408 1411 29212 0 -1 1077944384 24 0 0 0 2 3 0 0 20 0 19 0 72151411 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134535067632 140135564364418 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1419] ppid=1408 vsize=15683912 memory=109016 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1419/stat : 1419 (java) S 1408 1411 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 72151411 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134179660704 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1420] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1420/stat : 1420 (java) S 1408 1411 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 72151411 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134045438960 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1421] ppid=1408 vsize=15683912 memory=3103516 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1421/stat : 1421 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140133670934736 140135564371867 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1422] ppid=1408 vsize=15683912 memory=3103516 CPUtime=4.97 cores=1,3,5,7
/proc/1411/task/1422/stat : 1422 (java) S 1408 1411 29212 0 -1 1077944384 5707 0 0 0 495 2 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134534015472 140135564364418 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1423] ppid=1408 vsize=15683912 memory=3452 CPUtime=5.12 cores=1,3,5,7
/proc/1411/task/1423/stat : 1423 (java) S 1408 1411 29212 0 -1 1077944384 4637 0 0 0 511 1 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134532962928 140135564364418 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1424] ppid=1408 vsize=15683912 memory=3103516 CPUtime=1.43 cores=1,3,5,7
/proc/1411/task/1424/stat : 1424 (java) S 1408 1411 29212 0 -1 1077944384 6521 0 0 0 141 2 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134531910384 140135564364418 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1425] ppid=1408 vsize=15683912 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1425/stat : 1425 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140133173029984 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1426] ppid=1408 vsize=15683912 memory=288230621803970871 CPUtime=1.28 cores=1,3,5,7
/proc/1411/task/1426/stat : 1426 (java) S 1408 1411 29212 0 -1 1077944384 169 0 0 0 59 69 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134530857264 140135564364418 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1428] ppid=1408 vsize=15683912 memory=109016 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1428/stat : 1428 (java) S 1408 1411 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 72152210 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134517089344 140135564377881 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1430] ppid=1408 vsize=15683912 memory=109016 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1430/stat : 1430 (java) S 1408 1411 29212 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 72152210 16060325888 775879 33554432000 4194304 4196468 140730853685840 140132636143152 140135564375197 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1431] ppid=1408 vsize=15683912 memory=6003396607979383401 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1431/stat : 1431 (java) S 1408 1411 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 72152210 16060325888 775879 33554432000 4194304 4196468 140730853685840 140132770365104 140135564375197 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1432] ppid=1408 vsize=15683912 memory=6081100103896296804 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1432/stat : 1432 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72152212 16060325888 775879 33554432000 4194304 4196468 140730853685840 140132367719968 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
Current children cumulated CPU time: 2515.55 s
Current children cumulated vsize: 15820744 KiB
Current children cumulated memory: 3212532 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.8 s]
/proc/loadavg: 2.00 2.03 2.05 3/226 1585
/proc/meminfo: memFree=18012152/32770624 swapFree=67076544/67108860
[pid=1411] ppid=1408 vsize=15683912 memory=3103516 CPUtime=21.2 cores=1,3,5,7
/proc/1411/stat : 1411 (java) S 1408 1411 29212 0 -1 1077944320 37311 0 0 0 1996 124 0 0 20 0 19 0 72151407 16060325888 775879 33554432000 4194304 4196468 140730853685840 140730853668384 140135564353271 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
/proc/1411/statm: 3920978 775879 3230 1 0 3881834 0
[pid=1427] ppid=1411 vsize=136832 memory=109016 CPUtime=2498.85 cores=1,3,5,7
/proc/1427/stat : 1427 (minisat_release) R 1411 1411 29212 0 -1 4202496 143109 0 0 0 249870 15 0 0 20 0 1 0 72152210 140115968 27254 33554432000 4194304 4308513 140730637830064 140730637827064 4276015 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 31719424 140730637832881 140730637833390 140730637833390 140730637836229 0
/proc/1427/statm: 34208 27254 354 28 0 30448 0
[pid=1411/tid=1413] ppid=1408 vsize=15683912 memory=15819993166120600 CPUtime=7.93 cores=1,3,5,7
/proc/1411/task/1413/stat : 1413 (java) S 1408 1411 29212 0 -1 1077944384 18596 0 0 0 746 47 0 0 20 0 19 0 72151408 16060325888 775879 33554432000 4194304 4196468 140730853685840 140135536192512 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1414] ppid=1408 vsize=15683912 memory=920 CPUtime=0.08 cores=1,3,5,7
/proc/1411/task/1414/stat : 1414 (java) S 1408 1411 29212 0 -1 1077944384 105 0 0 0 6 2 0 0 20 0 19 0 72151409 16060325888 775879 33554432000 4194304 4196468 140730853685840 140135568595728 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1415] ppid=1408 vsize=15683912 memory=3852 CPUtime=0.08 cores=1,3,5,7
/proc/1411/task/1415/stat : 1415 (java) S 1408 1411 29212 0 -1 1077944384 36 0 0 0 6 2 0 0 20 0 19 0 72151409 16060325888 775879 33554432000 4194304 4196468 140730853685840 140135388892048 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1416] ppid=1408 vsize=15683912 memory=2592 CPUtime=0.08 cores=1,3,5,7
/proc/1411/task/1416/stat : 1416 (java) S 1408 1411 29212 0 -1 1077944384 41 0 0 0 6 2 0 0 20 0 19 0 72151409 16060325888 775879 33554432000 4194304 4196468 140730853685840 140135024262160 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1417] ppid=1408 vsize=15683912 memory=-5059952977386882957 CPUtime=0.08 cores=1,3,5,7
/proc/1411/task/1417/stat : 1417 (java) S 1408 1411 29212 0 -1 1077944384 53 0 0 0 6 2 0 0 20 0 19 0 72151409 16060325888 775879 33554432000 4194304 4196468 140730853685840 140135023209616 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1418] ppid=1408 vsize=15683912 memory=640 CPUtime=0.05 cores=1,3,5,7
/proc/1411/task/1418/stat : 1418 (java) S 1408 1411 29212 0 -1 1077944384 24 0 0 0 2 3 0 0 20 0 19 0 72151411 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134535067632 140135564364418 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1419] ppid=1408 vsize=15683912 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1419/stat : 1419 (java) S 1408 1411 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 72151411 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134179660704 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1420] ppid=1408 vsize=15683912 memory=960 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1420/stat : 1420 (java) S 1408 1411 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 72151411 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134045438960 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1421] ppid=1408 vsize=15683912 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1421/stat : 1421 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140133670934736 140135564371867 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1422] ppid=1408 vsize=15683912 memory=4104 CPUtime=4.97 cores=1,3,5,7
/proc/1411/task/1422/stat : 1422 (java) S 1408 1411 29212 0 -1 1077944384 5707 0 0 0 495 2 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134534015472 140135564364418 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1423] ppid=1408 vsize=15683912 memory=3103516 CPUtime=5.12 cores=1,3,5,7
/proc/1411/task/1423/stat : 1423 (java) S 1408 1411 29212 0 -1 1077944384 4637 0 0 0 511 1 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134532962928 140135564364418 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1424] ppid=1408 vsize=15683912 memory=109016 CPUtime=1.43 cores=1,3,5,7
/proc/1411/task/1424/stat : 1424 (java) S 1408 1411 29212 0 -1 1077944384 6521 0 0 0 141 2 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134531910384 140135564364418 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1425] ppid=1408 vsize=15683912 memory=3328 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1425/stat : 1425 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140133173029984 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1426] ppid=1408 vsize=15683912 memory=3032 CPUtime=1.28 cores=1,3,5,7
/proc/1411/task/1426/stat : 1426 (java) S 1408 1411 29212 0 -1 1077944384 169 0 0 0 59 69 0 0 20 0 19 0 72151414 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134530857264 140135564364418 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1428] ppid=1408 vsize=15683912 memory=2764 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1428/stat : 1428 (java) S 1408 1411 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 72152210 16060325888 775879 33554432000 4194304 4196468 140730853685840 140134517089344 140135564377881 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1430] ppid=1408 vsize=15683912 memory=796 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1430/stat : 1430 (java) S 1408 1411 29212 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 72152210 16060325888 775879 33554432000 4194304 4196468 140730853685840 140132636143152 140135564375197 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1431] ppid=1408 vsize=15683912 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1431/stat : 1431 (java) S 1408 1411 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 72152210 16060325888 775879 33554432000 4194304 4196468 140730853685840 140132770365104 140135564375197 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
[pid=1411/tid=1432] ppid=1408 vsize=15683912 memory=15316 CPUtime=0 cores=1,3,5,7
/proc/1411/task/1432/stat : 1432 (java) S 1408 1411 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72152212 16060325888 775879 33554432000 4194304 4196468 140730853685840 140132367719968 140135564363477 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140730853688308 140730853688585 140730853688585 140730853691343 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15820744 KiB
Current children cumulated memory: 3212532 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.83 s]
# the end of solver process 1411 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.68 s, system=1.42143 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2506.84
CPU time (s): 2520.1
CPU user time (s): 2518.68
CPU system time (s): 1.42143
CPU usage (%): 100.529
Max. virtual memory (cumulated for all children) (KiB): 15820744
Max. memory (cumulated for all children) (KiB): 3212532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.68
system time used= 1.42143
maximum resident set size= 3104616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180482
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59112
involuntary context switches= 698
# summary of solver processes directly reported to runsolver:
# pid: 1411
# total CPU time (s): 2520.1
# total CPU user time (s): 2518.68
# total CPU system time (s): 1.42143
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2635 second user time and 23.5266 second system time
The end