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: Mon Jul 23 16:46:40 CEST 2018
0.67/0.55 c PID: 16986
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
7.51/3.06 c (2,2) Parsing End
7.51/3.07 c (2,2) CSP: 324 int (0 aux), 0 bool (0 aux), 22691 ctr, max domain size 6
7.51/3.07 c (2,2) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
7.51/3.07 c (2,2) Constraint Name Generate Begin
7.74/3.16 c (2,2) Ctr:HOME/instance-4294423-1532357200.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
7.74/3.16 c (2,2) Constraint Name Generate End
7.74/3.16 c (2,2) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
7.74/3.16 c (2,2) CSP to CSPinCNF Begin
8.73/3.54 c (3,3) translated 2270 (10%) constraints
9.03/3.65 c (3,3) translated 4539 (20%) constraints
9.32/3.75 c (3,3) translated 6808 (30%) constraints
9.59/3.81 c (3,3) translated 9077 (40%) constraints
9.59/3.86 c (3,3) translated 11346 (50%) constraints
9.87/3.91 c (3,3) translated 13615 (60%) constraints
9.87/3.96 c (3,3) translated 15884 (70%) constraints
9.87/4.01 c (3,3) translated 18153 (80%) constraints
9.97/4.05 c (3,3) translated 20422 (90%) constraints
11.78/4.65 c (4,4) translated 22691 (100%) constraints
14.67/5.68 c (5,5) STATISTICS1:HOME/instance-4294423-1532357200.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,2785,27778,34359738368,6,4,36,34359738368:108;6:41342;1:5181,6:86211;2:7383;1:10759,4:23197;3:1987;2:2461;1:133,36:108;2:46523;1:11343,
14.67/5.68 c (5,5) ===========================================
14.67/5.68 c (5,5) Both Encoding selects:
14.67/5.68 c (5,5) Order
14.67/5.68 c (5,5) ===========================================
15.32/5.88 c (5,5) translated 2778 (10%) constraints
15.94/6.04 c (5,5) translated 5556 (20%) constraints
16.23/6.19 c (5,5) translated 8334 (30%) constraints
16.61/6.32 c (5,5) translated 11112 (40%) constraints
16.74/6.44 c (5,5) translated 13889 (50%) constraints
16.84/6.56 c (6,6) translated 16667 (60%) constraints
16.95/6.68 c (6,6) translated 19445 (70%) constraints
17.05/6.79 c (6,6) translated 22223 (80%) constraints
17.79/7.10 c (6,6) translated 25001 (90%) constraints
18.37/7.28 c (6,6) translated 27778 (100%) constraints
18.37/7.29 c (6,6) CSP to CSPinCNF End
18.37/7.29 c (6,6) CSP: 810 int (486 aux), 4405 bool (4405 aux), 32728 ctr, max domain size 7
18.37/7.29 c (6,6) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
18.37/7.29 c (6,6) CSPinCNF Propagation Begin
19.91/7.72 c (7,7) 786 values, 7372 unsatisfiable literals, and 6028 valid clauses are removed
19.91/7.72 c (7,7) CSPinCNF Propagation End
19.91/7.73 c (7,7) CSP: 1272 int (948 aux), 3943 bool (3943 aux), 26700 ctr, max domain size 7
19.91/7.73 c (7,7) Heap : 2591 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
19.91/7.73 c (7,7) Simplify CSPinCNF Begin
21.08/8.27 c (7,7) Simplify CSPinCNF End
21.08/8.27 c (7,7) CSP: 1272 int (948 aux), 14605 bool (14605 aux), 37362 ctr, max domain size 7
21.08/8.27 c (7,7) Heap : 2816 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
21.08/8.27 c (7,7) Calculate Precise Domain Begin
21.33/8.33 c (7,7) 0 values are removed by re-calculation
21.33/8.33 c (7,7) Calculate Precise Domain End
21.33/8.33 c (7,7) CSP: 1272 int (948 aux), 14605 bool (14605 aux), 37362 ctr, max domain size 7
21.33/8.33 c (7,7) Heap : 2816 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.33/8.33 c (7,7) CSPinCNF to SatSolver Begin
22.31/8.67 c (8,8) 3737 (10 %) CSP clauses are encoded (18637 SAT variables, 20428 SAT clauses)
22.61/8.79 c (8,8) 7473 (20 %) CSP clauses are encoded (18637 SAT variables, 36794 SAT clauses)
22.91/8.88 c (8,8) 11209 (30 %) CSP clauses are encoded (18637 SAT variables, 52340 SAT clauses)
23.24/8.95 c (8,8) 14945 (40 %) CSP clauses are encoded (18637 SAT variables, 67876 SAT clauses)
23.24/8.97 c (8,8) 18681 (50 %) CSP clauses are encoded (18637 SAT variables, 72392 SAT clauses)
23.24/8.99 c (8,8) 22418 (60 %) CSP clauses are encoded (18637 SAT variables, 76129 SAT clauses)
23.41/9.02 c (8,8) 26154 (70 %) CSP clauses are encoded (18637 SAT variables, 79865 SAT clauses)
23.68/9.12 c (8,8) 29890 (80 %) CSP clauses are encoded (18637 SAT variables, 95025 SAT clauses)
23.93/9.26 c (8,8) 33626 (90 %) CSP clauses are encoded (18637 SAT variables, 121609 SAT clauses)
24.15/9.35 c (8,8) 37362 (100 %) CSP clauses are encoded (18637 SAT variables, 141343 SAT clauses)
24.15/9.35 c (8,8) CSPinCNF to SatSolver End
24.15/9.35 c (8,8) Heap : 577 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.69/9.55 c (9,8) STATISTICS2:HOME/instance-4294423-1532357200.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,15877,37362,64,7,4,7,64:576;49:384;6:11102;1:89,7:1728;6:28053;2:96705;1:89,4:18117;3:1199;2:17049;1:997,7:576;3:384;2:11191;1:99009,
24.69/9.55 c (9,8) SatSolver.solve Begin
24.69/9.55 c (9,8) 18637 bool, 141348 clause
24.69/9.55 c (9,8) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4294423-1532357200.xml-scop-16986.cnf HOME/instance-4294423-1532357200.xml-scop-16986.cnf.out
2520.00/2503.30 c (2502,8) SatSolver is killed by some reasons.
2520.00/2503.30 c (2502,8) 2,2,6,7,7,7,8,TO,TO,STOP-AFTER(DIMACS)
2520.00/2503.30 s UNKNOWN
2520.00/2503.30 c END-Prog: Mon Jul 23 17:28:23 CEST 2018
2520.00/2503.30 c (2502,0) receiving signal SIGTERM
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (2879 MiB free)
memory of node 1: 16384 MiB (10504 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294423-1532357200/watcher-4294423-1532357200 -o /tmp/evaluation-result-4294423-1532357200/solver-4294423-1532357200 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294423-1532357200.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=16986, runsolver pid=16983
Current StackSize limit: 8192 KiB
[startup+0.102143 s]*
/proc/loadavg: 1.96 2.05 2.07 3/220 17001
/proc/meminfo: memFree=13644000/32770624 swapFree=67108860/67108860
[pid=16986] ppid=16983 vsize=15011656 memory=74132 CPUtime=0.12 cores=1,3,5,7
/proc/16986/stat : 16986 (java) S 16983 16986 8919 0 -1 1077944320 7220 0 0 0 10 2 0 0 20 0 15 0 53283156 15371935744 18533 33554432000 4194304 4196468 140733670905536 140733670888080 140494607941367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
/proc/16986/statm: 3752914 18533 2780 1 0 3715374 0
[pid=16986/tid=16988] ppid=16983 vsize=15011656 memory=-6727144656924359504 CPUtime=0.09 cores=1,3,5,7
/proc/16986/task/16988/stat : 16988 (java) R 16983 16986 8919 0 -1 4202560 5413 0 0 0 8 1 0 0 20 0 15 0 53283156 15371935744 18665 33554432000 4194304 4196468 140733670905536 140494579753352 140494607953302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16989] ppid=16983 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16989/stat : 16989 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283158 15371935744 18665 33554432000 4194304 4196468 140733670905536 140494612183952 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16990] ppid=16983 vsize=15011656 memory=140221594760832 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16990/stat : 16990 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283158 15371935744 18665 33554432000 4194304 4196468 140733670905536 140494426340112 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16991] ppid=16983 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16991/stat : 16991 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283158 15371935744 18665 33554432000 4194304 4196468 140733670905536 140494425287824 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16992] ppid=16983 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16992/stat : 16992 (java) S 16983 16986 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53283158 15371935744 18665 33554432000 4194304 4196468 140733670905536 140494424235024 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16993] ppid=16983 vsize=15011656 memory=140221594760832 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16993/stat : 16993 (java) S 16983 16986 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53283159 15371935744 18665 33554432000 4194304 4196468 140733670905536 140493376698480 140494607952514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16994] ppid=16983 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16994/stat : 16994 (java) S 16983 16986 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53283160 15371935744 18665 33554432000 4194304 4196468 140733670905536 140493279191840 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16995] ppid=16983 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16995/stat : 16995 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283160 15371935744 18665 33554432000 4194304 4196468 140733670905536 140493010756720 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16996] ppid=16983 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16996/stat : 16996 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53283162 15371935744 18665 33554432000 4194304 4196468 140733670905536 140492636248144 140494607959963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16997] ppid=16983 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16997/stat : 16997 (java) S 16983 16986 8919 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 53283162 15371935744 18665 33554432000 4194304 4196468 140733670905536 140493375646320 140494607952514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16998] ppid=16983 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16998/stat : 16998 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53283162 15371935744 18665 33554432000 4194304 4196468 140733670905536 140493374593520 140494607952514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16999] ppid=16983 vsize=15011656 memory=140221594760832 CPUtime=0.01 cores=1,3,5,7
/proc/16986/task/16999/stat : 16999 (java) R 16983 16986 8919 0 -1 4202560 274 0 0 0 1 0 0 0 20 0 15 0 53283162 15371935744 18665 33554432000 4194304 4196468 140733670905536 140493373541232 140494592589800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17000] ppid=16983 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17000/stat : 17000 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53283163 15371935744 18665 33554432000 4194304 4196468 140733670905536 140492138343392 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17001] ppid=16983 vsize=15011656 memory=140221594760832 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17001/stat : 17001 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283163 15371935744 18665 33554432000 4194304 4196468 140733670905536 140493372488112 140494607952514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74132 KiB
[startup+0.210527 s]*
/proc/loadavg: 1.96 2.05 2.07 3/220 17001
/proc/meminfo: memFree=13630668/32770624 swapFree=67108860/67108860
[pid=16986] ppid=16983 vsize=15011656 memory=85912 CPUtime=0.25 cores=1,3,5,7
/proc/16986/stat : 16986 (java) S 16983 16986 8919 0 -1 1077944320 10364 0 0 0 23 2 0 0 20 0 15 0 53283156 15371935744 21478 33554432000 4194304 4196468 140733670905536 140733670888080 140494607941367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
/proc/16986/statm: 3752914 21478 2944 1 0 3715374 0
[pid=16986/tid=16988] ppid=16983 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/16986/task/16988/stat : 16988 (java) S 16983 16986 8919 0 -1 1077944384 8271 0 0 0 18 2 0 0 20 0 15 0 53283156 15371935744 21478 33554432000 4194304 4196468 140733670905536 140494579764816 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16989] ppid=16983 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16989/stat : 16989 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283158 15371935744 21478 33554432000 4194304 4196468 140733670905536 140494612183952 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16990] ppid=16983 vsize=15011656 memory=288370597746472576 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16990/stat : 16990 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283158 15371935744 21478 33554432000 4194304 4196468 140733670905536 140494426340112 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16991] ppid=16983 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16991/stat : 16991 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283158 15371935744 21478 33554432000 4194304 4196468 140733670905536 140494425287824 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16992] ppid=16983 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16992/stat : 16992 (java) S 16983 16986 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53283158 15371935744 21478 33554432000 4194304 4196468 140733670905536 140494424235024 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16993] ppid=16983 vsize=15011656 memory=140221594760832 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16993/stat : 16993 (java) S 16983 16986 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53283159 15371935744 21478 33554432000 4194304 4196468 140733670905536 140493376698480 140494607952514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16994] ppid=16983 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16994/stat : 16994 (java) S 16983 16986 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53283160 15371935744 21478 33554432000 4194304 4196468 140733670905536 140493279191840 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16995] ppid=16983 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16995/stat : 16995 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283160 15371935744 21478 33554432000 4194304 4196468 140733670905536 140493010756720 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16996] ppid=16983 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16996/stat : 16996 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53283162 15371935744 21478 33554432000 4194304 4196468 140733670905536 140492636248144 140494607959963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16997] ppid=16983 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16986/task/16997/stat : 16997 (java) R 16983 16986 8919 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 15 0 53283162 15371935744 21478 33554432000 4194304 4196468 140733670905536 140493375646320 140494607952514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16998] ppid=16983 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16998/stat : 16998 (java) R 16983 16986 8919 0 -1 4202560 133 0 0 0 0 0 0 0 20 0 15 0 53283162 15371935744 21478 33554432000 4194304 4196468 140733670905536 140493374593520 140494591480376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16999] ppid=16983 vsize=15011656 memory=140221594760832 CPUtime=0.03 cores=1,3,5,7
/proc/16986/task/16999/stat : 16999 (java) S 16983 16986 8919 0 -1 1077944384 291 0 0 0 3 0 0 0 20 0 15 0 53283162 15371935744 21478 33554432000 4194304 4196468 140733670905536 140493373541232 140494607952514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17000] ppid=16983 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17000/stat : 17000 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53283163 15371935744 21478 33554432000 4194304 4196468 140733670905536 140492138343392 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17001] ppid=16983 vsize=15011656 memory=140221594760832 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17001/stat : 17001 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283163 15371935744 21478 33554432000 4194304 4196468 140733670905536 140493372488112 140494607952514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85912 KiB
[startup+0.310525 s]*
/proc/loadavg: 1.96 2.05 2.07 4/220 17001
/proc/meminfo: memFree=13627008/32770624 swapFree=67108860/67108860
[pid=16986] ppid=16983 vsize=15011656 memory=89712 CPUtime=0.43 cores=1,3,5,7
/proc/16986/stat : 16986 (java) S 16983 16986 8919 0 -1 1077944320 10975 0 0 0 40 3 0 0 20 0 15 0 53283156 15371935744 22428 33554432000 4194304 4196468 140733670905536 140733670888080 140494607941367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
/proc/16986/statm: 3752914 22428 2995 1 0 3715374 0
[pid=16986/tid=16988] ppid=16983 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/16986/task/16988/stat : 16988 (java) R 16983 16986 8919 0 -1 4202560 8700 0 0 0 27 2 0 0 20 0 15 0 53283156 15371935744 22428 33554432000 4194304 4196468 140733670905536 140494579745520 140494102835006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16989] ppid=16983 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16989/stat : 16989 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283158 15371935744 22428 33554432000 4194304 4196468 140733670905536 140494612183952 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16990] ppid=16983 vsize=15011656 memory=288370597746472576 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16990/stat : 16990 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283158 15371935744 22428 33554432000 4194304 4196468 140733670905536 140494426340112 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16991] ppid=16983 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16991/stat : 16991 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283158 15371935744 22428 33554432000 4194304 4196468 140733670905536 140494425287824 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16992] ppid=16983 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16992/stat : 16992 (java) S 16983 16986 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53283158 15371935744 22428 33554432000 4194304 4196468 140733670905536 140494424235024 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16993] ppid=16983 vsize=15011656 memory=140221594760832 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16993/stat : 16993 (java) S 16983 16986 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53283159 15371935744 22428 33554432000 4194304 4196468 140733670905536 140493376698480 140494607952514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16994] ppid=16983 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16994/stat : 16994 (java) S 16983 16986 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53283160 15371935744 22428 33554432000 4194304 4196468 140733670905536 140493279191840 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16995] ppid=16983 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16995/stat : 16995 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283160 15371935744 22428 33554432000 4194304 4196468 140733670905536 140493010756720 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16996] ppid=16983 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16996/stat : 16996 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53283162 15371935744 22428 33554432000 4194304 4196468 140733670905536 140492636248144 140494607959963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16997] ppid=16983 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16986/task/16997/stat : 16997 (java) R 16983 16986 8919 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 53283162 15371935744 22428 33554432000 4194304 4196468 140733670905536 140493375646320 140494607952514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16998] ppid=16983 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16986/task/16998/stat : 16998 (java) R 16983 16986 8919 0 -1 4202560 246 0 0 0 2 0 0 0 20 0 15 0 53283162 15371935744 22428 33554432000 4194304 4196468 140733670905536 140493374593520 140494591910977 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16999] ppid=16983 vsize=15011656 memory=140221594760832 CPUtime=0.07 cores=1,3,5,7
/proc/16986/task/16999/stat : 16999 (java) R 16983 16986 8919 0 -1 4202560 336 0 0 0 7 0 0 0 20 0 15 0 53283162 15371935744 22428 33554432000 4194304 4196468 140733670905536 140493373541232 140494586859856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17000] ppid=16983 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17000/stat : 17000 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53283163 15371935744 22428 33554432000 4194304 4196468 140733670905536 140492138343392 140494607951573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17001] ppid=16983 vsize=15011656 memory=140221594760832 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17001/stat : 17001 (java) R 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283163 15371935744 22428 33554432000 4194304 4196468 140733670905536 140493372488112 140494607952514 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89712 KiB
[startup+0.70919 s]
/proc/loadavg: 1.96 2.05 2.07 3/220 17001
/proc/meminfo: memFree=13602328/32770624 swapFree=67108860/67108860
[pid=16986] ppid=16983 vsize=15017928 memory=132084 CPUtime=1.09 cores=1,3,5,7
/proc/16986/stat : 16986 (java) S 16983 16986 8919 0 -1 1077944320 18134 0 0 0 103 6 0 0 20 0 15 0 53283156 15378358272 32955 33554432000 4194304 4196468 140733670905536 140733670888080 140494607941367 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
/proc/16986/statm: 3754482 32955 3148 1 0 3715886 0
[pid=16986/tid=16988] ppid=16983 vsize=15017928 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/16986/task/16988/stat : 16988 (java) R 16983 16986 8919 0 -1 4202560 15190 0 0 0 63 4 0 0 20 0 15 0 53283156 15378358272 33021 33554432000 4194304 4196468 140733670905536 140494579779312 140494607963293 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16989] ppid=16983 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16989/stat : 16989 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283158 15378358272 33087 33554432000 4194304 4196468 140733670905536 140494612183952 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16990] ppid=16983 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16990/stat : 16990 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283158 15378358272 33087 33554432000 4194304 4196468 140733670905536 140494426340112 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16991] ppid=16983 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16991/stat : 16991 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283158 15378358272 33087 33554432000 4194304 4196468 140733670905536 140494425287824 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16992] ppid=16983 vsize=15017928 memory=213205867582912 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16992/stat : 16992 (java) S 16983 16986 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53283158 15378358272 33087 33554432000 4194304 4196468 140733670905536 140494424235024 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16993] ppid=16983 vsize=15017928 memory=287128 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16993/stat : 16993 (java) S 16983 16986 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53283159 15378358272 33087 33554432000 4194304 4196468 140733670905536 140493376698480 140494607952514 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16994] ppid=16983 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16994/stat : 16994 (java) S 16983 16986 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53283160 15378358272 33087 33554432000 4194304 4196468 140733670905536 140493279191840 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16995] ppid=16983 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16995/stat : 16995 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283160 15378358272 33087 33554432000 4194304 4196468 140733670905536 140493010756720 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16996] ppid=16983 vsize=15017928 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16996/stat : 16996 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53283162 15378358272 33087 33554432000 4194304 4196468 140733670905536 140492636248144 140494607959963 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16997] ppid=16983 vsize=15017928 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/16986/task/16997/stat : 16997 (java) R 16983 16986 8919 0 -1 4202560 629 0 0 0 11 0 0 0 20 0 15 0 53283162 15378358272 33087 33554432000 4194304 4196468 140733670905536 140493375637776 140494587187509 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16998] ppid=16983 vsize=15017928 memory=-3472574513799858009 CPUtime=0.09 cores=1,3,5,7
/proc/16986/task/16998/stat : 16998 (java) R 16983 16986 8919 0 -1 4202560 512 0 0 0 9 0 0 0 20 0 15 0 53283162 15378358272 33087 33554432000 4194304 4196468 140733670905536 140493374583120 140494588641664 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16999] ppid=16983 vsize=15017928 memory=6944656592387989600 CPUtime=0.19 cores=1,3,5,7
/proc/16986/task/16999/stat : 16999 (java) R 16983 16986 8919 0 -1 4202560 557 0 0 0 19 0 0 0 20 0 15 0 53283162 15378358272 33087 33554432000 4194304 4196468 140733670905536 140493373538168 140494101282926 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17000] ppid=16983 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17000/stat : 17000 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53283163 15378358272 33087 33554432000 4194304 4196468 140733670905536 140492138343392 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17001] ppid=16983 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17001/stat : 17001 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283163 15378358272 33087 33554432000 4194304 4196468 140733670905536 140493372488112 140494607952514 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 132084 KiB
[startup+1.50069 s]
/proc/loadavg: 1.96 2.05 2.07 5/220 17001
/proc/meminfo: memFree=13531280/32770624 swapFree=67108860/67108860
[pid=16986] ppid=16983 vsize=15020052 memory=407240 CPUtime=3.54 cores=1,3,5,7
/proc/16986/stat : 16986 (java) S 16983 16986 8919 0 -1 1077944320 20553 0 0 0 344 10 0 0 20 0 15 0 53283156 15380533248 101810 33554432000 4194304 4196468 140733670905536 140733670888080 140494607941367 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
/proc/16986/statm: 3755013 101810 3200 1 0 3716398 0
[pid=16986/tid=16988] ppid=16983 vsize=15020052 memory=126 CPUtime=1.46 cores=1,3,5,7
/proc/16986/task/16988/stat : 16988 (java) R 16983 16986 8919 0 -1 4202560 15975 0 0 0 138 8 0 0 20 0 15 0 53283156 15380533248 101810 33554432000 4194304 4196468 140733670905536 140494579778448 140494589347656 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16989] ppid=16983 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16989/stat : 16989 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283158 15380533248 101810 33554432000 4194304 4196468 140733670905536 140494612183952 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16990] ppid=16983 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16990/stat : 16990 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283158 15380533248 101810 33554432000 4194304 4196468 140733670905536 140494426340112 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16991] ppid=16983 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16991/stat : 16991 (java) S 16983 16986 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53283158 15380533248 101810 33554432000 4194304 4196468 140733670905536 140494425287824 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16992] ppid=16983 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16992/stat : 16992 (java) S 16983 16986 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53283158 15380533248 101810 33554432000 4194304 4196468 140733670905536 140494424235024 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16993] ppid=16983 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16993/stat : 16993 (java) S 16983 16986 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53283159 15380533248 101810 33554432000 4194304 4196468 140733670905536 140493376698480 140494607952514 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
################
# More data... #
################
/proc/meminfo: memFree=11558996/32770624 swapFree=67108860/67108860
[pid=16986] ppid=16983 vsize=15683912 memory=3076324 CPUtime=26.22 cores=1,3,5,7
/proc/16986/stat : 16986 (java) S 16983 16986 8919 0 -1 1077944320 37583 0 0 0 2509 113 0 0 20 0 19 0 53283156 16060325888 769081 33554432000 4194304 4196468 140733670905536 140733670888080 140494607941367 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
/proc/16986/statm: 3920978 769081 3243 1 0 3881834 0
[pid=17002] ppid=16986 vsize=177256 memory=156136 CPUtime=2492.78 cores=1,3,5,7
/proc/17002/stat : 17002 (minisat_release) R 16986 16986 8919 0 -1 4202496 227328 0 0 0 249256 22 0 0 20 0 1 0 53284113 181510144 39034 33554432000 4194304 4308513 140723087452720 140723087449720 4276123 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 42020864 140723087454895 140723087455406 140723087455406 140723087458245 0
/proc/17002/statm: 44314 39034 354 28 0 40554 0
[pid=16986/tid=16988] ppid=16983 vsize=15683912 memory=3076324 CPUtime=9.48 cores=1,3,5,7
/proc/16986/task/16988/stat : 16988 (java) S 16983 16986 8919 0 -1 1077944384 18924 0 0 0 901 47 0 0 20 0 19 0 53283156 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494579780608 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16989] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0.06 cores=1,3,5,7
/proc/16986/task/16989/stat : 16989 (java) S 16983 16986 8919 0 -1 1077944384 30 0 0 0 5 1 0 0 20 0 19 0 53283158 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494612183952 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16990] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0.04 cores=1,3,5,7
/proc/16986/task/16990/stat : 16990 (java) S 16983 16986 8919 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 19 0 53283158 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494426340112 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16991] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0.06 cores=1,3,5,7
/proc/16986/task/16991/stat : 16991 (java) S 16983 16986 8919 0 -1 1077944384 301 0 0 0 5 1 0 0 20 0 19 0 53283158 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494425287824 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16992] ppid=16983 vsize=15683912 memory=156136 CPUtime=0.06 cores=1,3,5,7
/proc/16986/task/16992/stat : 16992 (java) S 16983 16986 8919 0 -1 1077944384 31 0 0 0 5 1 0 0 20 0 19 0 53283158 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494424235024 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16993] ppid=16983 vsize=15683912 memory=3532 CPUtime=0.05 cores=1,3,5,7
/proc/16986/task/16993/stat : 16993 (java) S 16983 16986 8919 0 -1 1077944384 23 0 0 0 2 3 0 0 20 0 19 0 53283159 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493376698480 140494607952514 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16994] ppid=16983 vsize=15683912 memory=156136 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16994/stat : 16994 (java) S 16983 16986 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53283160 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493279191840 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16995] ppid=16983 vsize=15683912 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16995/stat : 16995 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53283160 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493010756720 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16996] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16996/stat : 16996 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53283162 16060325888 769081 33554432000 4194304 4196468 140733670905536 140492636248144 140494607959963 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16997] ppid=16983 vsize=15683912 memory=3076324 CPUtime=6.67 cores=1,3,5,7
/proc/16986/task/16997/stat : 16997 (java) S 16983 16986 8919 0 -1 1077944384 5964 0 0 0 666 1 0 0 20 0 19 0 53283162 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493375646320 140494607952514 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16998] ppid=16983 vsize=15683912 memory=156136 CPUtime=6.87 cores=1,3,5,7
/proc/16986/task/16998/stat : 16998 (java) S 16983 16986 8919 0 -1 1077944384 6446 0 0 0 685 2 0 0 20 0 19 0 53283162 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493374593520 140494607952514 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16999] ppid=16983 vsize=15683912 memory=3076324 CPUtime=1.74 cores=1,3,5,7
/proc/16986/task/16999/stat : 16999 (java) S 16983 16986 8919 0 -1 1077944384 4247 0 0 0 171 3 0 0 20 0 19 0 53283162 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493373541232 140494607952514 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17000] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17000/stat : 17000 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53283163 16060325888 769081 33554432000 4194304 4196468 140733670905536 140492138343392 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17001] ppid=16983 vsize=15683912 memory=156136 CPUtime=1.1 cores=1,3,5,7
/proc/16986/task/17001/stat : 17001 (java) S 16983 16986 8919 0 -1 1077944384 165 0 0 0 50 60 0 0 20 0 19 0 53283163 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493372488112 140494607952514 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17003] ppid=16983 vsize=15683912 memory=156136 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17003/stat : 17003 (java) S 16983 16986 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53284114 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494420341696 140494607965977 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17005] ppid=16983 vsize=15683912 memory=17112 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17005/stat : 17005 (java) S 16983 16986 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53284114 16060325888 769081 33554432000 4194304 4196468 140733670905536 140491601460656 140494607963293 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17006] ppid=16983 vsize=15683912 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17006/stat : 17006 (java) S 16983 16986 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53284114 16060325888 769081 33554432000 4194304 4196468 140733670905536 140491333025584 140494607963293 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17007] ppid=16983 vsize=15683912 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17007/stat : 17007 (java) S 16983 16986 8919 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 53284116 16060325888 769081 33554432000 4194304 4196468 140733670905536 140491869904288 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
Current children cumulated CPU time: 2519 s
Current children cumulated vsize: 15861168 KiB
Current children cumulated memory: 3232460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2503.3 s]
/proc/loadavg: 2.02 2.06 2.07 3/225 17186
/proc/meminfo: memFree=11558884/32770624 swapFree=67108860/67108860
[pid=16986] ppid=16983 vsize=15683912 memory=3076324 CPUtime=26.22 cores=1,3,5,7
/proc/16986/stat : 16986 (java) S 16983 16986 8919 0 -1 1077944320 37585 0 0 0 2509 113 0 0 20 0 19 0 53283156 16060325888 769081 33554432000 4194304 4196468 140733670905536 140733670888080 140494607941367 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
/proc/16986/statm: 3920978 769081 3243 1 0 3881834 0
[pid=17002] ppid=16986 vsize=177256 memory=156136 CPUtime=2493.78 cores=1,3,5,7
/proc/17002/stat : 17002 (minisat_release) R 16986 16986 8919 0 -1 4202496 227329 0 0 0 249356 22 0 0 20 0 1 0 53284113 181510144 39034 33554432000 4194304 4308513 140723087452720 140723087449720 4275995 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 42020864 140723087454895 140723087455406 140723087455406 140723087458245 0
/proc/17002/statm: 44314 39034 354 28 0 40554 0
[pid=16986/tid=16988] ppid=16983 vsize=15683912 memory=3076324 CPUtime=9.48 cores=1,3,5,7
/proc/16986/task/16988/stat : 16988 (java) S 16983 16986 8919 0 -1 1077944384 18924 0 0 0 901 47 0 0 20 0 19 0 53283156 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494579780608 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16989] ppid=16983 vsize=15683912 memory=156136 CPUtime=0.06 cores=1,3,5,7
/proc/16986/task/16989/stat : 16989 (java) S 16983 16986 8919 0 -1 1077944384 30 0 0 0 5 1 0 0 20 0 19 0 53283158 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494612183952 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16990] ppid=16983 vsize=15683912 memory=3532 CPUtime=0.04 cores=1,3,5,7
/proc/16986/task/16990/stat : 16990 (java) S 16983 16986 8919 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 19 0 53283158 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494426340112 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16991] ppid=16983 vsize=15683912 memory=156136 CPUtime=0.06 cores=1,3,5,7
/proc/16986/task/16991/stat : 16991 (java) S 16983 16986 8919 0 -1 1077944384 301 0 0 0 5 1 0 0 20 0 19 0 53283158 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494425287824 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16992] ppid=16983 vsize=15683912 memory=4104 CPUtime=0.06 cores=1,3,5,7
/proc/16986/task/16992/stat : 16992 (java) S 16983 16986 8919 0 -1 1077944384 31 0 0 0 5 1 0 0 20 0 19 0 53283158 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494424235024 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16993] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0.05 cores=1,3,5,7
/proc/16986/task/16993/stat : 16993 (java) S 16983 16986 8919 0 -1 1077944384 23 0 0 0 2 3 0 0 20 0 19 0 53283159 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493376698480 140494607952514 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16994] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16994/stat : 16994 (java) S 16983 16986 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53283160 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493279191840 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16995] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16995/stat : 16995 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53283160 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493010756720 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16996] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16996/stat : 16996 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53283162 16060325888 769081 33554432000 4194304 4196468 140733670905536 140492636248144 140494607959963 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16997] ppid=16983 vsize=15683912 memory=156136 CPUtime=6.67 cores=1,3,5,7
/proc/16986/task/16997/stat : 16997 (java) S 16983 16986 8919 0 -1 1077944384 5964 0 0 0 666 1 0 0 20 0 19 0 53283162 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493375646320 140494607952514 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16998] ppid=16983 vsize=15683912 memory=17112 CPUtime=6.87 cores=1,3,5,7
/proc/16986/task/16998/stat : 16998 (java) S 16983 16986 8919 0 -1 1077944384 6446 0 0 0 685 2 0 0 20 0 19 0 53283162 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493374593520 140494607952514 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16999] ppid=16983 vsize=15683912 memory=1296 CPUtime=1.74 cores=1,3,5,7
/proc/16986/task/16999/stat : 16999 (java) S 16983 16986 8919 0 -1 1077944384 4247 0 0 0 171 3 0 0 20 0 19 0 53283162 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493373541232 140494607952514 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17000] ppid=16983 vsize=15683912 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17000/stat : 17000 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53283163 16060325888 769081 33554432000 4194304 4196468 140733670905536 140492138343392 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17001] ppid=16983 vsize=15683912 memory=1712 CPUtime=1.1 cores=1,3,5,7
/proc/16986/task/17001/stat : 17001 (java) S 16983 16986 8919 0 -1 1077944384 167 0 0 0 50 60 0 0 20 0 19 0 53283163 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493372488112 140494607952514 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17003] ppid=16983 vsize=15683912 memory=5524 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17003/stat : 17003 (java) S 16983 16986 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53284114 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494420341696 140494607965977 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17005] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17005/stat : 17005 (java) S 16983 16986 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53284114 16060325888 769081 33554432000 4194304 4196468 140733670905536 140491601460656 140494607963293 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17006] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17006/stat : 17006 (java) S 16983 16986 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53284114 16060325888 769081 33554432000 4194304 4196468 140733670905536 140491333025584 140494607963293 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17007] ppid=16983 vsize=15683912 memory=156136 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17007/stat : 17007 (java) S 16983 16986 8919 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 53284116 16060325888 769081 33554432000 4194304 4196468 140733670905536 140491869904288 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15861168 KiB
Current children cumulated memory: 3232460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2503.33 s]
# the end of solver process 16986 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.67 s, system=1.3871 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2503.3 s]
/proc/loadavg: 2.02 2.06 2.07 3/225 17186
/proc/meminfo: memFree=11558884/32770624 swapFree=67108860/67108860
[pid=16986] ppid=16983 vsize=15683912 memory=3076324 CPUtime=26.22 cores=1,3,5,7
/proc/16986/stat : 16986 (java) S 16983 16986 8919 0 -1 1077944320 37585 0 0 0 2509 113 0 0 20 0 19 0 53283156 16060325888 769081 33554432000 4194304 4196468 140733670905536 140733670888080 140494607941367 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
/proc/16986/statm: 3920978 769081 3243 1 0 3881834 0
[pid=17002] ppid=16986 vsize=177256 memory=156136 CPUtime=2493.78 cores=1,3,5,7
/proc/17002/stat : 17002 (minisat_release) R 16986 16986 8919 0 -1 4202496 227329 0 0 0 249356 22 0 0 20 0 1 0 53284113 181510144 39034 33554432000 4194304 4308513 140723087452720 140723087449720 4275995 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 42020864 140723087454895 140723087455406 140723087455406 140723087458245 0
/proc/17002/statm: 44314 39034 354 28 0 40554 0
[pid=16986/tid=16988] ppid=16983 vsize=15683912 memory=3076324 CPUtime=9.48 cores=1,3,5,7
/proc/16986/task/16988/stat : 16988 (java) S 16983 16986 8919 0 -1 1077944384 18924 0 0 0 901 47 0 0 20 0 19 0 53283156 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494579780608 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16989] ppid=16983 vsize=15683912 memory=156136 CPUtime=0.06 cores=1,3,5,7
/proc/16986/task/16989/stat : 16989 (java) S 16983 16986 8919 0 -1 1077944384 30 0 0 0 5 1 0 0 20 0 19 0 53283158 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494612183952 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16990] ppid=16983 vsize=15683912 memory=3532 CPUtime=0.04 cores=1,3,5,7
/proc/16986/task/16990/stat : 16990 (java) S 16983 16986 8919 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 19 0 53283158 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494426340112 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16991] ppid=16983 vsize=15683912 memory=156136 CPUtime=0.06 cores=1,3,5,7
/proc/16986/task/16991/stat : 16991 (java) S 16983 16986 8919 0 -1 1077944384 301 0 0 0 5 1 0 0 20 0 19 0 53283158 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494425287824 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16992] ppid=16983 vsize=15683912 memory=4104 CPUtime=0.06 cores=1,3,5,7
/proc/16986/task/16992/stat : 16992 (java) S 16983 16986 8919 0 -1 1077944384 31 0 0 0 5 1 0 0 20 0 19 0 53283158 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494424235024 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16993] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0.05 cores=1,3,5,7
/proc/16986/task/16993/stat : 16993 (java) S 16983 16986 8919 0 -1 1077944384 23 0 0 0 2 3 0 0 20 0 19 0 53283159 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493376698480 140494607952514 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16994] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16994/stat : 16994 (java) S 16983 16986 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53283160 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493279191840 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16995] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16995/stat : 16995 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53283160 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493010756720 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16996] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0 cores=1,3,5,7
/proc/16986/task/16996/stat : 16996 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53283162 16060325888 769081 33554432000 4194304 4196468 140733670905536 140492636248144 140494607959963 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16997] ppid=16983 vsize=15683912 memory=156136 CPUtime=6.67 cores=1,3,5,7
/proc/16986/task/16997/stat : 16997 (java) S 16983 16986 8919 0 -1 1077944384 5964 0 0 0 666 1 0 0 20 0 19 0 53283162 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493375646320 140494607952514 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16998] ppid=16983 vsize=15683912 memory=17112 CPUtime=6.87 cores=1,3,5,7
/proc/16986/task/16998/stat : 16998 (java) S 16983 16986 8919 0 -1 1077944384 6446 0 0 0 685 2 0 0 20 0 19 0 53283162 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493374593520 140494607952514 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=16999] ppid=16983 vsize=15683912 memory=1296 CPUtime=1.74 cores=1,3,5,7
/proc/16986/task/16999/stat : 16999 (java) S 16983 16986 8919 0 -1 1077944384 4247 0 0 0 171 3 0 0 20 0 19 0 53283162 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493373541232 140494607952514 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17000] ppid=16983 vsize=15683912 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17000/stat : 17000 (java) S 16983 16986 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53283163 16060325888 769081 33554432000 4194304 4196468 140733670905536 140492138343392 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17001] ppid=16983 vsize=15683912 memory=1712 CPUtime=1.1 cores=1,3,5,7
/proc/16986/task/17001/stat : 17001 (java) S 16983 16986 8919 0 -1 1077944384 167 0 0 0 50 60 0 0 20 0 19 0 53283163 16060325888 769081 33554432000 4194304 4196468 140733670905536 140493372488112 140494607952514 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17003] ppid=16983 vsize=15683912 memory=5524 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17003/stat : 17003 (java) S 16983 16986 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53284114 16060325888 769081 33554432000 4194304 4196468 140733670905536 140494420341696 140494607965977 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17005] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17005/stat : 17005 (java) S 16983 16986 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53284114 16060325888 769081 33554432000 4194304 4196468 140733670905536 140491601460656 140494607963293 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17006] ppid=16983 vsize=15683912 memory=3076324 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17006/stat : 17006 (java) S 16983 16986 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53284114 16060325888 769081 33554432000 4194304 4196468 140733670905536 140491333025584 140494607963293 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
[pid=16986/tid=17007] ppid=16983 vsize=15683912 memory=156136 CPUtime=0 cores=1,3,5,7
/proc/16986/task/17007/stat : 17007 (java) S 16983 16986 8919 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 53284116 16060325888 769081 33554432000 4194304 4196468 140733670905536 140491869904288 140494607951573 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14155776 140733670908916 140733670909193 140733670909193 140733670911951 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15861168 KiB
Current children cumulated memory: 3232460 KiB
Child status: 1
Real time (s): 2503.33
CPU time (s): 2520.06
CPU user time (s): 2518.67
CPU system time (s): 1.3871
CPU usage (%): 100.668
Max. virtual memory (cumulated for all children) (KiB): 15861172
Max. memory (cumulated for all children) (KiB): 3232460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.67
system time used= 1.3871
maximum resident set size= 3082840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264981
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59691
involuntary context switches= 706
# summary of solver processes directly reported to runsolver:
# pid: 16986
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.67
# total CPU system time (s): 1.3871
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4819 second user time and 26.0624 second system time
The end