0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Mon Jul 23 16:05:24 CEST 2018
0.66/0.55 c PID: 10241
0.66/0.55 c IP: 172.20.3.105
0.66/0.55 c HOST: node105.alineos.net
0.66/0.56 c (0,0) Parsing Begin
8.12/3.14 c (2,2) Parsing End
8.12/3.15 c (2,2) CSP: 324 int (0 aux), 0 bool (0 aux), 22691 ctr, max domain size 6
8.12/3.15 c (2,2) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
8.12/3.15 c (2,2) Constraint Name Generate Begin
8.37/3.25 c (2,2) Ctr:HOME/instance-4294424-1532354724.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
8.37/3.25 c (2,2) Constraint Name Generate End
8.37/3.25 c (2,2) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
8.37/3.25 c (2,2) CSP to CSPinCNF Begin
9.37/3.61 c (3,3) translated 2270 (10%) constraints
9.67/3.72 c (3,3) translated 4539 (20%) constraints
9.94/3.80 c (3,3) translated 6808 (30%) constraints
9.94/3.87 c (3,3) translated 9077 (40%) constraints
10.24/3.93 c (3,3) translated 11346 (50%) constraints
10.24/3.98 c (3,3) translated 13615 (60%) constraints
10.44/4.03 c (3,3) translated 15884 (70%) constraints
10.44/4.08 c (3,3) translated 18153 (80%) constraints
10.55/4.13 c (3,3) translated 20422 (90%) constraints
12.36/4.72 c (4,4) translated 22691 (100%) constraints
14.92/5.76 c (5,5) STATISTICS1:HOME/instance-4294424-1532354724.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.92/5.76 c (5,5) ===========================================
14.92/5.76 c (5,5) Order
14.92/5.76 c (5,5) ===========================================
15.55/5.95 c (5,5) translated 2778 (10%) constraints
16.19/6.11 c (5,5) translated 5556 (20%) constraints
16.45/6.26 c (5,5) translated 8334 (30%) constraints
16.64/6.38 c (5,5) translated 11112 (40%) constraints
16.85/6.51 c (5,5) translated 13889 (50%) constraints
16.97/6.63 c (6,6) translated 16667 (60%) constraints
17.07/6.75 c (6,6) translated 19445 (70%) constraints
17.17/6.87 c (6,6) translated 22223 (80%) constraints
18.23/7.21 c (6,6) translated 25001 (90%) constraints
18.54/7.39 c (6,6) translated 27778 (100%) constraints
18.54/7.39 c (6,6) CSP to CSPinCNF End
18.54/7.40 c (6,6) CSP: 810 int (486 aux), 4405 bool (4405 aux), 32728 ctr, max domain size 7
18.83/7.40 c (6,6) Heap : 2422 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
18.83/7.40 c (6,6) CSPinCNF Propagation Begin
20.07/7.85 c (7,7) 786 values, 7372 unsatisfiable literals, and 6028 valid clauses are removed
20.07/7.85 c (7,7) CSPinCNF Propagation End
20.07/7.85 c (7,7) CSP: 1272 int (948 aux), 3943 bool (3943 aux), 26700 ctr, max domain size 7
20.07/7.85 c (7,7) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.07/7.85 c (7,7) Simplify CSPinCNF Begin
21.90/8.54 c (8,7) Simplify CSPinCNF End
21.90/8.54 c (8,7) CSP: 1272 int (948 aux), 14605 bool (14605 aux), 37362 ctr, max domain size 7
21.90/8.54 c (8,7) Heap : 155 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
21.90/8.54 c (8,7) Calculate Precise Domain Begin
21.90/8.60 c (8,7) 0 values are removed by re-calculation
21.90/8.60 c (8,7) Calculate Precise Domain End
22.19/8.60 c (8,7) CSP: 1272 int (948 aux), 14605 bool (14605 aux), 37362 ctr, max domain size 7
22.19/8.60 c (8,7) Heap : 155 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
22.19/8.60 c (8,7) CSPinCNF to SatSolver Begin
22.81/8.85 c (8,8) 3737 (10 %) CSP clauses are encoded (18637 SAT variables, 20428 SAT clauses)
23.11/8.96 c (8,8) 7473 (20 %) CSP clauses are encoded (18637 SAT variables, 36794 SAT clauses)
23.43/9.03 c (8,8) 11209 (30 %) CSP clauses are encoded (18637 SAT variables, 52340 SAT clauses)
23.43/9.09 c (8,8) 14945 (40 %) CSP clauses are encoded (18637 SAT variables, 67876 SAT clauses)
23.55/9.12 c (8,8) 18681 (50 %) CSP clauses are encoded (18637 SAT variables, 72392 SAT clauses)
23.55/9.15 c (8,8) 22418 (60 %) CSP clauses are encoded (18637 SAT variables, 76129 SAT clauses)
23.55/9.18 c (8,8) 26154 (70 %) CSP clauses are encoded (18637 SAT variables, 79865 SAT clauses)
23.64/9.28 c (8,8) 29890 (80 %) CSP clauses are encoded (18637 SAT variables, 95025 SAT clauses)
24.17/9.41 c (8,8) 33626 (90 %) CSP clauses are encoded (18637 SAT variables, 121609 SAT clauses)
24.17/9.49 c (8,8) 37362 (100 %) CSP clauses are encoded (18637 SAT variables, 141343 SAT clauses)
24.17/9.49 c (8,8) CSPinCNF to SatSolver End
24.17/9.49 c (8,8) Heap : 647 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.90/9.71 c (9,9) STATISTICS2:HOME/instance-4294424-1532354724.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.90/9.71 c (9,9) SatSolver.solve Begin
24.90/9.71 c (9,9) 18637 bool, 141348 clause
24.90/9.71 c (9,9) 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-4294424-1532354724.xml-scop-10241.cnf HOME/instance-4294424-1532354724.xml-scop-10241.cnf.out
2520.04/2502.90 c (2502,0) receiving signal SIGTERM
2520.04/2502.90 s UNKNOWN
2520.04/2502.90 c (2502,9) SatSolver is killed by some reasons.
2520.04/2502.90 c (2502,9) 2,2,6,7,8,8,8,TO,TO,STOP-AFTER(DIMACS)
2520.04/2502.90 c END-Prog: Mon Jul 23 16:47:07 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (4334 MiB free)
memory of node 1: 16384 MiB (10118 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294424-1532354724/watcher-4294424-1532354724 -o /tmp/evaluation-result-4294424-1532354724/solver-4294424-1532354724 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294424-1532354724.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
solver pid=10241, runsolver pid=10238
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 2.39 2.10 2.07 5/215 10256
/proc/meminfo: memFree=14679404/32770624 swapFree=67108860/67108860
[pid=10241] ppid=10238 vsize=15011656 memory=73364 CPUtime=0.11 cores=0,2,4,6
/proc/10241/stat : 10241 (java) S 10238 10241 2271 0 -1 1077944320 6072 0 0 0 9 2 0 0 20 0 15 0 53035549 15371935744 18341 33554432000 4194304 4196468 140732174111008 140732174093552 139661932318455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
/proc/10241/statm: 3752914 18341 2738 1 0 3715374 0
[pid=10241/tid=10243] ppid=10238 vsize=15011656 memory=-8556449466809487232 CPUtime=0.09 cores=0,2,4,6
/proc/10241/task/10243/stat : 10243 (java) R 10238 10241 2271 0 -1 4202560 4154 0 0 0 8 1 0 0 20 0 15 0 53035549 15371935744 18341 33554432000 4194304 4196468 140732174111008 139661904095536 139661917484103 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10244] ppid=10238 vsize=15011656 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10244/stat : 10244 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035551 15371935744 18341 33554432000 4194304 4196468 140732174111008 139661936561168 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10245] ppid=10238 vsize=15011656 memory=140381091612288 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10245/stat : 10245 (java) S 10238 10241 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53035551 15371935744 18341 33554432000 4194304 4196468 140732174111008 139661735337104 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10246] ppid=10238 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10246/stat : 10246 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035551 15371935744 18341 33554432000 4194304 4196468 140732174111008 139661391420176 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10247] ppid=10238 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10247/stat : 10247 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035551 15371935744 18341 33554432000 4194304 4196468 140732174111008 139661390367632 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10248] ppid=10238 vsize=15011656 memory=140381091612288 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10248/stat : 10248 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035552 15371935744 18341 33554432000 4194304 4196468 140732174111008 139660702124272 139661932329602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10249] ppid=10238 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10249/stat : 10249 (java) S 10238 10241 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53035553 15371935744 18341 33554432000 4194304 4196468 140732174111008 139660592407712 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10250] ppid=10238 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10250/stat : 10250 (java) S 10238 10241 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53035553 15371935744 18341 33554432000 4194304 4196468 140732174111008 139660323971824 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10251] ppid=10238 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10251/stat : 10251 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53035555 15371935744 18341 33554432000 4194304 4196468 140732174111008 139659949463504 139661932337051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10252] ppid=10238 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10252/stat : 10252 (java) S 10238 10241 2271 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 53035555 15371935744 18341 33554432000 4194304 4196468 140732174111008 139660701072112 139661932329602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10253] ppid=10238 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10253/stat : 10253 (java) S 10238 10241 2271 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 53035555 15371935744 18341 33554432000 4194304 4196468 140732174111008 139660700019568 139661932329602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10254] ppid=10238 vsize=15011656 memory=140381091612288 CPUtime=0.01 cores=0,2,4,6
/proc/10241/task/10254/stat : 10254 (java) S 10238 10241 2271 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 53035555 15371935744 18341 33554432000 4194304 4196468 140732174111008 139660698966512 139661932329602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10255] ppid=10238 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10255/stat : 10255 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53035556 15371935744 18341 33554432000 4194304 4196468 140732174111008 139659451558752 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10256] ppid=10238 vsize=15011656 memory=140381091612288 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10256/stat : 10256 (java) S 10238 10241 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53035556 15371935744 18341 33554432000 4194304 4196468 140732174111008 139660697913904 139661932329602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73364 KiB
[startup+0.21069 s]*
/proc/loadavg: 2.39 2.10 2.07 6/215 10256
/proc/meminfo: memFree=14640452/32770624 swapFree=67108860/67108860
[pid=10241] ppid=10238 vsize=15011656 memory=86716 CPUtime=0.25 cores=0,2,4,6
/proc/10241/stat : 10241 (java) S 10238 10241 2271 0 -1 1077944320 9588 0 0 0 22 3 0 0 20 0 15 0 53035549 15371935744 21679 33554432000 4194304 4196468 140732174111008 140732174093552 139661932318455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
/proc/10241/statm: 3752914 21679 2891 1 0 3715374 0
[pid=10241/tid=10243] ppid=10238 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/10241/task/10243/stat : 10243 (java) R 10238 10241 2271 0 -1 4202560 7491 0 0 0 18 2 0 0 20 0 15 0 53035549 15371935744 21679 33554432000 4194304 4196468 140732174111008 139661904137824 139661932330390 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10244] ppid=10238 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10244/stat : 10244 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035551 15371935744 21679 33554432000 4194304 4196468 140732174111008 139661936561168 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10245] ppid=10238 vsize=15011656 memory=140381091622782 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10245/stat : 10245 (java) S 10238 10241 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53035551 15371935744 21679 33554432000 4194304 4196468 140732174111008 139661735337104 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10246] ppid=10238 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10246/stat : 10246 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035551 15371935744 21679 33554432000 4194304 4196468 140732174111008 139661391420176 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10247] ppid=10238 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10247/stat : 10247 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035551 15371935744 21679 33554432000 4194304 4196468 140732174111008 139661390367632 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10248] ppid=10238 vsize=15011656 memory=140381091612288 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10248/stat : 10248 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035552 15371935744 21679 33554432000 4194304 4196468 140732174111008 139660702124272 139661932329602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10249] ppid=10238 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10249/stat : 10249 (java) S 10238 10241 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53035553 15371935744 21679 33554432000 4194304 4196468 140732174111008 139660592407712 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10250] ppid=10238 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10250/stat : 10250 (java) S 10238 10241 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53035553 15371935744 21679 33554432000 4194304 4196468 140732174111008 139660323971824 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10251] ppid=10238 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10251/stat : 10251 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53035555 15371935744 21679 33554432000 4194304 4196468 140732174111008 139659949463504 139661932337051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10252] ppid=10238 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10252/stat : 10252 (java) S 10238 10241 2271 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 53035555 15371935744 21679 33554432000 4194304 4196468 140732174111008 139660701072112 139661932329602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10253] ppid=10238 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10253/stat : 10253 (java) S 10238 10241 2271 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 15 0 53035555 15371935744 21679 33554432000 4194304 4196468 140732174111008 139660700019568 139661932329602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10254] ppid=10238 vsize=15011656 memory=140381091612288 CPUtime=0.03 cores=0,2,4,6
/proc/10241/task/10254/stat : 10254 (java) S 10238 10241 2271 0 -1 1077944384 273 0 0 0 3 0 0 0 20 0 15 0 53035555 15371935744 21679 33554432000 4194304 4196468 140732174111008 139660698966512 139661932329602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10255] ppid=10238 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10255/stat : 10255 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53035556 15371935744 21679 33554432000 4194304 4196468 140732174111008 139659451558752 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10256] ppid=10238 vsize=15011656 memory=140381091612288 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10256/stat : 10256 (java) S 10238 10241 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53035556 15371935744 21679 33554432000 4194304 4196468 140732174111008 139660697913904 139661932329602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86716 KiB
[startup+0.310558 s]*
/proc/loadavg: 2.39 2.10 2.07 5/215 10256
/proc/meminfo: memFree=14608164/32770624 swapFree=67108860/67108860
[pid=10241] ppid=10238 vsize=15011656 memory=90452 CPUtime=0.42 cores=0,2,4,6
/proc/10241/stat : 10241 (java) S 10238 10241 2271 0 -1 1077944320 10099 0 0 0 39 3 0 0 20 0 15 0 53035549 15371935744 22613 33554432000 4194304 4196468 140732174111008 140732174093552 139661932318455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
/proc/10241/statm: 3752914 22613 3022 1 0 3715374 0
[pid=10241/tid=10243] ppid=10238 vsize=15011656 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/10241/task/10243/stat : 10243 (java) R 10238 10241 2271 0 -1 4202560 7858 0 0 0 27 2 0 0 20 0 15 0 53035549 15371935744 22613 33554432000 4194304 4196468 140732174111008 139661904122608 139661932330390 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10244] ppid=10238 vsize=15011656 memory=304556149062238231 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10244/stat : 10244 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035551 15371935744 22613 33554432000 4194304 4196468 140732174111008 139661936561168 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10245] ppid=10238 vsize=15011656 memory=140381091622708 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10245/stat : 10245 (java) S 10238 10241 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53035551 15371935744 22613 33554432000 4194304 4196468 140732174111008 139661735337104 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10246] ppid=10238 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10246/stat : 10246 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035551 15371935744 22613 33554432000 4194304 4196468 140732174111008 139661391420176 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10247] ppid=10238 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10247/stat : 10247 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035551 15371935744 22613 33554432000 4194304 4196468 140732174111008 139661390367632 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10248] ppid=10238 vsize=15011656 memory=140381091612288 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10248/stat : 10248 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035552 15371935744 22613 33554432000 4194304 4196468 140732174111008 139660702124272 139661932329602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10249] ppid=10238 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10249/stat : 10249 (java) S 10238 10241 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53035553 15371935744 22613 33554432000 4194304 4196468 140732174111008 139660592407712 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10250] ppid=10238 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10250/stat : 10250 (java) S 10238 10241 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53035553 15371935744 22613 33554432000 4194304 4196468 140732174111008 139660323971824 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10251] ppid=10238 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10251/stat : 10251 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53035555 15371935744 22613 33554432000 4194304 4196468 140732174111008 139659949463504 139661932337051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10252] ppid=10238 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10241/task/10252/stat : 10252 (java) R 10238 10241 2271 0 -1 4202560 267 0 0 0 3 0 0 0 20 0 15 0 53035555 15371935744 22613 33554432000 4194304 4196468 140732174111008 139660701072112 139661909953104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10253] ppid=10238 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/10241/task/10253/stat : 10253 (java) R 10238 10241 2271 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 15 0 53035555 15371935744 22613 33554432000 4194304 4196468 140732174111008 139660700019568 139661932329602 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10254] ppid=10238 vsize=15011656 memory=140381091612288 CPUtime=0.07 cores=0,2,4,6
/proc/10241/task/10254/stat : 10254 (java) R 10238 10241 2271 0 -1 4202560 292 0 0 0 7 0 0 0 20 0 15 0 53035555 15371935744 22613 33554432000 4194304 4196468 140732174111008 139660698966512 139661932330390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10255] ppid=10238 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10255/stat : 10255 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53035556 15371935744 22613 33554432000 4194304 4196468 140732174111008 139659451558752 139661932328661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10256] ppid=10238 vsize=15011656 memory=140381091612288 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10256/stat : 10256 (java) S 10238 10241 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53035556 15371935744 22613 33554432000 4194304 4196468 140732174111008 139660697913904 139661932329602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90452 KiB
[startup+0.702155 s]
/proc/loadavg: 2.39 2.10 2.07 5/215 10256
/proc/meminfo: memFree=14526644/32770624 swapFree=67108860/67108860
[pid=10241] ppid=10238 vsize=15017928 memory=131428 CPUtime=1.05 cores=0,2,4,6
/proc/10241/stat : 10241 (java) S 10238 10241 2271 0 -1 1077944320 16985 0 0 0 100 5 0 0 20 0 15 0 53035549 15378358272 32857 33554432000 4194304 4196468 140732174111008 140732174093552 139661932318455 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
/proc/10241/statm: 3754482 32857 3137 1 0 3715886 0
[pid=10241/tid=10243] ppid=10238 vsize=15017928 memory=18448 CPUtime=0.67 cores=0,2,4,6
/proc/10241/task/10243/stat : 10243 (java) R 10238 10241 2271 0 -1 4202560 14212 0 0 0 63 4 0 0 20 0 15 0 53035549 15378358272 32886 33554432000 4194304 4196468 140732174111008 139661904156400 139661932339802 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10244] ppid=10238 vsize=15017928 memory=10368 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10244/stat : 10244 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035551 15378358272 32886 33554432000 4194304 4196468 140732174111008 139661936561168 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10245] ppid=10238 vsize=15017928 memory=644 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10245/stat : 10245 (java) S 10238 10241 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53035551 15378358272 32886 33554432000 4194304 4196468 140732174111008 139661735337104 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10246] ppid=10238 vsize=15017928 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10246/stat : 10246 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035551 15378358272 32886 33554432000 4194304 4196468 140732174111008 139661391420176 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10247] ppid=10238 vsize=15017928 memory=960 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10247/stat : 10247 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035551 15378358272 32886 33554432000 4194304 4196468 140732174111008 139661390367632 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10248] ppid=10238 vsize=15017928 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10248/stat : 10248 (java) S 10238 10241 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53035552 15378358272 32886 33554432000 4194304 4196468 140732174111008 139660702124272 139661932329602 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10249] ppid=10238 vsize=15017928 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10249/stat : 10249 (java) S 10238 10241 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53035553 15378358272 32886 33554432000 4194304 4196468 140732174111008 139660592407712 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10250] ppid=10238 vsize=15017928 memory=928 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10250/stat : 10250 (java) S 10238 10241 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53035553 15378358272 32886 33554432000 4194304 4196468 140732174111008 139660323971824 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10251] ppid=10238 vsize=15017928 memory=6153431502485414243 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10251/stat : 10251 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53035555 15378358272 32886 33554432000 4194304 4196468 140732174111008 139659949463504 139661932337051 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10252] ppid=10238 vsize=15017928 memory=7733916894068367465 CPUtime=0.11 cores=0,2,4,6
/proc/10241/task/10252/stat : 10252 (java) R 10238 10241 2271 0 -1 4202560 493 0 0 0 11 0 0 0 20 0 15 0 53035555 15378358272 32886 33554432000 4194304 4196468 140732174111008 139660701061904 139661925418155 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10253] ppid=10238 vsize=15017928 memory=6148935659200796009 CPUtime=0.07 cores=0,2,4,6
/proc/10241/task/10253/stat : 10253 (java) R 10238 10241 2271 0 -1 1077944384 484 0 0 0 7 0 0 0 20 0 15 0 53035555 15378358272 32886 33554432000 4194304 4196468 140732174111008 139660700009360 139661932328661 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10254] ppid=10238 vsize=15017928 memory=7440052414092175185 CPUtime=0.17 cores=0,2,4,6
/proc/10241/task/10254/stat : 10254 (java) S 10238 10241 2271 0 -1 1077944384 457 0 0 0 17 0 0 0 20 0 15 0 53035555 15378358272 32886 33554432000 4194304 4196468 140732174111008 139660698962464 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10255] ppid=10238 vsize=15017928 memory=8098710602360516455 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10255/stat : 10255 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53035556 15378358272 32886 33554432000 4194304 4196468 140732174111008 139659451558752 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10256] ppid=10238 vsize=15017928 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10256/stat : 10256 (java) S 10238 10241 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53035556 15378358272 32886 33554432000 4194304 4196468 140732174111008 139660697913904 139661932329602 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131428 KiB
[startup+1.50074 s]
/proc/loadavg: 2.52 2.13 2.08 5/215 10256
/proc/meminfo: memFree=14322604/32770624 swapFree=67108860/67108860
[pid=10241] ppid=10238 vsize=15020052 memory=406920 CPUtime=3.67 cores=0,2,4,6
/proc/10241/stat : 10241 (java) S 10238 10241 2271 0 -1 1077944320 19465 0 0 0 357 10 0 0 20 0 15 0 53035549 15380533248 101730 33554432000 4194304 4196468 140732174111008 140732174093552 139661932318455 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
/proc/10241/statm: 3755013 101730 3200 1 0 3716398 0
[pid=10241/tid=10243] ppid=10238 vsize=15020052 memory=364308 CPUtime=1.46 cores=0,2,4,6
/proc/10241/task/10243/stat : 10243 (java) R 10238 10241 2271 0 -1 4202560 14957 0 0 0 138 8 0 0 20 0 15 0 53035549 15380533248 101730 33554432000 4194304 4196468 140732174111008 139661904143104 139661916398942 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10244] ppid=10238 vsize=15020052 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10244/stat : 10244 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035551 15380533248 101730 33554432000 4194304 4196468 140732174111008 139661936561168 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10245] ppid=10238 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10245/stat : 10245 (java) S 10238 10241 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53035551 15380533248 101730 33554432000 4194304 4196468 140732174111008 139661735337104 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10246] ppid=10238 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10246/stat : 10246 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035551 15380533248 101730 33554432000 4194304 4196468 140732174111008 139661391420176 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10247] ppid=10238 vsize=15020052 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10247/stat : 10247 (java) S 10238 10241 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53035551 15380533248 101730 33554432000 4194304 4196468 140732174111008 139661390367632 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10248] ppid=10238 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10248/stat : 10248 (java) S 10238 10241 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53035552 15380533248 101730 33554432000 4194304 4196468 140732174111008 139660702124272 139661932329602 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
################
# More data... #
################
/proc/meminfo: memFree=11099404/32770624 swapFree=67108860/67108860
[pid=10241] ppid=10238 vsize=15683912 memory=3093880 CPUtime=26.71 cores=0,2,4,6
/proc/10241/stat : 10241 (java) S 10238 10241 2271 0 -1 1077944320 36310 0 0 0 2553 118 0 0 20 0 19 0 53035549 16060325888 773470 33554432000 4194304 4196468 140732174111008 140732174093552 139661932318455 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
/proc/10241/statm: 3920978 773470 3244 1 0 3881834 0
[pid=10339] ppid=10241 vsize=177256 memory=156112 CPUtime=2492.73 cores=0,2,4,6
/proc/10339/stat : 10339 (minisat_release) R 10241 10241 2271 0 -1 4202496 139566 0 0 0 249256 17 0 0 20 0 1 0 53036521 181510144 39028 33554432000 4194304 4308513 140725784366464 140725784363464 4275961 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 13631488 140725784371887 140725784372398 140725784372398 140725784375237 0
/proc/10339/statm: 44314 39028 354 28 0 40554 0
[pid=10241/tid=10243] ppid=10238 vsize=15683912 memory=3093880 CPUtime=9.63 cores=0,2,4,6
/proc/10241/task/10243/stat : 10243 (java) S 10238 10241 2271 0 -1 1077944384 17904 0 0 0 916 47 0 0 20 0 19 0 53035549 16060325888 773470 33554432000 4194304 4196468 140732174111008 139661904157696 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10244] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0.08 cores=0,2,4,6
/proc/10241/task/10244/stat : 10244 (java) S 10238 10241 2271 0 -1 1077944384 45 0 0 0 6 2 0 0 20 0 19 0 53035551 16060325888 773470 33554432000 4194304 4196468 140732174111008 139661936561168 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10245] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0.08 cores=0,2,4,6
/proc/10241/task/10245/stat : 10245 (java) S 10238 10241 2271 0 -1 1077944384 95 0 0 0 6 2 0 0 20 0 19 0 53035551 16060325888 773470 33554432000 4194304 4196468 140732174111008 139661735337104 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10246] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0.08 cores=0,2,4,6
/proc/10241/task/10246/stat : 10246 (java) S 10238 10241 2271 0 -1 1077944384 38 0 0 0 6 2 0 0 20 0 19 0 53035551 16060325888 773470 33554432000 4194304 4196468 140732174111008 139661391420176 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10247] ppid=10238 vsize=15683912 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/10241/task/10247/stat : 10247 (java) S 10238 10241 2271 0 -1 1077944384 308 0 0 0 6 2 0 0 20 0 19 0 53035551 16060325888 773470 33554432000 4194304 4196468 140732174111008 139661390367632 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10248] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0.06 cores=0,2,4,6
/proc/10241/task/10248/stat : 10248 (java) S 10238 10241 2271 0 -1 1077944384 24 0 0 0 3 3 0 0 20 0 19 0 53035552 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660702124272 139661932329602 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10249] ppid=10238 vsize=15683912 memory=156112 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10249/stat : 10249 (java) S 10238 10241 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53035553 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660592407776 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10250] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10250/stat : 10250 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53035553 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660323971824 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10251] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10251/stat : 10251 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53035555 16060325888 773470 33554432000 4194304 4196468 140732174111008 139659949463504 139661932337051 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10252] ppid=10238 vsize=15683912 memory=3093880 CPUtime=6.61 cores=0,2,4,6
/proc/10241/task/10252/stat : 10252 (java) S 10238 10241 2271 0 -1 1077944384 5608 0 0 0 660 1 0 0 20 0 19 0 53035555 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660701072112 139661932329602 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10253] ppid=10238 vsize=15683912 memory=156112 CPUtime=6.89 cores=0,2,4,6
/proc/10241/task/10253/stat : 10253 (java) S 10238 10241 2271 0 -1 1077944384 6800 0 0 0 687 2 0 0 20 0 19 0 53035555 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660700019568 139661932329602 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10254] ppid=10238 vsize=15683912 memory=7528 CPUtime=1.76 cores=0,2,4,6
/proc/10241/task/10254/stat : 10254 (java) S 10238 10241 2271 0 -1 1077944384 3940 0 0 0 174 2 0 0 20 0 19 0 53035555 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660698966512 139661932329602 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10255] ppid=10238 vsize=15683912 memory=-7824251494390978921 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10255/stat : 10255 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53035556 16060325888 773470 33554432000 4194304 4196468 140732174111008 139659451558752 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10256] ppid=10238 vsize=15683912 memory=288230621803970871 CPUtime=1.34 cores=0,2,4,6
/proc/10241/task/10256/stat : 10256 (java) S 10238 10241 2271 0 -1 1077944384 167 0 0 0 70 64 0 0 20 0 19 0 53035556 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660697913904 139661932329602 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10340] ppid=10238 vsize=15683912 memory=9924 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10340/stat : 10340 (java) S 10238 10241 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53036522 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660679550272 139661932343065 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10342] ppid=10238 vsize=15683912 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10342/stat : 10342 (java) S 10238 10241 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 53036522 16060325888 773470 33554432000 4194304 4196468 140732174111008 139658914676016 139661932340381 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10343] ppid=10238 vsize=15683912 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10343/stat : 10343 (java) S 10238 10241 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 53036522 16060325888 773470 33554432000 4194304 4196468 140732174111008 139658646241200 139661932340381 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10344] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10344/stat : 10344 (java) S 10238 10241 2271 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 53036526 16060325888 773470 33554432000 4194304 4196468 140732174111008 139659183120160 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
Current children cumulated CPU time: 2519.44 s
Current children cumulated vsize: 15861168 KiB
Current children cumulated memory: 3249992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2502.9 s]
/proc/loadavg: 2.05 2.10 2.08 3/225 10445
/proc/meminfo: memFree=11099404/32770624 swapFree=67108860/67108860
[pid=10241] ppid=10238 vsize=15683912 memory=3093880 CPUtime=26.71 cores=0,2,4,6
/proc/10241/stat : 10241 (java) S 10238 10241 2271 0 -1 1077944320 36310 0 0 0 2553 118 0 0 20 0 19 0 53035549 16060325888 773470 33554432000 4194304 4196468 140732174111008 140732174093552 139661932318455 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
/proc/10241/statm: 3920978 773470 3244 1 0 3881834 0
[pid=10339] ppid=10241 vsize=177256 memory=156112 CPUtime=2493.33 cores=0,2,4,6
/proc/10339/stat : 10339 (minisat_release) R 10241 10241 2271 0 -1 4202496 139566 0 0 0 249316 17 0 0 20 0 1 0 53036521 181510144 39028 33554432000 4194304 4308513 140725784366464 140725784363464 4275992 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 13631488 140725784371887 140725784372398 140725784372398 140725784375237 0
/proc/10339/statm: 44314 39028 354 28 0 40554 0
[pid=10241/tid=10243] ppid=10238 vsize=15683912 memory=3093880 CPUtime=9.63 cores=0,2,4,6
/proc/10241/task/10243/stat : 10243 (java) S 10238 10241 2271 0 -1 1077944384 17904 0 0 0 916 47 0 0 20 0 19 0 53035549 16060325888 773470 33554432000 4194304 4196468 140732174111008 139661904157696 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10244] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0.08 cores=0,2,4,6
/proc/10241/task/10244/stat : 10244 (java) S 10238 10241 2271 0 -1 1077944384 45 0 0 0 6 2 0 0 20 0 19 0 53035551 16060325888 773470 33554432000 4194304 4196468 140732174111008 139661936561168 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10245] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0.08 cores=0,2,4,6
/proc/10241/task/10245/stat : 10245 (java) S 10238 10241 2271 0 -1 1077944384 95 0 0 0 6 2 0 0 20 0 19 0 53035551 16060325888 773470 33554432000 4194304 4196468 140732174111008 139661735337104 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10246] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0.08 cores=0,2,4,6
/proc/10241/task/10246/stat : 10246 (java) S 10238 10241 2271 0 -1 1077944384 38 0 0 0 6 2 0 0 20 0 19 0 53035551 16060325888 773470 33554432000 4194304 4196468 140732174111008 139661391420176 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10247] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0.08 cores=0,2,4,6
/proc/10241/task/10247/stat : 10247 (java) S 10238 10241 2271 0 -1 1077944384 308 0 0 0 6 2 0 0 20 0 19 0 53035551 16060325888 773470 33554432000 4194304 4196468 140732174111008 139661390367632 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10248] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0.06 cores=0,2,4,6
/proc/10241/task/10248/stat : 10248 (java) S 10238 10241 2271 0 -1 1077944384 24 0 0 0 3 3 0 0 20 0 19 0 53035552 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660702124272 139661932329602 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10249] ppid=10238 vsize=15683912 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10249/stat : 10249 (java) S 10238 10241 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53035553 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660592407776 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10250] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10250/stat : 10250 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53035553 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660323971824 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10251] ppid=10238 vsize=15683912 memory=156112 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10251/stat : 10251 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53035555 16060325888 773470 33554432000 4194304 4196468 140732174111008 139659949463504 139661932337051 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10252] ppid=10238 vsize=15683912 memory=7528 CPUtime=6.61 cores=0,2,4,6
/proc/10241/task/10252/stat : 10252 (java) S 10238 10241 2271 0 -1 1077944384 5608 0 0 0 660 1 0 0 20 0 19 0 53035555 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660701072112 139661932329602 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10253] ppid=10238 vsize=15683912 memory=-7824251494390978921 CPUtime=6.89 cores=0,2,4,6
/proc/10241/task/10253/stat : 10253 (java) S 10238 10241 2271 0 -1 1077944384 6800 0 0 0 687 2 0 0 20 0 19 0 53035555 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660700019568 139661932329602 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10254] ppid=10238 vsize=15683912 memory=288230621803970871 CPUtime=1.76 cores=0,2,4,6
/proc/10241/task/10254/stat : 10254 (java) S 10238 10241 2271 0 -1 1077944384 3940 0 0 0 174 2 0 0 20 0 19 0 53035555 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660698966512 139661932329602 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10255] ppid=10238 vsize=15683912 memory=-7824251494390978921 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10255/stat : 10255 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53035556 16060325888 773470 33554432000 4194304 4196468 140732174111008 139659451558752 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10256] ppid=10238 vsize=15683912 memory=1792 CPUtime=1.34 cores=0,2,4,6
/proc/10241/task/10256/stat : 10256 (java) S 10238 10241 2271 0 -1 1077944384 167 0 0 0 70 64 0 0 20 0 19 0 53035556 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660697913904 139661932329602 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10340] ppid=10238 vsize=15683912 memory=156112 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10340/stat : 10340 (java) S 10238 10241 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53036522 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660679550272 139661932343065 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10342] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10342/stat : 10342 (java) S 10238 10241 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 53036522 16060325888 773470 33554432000 4194304 4196468 140732174111008 139658914676016 139661932340381 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10343] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10343/stat : 10343 (java) S 10238 10241 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 53036522 16060325888 773470 33554432000 4194304 4196468 140732174111008 139658646241200 139661932340381 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10344] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10344/stat : 10344 (java) S 10238 10241 2271 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 53036526 16060325888 773470 33554432000 4194304 4196468 140732174111008 139659183120160 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15861168 KiB
Current children cumulated memory: 3249992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2502.93 s]
# the end of solver process 10241 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.71 s, system=1.37591 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2502.9 s]
/proc/loadavg: 2.05 2.10 2.08 3/225 10445
/proc/meminfo: memFree=11099404/32770624 swapFree=67108860/67108860
[pid=10241] ppid=10238 vsize=15683912 memory=3093880 CPUtime=26.71 cores=0,2,4,6
/proc/10241/stat : 10241 (java) S 10238 10241 2271 0 -1 1077944320 36310 0 0 0 2553 118 0 0 20 0 19 0 53035549 16060325888 773470 33554432000 4194304 4196468 140732174111008 140732174093552 139661932318455 0 0 0 25189583 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
/proc/10241/statm: 3920978 773470 3244 1 0 3881834 0
[pid=10339] ppid=10241 vsize=177256 memory=156112 CPUtime=2493.33 cores=0,2,4,6
/proc/10339/stat : 10339 (minisat_release) R 10241 10241 2271 0 -1 4202496 139566 0 0 0 249316 17 0 0 20 0 1 0 53036521 181510144 39028 33554432000 4194304 4308513 140725784366464 140725784363464 4275992 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 13631488 140725784371887 140725784372398 140725784372398 140725784375237 0
/proc/10339/statm: 44314 39028 354 28 0 40554 0
[pid=10241/tid=10243] ppid=10238 vsize=15683912 memory=3093880 CPUtime=9.63 cores=0,2,4,6
/proc/10241/task/10243/stat : 10243 (java) S 10238 10241 2271 0 -1 1077944384 17904 0 0 0 916 47 0 0 20 0 19 0 53035549 16060325888 773470 33554432000 4194304 4196468 140732174111008 139661904157696 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10244] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0.08 cores=0,2,4,6
/proc/10241/task/10244/stat : 10244 (java) S 10238 10241 2271 0 -1 1077944384 45 0 0 0 6 2 0 0 20 0 19 0 53035551 16060325888 773470 33554432000 4194304 4196468 140732174111008 139661936561168 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10245] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0.08 cores=0,2,4,6
/proc/10241/task/10245/stat : 10245 (java) S 10238 10241 2271 0 -1 1077944384 95 0 0 0 6 2 0 0 20 0 19 0 53035551 16060325888 773470 33554432000 4194304 4196468 140732174111008 139661735337104 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10246] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0.08 cores=0,2,4,6
/proc/10241/task/10246/stat : 10246 (java) S 10238 10241 2271 0 -1 1077944384 38 0 0 0 6 2 0 0 20 0 19 0 53035551 16060325888 773470 33554432000 4194304 4196468 140732174111008 139661391420176 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10247] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0.08 cores=0,2,4,6
/proc/10241/task/10247/stat : 10247 (java) S 10238 10241 2271 0 -1 1077944384 308 0 0 0 6 2 0 0 20 0 19 0 53035551 16060325888 773470 33554432000 4194304 4196468 140732174111008 139661390367632 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10248] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0.06 cores=0,2,4,6
/proc/10241/task/10248/stat : 10248 (java) S 10238 10241 2271 0 -1 1077944384 24 0 0 0 3 3 0 0 20 0 19 0 53035552 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660702124272 139661932329602 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10249] ppid=10238 vsize=15683912 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10249/stat : 10249 (java) S 10238 10241 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53035553 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660592407776 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10250] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10250/stat : 10250 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53035553 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660323971824 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10251] ppid=10238 vsize=15683912 memory=156112 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10251/stat : 10251 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53035555 16060325888 773470 33554432000 4194304 4196468 140732174111008 139659949463504 139661932337051 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10252] ppid=10238 vsize=15683912 memory=7528 CPUtime=6.61 cores=0,2,4,6
/proc/10241/task/10252/stat : 10252 (java) S 10238 10241 2271 0 -1 1077944384 5608 0 0 0 660 1 0 0 20 0 19 0 53035555 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660701072112 139661932329602 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10253] ppid=10238 vsize=15683912 memory=-7824251494390978921 CPUtime=6.89 cores=0,2,4,6
/proc/10241/task/10253/stat : 10253 (java) S 10238 10241 2271 0 -1 1077944384 6800 0 0 0 687 2 0 0 20 0 19 0 53035555 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660700019568 139661932329602 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10254] ppid=10238 vsize=15683912 memory=288230621803970871 CPUtime=1.76 cores=0,2,4,6
/proc/10241/task/10254/stat : 10254 (java) S 10238 10241 2271 0 -1 1077944384 3940 0 0 0 174 2 0 0 20 0 19 0 53035555 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660698966512 139661932329602 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10255] ppid=10238 vsize=15683912 memory=-7824251494390978921 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10255/stat : 10255 (java) S 10238 10241 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53035556 16060325888 773470 33554432000 4194304 4196468 140732174111008 139659451558752 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10256] ppid=10238 vsize=15683912 memory=1792 CPUtime=1.34 cores=0,2,4,6
/proc/10241/task/10256/stat : 10256 (java) S 10238 10241 2271 0 -1 1077944384 167 0 0 0 70 64 0 0 20 0 19 0 53035556 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660697913904 139661932329602 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10340] ppid=10238 vsize=15683912 memory=156112 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10340/stat : 10340 (java) S 10238 10241 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53036522 16060325888 773470 33554432000 4194304 4196468 140732174111008 139660679550272 139661932343065 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10342] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10342/stat : 10342 (java) S 10238 10241 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 53036522 16060325888 773470 33554432000 4194304 4196468 140732174111008 139658914676016 139661932340381 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10343] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10343/stat : 10343 (java) S 10238 10241 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 53036522 16060325888 773470 33554432000 4194304 4196468 140732174111008 139658646241200 139661932340381 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
[pid=10241/tid=10344] ppid=10238 vsize=15683912 memory=3093880 CPUtime=0 cores=0,2,4,6
/proc/10241/task/10344/stat : 10344 (java) S 10238 10241 2271 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 53036526 16060325888 773470 33554432000 4194304 4196468 140732174111008 139659183120160 139661932328661 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37367808 140732174119923 140732174120201 140732174120201 140732174122959 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15861168 KiB
Current children cumulated memory: 3249992 KiB
Child status: 1
Real time (s): 2502.93
CPU time (s): 2520.09
CPU user time (s): 2518.71
CPU system time (s): 1.37591
CPU usage (%): 100.686
Max. virtual memory (cumulated for all children) (KiB): 15861172
Max. memory (cumulated for all children) (KiB): 3249992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.71
system time used= 1.37591
maximum resident set size= 3098736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175952
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59160
involuntary context switches= 880
# summary of solver processes directly reported to runsolver:
# pid: 10241
# total CPU time (s): 2520.09
# total CPU user time (s): 2518.71
# total CPU system time (s): 1.37591
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5448 second user time and 26.6536 second system time
The end