0.67/0.52
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Thu Jul 26 04:51:39 CEST 2018
0.67/0.55 c PID: 4639
0.67/0.55 c IP: 172.20.3.150
0.67/0.55 c HOST: node150.alineos.net
0.67/0.56 c (0,0) Parsing Begin
2.65/1.24 c (0,0) Parsing End
2.65/1.24 c (0,0) CSP: 53 int (0 aux), 0 bool (0 aux), 475 ctr, max domain size 24
2.65/1.24 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.65/1.24 c (0,0) Constraint Name Generate Begin
2.65/1.25 c (0,0) Ctr:HOME/instance-4295625-1532573499.xml,ExtensionConflict:ExtensionSupport:IntVar
2.65/1.25 c (0,0) Constraint Name Generate End
2.65/1.25 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.65/1.25 c (0,0) CSP to CSPinCNF Begin
5.73/2.33 c (1,1) translated 48 (10%) constraints
6.95/2.76 c (2,2) translated 95 (20%) constraints
8.21/3.15 c (2,2) translated 143 (30%) constraints
9.39/3.54 c (3,3) translated 190 (40%) constraints
10.29/3.87 c (3,3) translated 238 (50%) constraints
11.51/4.21 c (3,3) translated 285 (60%) constraints
12.41/4.51 c (3,3) translated 333 (70%) constraints
13.02/4.76 c (4,4) translated 380 (80%) constraints
13.43/4.96 c (4,4) translated 428 (90%) constraints
13.66/5.15 c (4,4) translated 475 (100%) constraints
14.35/5.48 c (4,4) STATISTICS1:HOME/instance-4295625-1532573499.xml,ExtensionConflict:ExtensionSupport:IntVar,437,58454,-1,24,25,1,,24:217341;2:5511,25:16;4:48088;3:9416;2:934,1:222852;0:16,
14.35/5.48 c (4,4) ===========================================
14.35/5.48 c (4,4) Order
14.35/5.48 c (4,4) ===========================================
14.84/5.68 c (5,5) translated 5846 (10%) constraints
15.43/5.82 c (5,5) translated 11691 (20%) constraints
15.72/5.94 c (5,5) translated 17537 (30%) constraints
15.91/6.04 c (5,5) translated 23382 (40%) constraints
16.01/6.14 c (5,5) translated 29227 (50%) constraints
16.11/6.24 c (5,5) translated 35073 (60%) constraints
16.20/6.35 c (5,5) translated 40918 (70%) constraints
16.30/6.45 c (5,5) translated 46764 (80%) constraints
16.41/6.55 c (6,6) translated 52609 (90%) constraints
16.51/6.66 c (6,6) translated 58454 (100%) constraints
16.51/6.66 c (6,6) CSP to CSPinCNF End
16.51/6.66 c (6,6) CSP: 53 int (0 aux), 384 bool (384 aux), 58454 ctr, max domain size 24
16.51/6.66 c (6,6) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.51/6.66 c (6,6) CSPinCNF Propagation Begin
17.35/7.07 c (6,6) 0 values, 5360 unsatisfiable literals, and 0 valid clauses are removed
17.35/7.07 c (6,6) CSPinCNF Propagation End
17.35/7.07 c (6,6) CSP: 53 int (0 aux), 384 bool (384 aux), 58454 ctr, max domain size 24
17.35/7.07 c (6,6) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.35/7.07 c (6,6) Simplify CSPinCNF Begin
17.64/7.22 c (6,6) Simplify CSPinCNF End
17.64/7.23 c (6,6) CSP: 53 int (0 aux), 384 bool (384 aux), 58454 ctr, max domain size 24
17.64/7.23 c (6,6) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.64/7.23 c (6,6) Calculate Precise Domain Begin
17.64/7.23 c (6,6) 0 values are removed by re-calculation
17.64/7.23 c (6,6) Calculate Precise Domain End
17.64/7.23 c (6,6) CSP: 53 int (0 aux), 384 bool (384 aux), 58454 ctr, max domain size 24
17.64/7.23 c (6,6) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.64/7.23 c (6,6) CSPinCNF to SatSolver Begin
17.90/7.38 c (6,6) 5846 (10 %) CSP clauses are encoded (1603 SAT variables, 7011 SAT clauses)
18.20/7.45 c (6,6) 11691 (20 %) CSP clauses are encoded (1603 SAT variables, 12856 SAT clauses)
18.50/7.51 c (6,6) 17537 (30 %) CSP clauses are encoded (1603 SAT variables, 18702 SAT clauses)
18.81/7.64 c (7,7) 23382 (40 %) CSP clauses are encoded (1603 SAT variables, 24547 SAT clauses)
18.81/7.67 c (7,7) 29227 (50 %) CSP clauses are encoded (1603 SAT variables, 30392 SAT clauses)
19.06/7.70 c (7,7) 35073 (60 %) CSP clauses are encoded (1603 SAT variables, 36238 SAT clauses)
19.06/7.74 c (7,7) 40918 (70 %) CSP clauses are encoded (1603 SAT variables, 42083 SAT clauses)
19.06/7.77 c (7,7) 46764 (80 %) CSP clauses are encoded (1603 SAT variables, 47929 SAT clauses)
19.16/7.80 c (7,7) 52609 (90 %) CSP clauses are encoded (1603 SAT variables, 53774 SAT clauses)
19.16/7.83 c (7,7) 58454 (100 %) CSP clauses are encoded (1603 SAT variables, 59619 SAT clauses)
19.16/7.83 c (7,7) CSPinCNF to SatSolver End
19.16/7.83 c (7,7) Heap : 319 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.64/8.04 c (7,7) STATISTICS2:HOME/instance-4295625-1532573499.xml,ExtensionConflict:ExtensionSupport:IntVar,437,58454,-1,24,24,1,,24:211997;2:5511,24:16;4:43146;3:13956;2:1336,1:217508,
19.64/8.04 c (7,7) SatSolver.solve Begin
19.64/8.04 c (7,7) 1603 bool, 59620 clause
19.64/8.04 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-4295625-1532573499.xml-scop-4639.cnf HOME/instance-4295625-1532573499.xml-scop-4639.cnf.out
2520.07/2507.11 c (2506,7) SatSolver is killed by some reasons.
2520.07/2507.11 c (2506,7) 0,0,6,6,6,6,7,TO,TO,STOP-AFTER(DIMACS)
2520.07/2507.11 s UNKNOWN
2520.07/2507.11 c END-Prog: Thu Jul 26 05:33:26 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 (6780 MiB free)
memory of node 1: 16384 MiB (14000 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295625-1532573499/watcher-4295625-1532573499 -o /tmp/evaluation-result-4295625-1532573499/solver-4295625-1532573499 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295625-1532573499.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4639, runsolver pid=4636
Current StackSize limit: 8192 KiB
[startup+0.10013 s]*
/proc/loadavg: 2.17 2.18 2.11 3/221 4654
/proc/meminfo: memFree=21221216/32770624 swapFree=67108860/67108860
[pid=4639] ppid=4636 vsize=15011656 memory=71592 CPUtime=0.11 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4636 4639 32649 0 -1 1077944320 7138 0 0 0 10 1 0 0 20 0 15 0 74913145 15371935744 17898 33554432000 4194304 4196468 140733779685360 140733779667904 140609881247479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
/proc/4639/statm: 3752914 17898 2776 1 0 3715374 0
[pid=4639/tid=4641] ppid=4636 vsize=15011656 memory=7100839852823775848 CPUtime=0.09 cores=1,3,5,7
/proc/4639/task/4641/stat : 4641 (java) R 4636 4639 32649 0 -1 4202560 5426 0 0 0 8 1 0 0 20 0 15 0 74913145 15371935744 18162 33554432000 4194304 4196468 140733779685360 140609853059464 140609861523186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4642] ppid=4636 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4642/stat : 4642 (java) S 4636 4639 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74913147 15371935744 18162 33554432000 4194304 4196468 140733779685360 140609885489424 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4643] ppid=4636 vsize=15011656 memory=139783074301568 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4643/stat : 4643 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913147 15371935744 18162 33554432000 4194304 4196468 140733779685360 140609714583952 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4644] ppid=4636 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4644/stat : 4644 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913147 15371935744 18162 33554432000 4194304 4196468 140733779685360 140609340914192 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4645] ppid=4636 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4645/stat : 4645 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913147 15371935744 18162 33554432000 4194304 4196468 140733779685360 140609339861648 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4646] ppid=4636 vsize=15011656 memory=139783074301568 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4646/stat : 4646 (java) S 4636 4639 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74913148 15371935744 18162 33554432000 4194304 4196468 140733779685360 140608919624176 140609881258626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4647] ppid=4636 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4647/stat : 4647 (java) S 4636 4639 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74913149 15371935744 18162 33554432000 4194304 4196468 140733779685360 140608438003104 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4648] ppid=4636 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4648/stat : 4648 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913149 15371935744 18162 33554432000 4194304 4196468 140733779685360 140608169567728 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4649] ppid=4636 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4649/stat : 4649 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74913151 15371935744 18162 33554432000 4194304 4196468 140733779685360 140607795059408 140609881266075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4650] ppid=4636 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4650/stat : 4650 (java) S 4636 4639 32649 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 15 0 74913151 15371935744 18228 33554432000 4194304 4196468 140733779685360 140608918570992 140609881258626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4651] ppid=4636 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4651/stat : 4651 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913151 15371935744 18228 33554432000 4194304 4196468 140733779685360 140608917518448 140609881258626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4652] ppid=4636 vsize=15011656 memory=139783074301568 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4652/stat : 4652 (java) S 4636 4639 32649 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 74913151 15371935744 18228 33554432000 4194304 4196468 140733779685360 140608916465904 140609881258626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4653] ppid=4636 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4653/stat : 4653 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74913152 15371935744 18228 33554432000 4194304 4196468 140733779685360 140607297153632 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4654] ppid=4636 vsize=15011656 memory=139783074301568 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4654/stat : 4654 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913152 15371935744 18228 33554432000 4194304 4196468 140733779685360 140608915413808 140609881258626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71592 KiB
[startup+0.2107 s]*
/proc/loadavg: 2.17 2.18 2.11 3/221 4654
/proc/meminfo: memFree=21206724/32770624 swapFree=67108860/67108860
[pid=4639] ppid=4636 vsize=15011656 memory=84916 CPUtime=0.25 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4636 4639 32649 0 -1 1077944320 10689 0 0 0 23 2 0 0 20 0 15 0 74913145 15371935744 21229 33554432000 4194304 4196468 140733779685360 140733779667904 140609881247479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
/proc/4639/statm: 3752914 21229 2863 1 0 3715374 0
[pid=4639/tid=4641] ppid=4636 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4639/task/4641/stat : 4641 (java) R 4636 4639 32649 0 -1 4202560 8508 0 0 0 18 2 0 0 20 0 15 0 74913145 15371935744 21229 33554432000 4194304 4196468 140733779685360 140609853070544 140609862653778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4642] ppid=4636 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4642/stat : 4642 (java) S 4636 4639 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74913147 15371935744 21229 33554432000 4194304 4196468 140733779685360 140609885489424 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4643] ppid=4636 vsize=15011656 memory=139783074714500 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4643/stat : 4643 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913147 15371935744 21229 33554432000 4194304 4196468 140733779685360 140609714583952 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4644] ppid=4636 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4644/stat : 4644 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913147 15371935744 21229 33554432000 4194304 4196468 140733779685360 140609340914192 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4645] ppid=4636 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4645/stat : 4645 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913147 15371935744 21229 33554432000 4194304 4196468 140733779685360 140609339861648 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4646] ppid=4636 vsize=15011656 memory=139783074301568 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4646/stat : 4646 (java) S 4636 4639 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74913148 15371935744 21229 33554432000 4194304 4196468 140733779685360 140608919624176 140609881258626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4647] ppid=4636 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4647/stat : 4647 (java) S 4636 4639 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74913149 15371935744 21229 33554432000 4194304 4196468 140733779685360 140608438003104 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4648] ppid=4636 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4648/stat : 4648 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913149 15371935744 21229 33554432000 4194304 4196468 140733779685360 140608169567728 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4649] ppid=4636 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4649/stat : 4649 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74913151 15371935744 21229 33554432000 4194304 4196468 140733779685360 140607795059408 140609881266075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4650] ppid=4636 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4650/stat : 4650 (java) R 4636 4639 32649 0 -1 4202560 455 0 0 0 0 0 0 0 20 0 15 0 74913151 15371935744 21229 33554432000 4194304 4196468 140733779685360 140608918570992 140609866135339 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4651] ppid=4636 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4651/stat : 4651 (java) R 4636 4639 32649 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 74913151 15371935744 21229 33554432000 4194304 4196468 140733779685360 140608917518448 140609881258626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4652] ppid=4636 vsize=15011656 memory=139783074301568 CPUtime=0.03 cores=1,3,5,7
/proc/4639/task/4652/stat : 4652 (java) R 4636 4639 32649 0 -1 4202560 354 0 0 0 3 0 0 0 20 0 15 0 74913151 15371935744 21229 33554432000 4194304 4196468 140733779685360 140608916465904 140609874344315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4653] ppid=4636 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4653/stat : 4653 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74913152 15371935744 21229 33554432000 4194304 4196468 140733779685360 140607297153632 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4654] ppid=4636 vsize=15011656 memory=139783074301568 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4654/stat : 4654 (java) R 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913152 15371935744 21229 33554432000 4194304 4196468 140733779685360 140608915413808 140609881258626 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84916 KiB
[startup+0.310748 s]*
/proc/loadavg: 2.17 2.18 2.11 3/221 4654
/proc/meminfo: memFree=21203260/32770624 swapFree=67108860/67108860
[pid=4639] ppid=4636 vsize=15011656 memory=88948 CPUtime=0.43 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4636 4639 32649 0 -1 1077944320 11319 0 0 0 40 3 0 0 20 0 15 0 74913145 15371935744 22237 33554432000 4194304 4196468 140733779685360 140733779667904 140609881247479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
/proc/4639/statm: 3752914 22237 3009 1 0 3715374 0
[pid=4639/tid=4641] ppid=4636 vsize=15011656 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/4639/task/4641/stat : 4641 (java) R 4636 4639 32649 0 -1 4202560 8885 0 0 0 27 2 0 0 20 0 15 0 74913145 15371935744 22237 33554432000 4194304 4196468 140733779685360 140609853051512 140609881269405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4642] ppid=4636 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4642/stat : 4642 (java) S 4636 4639 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74913147 15371935744 22237 33554432000 4194304 4196468 140733779685360 140609885489424 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4643] ppid=4636 vsize=15011656 memory=139783074301568 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4643/stat : 4643 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913147 15371935744 22237 33554432000 4194304 4196468 140733779685360 140609714583952 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4644] ppid=4636 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4644/stat : 4644 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913147 15371935744 22237 33554432000 4194304 4196468 140733779685360 140609340914192 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4645] ppid=4636 vsize=15011656 memory=139782931980495 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4645/stat : 4645 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913147 15371935744 22237 33554432000 4194304 4196468 140733779685360 140609339861648 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4646] ppid=4636 vsize=15011656 memory=139783074301568 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4646/stat : 4646 (java) S 4636 4639 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74913148 15371935744 22237 33554432000 4194304 4196468 140733779685360 140608919624176 140609881258626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4647] ppid=4636 vsize=15011656 memory=139782932001231 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4647/stat : 4647 (java) S 4636 4639 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74913149 15371935744 22237 33554432000 4194304 4196468 140733779685360 140608438003104 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4648] ppid=4636 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4648/stat : 4648 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913149 15371935744 22237 33554432000 4194304 4196468 140733779685360 140608169567728 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4649] ppid=4636 vsize=15011656 memory=279565863974784 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4649/stat : 4649 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74913151 15371935744 22237 33554432000 4194304 4196468 140733779685360 140607795059408 140609881266075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4650] ppid=4636 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4639/task/4650/stat : 4650 (java) R 4636 4639 32649 0 -1 4202560 558 0 0 0 2 0 0 0 20 0 15 0 74913151 15371935744 22237 33554432000 4194304 4196468 140733779685360 140608918570992 140609858844496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4651] ppid=4636 vsize=15011656 memory=139782932012943 CPUtime=0.02 cores=1,3,5,7
/proc/4639/task/4651/stat : 4651 (java) R 4636 4639 32649 0 -1 1077944384 100 0 0 0 2 0 0 0 20 0 15 0 74913151 15371935744 22237 33554432000 4194304 4196468 140733779685360 140608917518448 140609881258626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4652] ppid=4636 vsize=15011656 memory=139783074301568 CPUtime=0.07 cores=1,3,5,7
/proc/4639/task/4652/stat : 4652 (java) R 4636 4639 32649 0 -1 4202560 448 0 0 0 7 0 0 0 20 0 15 0 74913151 15371935744 22237 33554432000 4194304 4196468 140733779685360 140608916465904 140609881259414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4653] ppid=4636 vsize=15011656 memory=139782932018079 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4653/stat : 4653 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74913152 15371935744 22237 33554432000 4194304 4196468 140733779685360 140607297153632 140609881257685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4654] ppid=4636 vsize=15011656 memory=139783149214713 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4654/stat : 4654 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913152 15371935744 22237 33554432000 4194304 4196468 140733779685360 140608915413808 140609881258626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88948 KiB
[startup+0.707144 s]
/proc/loadavg: 2.17 2.18 2.11 4/221 4654
/proc/meminfo: memFree=21178580/32770624 swapFree=67108860/67108860
[pid=4639] ppid=4636 vsize=15017928 memory=130940 CPUtime=1.04 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4636 4639 32649 0 -1 1077944320 18360 0 0 0 99 5 0 0 20 0 15 0 74913145 15378358272 32735 33554432000 4194304 4196468 140733779685360 140733779667904 140609881247479 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
/proc/4639/statm: 3754482 32735 3152 1 0 3715886 0
[pid=4639/tid=4641] ppid=4636 vsize=15017928 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/4639/task/4641/stat : 4641 (java) R 4636 4639 32649 0 -1 4202560 15254 0 0 0 64 4 0 0 20 0 15 0 74913145 15378358272 32735 33554432000 4194304 4196468 140733779685360 140609853083152 140609866927604 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4642] ppid=4636 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4642/stat : 4642 (java) S 4636 4639 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74913147 15378358272 32735 33554432000 4194304 4196468 140733779685360 140609885489424 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4643] ppid=4636 vsize=15017928 memory=79 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4643/stat : 4643 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913147 15378358272 32735 33554432000 4194304 4196468 140733779685360 140609714583952 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4644] ppid=4636 vsize=15017928 memory=1 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4644/stat : 4644 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913147 15378358272 32735 33554432000 4194304 4196468 140733779685360 140609340914192 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4645] ppid=4636 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4645/stat : 4645 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913147 15378358272 32735 33554432000 4194304 4196468 140733779685360 140609339861648 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4646] ppid=4636 vsize=15017928 memory=159737349940613 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4646/stat : 4646 (java) S 4636 4639 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74913148 15378358272 32735 33554432000 4194304 4196468 140733779685360 140608919624176 140609881258626 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4647] ppid=4636 vsize=15017928 memory=437830 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4647/stat : 4647 (java) S 4636 4639 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74913149 15378358272 32735 33554432000 4194304 4196468 140733779685360 140608438003104 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4648] ppid=4636 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4648/stat : 4648 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913149 15378358272 32735 33554432000 4194304 4196468 140733779685360 140608169567728 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4649] ppid=4636 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4649/stat : 4649 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74913151 15378358272 32735 33554432000 4194304 4196468 140733779685360 140607795059408 140609881266075 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4650] ppid=4636 vsize=15017928 memory=7809523229951467574 CPUtime=0.09 cores=1,3,5,7
/proc/4639/task/4650/stat : 4650 (java) R 4636 4639 32649 0 -1 4202560 795 0 0 0 9 0 0 0 20 0 15 0 74913151 15378358272 32735 33554432000 4194304 4196468 140733779685360 140608918562448 140609866035264 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4651] ppid=4636 vsize=15017928 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4639/task/4651/stat : 4651 (java) R 4636 4639 32649 0 -1 4202560 284 0 0 0 7 0 0 0 20 0 15 0 74913151 15378358272 32735 33554432000 4194304 4196468 140733779685360 140608917518448 140609858842536 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4652] ppid=4636 vsize=15017928 memory=-3535359994705171810 CPUtime=0.18 cores=1,3,5,7
/proc/4639/task/4652/stat : 4652 (java) R 4636 4639 32649 0 -1 4202560 688 0 0 0 18 0 0 0 20 0 15 0 74913151 15378358272 32735 33554432000 4194304 4196468 140733779685360 140608916463864 140609859868576 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4653] ppid=4636 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4653/stat : 4653 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74913152 15378358272 32735 33554432000 4194304 4196468 140733779685360 140607297153632 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4654] ppid=4636 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4654/stat : 4654 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913152 15378358272 32735 33554432000 4194304 4196468 140733779685360 140608915413808 140609881258626 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 130940 KiB
[startup+1.50117 s]
/proc/loadavg: 2.17 2.18 2.11 5/221 4654
/proc/meminfo: memFree=21073648/32770624 swapFree=67108860/67108860
[pid=4639] ppid=4636 vsize=15022100 memory=262876 CPUtime=3.27 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4636 4639 32649 0 -1 1077944320 22250 0 0 0 318 9 0 0 20 0 15 0 74913145 15382630400 65719 33554432000 4194304 4196468 140733779685360 140733779667904 140609881247479 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
/proc/4639/statm: 3755525 65719 3199 1 0 3716910 0
[pid=4639/tid=4641] ppid=4636 vsize=15022100 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/4639/task/4641/stat : 4641 (java) R 4636 4639 32649 0 -1 4202560 16528 0 0 0 140 7 0 0 20 0 15 0 74913145 15382630400 65719 33554432000 4194304 4196468 140733779685360 140609853074752 140609881259414 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4642] ppid=4636 vsize=15022100 memory=8097866203535791470 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4642/stat : 4642 (java) S 4636 4639 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74913147 15382630400 65719 33554432000 4194304 4196468 140733779685360 140609885489424 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4643] ppid=4636 vsize=15022100 memory=7086533222169798760 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4643/stat : 4643 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913147 15382630400 65719 33554432000 4194304 4196468 140733779685360 140609714583952 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4644] ppid=4636 vsize=15022100 memory=7086531036114937961 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4644/stat : 4644 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913147 15382630400 65719 33554432000 4194304 4196468 140733779685360 140609340914192 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4645] ppid=4636 vsize=15022100 memory=7086531053160653165 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4645/stat : 4645 (java) S 4636 4639 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74913147 15382630400 65719 33554432000 4194304 4196468 140733779685360 140609339861648 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4646] ppid=4636 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4646/stat : 4646 (java) S 4636 4639 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74913148 15382630400 65719 33554432000 4194304 4196468 140733779685360 140608919624176 140609881258626 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
################
# More data... #
################
/proc/meminfo: memFree=18163736/32770624 swapFree=67108860/67108860
[pid=4639] ppid=4636 vsize=15683912 memory=3102632 CPUtime=21.12 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4636 4639 32649 0 -1 1077944320 37757 0 0 0 1985 127 0 0 20 0 19 0 74913145 16060325888 775658 33554432000 4194304 4196468 140733779685360 140733779667904 140609881247479 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
/proc/4639/statm: 3920978 775658 3239 1 0 3881834 0
[pid=4655] ppid=4639 vsize=137100 memory=104620 CPUtime=2494.14 cores=1,3,5,7
/proc/4655/stat : 4655 (minisat_release) R 4639 4639 32649 0 -1 4202496 186784 0 0 0 249397 17 0 0 20 0 1 0 74913950 140390400 26155 33554432000 4194304 4308513 140723294020240 140723294017240 4276414 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 10743808 140723294024369 140723294024878 140723294024878 140723294027717 0
/proc/4655/statm: 34275 26155 354 28 0 30515 0
[pid=4639/tid=4641] ppid=4636 vsize=15683912 memory=3102632 CPUtime=7.97 cores=1,3,5,7
/proc/4639/task/4641/stat : 4641 (java) S 4636 4639 32649 0 -1 1077944384 19577 0 0 0 749 48 0 0 20 0 19 0 74913145 16060325888 775658 33554432000 4194304 4196468 140733779685360 140609853086720 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4642] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0.08 cores=1,3,5,7
/proc/4639/task/4642/stat : 4642 (java) S 4636 4639 32649 0 -1 1077944384 103 0 0 0 6 2 0 0 20 0 19 0 74913147 16060325888 775658 33554432000 4194304 4196468 140733779685360 140609885489424 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4643] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0.08 cores=1,3,5,7
/proc/4639/task/4643/stat : 4643 (java) S 4636 4639 32649 0 -1 1077944384 36 0 0 0 6 2 0 0 20 0 19 0 74913147 16060325888 775658 33554432000 4194304 4196468 140733779685360 140609714583952 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4644] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0.08 cores=1,3,5,7
/proc/4639/task/4644/stat : 4644 (java) S 4636 4639 32649 0 -1 1077944384 56 0 0 0 6 2 0 0 20 0 19 0 74913147 16060325888 775658 33554432000 4194304 4196468 140733779685360 140609340914192 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4645] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0.08 cores=1,3,5,7
/proc/4639/task/4645/stat : 4645 (java) S 4636 4639 32649 0 -1 1077944384 40 0 0 0 6 2 0 0 20 0 19 0 74913147 16060325888 775658 33554432000 4194304 4196468 140733779685360 140609339861648 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4646] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0.05 cores=1,3,5,7
/proc/4639/task/4646/stat : 4646 (java) S 4636 4639 32649 0 -1 1077944384 25 0 0 0 2 3 0 0 20 0 19 0 74913148 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608919624176 140609881258626 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4647] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4647/stat : 4647 (java) S 4636 4639 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 74913149 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608438003104 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4648] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4648/stat : 4648 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74913149 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608169567728 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4649] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4649/stat : 4649 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74913151 16060325888 775658 33554432000 4194304 4196468 140733779685360 140607795059408 140609881266075 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4650] ppid=4636 vsize=15683912 memory=4136 CPUtime=5.09 cores=1,3,5,7
/proc/4639/task/4650/stat : 4650 (java) S 4636 4639 32649 0 -1 1077944384 7108 0 0 0 507 2 0 0 20 0 19 0 74913151 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608918570992 140609881258626 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4651] ppid=4636 vsize=15683912 memory=3102632 CPUtime=5.03 cores=1,3,5,7
/proc/4639/task/4651/stat : 4651 (java) S 4636 4639 32649 0 -1 1077944384 3805 0 0 0 502 1 0 0 20 0 19 0 74913151 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608917518448 140609881258626 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4652] ppid=4636 vsize=15683912 memory=3102632 CPUtime=1.29 cores=1,3,5,7
/proc/4639/task/4652/stat : 4652 (java) S 4636 4639 32649 0 -1 1077944384 5438 0 0 0 127 2 0 0 20 0 19 0 74913151 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608916465904 140609881258626 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4653] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4653/stat : 4653 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74913152 16060325888 775658 33554432000 4194304 4196468 140733779685360 140607297153632 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4654] ppid=4636 vsize=15683912 memory=104620 CPUtime=1.28 cores=1,3,5,7
/proc/4639/task/4654/stat : 4654 (java) S 4636 4639 32649 0 -1 1077944384 167 0 0 0 59 69 0 0 20 0 19 0 74913152 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608915413808 140609881258626 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4656] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4656/stat : 4656 (java) S 4636 4639 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74913951 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608909702720 140609881272089 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4658] ppid=4636 vsize=15683912 memory=104620 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4658/stat : 4658 (java) S 4636 4639 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 74913951 16060325888 775658 33554432000 4194304 4196468 140733779685360 140606760267824 140609881269405 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4659] ppid=4636 vsize=15683912 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4659/stat : 4659 (java) S 4636 4639 32649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 74913951 16060325888 775658 33554432000 4194304 4196468 140733779685360 140606491835568 140609881269405 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4660] ppid=4636 vsize=15683912 memory=14104 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4660/stat : 4660 (java) S 4636 4639 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 74913953 16060325888 775658 33554432000 4194304 4196468 140733779685360 140606894496800 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
Current children cumulated CPU time: 2515.26 s
Current children cumulated vsize: 15821012 KiB
Current children cumulated memory: 3207252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.11 s]
/proc/loadavg: 2.02 2.03 2.05 3/226 4840
/proc/meminfo: memFree=18163860/32770624 swapFree=67108860/67108860
[pid=4639] ppid=4636 vsize=15683912 memory=3102632 CPUtime=21.12 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4636 4639 32649 0 -1 1077944320 37759 0 0 0 1985 127 0 0 20 0 19 0 74913145 16060325888 775658 33554432000 4194304 4196468 140733779685360 140733779667904 140609881247479 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
/proc/4639/statm: 3920978 775658 3239 1 0 3881834 0
[pid=4655] ppid=4639 vsize=137100 memory=104620 CPUtime=2498.95 cores=1,3,5,7
/proc/4655/stat : 4655 (minisat_release) R 4639 4639 32649 0 -1 4202496 186791 0 0 0 249878 17 0 0 20 0 1 0 74913950 140390400 26155 33554432000 4194304 4308513 140723294020240 140723294017240 4276008 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 10743808 140723294024369 140723294024878 140723294024878 140723294027717 0
/proc/4655/statm: 34275 26155 354 28 0 30515 0
[pid=4639/tid=4641] ppid=4636 vsize=15683912 memory=3102632 CPUtime=7.97 cores=1,3,5,7
/proc/4639/task/4641/stat : 4641 (java) S 4636 4639 32649 0 -1 1077944384 19577 0 0 0 749 48 0 0 20 0 19 0 74913145 16060325888 775658 33554432000 4194304 4196468 140733779685360 140609853086720 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4642] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0.08 cores=1,3,5,7
/proc/4639/task/4642/stat : 4642 (java) S 4636 4639 32649 0 -1 1077944384 103 0 0 0 6 2 0 0 20 0 19 0 74913147 16060325888 775658 33554432000 4194304 4196468 140733779685360 140609885489424 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4643] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0.08 cores=1,3,5,7
/proc/4639/task/4643/stat : 4643 (java) S 4636 4639 32649 0 -1 1077944384 36 0 0 0 6 2 0 0 20 0 19 0 74913147 16060325888 775658 33554432000 4194304 4196468 140733779685360 140609714583952 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4644] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0.08 cores=1,3,5,7
/proc/4639/task/4644/stat : 4644 (java) S 4636 4639 32649 0 -1 1077944384 56 0 0 0 6 2 0 0 20 0 19 0 74913147 16060325888 775658 33554432000 4194304 4196468 140733779685360 140609340914192 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4645] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0.08 cores=1,3,5,7
/proc/4639/task/4645/stat : 4645 (java) S 4636 4639 32649 0 -1 1077944384 40 0 0 0 6 2 0 0 20 0 19 0 74913147 16060325888 775658 33554432000 4194304 4196468 140733779685360 140609339861648 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4646] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0.05 cores=1,3,5,7
/proc/4639/task/4646/stat : 4646 (java) S 4636 4639 32649 0 -1 1077944384 25 0 0 0 2 3 0 0 20 0 19 0 74913148 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608919624176 140609881258626 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4647] ppid=4636 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4647/stat : 4647 (java) S 4636 4639 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 74913149 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608438003104 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4648] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4648/stat : 4648 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74913149 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608169567728 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4649] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4649/stat : 4649 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74913151 16060325888 775658 33554432000 4194304 4196468 140733779685360 140607795059408 140609881266075 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4650] ppid=4636 vsize=15683912 memory=3102632 CPUtime=5.09 cores=1,3,5,7
/proc/4639/task/4650/stat : 4650 (java) S 4636 4639 32649 0 -1 1077944384 7108 0 0 0 507 2 0 0 20 0 19 0 74913151 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608918570992 140609881258626 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4651] ppid=4636 vsize=15683912 memory=104620 CPUtime=5.03 cores=1,3,5,7
/proc/4639/task/4651/stat : 4651 (java) S 4636 4639 32649 0 -1 1077944384 3805 0 0 0 502 1 0 0 20 0 19 0 74913151 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608917518448 140609881258626 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4652] ppid=4636 vsize=15683912 memory=18268 CPUtime=1.29 cores=1,3,5,7
/proc/4639/task/4652/stat : 4652 (java) S 4636 4639 32649 0 -1 1077944384 5438 0 0 0 127 2 0 0 20 0 19 0 74913151 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608916465904 140609881258626 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4653] ppid=4636 vsize=15683912 memory=14104 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4653/stat : 4653 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74913152 16060325888 775658 33554432000 4194304 4196468 140733779685360 140607297153632 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4654] ppid=4636 vsize=15683912 memory=3102632 CPUtime=1.28 cores=1,3,5,7
/proc/4639/task/4654/stat : 4654 (java) S 4636 4639 32649 0 -1 1077944384 169 0 0 0 59 69 0 0 20 0 19 0 74913152 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608915413808 140609881258626 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4656] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4656/stat : 4656 (java) S 4636 4639 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74913951 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608909702720 140609881272089 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4658] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4658/stat : 4658 (java) S 4636 4639 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 74913951 16060325888 775658 33554432000 4194304 4196468 140733779685360 140606760267824 140609881269405 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4659] ppid=4636 vsize=15683912 memory=104620 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4659/stat : 4659 (java) S 4636 4639 32649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 74913951 16060325888 775658 33554432000 4194304 4196468 140733779685360 140606491835568 140609881269405 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4660] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4660/stat : 4660 (java) S 4636 4639 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 74913953 16060325888 775658 33554432000 4194304 4196468 140733779685360 140606894496800 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15821012 KiB
Current children cumulated memory: 3207252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.15 s]
# the end of solver process 4639 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.65 s, system=1.47668 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2507.11 s]
/proc/loadavg: 2.02 2.03 2.05 3/226 4840
/proc/meminfo: memFree=18163860/32770624 swapFree=67108860/67108860
[pid=4639] ppid=4636 vsize=15683912 memory=3102632 CPUtime=21.12 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4636 4639 32649 0 -1 1077944320 37759 0 0 0 1985 127 0 0 20 0 19 0 74913145 16060325888 775658 33554432000 4194304 4196468 140733779685360 140733779667904 140609881247479 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
/proc/4639/statm: 3920978 775658 3239 1 0 3881834 0
[pid=4655] ppid=4639 vsize=137100 memory=104620 CPUtime=2498.95 cores=1,3,5,7
/proc/4655/stat : 4655 (minisat_release) R 4639 4639 32649 0 -1 4202496 186791 0 0 0 249878 17 0 0 20 0 1 0 74913950 140390400 26155 33554432000 4194304 4308513 140723294020240 140723294017240 4276008 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 10743808 140723294024369 140723294024878 140723294024878 140723294027717 0
/proc/4655/statm: 34275 26155 354 28 0 30515 0
[pid=4639/tid=4641] ppid=4636 vsize=15683912 memory=3102632 CPUtime=7.97 cores=1,3,5,7
/proc/4639/task/4641/stat : 4641 (java) S 4636 4639 32649 0 -1 1077944384 19577 0 0 0 749 48 0 0 20 0 19 0 74913145 16060325888 775658 33554432000 4194304 4196468 140733779685360 140609853086720 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4642] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0.08 cores=1,3,5,7
/proc/4639/task/4642/stat : 4642 (java) S 4636 4639 32649 0 -1 1077944384 103 0 0 0 6 2 0 0 20 0 19 0 74913147 16060325888 775658 33554432000 4194304 4196468 140733779685360 140609885489424 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4643] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0.08 cores=1,3,5,7
/proc/4639/task/4643/stat : 4643 (java) S 4636 4639 32649 0 -1 1077944384 36 0 0 0 6 2 0 0 20 0 19 0 74913147 16060325888 775658 33554432000 4194304 4196468 140733779685360 140609714583952 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4644] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0.08 cores=1,3,5,7
/proc/4639/task/4644/stat : 4644 (java) S 4636 4639 32649 0 -1 1077944384 56 0 0 0 6 2 0 0 20 0 19 0 74913147 16060325888 775658 33554432000 4194304 4196468 140733779685360 140609340914192 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4645] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0.08 cores=1,3,5,7
/proc/4639/task/4645/stat : 4645 (java) S 4636 4639 32649 0 -1 1077944384 40 0 0 0 6 2 0 0 20 0 19 0 74913147 16060325888 775658 33554432000 4194304 4196468 140733779685360 140609339861648 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4646] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0.05 cores=1,3,5,7
/proc/4639/task/4646/stat : 4646 (java) S 4636 4639 32649 0 -1 1077944384 25 0 0 0 2 3 0 0 20 0 19 0 74913148 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608919624176 140609881258626 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4647] ppid=4636 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4647/stat : 4647 (java) S 4636 4639 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 74913149 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608438003104 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4648] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4648/stat : 4648 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74913149 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608169567728 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4649] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4649/stat : 4649 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74913151 16060325888 775658 33554432000 4194304 4196468 140733779685360 140607795059408 140609881266075 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4650] ppid=4636 vsize=15683912 memory=3102632 CPUtime=5.09 cores=1,3,5,7
/proc/4639/task/4650/stat : 4650 (java) S 4636 4639 32649 0 -1 1077944384 7108 0 0 0 507 2 0 0 20 0 19 0 74913151 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608918570992 140609881258626 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4651] ppid=4636 vsize=15683912 memory=104620 CPUtime=5.03 cores=1,3,5,7
/proc/4639/task/4651/stat : 4651 (java) S 4636 4639 32649 0 -1 1077944384 3805 0 0 0 502 1 0 0 20 0 19 0 74913151 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608917518448 140609881258626 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4652] ppid=4636 vsize=15683912 memory=18268 CPUtime=1.29 cores=1,3,5,7
/proc/4639/task/4652/stat : 4652 (java) S 4636 4639 32649 0 -1 1077944384 5438 0 0 0 127 2 0 0 20 0 19 0 74913151 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608916465904 140609881258626 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4653] ppid=4636 vsize=15683912 memory=14104 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4653/stat : 4653 (java) S 4636 4639 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74913152 16060325888 775658 33554432000 4194304 4196468 140733779685360 140607297153632 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4654] ppid=4636 vsize=15683912 memory=3102632 CPUtime=1.28 cores=1,3,5,7
/proc/4639/task/4654/stat : 4654 (java) S 4636 4639 32649 0 -1 1077944384 169 0 0 0 59 69 0 0 20 0 19 0 74913152 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608915413808 140609881258626 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4656] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4656/stat : 4656 (java) S 4636 4639 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74913951 16060325888 775658 33554432000 4194304 4196468 140733779685360 140608909702720 140609881272089 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4658] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4658/stat : 4658 (java) S 4636 4639 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 74913951 16060325888 775658 33554432000 4194304 4196468 140733779685360 140606760267824 140609881269405 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4659] ppid=4636 vsize=15683912 memory=104620 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4659/stat : 4659 (java) S 4636 4639 32649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 74913951 16060325888 775658 33554432000 4194304 4196468 140733779685360 140606491835568 140609881269405 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
[pid=4639/tid=4660] ppid=4636 vsize=15683912 memory=3102632 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4660/stat : 4660 (java) S 4636 4639 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 74913953 16060325888 775658 33554432000 4194304 4196468 140733779685360 140606894496800 140609881257685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31174656 140733779690483 140733779690761 140733779690761 140733779693519 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15821012 KiB
Current children cumulated memory: 3207252 KiB
Child status: 1
Real time (s): 2507.15
CPU time (s): 2520.12
CPU user time (s): 2518.65
CPU system time (s): 1.47668
CPU usage (%): 100.518
Max. virtual memory (cumulated for all children) (KiB): 15821012
Max. memory (cumulated for all children) (KiB): 3207252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.65
system time used= 1.47668
maximum resident set size= 3104128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224593
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59021
involuntary context switches= 683
# summary of solver processes directly reported to runsolver:
# pid: 4639
# total CPU time (s): 2520.12
# total CPU user time (s): 2518.65
# total CPU system time (s): 1.47668
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5879 second user time and 25.9156 second system time
The end