0.66/0.52
0.66/0.53 scop both+minisat_release (2018-06-13)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Wed Jul 25 22:20:03 CEST 2018
0.66/0.55 c PID: 1886
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.52/1.33 c (0,0) Parsing End
2.52/1.34 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 456 ctr, max domain size 23
2.52/1.34 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.52/1.34 c (0,0) Constraint Name Generate Begin
2.52/1.35 c (0,0) Ctr:HOME/instance-4295633-1532550002.xml,ExtensionConflict:ExtensionSupport:IntVar
2.52/1.35 c (0,0) Constraint Name Generate End
2.52/1.35 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.52/1.35 c (0,0) CSP to CSPinCNF Begin
5.38/2.32 c (1,1) translated 46 (10%) constraints
6.61/2.70 c (2,2) translated 92 (20%) constraints
7.57/3.04 c (2,2) translated 137 (30%) constraints
8.43/3.33 c (2,2) translated 183 (40%) constraints
9.34/3.61 c (3,2) translated 228 (50%) constraints
9.96/3.89 c (3,3) translated 274 (60%) constraints
10.89/4.18 c (3,3) translated 320 (70%) constraints
11.77/4.43 c (3,3) translated 365 (80%) constraints
12.39/4.66 c (4,3) translated 411 (90%) constraints
12.99/4.88 c (4,4) translated 456 (100%) constraints
14.21/5.26 c (4,4) STATISTICS1:HOME/instance-4295633-1532550002.xml,ExtensionConflict:ExtensionSupport:IntVar,326,50237,-1,23,24,1,,23:188503;2:3777,24:12;4:42009;3:7536;2:680,1:192280;0:12,
14.21/5.26 c (4,4) ===========================================
14.21/5.26 c (4,4) Both Encoding selects:
14.21/5.26 c (4,4) Order
14.21/5.26 c (4,4) ===========================================
14.87/5.42 c (4,4) translated 5024 (10%) constraints
15.23/5.53 c (5,4) translated 10048 (20%) constraints
15.55/5.69 c (5,5) translated 15072 (30%) constraints
16.15/5.80 c (5,5) translated 20095 (40%) constraints
16.39/5.90 c (5,5) translated 25119 (50%) constraints
16.39/5.99 c (5,5) translated 30143 (60%) constraints
16.52/6.08 c (5,5) translated 35166 (70%) constraints
16.65/6.17 c (5,5) translated 40190 (80%) constraints
16.74/6.26 c (5,5) translated 45214 (90%) constraints
16.83/6.35 c (5,5) translated 50237 (100%) constraints
16.83/6.35 c (5,5) CSP to CSPinCNF End
16.83/6.35 c (5,5) CSP: 50 int (0 aux), 276 bool (276 aux), 50237 ctr, max domain size 23
16.83/6.35 c (5,5) Heap : 2027 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.83/6.35 c (5,5) CSPinCNF Propagation Begin
17.67/6.71 c (6,6) 0 values, 4945 unsatisfiable literals, and 0 valid clauses are removed
17.67/6.71 c (6,6) CSPinCNF Propagation End
17.67/6.71 c (6,6) CSP: 50 int (0 aux), 276 bool (276 aux), 50237 ctr, max domain size 23
17.67/6.71 c (6,6) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.67/6.71 c (6,6) Simplify CSPinCNF Begin
17.84/6.85 c (6,6) Simplify CSPinCNF End
17.84/6.85 c (6,6) CSP: 50 int (0 aux), 276 bool (276 aux), 50237 ctr, max domain size 23
17.84/6.85 c (6,6) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.84/6.85 c (6,6) Calculate Precise Domain Begin
17.84/6.85 c (6,6) 0 values are removed by re-calculation
17.84/6.85 c (6,6) Calculate Precise Domain End
17.84/6.85 c (6,6) CSP: 50 int (0 aux), 276 bool (276 aux), 50237 ctr, max domain size 23
17.84/6.85 c (6,6) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.84/6.85 c (6,6) CSPinCNF to SatSolver Begin
18.03/6.99 c (6,6) 5024 (10 %) CSP clauses are encoded (1376 SAT variables, 6073 SAT clauses)
18.35/7.05 c (6,6) 10048 (20 %) CSP clauses are encoded (1376 SAT variables, 11097 SAT clauses)
18.35/7.09 c (6,6) 15072 (30 %) CSP clauses are encoded (1376 SAT variables, 16121 SAT clauses)
18.66/7.13 c (6,6) 20095 (40 %) CSP clauses are encoded (1376 SAT variables, 21144 SAT clauses)
18.66/7.16 c (6,6) 25119 (50 %) CSP clauses are encoded (1376 SAT variables, 26168 SAT clauses)
18.86/7.20 c (6,6) 30143 (60 %) CSP clauses are encoded (1376 SAT variables, 31192 SAT clauses)
18.86/7.24 c (6,6) 35166 (70 %) CSP clauses are encoded (1376 SAT variables, 36215 SAT clauses)
18.86/7.27 c (6,6) 40190 (80 %) CSP clauses are encoded (1376 SAT variables, 41239 SAT clauses)
18.96/7.31 c (6,6) 45214 (90 %) CSP clauses are encoded (1376 SAT variables, 46263 SAT clauses)
18.96/7.35 c (6,6) 50237 (100 %) CSP clauses are encoded (1376 SAT variables, 51286 SAT clauses)
18.96/7.35 c (6,6) CSPinCNF to SatSolver End
18.96/7.35 c (6,6) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.72/7.68 c (7,6) STATISTICS2:HOME/instance-4295633-1532550002.xml,ExtensionConflict:ExtensionSupport:IntVar,326,50237,-1,23,23,1,,23:183570;2:3777,23:12;4:37457;3:11707;2:1061,1:187347,
19.72/7.68 c (7,6) SatSolver.solve Begin
19.72/7.68 c (7,6) 1376 bool, 51287 clause
19.72/7.68 c (7,6) 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-4295633-1532550002.xml-scop-1886.cnf HOME/instance-4295633-1532550002.xml-scop-1886.cnf.out
2520.08/2506.50 c (2505,6) SatSolver is killed by some reasons.
2520.08/2506.50 c (2505,6) 0,0,5,6,6,6,6,TO,TO,STOP-AFTER(DIMACS)
2520.08/2506.50 s UNKNOWN
2520.08/2506.50 c END-Prog: Wed Jul 25 23:01:49 CEST 2018
2520.08/2506.50 c (2505,0) receiving signal SIGTERM
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8223 MiB free)
memory of node 1: 16384 MiB (12505 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295633-1532550002/watcher-4295633-1532550002 -o /tmp/evaluation-result-4295633-1532550002/solver-4295633-1532550002 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29243 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295633-1532550002.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1886, runsolver pid=1883
[startup+0.100094 s]*
/proc/loadavg: 2.00 2.01 2.05 3/221 1901
/proc/meminfo: memFree=21165728/32770624 swapFree=67076560/67108860
[pid=1886] ppid=1883 vsize=15011656 memory=72956 CPUtime=0.11 cores=0,2,4,6
/proc/1886/stat : 1886 (java) S 1883 1886 29212 0 -1 1077944320 6994 0 0 0 9 2 0 0 20 0 15 0 72563386 15371935744 18239 33554432000 4194304 4196468 140724579917456 140724579900000 140470119497463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
/proc/1886/statm: 3752914 18239 2746 1 0 3715374 0
[pid=1886/tid=1888] ppid=1883 vsize=15011656 memory=7100839887284243048 CPUtime=0.09 cores=0,2,4,6
/proc/1886/task/1888/stat : 1888 (java) R 1883 1886 29212 0 -1 4202560 5150 0 0 0 7 2 0 0 20 0 15 0 72563386 15371935744 18370 33554432000 4194304 4196468 140724579917456 140470091309448 140470102684272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1889] ppid=1883 vsize=15011656 memory=3472328295574039403 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1889/stat : 1889 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72563388 15371935744 18370 33554432000 4194304 4196468 140724579917456 140470123739536 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1890] ppid=1883 vsize=15011656 memory=139994907395712 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1890/stat : 1890 (java) S 1883 1886 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72563388 15371935744 18370 33554432000 4194304 4196468 140724579917456 140469937895696 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1891] ppid=1883 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1891/stat : 1891 (java) S 1883 1886 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72563388 15371935744 18370 33554432000 4194304 4196468 140724579917456 140469936843408 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1892] ppid=1883 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1892/stat : 1892 (java) S 1883 1886 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72563388 15371935744 18370 33554432000 4194304 4196468 140724579917456 140469935790608 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1893] ppid=1883 vsize=15011656 memory=139994907395712 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1893/stat : 1893 (java) S 1883 1886 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72563389 15371935744 18370 33554432000 4194304 4196468 140724579917456 140469157870192 140470119508610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1894] ppid=1883 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1894/stat : 1894 (java) S 1883 1886 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72563390 15371935744 18370 33554432000 4194304 4196468 140724579917456 140468650239264 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1895] ppid=1883 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1895/stat : 1895 (java) S 1883 1886 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72563390 15371935744 18370 33554432000 4194304 4196468 140724579917456 140468381804144 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1896] ppid=1883 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1896/stat : 1896 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72563393 15371935744 18370 33554432000 4194304 4196468 140724579917456 140468007295568 140470119516059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1897] ppid=1883 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1897/stat : 1897 (java) S 1883 1886 29212 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 72563393 15371935744 18370 33554432000 4194304 4196468 140724579917456 140469156817008 140470119508610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1898] ppid=1883 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1898/stat : 1898 (java) S 1883 1886 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72563393 15371935744 18370 33554432000 4194304 4196468 140724579917456 140469155764208 140470119508610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1899] ppid=1883 vsize=15011656 memory=139994907395712 CPUtime=0.01 cores=0,2,4,6
/proc/1886/task/1899/stat : 1899 (java) S 1883 1886 29212 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 72563393 15371935744 18370 33554432000 4194304 4196468 140724579917456 140469154711920 140470119508610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1900] ppid=1883 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1900/stat : 1900 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72563393 15371935744 18370 33554432000 4194304 4196468 140724579917456 140467509389792 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1901] ppid=1883 vsize=15011656 memory=139994907395712 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1901/stat : 1901 (java) S 1883 1886 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72563393 15371935744 18370 33554432000 4194304 4196468 140724579917456 140469153659824 140470119508610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72956 KiB
[startup+0.210366 s]*
/proc/loadavg: 2.00 2.01 2.05 4/221 1901
/proc/meminfo: memFree=21151900/32770624 swapFree=67076560/67108860
[pid=1886] ppid=1883 vsize=15011656 memory=86624 CPUtime=0.25 cores=0,2,4,6
/proc/1886/stat : 1886 (java) S 1883 1886 29212 0 -1 1077944320 10569 0 0 0 22 3 0 0 20 0 15 0 72563386 15371935744 21656 33554432000 4194304 4196468 140724579917456 140724579900000 140470119497463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
/proc/1886/statm: 3752914 21656 2894 1 0 3715374 0
[pid=1886/tid=1888] ppid=1883 vsize=15011656 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/1886/task/1888/stat : 1888 (java) R 1883 1886 29212 0 -1 4202560 8487 0 0 0 17 2 0 0 20 0 15 0 72563386 15371935744 21656 33554432000 4194304 4196468 140724579917456 140470091323856 140470119519389 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1889] ppid=1883 vsize=15011656 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1889/stat : 1889 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72563388 15371935744 21656 33554432000 4194304 4196468 140724579917456 140470123739536 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1890] ppid=1883 vsize=15011656 memory=139994907793858 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1890/stat : 1890 (java) S 1883 1886 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72563388 15371935744 21656 33554432000 4194304 4196468 140724579917456 140469937895696 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1891] ppid=1883 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1891/stat : 1891 (java) S 1883 1886 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72563388 15371935744 21656 33554432000 4194304 4196468 140724579917456 140469936843408 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1892] ppid=1883 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1892/stat : 1892 (java) S 1883 1886 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72563388 15371935744 21656 33554432000 4194304 4196468 140724579917456 140469935790608 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1893] ppid=1883 vsize=15011656 memory=139994907395712 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1893/stat : 1893 (java) S 1883 1886 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72563389 15371935744 21656 33554432000 4194304 4196468 140724579917456 140469157870192 140470119508610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1894] ppid=1883 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1894/stat : 1894 (java) S 1883 1886 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72563390 15371935744 21656 33554432000 4194304 4196468 140724579917456 140468650239264 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1895] ppid=1883 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1895/stat : 1895 (java) S 1883 1886 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72563390 15371935744 21656 33554432000 4194304 4196468 140724579917456 140468381804144 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1896] ppid=1883 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1896/stat : 1896 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72563393 15371935744 21656 33554432000 4194304 4196468 140724579917456 140468007295568 140470119516059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1897] ppid=1883 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1897/stat : 1897 (java) S 1883 1886 29212 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 15 0 72563393 15371935744 21656 33554432000 4194304 4196468 140724579917456 140469156817008 140470119508610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1898] ppid=1883 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1898/stat : 1898 (java) S 1883 1886 29212 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 72563393 15371935744 21656 33554432000 4194304 4196468 140724579917456 140469155764208 140470119508610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1899] ppid=1883 vsize=15011656 memory=139994907395712 CPUtime=0.03 cores=0,2,4,6
/proc/1886/task/1899/stat : 1899 (java) R 1883 1886 29212 0 -1 4202560 291 0 0 0 3 0 0 0 20 0 15 0 72563393 15371935744 21656 33554432000 4194304 4196468 140724579917456 140469154711920 140470111734590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1900] ppid=1883 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1900/stat : 1900 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72563393 15371935744 21656 33554432000 4194304 4196468 140724579917456 140467509389792 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1901] ppid=1883 vsize=15011656 memory=139994907395712 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1901/stat : 1901 (java) S 1883 1886 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72563393 15371935744 21656 33554432000 4194304 4196468 140724579917456 140469153659824 140470119508610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86624 KiB
[startup+0.310384 s]*
/proc/loadavg: 2.00 2.01 2.05 3/221 1901
/proc/meminfo: memFree=21148736/32770624 swapFree=67076560/67108860
[pid=1886] ppid=1883 vsize=15011656 memory=90356 CPUtime=0.42 cores=0,2,4,6
/proc/1886/stat : 1886 (java) S 1883 1886 29212 0 -1 1077944320 11096 0 0 0 39 3 0 0 20 0 15 0 72563386 15371935744 22589 33554432000 4194304 4196468 140724579917456 140724579900000 140470119497463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
/proc/1886/statm: 3752914 22589 3026 1 0 3715374 0
[pid=1886/tid=1888] ppid=1883 vsize=15011656 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/1886/task/1888/stat : 1888 (java) R 1883 1886 29212 0 -1 4202560 8852 0 0 0 27 3 0 0 20 0 15 0 72563386 15371935744 22589 33554432000 4194304 4196468 140724579917456 140470091301616 140470103577950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1889] ppid=1883 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1889/stat : 1889 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72563388 15371935744 22589 33554432000 4194304 4196468 140724579917456 140470123739536 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1890] ppid=1883 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1890/stat : 1890 (java) S 1883 1886 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72563388 15371935744 22589 33554432000 4194304 4196468 140724579917456 140469937895696 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1891] ppid=1883 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1891/stat : 1891 (java) S 1883 1886 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72563388 15371935744 22589 33554432000 4194304 4196468 140724579917456 140469936843408 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1892] ppid=1883 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1892/stat : 1892 (java) S 1883 1886 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72563388 15371935744 22589 33554432000 4194304 4196468 140724579917456 140469935790608 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1893] ppid=1883 vsize=15011656 memory=139994907395712 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1893/stat : 1893 (java) S 1883 1886 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72563389 15371935744 22589 33554432000 4194304 4196468 140724579917456 140469157870192 140470119508610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1894] ppid=1883 vsize=15011656 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1894/stat : 1894 (java) S 1883 1886 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72563390 15371935744 22589 33554432000 4194304 4196468 140724579917456 140468650239264 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1895] ppid=1883 vsize=15011656 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1895/stat : 1895 (java) S 1883 1886 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72563390 15371935744 22589 33554432000 4194304 4196468 140724579917456 140468381804144 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1896] ppid=1883 vsize=15011656 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1896/stat : 1896 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72563393 15371935744 22589 33554432000 4194304 4196468 140724579917456 140468007295568 140470119516059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1897] ppid=1883 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1886/task/1897/stat : 1897 (java) S 1883 1886 29212 0 -1 1077944384 529 0 0 0 2 0 0 0 20 0 15 0 72563393 15371935744 22589 33554432000 4194304 4196468 140724579917456 140469156817008 140470119508610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1898] ppid=1883 vsize=15011656 memory=11 CPUtime=0.01 cores=0,2,4,6
/proc/1886/task/1898/stat : 1898 (java) S 1883 1886 29212 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 15 0 72563393 15371935744 22589 33554432000 4194304 4196468 140724579917456 140469155764208 140470119508610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1899] ppid=1883 vsize=15011656 memory=139994979959097 CPUtime=0.07 cores=0,2,4,6
/proc/1886/task/1899/stat : 1899 (java) S 1883 1886 29212 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 15 0 72563393 15371935744 22589 33554432000 4194304 4196468 140724579917456 140469154711920 140470119508610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1900] ppid=1883 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1900/stat : 1900 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72563393 15371935744 22589 33554432000 4194304 4196468 140724579917456 140467509389792 140470119507669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1901] ppid=1883 vsize=15011656 memory=279989702113552 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1901/stat : 1901 (java) S 1883 1886 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72563393 15371935744 22589 33554432000 4194304 4196468 140724579917456 140469153659824 140470119508610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90356 KiB
[startup+0.701418 s]
/proc/loadavg: 2.00 2.01 2.05 3/221 1901
/proc/meminfo: memFree=21124924/32770624 swapFree=67076560/67108860
[pid=1886] ppid=1883 vsize=15017928 memory=129020 CPUtime=1.03 cores=0,2,4,6
/proc/1886/stat : 1886 (java) S 1883 1886 29212 0 -1 1077944320 18024 0 0 0 98 5 0 0 20 0 15 0 72563386 15378358272 32255 33554432000 4194304 4196468 140724579917456 140724579900000 140470119497463 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
/proc/1886/statm: 3754482 32255 3136 1 0 3715886 0
[pid=1886/tid=1888] ppid=1883 vsize=15017928 memory=148125167655620 CPUtime=0.68 cores=0,2,4,6
/proc/1886/task/1888/stat : 1888 (java) R 1883 1886 29212 0 -1 4202560 15269 0 0 0 63 5 0 0 20 0 15 0 72563386 15378358272 32255 33554432000 4194304 4196468 140724579917456 140470091334848 140470119519389 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1889] ppid=1883 vsize=15017928 memory=425045 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1889/stat : 1889 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72563388 15378358272 32321 33554432000 4194304 4196468 140724579917456 140470123739536 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1890] ppid=1883 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1890/stat : 1890 (java) S 1883 1886 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72563388 15378358272 32321 33554432000 4194304 4196468 140724579917456 140469937895696 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1891] ppid=1883 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1891/stat : 1891 (java) S 1883 1886 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72563388 15378358272 32321 33554432000 4194304 4196468 140724579917456 140469936843408 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1892] ppid=1883 vsize=15017928 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1892/stat : 1892 (java) S 1883 1886 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72563388 15378358272 32321 33554432000 4194304 4196468 140724579917456 140469935790608 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1893] ppid=1883 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1893/stat : 1893 (java) S 1883 1886 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72563389 15378358272 32321 33554432000 4194304 4196468 140724579917456 140469157870192 140470119508610 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1894] ppid=1883 vsize=15017928 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1894/stat : 1894 (java) S 1883 1886 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72563390 15378358272 32321 33554432000 4194304 4196468 140724579917456 140468650239264 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1895] ppid=1883 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1895/stat : 1895 (java) S 1883 1886 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72563390 15378358272 32321 33554432000 4194304 4196468 140724579917456 140468381804144 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1896] ppid=1883 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1896/stat : 1896 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72563393 15378358272 32321 33554432000 4194304 4196468 140724579917456 140468007295568 140470119516059 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1897] ppid=1883 vsize=15017928 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/1886/task/1897/stat : 1897 (java) R 1883 1886 29212 0 -1 4202560 760 0 0 0 10 0 0 0 20 0 15 0 72563393 15378358272 32321 33554432000 4194304 4196468 140724579917456 140469156816192 140470100131977 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1898] ppid=1883 vsize=15017928 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/1886/task/1898/stat : 1898 (java) R 1883 1886 29212 0 -1 4202560 205 0 0 0 6 0 0 0 20 0 15 0 72563393 15378358272 32321 33554432000 4194304 4196468 140724579917456 140469155764208 140470100197760 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1899] ppid=1883 vsize=15017928 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/1886/task/1899/stat : 1899 (java) R 1883 1886 29212 0 -1 1077944384 459 0 0 0 17 0 0 0 20 0 15 0 72563393 15378358272 32321 33554432000 4194304 4196468 140724579917456 140469154707680 140470119507669 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1900] ppid=1883 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1900/stat : 1900 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72563393 15378358272 32321 33554432000 4194304 4196468 140724579917456 140467509389792 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1901] ppid=1883 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1901/stat : 1901 (java) S 1883 1886 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72563393 15378358272 32321 33554432000 4194304 4196468 140724579917456 140469153659824 140470119508610 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 129020 KiB
[startup+1.50381 s]
/proc/loadavg: 2.00 2.01 2.05 5/221 1901
/proc/meminfo: memFree=21083356/32770624 swapFree=67076560/67108860
[pid=1886] ppid=1883 vsize=15022100 memory=241720 CPUtime=3.02 cores=0,2,4,6
/proc/1886/stat : 1886 (java) S 1883 1886 29212 0 -1 1077944320 21581 0 0 0 294 8 0 0 20 0 15 0 72563386 15382630400 60430 33554432000 4194304 4196468 140724579917456 140724579900000 140470119497463 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
/proc/1886/statm: 3755525 60430 3199 1 0 3716910 0
[pid=1886/tid=1888] ppid=1883 vsize=15022100 memory=0 CPUtime=1.34 cores=0,2,4,6
/proc/1886/task/1888/stat : 1888 (java) R 1883 1886 29212 0 -1 4202560 16422 0 0 0 128 6 0 0 20 0 15 0 72563386 15382630400 60430 33554432000 4194304 4196468 140724579917456 140470091331136 140470103577950 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1889] ppid=1883 vsize=15022100 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1889/stat : 1889 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72563388 15382630400 60430 33554432000 4194304 4196468 140724579917456 140470123739536 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1890] ppid=1883 vsize=15022100 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1890/stat : 1890 (java) S 1883 1886 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72563388 15382630400 60430 33554432000 4194304 4196468 140724579917456 140469937895696 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1891] ppid=1883 vsize=15022100 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1891/stat : 1891 (java) S 1883 1886 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72563388 15382630400 60430 33554432000 4194304 4196468 140724579917456 140469936843408 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1892] ppid=1883 vsize=15022100 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1892/stat : 1892 (java) S 1883 1886 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72563388 15382630400 60430 33554432000 4194304 4196468 140724579917456 140469935790608 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1893] ppid=1883 vsize=15022100 memory=22084 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1893/stat : 1893 (java) S 1883 1886 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72563389 15382630400 60430 33554432000 4194304 4196468 140724579917456 140469157870192 140470119508610 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
################
# More data... #
################
/proc/meminfo: memFree=18082540/32770624 swapFree=67076588/67108860
[pid=1886] ppid=1883 vsize=15683912 memory=3008484 CPUtime=21.44 cores=0,2,4,6
/proc/1886/stat : 1886 (java) S 1883 1886 29212 0 -1 1077944320 37159 0 0 0 2030 114 0 0 20 0 19 0 72563386 16060325888 752121 33554432000 4194304 4196468 140724579917456 140724579900000 140470119497463 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
/proc/1886/statm: 3920978 752121 3236 1 0 3881834 0
[pid=1902] ppid=1886 vsize=123796 memory=97560 CPUtime=2494.44 cores=0,2,4,6
/proc/1902/stat : 1902 (minisat_release) R 1886 1886 29212 0 -1 4202496 193717 0 0 0 249422 22 0 0 20 0 1 0 72564156 126767104 24390 33554432000 4194304 4308513 140734247176480 140734247173480 4275950 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 41234432 140734247183025 140734247183534 140734247183534 140734247186373 0
/proc/1902/statm: 30949 24390 353 28 0 27189 0
[pid=1886/tid=1888] ppid=1883 vsize=15683912 memory=3008484 CPUtime=7.49 cores=0,2,4,6
/proc/1886/task/1888/stat : 1888 (java) S 1883 1886 29212 0 -1 1077944384 19592 0 0 0 702 47 0 0 20 0 19 0 72563386 16060325888 752121 33554432000 4194304 4196468 140724579917456 140470091336704 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1889] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0.07 cores=0,2,4,6
/proc/1886/task/1889/stat : 1889 (java) S 1883 1886 29212 0 -1 1077944384 36 0 0 0 5 2 0 0 20 0 19 0 72563388 16060325888 752121 33554432000 4194304 4196468 140724579917456 140470123739536 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1890] ppid=1883 vsize=15683912 memory=97560 CPUtime=0.07 cores=0,2,4,6
/proc/1886/task/1890/stat : 1890 (java) S 1883 1886 29212 0 -1 1077944384 55 0 0 0 6 1 0 0 20 0 19 0 72563388 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469937895696 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1891] ppid=1883 vsize=15683912 memory=97560 CPUtime=0.06 cores=0,2,4,6
/proc/1886/task/1891/stat : 1891 (java) S 1883 1886 29212 0 -1 1077944384 35 0 0 0 5 1 0 0 20 0 19 0 72563388 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469936843408 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1892] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0.07 cores=0,2,4,6
/proc/1886/task/1892/stat : 1892 (java) S 1883 1886 29212 0 -1 1077944384 88 0 0 0 5 2 0 0 20 0 19 0 72563388 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469935790608 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1893] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0.06 cores=0,2,4,6
/proc/1886/task/1893/stat : 1893 (java) S 1883 1886 29212 0 -1 1077944384 22 0 0 0 3 3 0 0 20 0 19 0 72563389 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469157870192 140470119508610 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1894] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1894/stat : 1894 (java) S 1883 1886 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 72563390 16060325888 752121 33554432000 4194304 4196468 140724579917456 140468650239328 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1895] ppid=1883 vsize=15683912 memory=97560 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1895/stat : 1895 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72563390 16060325888 752121 33554432000 4194304 4196468 140724579917456 140468381804160 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1896] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1896/stat : 1896 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140468007295568 140470119516059 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1897] ppid=1883 vsize=15683912 memory=97560 CPUtime=5.43 cores=0,2,4,6
/proc/1886/task/1897/stat : 1897 (java) S 1883 1886 29212 0 -1 1077944384 3287 0 0 0 542 1 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469156817008 140470119508610 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1898] ppid=1883 vsize=15683912 memory=3544 CPUtime=5.51 cores=0,2,4,6
/proc/1886/task/1898/stat : 1898 (java) S 1883 1886 29212 0 -1 1077944384 6179 0 0 0 549 2 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469155764208 140470119508610 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1899] ppid=1883 vsize=15683912 memory=18908 CPUtime=1.34 cores=0,2,4,6
/proc/1886/task/1899/stat : 1899 (java) S 1883 1886 29212 0 -1 1077944384 6292 0 0 0 132 2 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469154711920 140470119508610 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1900] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1900/stat : 1900 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140467509389792 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1901] ppid=1883 vsize=15683912 memory=97560 CPUtime=1.24 cores=0,2,4,6
/proc/1886/task/1901/stat : 1901 (java) S 1883 1886 29212 0 -1 1077944384 167 0 0 0 64 60 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469153659824 140470119508610 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1903] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1903/stat : 1903 (java) S 1883 1886 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72564156 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469137393088 140470119522073 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1905] ppid=1883 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1905/stat : 1905 (java) S 1883 1886 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 72564156 16060325888 752121 33554432000 4194304 4196468 140724579917456 140466972503984 140470119519389 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1906] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1906/stat : 1906 (java) S 1883 1886 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72564156 16060325888 752121 33554432000 4194304 4196468 140724579917456 140467106725168 140470119519389 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1907] ppid=1883 vsize=15683912 memory=97560 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1907/stat : 1907 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72564158 16060325888 752121 33554432000 4194304 4196468 140724579917456 140466704079776 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
Current children cumulated CPU time: 2515.88 s
Current children cumulated vsize: 15807708 KiB
Current children cumulated memory: 3106044 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.5 s]
/proc/loadavg: 2.01 2.02 2.05 3/227 2113
/proc/meminfo: memFree=18082540/32770624 swapFree=67076588/67108860
[pid=1886] ppid=1883 vsize=15683912 memory=3008484 CPUtime=21.44 cores=0,2,4,6
/proc/1886/stat : 1886 (java) S 1883 1886 29212 0 -1 1077944320 37159 0 0 0 2030 114 0 0 20 0 19 0 72563386 16060325888 752121 33554432000 4194304 4196468 140724579917456 140724579900000 140470119497463 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
/proc/1886/statm: 3920978 752121 3236 1 0 3881834 0
[pid=1902] ppid=1886 vsize=123796 memory=97560 CPUtime=2498.64 cores=0,2,4,6
/proc/1902/stat : 1902 (minisat_release) R 1886 1886 29212 0 -1 4202496 193721 0 0 0 249842 22 0 0 20 0 1 0 72564156 126767104 24390 33554432000 4194304 4308513 140734247176480 140734247173480 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 41234432 140734247183025 140734247183534 140734247183534 140734247186373 0
/proc/1902/statm: 30949 24390 353 28 0 27189 0
[pid=1886/tid=1888] ppid=1883 vsize=15683912 memory=3008484 CPUtime=7.49 cores=0,2,4,6
/proc/1886/task/1888/stat : 1888 (java) S 1883 1886 29212 0 -1 1077944384 19592 0 0 0 702 47 0 0 20 0 19 0 72563386 16060325888 752121 33554432000 4194304 4196468 140724579917456 140470091336704 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1889] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0.07 cores=0,2,4,6
/proc/1886/task/1889/stat : 1889 (java) S 1883 1886 29212 0 -1 1077944384 36 0 0 0 5 2 0 0 20 0 19 0 72563388 16060325888 752121 33554432000 4194304 4196468 140724579917456 140470123739536 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1890] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0.07 cores=0,2,4,6
/proc/1886/task/1890/stat : 1890 (java) S 1883 1886 29212 0 -1 1077944384 55 0 0 0 6 1 0 0 20 0 19 0 72563388 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469937895696 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1891] ppid=1883 vsize=15683912 memory=97560 CPUtime=0.06 cores=0,2,4,6
/proc/1886/task/1891/stat : 1891 (java) S 1883 1886 29212 0 -1 1077944384 35 0 0 0 5 1 0 0 20 0 19 0 72563388 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469936843408 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1892] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0.07 cores=0,2,4,6
/proc/1886/task/1892/stat : 1892 (java) S 1883 1886 29212 0 -1 1077944384 88 0 0 0 5 2 0 0 20 0 19 0 72563388 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469935790608 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1893] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0.06 cores=0,2,4,6
/proc/1886/task/1893/stat : 1893 (java) S 1883 1886 29212 0 -1 1077944384 22 0 0 0 3 3 0 0 20 0 19 0 72563389 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469157870192 140470119508610 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1894] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1894/stat : 1894 (java) S 1883 1886 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 72563390 16060325888 752121 33554432000 4194304 4196468 140724579917456 140468650239328 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1895] ppid=1883 vsize=15683912 memory=97560 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1895/stat : 1895 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72563390 16060325888 752121 33554432000 4194304 4196468 140724579917456 140468381804160 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1896] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1896/stat : 1896 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140468007295568 140470119516059 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1897] ppid=1883 vsize=15683912 memory=0 CPUtime=5.43 cores=0,2,4,6
/proc/1886/task/1897/stat : 1897 (java) S 1883 1886 29212 0 -1 1077944384 3287 0 0 0 542 1 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469156817008 140470119508610 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1898] ppid=1883 vsize=15683912 memory=3008484 CPUtime=5.51 cores=0,2,4,6
/proc/1886/task/1898/stat : 1898 (java) S 1883 1886 29212 0 -1 1077944384 6179 0 0 0 549 2 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469155764208 140470119508610 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1899] ppid=1883 vsize=15683912 memory=97560 CPUtime=1.34 cores=0,2,4,6
/proc/1886/task/1899/stat : 1899 (java) S 1883 1886 29212 0 -1 1077944384 6292 0 0 0 132 2 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469154711920 140470119508610 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1900] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1900/stat : 1900 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140467509389792 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1901] ppid=1883 vsize=15683912 memory=97560 CPUtime=1.24 cores=0,2,4,6
/proc/1886/task/1901/stat : 1901 (java) S 1883 1886 29212 0 -1 1077944384 167 0 0 0 64 60 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469153659824 140470119508610 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1903] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1903/stat : 1903 (java) S 1883 1886 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72564156 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469137393088 140470119522073 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1905] ppid=1883 vsize=15683912 memory=97560 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1905/stat : 1905 (java) S 1883 1886 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 72564156 16060325888 752121 33554432000 4194304 4196468 140724579917456 140466972503984 140470119519389 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1906] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1906/stat : 1906 (java) S 1883 1886 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72564156 16060325888 752121 33554432000 4194304 4196468 140724579917456 140467106725168 140470119519389 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1907] ppid=1883 vsize=15683912 memory=97560 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1907/stat : 1907 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72564158 16060325888 752121 33554432000 4194304 4196468 140724579917456 140466704079776 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 15807708 KiB
Current children cumulated memory: 3106044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.53 s]
# the end of solver process 1886 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.73 s, system=1.38766 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2506.5 s]
/proc/loadavg: 2.01 2.02 2.05 3/227 2113
/proc/meminfo: memFree=18082540/32770624 swapFree=67076588/67108860
[pid=1886] ppid=1883 vsize=15683912 memory=3008484 CPUtime=21.44 cores=0,2,4,6
/proc/1886/stat : 1886 (java) S 1883 1886 29212 0 -1 1077944320 37159 0 0 0 2030 114 0 0 20 0 19 0 72563386 16060325888 752121 33554432000 4194304 4196468 140724579917456 140724579900000 140470119497463 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
/proc/1886/statm: 3920978 752121 3236 1 0 3881834 0
[pid=1902] ppid=1886 vsize=123796 memory=97560 CPUtime=2498.64 cores=0,2,4,6
/proc/1902/stat : 1902 (minisat_release) R 1886 1886 29212 0 -1 4202496 193721 0 0 0 249842 22 0 0 20 0 1 0 72564156 126767104 24390 33554432000 4194304 4308513 140734247176480 140734247173480 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 41234432 140734247183025 140734247183534 140734247183534 140734247186373 0
/proc/1902/statm: 30949 24390 353 28 0 27189 0
[pid=1886/tid=1888] ppid=1883 vsize=15683912 memory=3008484 CPUtime=7.49 cores=0,2,4,6
/proc/1886/task/1888/stat : 1888 (java) S 1883 1886 29212 0 -1 1077944384 19592 0 0 0 702 47 0 0 20 0 19 0 72563386 16060325888 752121 33554432000 4194304 4196468 140724579917456 140470091336704 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1889] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0.07 cores=0,2,4,6
/proc/1886/task/1889/stat : 1889 (java) S 1883 1886 29212 0 -1 1077944384 36 0 0 0 5 2 0 0 20 0 19 0 72563388 16060325888 752121 33554432000 4194304 4196468 140724579917456 140470123739536 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1890] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0.07 cores=0,2,4,6
/proc/1886/task/1890/stat : 1890 (java) S 1883 1886 29212 0 -1 1077944384 55 0 0 0 6 1 0 0 20 0 19 0 72563388 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469937895696 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1891] ppid=1883 vsize=15683912 memory=97560 CPUtime=0.06 cores=0,2,4,6
/proc/1886/task/1891/stat : 1891 (java) S 1883 1886 29212 0 -1 1077944384 35 0 0 0 5 1 0 0 20 0 19 0 72563388 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469936843408 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1892] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0.07 cores=0,2,4,6
/proc/1886/task/1892/stat : 1892 (java) S 1883 1886 29212 0 -1 1077944384 88 0 0 0 5 2 0 0 20 0 19 0 72563388 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469935790608 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1893] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0.06 cores=0,2,4,6
/proc/1886/task/1893/stat : 1893 (java) S 1883 1886 29212 0 -1 1077944384 22 0 0 0 3 3 0 0 20 0 19 0 72563389 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469157870192 140470119508610 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1894] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1894/stat : 1894 (java) S 1883 1886 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 72563390 16060325888 752121 33554432000 4194304 4196468 140724579917456 140468650239328 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1895] ppid=1883 vsize=15683912 memory=97560 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1895/stat : 1895 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72563390 16060325888 752121 33554432000 4194304 4196468 140724579917456 140468381804160 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1896] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1896/stat : 1896 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140468007295568 140470119516059 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1897] ppid=1883 vsize=15683912 memory=0 CPUtime=5.43 cores=0,2,4,6
/proc/1886/task/1897/stat : 1897 (java) S 1883 1886 29212 0 -1 1077944384 3287 0 0 0 542 1 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469156817008 140470119508610 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1898] ppid=1883 vsize=15683912 memory=3008484 CPUtime=5.51 cores=0,2,4,6
/proc/1886/task/1898/stat : 1898 (java) S 1883 1886 29212 0 -1 1077944384 6179 0 0 0 549 2 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469155764208 140470119508610 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1899] ppid=1883 vsize=15683912 memory=97560 CPUtime=1.34 cores=0,2,4,6
/proc/1886/task/1899/stat : 1899 (java) S 1883 1886 29212 0 -1 1077944384 6292 0 0 0 132 2 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469154711920 140470119508610 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1900] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1900/stat : 1900 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140467509389792 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1901] ppid=1883 vsize=15683912 memory=97560 CPUtime=1.24 cores=0,2,4,6
/proc/1886/task/1901/stat : 1901 (java) S 1883 1886 29212 0 -1 1077944384 167 0 0 0 64 60 0 0 20 0 19 0 72563393 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469153659824 140470119508610 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1903] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1903/stat : 1903 (java) S 1883 1886 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72564156 16060325888 752121 33554432000 4194304 4196468 140724579917456 140469137393088 140470119522073 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1905] ppid=1883 vsize=15683912 memory=97560 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1905/stat : 1905 (java) S 1883 1886 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 72564156 16060325888 752121 33554432000 4194304 4196468 140724579917456 140466972503984 140470119519389 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1906] ppid=1883 vsize=15683912 memory=3008484 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1906/stat : 1906 (java) S 1883 1886 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72564156 16060325888 752121 33554432000 4194304 4196468 140724579917456 140467106725168 140470119519389 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
[pid=1886/tid=1907] ppid=1883 vsize=15683912 memory=97560 CPUtime=0 cores=0,2,4,6
/proc/1886/task/1907/stat : 1907 (java) S 1883 1886 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72564158 16060325888 752121 33554432000 4194304 4196468 140724579917456 140466704079776 140470119507669 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10031104 140724579922932 140724579923209 140724579923209 140724579925967 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 15807708 KiB
Current children cumulated memory: 3106044 KiB
Child status: 1
Real time (s): 2506.53
CPU time (s): 2520.12
CPU user time (s): 2518.73
CPU system time (s): 1.38766
CPU usage (%): 100.542
Max. virtual memory (cumulated for all children) (KiB): 15826364
Max. memory (cumulated for all children) (KiB): 3106900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.73
system time used= 1.38766
maximum resident set size= 3011464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230974
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59014
involuntary context switches= 3294
# summary of solver processes directly reported to runsolver:
# pid: 1886
# total CPU time (s): 2520.12
# total CPU user time (s): 2518.73
# total CPU system time (s): 1.38766
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3092 second user time and 24.9764 second system time
The end