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 21:38:16 CEST 2018
0.66/0.55 c PID: 1535
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.64/1.24 c (0,0) Parsing End
2.64/1.25 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 511 ctr, max domain size 25
2.64/1.25 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.64/1.25 c (0,0) Constraint Name Generate Begin
2.64/1.26 c (0,0) Ctr:HOME/instance-4295606-1532547496.xml,ExtensionConflict:ExtensionSupport:IntVar
2.64/1.26 c (0,0) Constraint Name Generate End
2.64/1.26 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.64/1.26 c (0,0) CSP to CSPinCNF Begin
5.54/2.25 c (1,1) translated 52 (10%) constraints
7.48/2.86 c (2,2) translated 103 (20%) constraints
9.01/3.35 c (2,2) translated 154 (30%) constraints
10.22/3.79 c (3,3) translated 205 (40%) constraints
11.45/4.16 c (3,3) translated 256 (50%) constraints
12.64/4.53 c (4,3) translated 307 (60%) constraints
13.55/4.84 c (4,4) translated 358 (70%) constraints
13.91/5.09 c (4,4) translated 409 (80%) constraints
14.22/5.33 c (4,4) translated 460 (90%) constraints
14.51/5.56 c (5,5) translated 511 (100%) constraints
15.95/6.02 c (5,5) STATISTICS1:HOME/instance-4295606-1532547496.xml,ExtensionConflict:ExtensionSupport:IntVar,331,66841,-1,25,26,1,,25:253197;2:3998,26:11;4:57149;3:8962;2:719,1:257195;0:11,
15.95/6.02 c (5,5) ===========================================
15.95/6.02 c (5,5) Both Encoding selects:
15.95/6.02 c (5,5) Order
15.95/6.02 c (5,5) ===========================================
16.42/6.21 c (5,5) translated 6685 (10%) constraints
16.73/6.36 c (5,5) translated 13369 (20%) constraints
17.03/6.48 c (5,5) translated 20053 (30%) constraints
17.21/6.60 c (6,6) translated 26737 (40%) constraints
17.42/6.71 c (6,6) translated 33421 (50%) constraints
17.52/6.83 c (6,6) translated 40105 (60%) constraints
17.62/6.95 c (6,6) translated 46789 (70%) constraints
17.73/7.07 c (6,6) translated 53473 (80%) constraints
17.83/7.19 c (6,6) translated 60157 (90%) constraints
18.02/7.31 c (6,6) translated 66841 (100%) constraints
18.02/7.31 c (6,6) CSP to CSPinCNF End
18.02/7.31 c (6,6) CSP: 56 int (0 aux), 275 bool (275 aux), 66841 ctr, max domain size 25
18.02/7.31 c (6,6) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
18.02/7.31 c (6,6) CSPinCNF Propagation Begin
19.34/7.82 c (7,7) 0 values, 6081 unsatisfiable literals, and 0 valid clauses are removed
19.34/7.82 c (7,7) CSPinCNF Propagation End
19.34/7.82 c (7,7) CSP: 56 int (0 aux), 275 bool (275 aux), 66841 ctr, max domain size 25
19.34/7.82 c (7,7) Heap : 329 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.34/7.82 c (7,7) Simplify CSPinCNF Begin
19.58/7.97 c (7,7) Simplify CSPinCNF End
19.58/7.97 c (7,7) CSP: 56 int (0 aux), 275 bool (275 aux), 66841 ctr, max domain size 25
19.58/7.97 c (7,7) Heap : 384 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.58/7.97 c (7,7) Calculate Precise Domain Begin
19.58/7.98 c (7,7) 0 values are removed by re-calculation
19.58/7.98 c (7,7) Calculate Precise Domain End
19.58/7.98 c (7,7) CSP: 56 int (0 aux), 275 bool (275 aux), 66841 ctr, max domain size 25
19.58/7.98 c (7,7) Heap : 384 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.58/7.98 c (7,7) CSPinCNF to SatSolver Begin
20.06/8.15 c (7,7) 6685 (10 %) CSP clauses are encoded (1619 SAT variables, 7972 SAT clauses)
20.32/8.24 c (7,7) 13369 (20 %) CSP clauses are encoded (1619 SAT variables, 14656 SAT clauses)
20.32/8.29 c (7,7) 20053 (30 %) CSP clauses are encoded (1619 SAT variables, 21340 SAT clauses)
20.62/8.33 c (7,7) 26737 (40 %) CSP clauses are encoded (1619 SAT variables, 28024 SAT clauses)
20.62/8.37 c (7,7) 33421 (50 %) CSP clauses are encoded (1619 SAT variables, 34708 SAT clauses)
20.74/8.41 c (7,7) 40105 (60 %) CSP clauses are encoded (1619 SAT variables, 41392 SAT clauses)
20.74/8.45 c (7,7) 46789 (70 %) CSP clauses are encoded (1619 SAT variables, 48076 SAT clauses)
20.74/8.49 c (7,7) 53473 (80 %) CSP clauses are encoded (1619 SAT variables, 54760 SAT clauses)
20.84/8.54 c (8,7) 60157 (90 %) CSP clauses are encoded (1619 SAT variables, 61444 SAT clauses)
20.84/8.58 c (8,7) 66841 (100 %) CSP clauses are encoded (1619 SAT variables, 68128 SAT clauses)
20.84/8.58 c (8,7) CSPinCNF to SatSolver End
20.84/8.58 c (8,7) Heap : 821 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
21.57/8.84 c (8,8) STATISTICS2:HOME/instance-4295606-1532547496.xml,ExtensionConflict:ExtensionSupport:IntVar,331,66841,-1,25,25,1,,25:247127;2:3998,25:11;4:51527;3:14136;2:1167,1:251125,
21.57/8.84 c (8,8) SatSolver.solve Begin
21.57/8.84 c (8,8) 1619 bool, 68129 clause
21.57/8.84 c (8,8) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4295606-1532547496.xml-scop-1535.cnf HOME/instance-4295606-1532547496.xml-scop-1535.cnf.out
2520.03/2505.70 c (2505,8) SatSolver is killed by some reasons.
2520.03/2505.70 c (2505,8) 0,0,6,7,7,7,8,TO,TO,STOP-AFTER(DIMACS)
2520.03/2505.70 c (2505,0) receiving signal SIGTERM
2520.03/2505.70 s UNKNOWN
2520.03/2505.70 s UNKNOWN
2520.03/2505.70 c END-Prog: Wed Jul 25 22:20:01 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 (8226 MiB free)
memory of node 1: 16384 MiB (12483 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295606-1532547496/watcher-4295606-1532547496 -o /tmp/evaluation-result-4295606-1532547496/solver-4295606-1532547496 -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-4295606-1532547496.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=1535, runsolver pid=1532
Current StackSize limit: 8192 KiB
[startup+0.10012 s]*
/proc/loadavg: 2.02 2.02 2.05 4/220 1550
/proc/meminfo: memFree=21147528/32770624 swapFree=67076536/67108860
[pid=1535] ppid=1532 vsize=15011656 memory=71812 CPUtime=0.11 cores=0,2,4,6
/proc/1535/stat : 1535 (java) S 1532 1535 29212 0 -1 1077944320 6649 0 0 0 9 2 0 0 20 0 15 0 72312734 15371935744 17953 33554432000 4194304 4196468 140723087382368 140723087364912 140368288837367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
/proc/1535/statm: 3752914 17953 2768 1 0 3715374 0
[pid=1535/tid=1537] ppid=1532 vsize=15011656 memory=7100839887284243048 CPUtime=0.09 cores=0,2,4,6
/proc/1535/task/1537/stat : 1537 (java) R 1532 1535 29212 0 -1 4202560 4979 0 0 0 7 2 0 0 20 0 15 0 72312734 15371935744 18217 33554432000 4194304 4196468 140723087382368 140368260649352 140368269113195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1538] ppid=1532 vsize=15011656 memory=3472328295574039403 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1538/stat : 1538 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312736 15371935744 18217 33554432000 4194304 4196468 140723087382368 140368293079312 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1539] ppid=1532 vsize=15011656 memory=139626015614592 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1539/stat : 1539 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312736 15371935744 18217 33554432000 4194304 4196468 140723087382368 140367749003664 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1540] ppid=1532 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1540/stat : 1540 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312736 15371935744 18217 33554432000 4194304 4196468 140723087382368 140367747951120 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1541] ppid=1532 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1541/stat : 1541 (java) S 1532 1535 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72312736 15371935744 18217 33554432000 4194304 4196468 140723087382368 140367746898576 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1542] ppid=1532 vsize=15011656 memory=139626015614592 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1542/stat : 1542 (java) S 1532 1535 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72312737 15371935744 18217 33554432000 4194304 4196468 140723087382368 140367628274160 140368288848514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1543] ppid=1532 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1543/stat : 1543 (java) S 1532 1535 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72312738 15371935744 18217 33554432000 4194304 4196468 140723087382368 140366913201568 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1544] ppid=1532 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1544/stat : 1544 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312738 15371935744 18217 33554432000 4194304 4196468 140723087382368 140366644766192 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1545] ppid=1532 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1545/stat : 1545 (java) S 1532 1535 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72312740 15371935744 18217 33554432000 4194304 4196468 140723087382368 140366270257872 140368288855963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1546] ppid=1532 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1546/stat : 1546 (java) S 1532 1535 29212 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 72312740 15371935744 18283 33554432000 4194304 4196468 140723087382368 140367627220976 140368288848514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1547] ppid=1532 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1547/stat : 1547 (java) S 1532 1535 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72312740 15371935744 18283 33554432000 4194304 4196468 140723087382368 140367626168432 140368288848514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1548] ppid=1532 vsize=15011656 memory=139626015614592 CPUtime=0.01 cores=0,2,4,6
/proc/1535/task/1548/stat : 1548 (java) S 1532 1535 29212 0 -1 1077944384 300 0 0 0 1 0 0 0 20 0 15 0 72312740 15371935744 18283 33554432000 4194304 4196468 140723087382368 140367625115888 140368288848514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1549] ppid=1532 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1549/stat : 1549 (java) S 1532 1535 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72312740 15371935744 18283 33554432000 4194304 4196468 140723087382368 140365772352096 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1550] ppid=1532 vsize=15011656 memory=139626015614592 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1550/stat : 1550 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312741 15371935744 18283 33554432000 4194304 4196468 140723087382368 140367624063792 140368288848514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71812 KiB
[startup+0.210446 s]*
/proc/loadavg: 2.02 2.02 2.05 3/220 1550
/proc/meminfo: memFree=21132988/32770624 swapFree=67076536/67108860
[pid=1535] ppid=1532 vsize=15011656 memory=85176 CPUtime=0.25 cores=0,2,4,6
/proc/1535/stat : 1535 (java) S 1532 1535 29212 0 -1 1077944320 10226 0 0 0 22 3 0 0 20 0 15 0 72312734 15371935744 21294 33554432000 4194304 4196468 140723087382368 140723087364912 140368288837367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
/proc/1535/statm: 3752914 21294 2908 1 0 3715374 0
[pid=1535/tid=1537] ppid=1532 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/1535/task/1537/stat : 1537 (java) R 1532 1535 29212 0 -1 4202560 8064 0 0 0 17 3 0 0 20 0 15 0 72312734 15371935744 21294 33554432000 4194304 4196468 140723087382368 140368260656336 140368288849302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1538] ppid=1532 vsize=15011656 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1538/stat : 1538 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312736 15371935744 21294 33554432000 4194304 4196468 140723087382368 140368293079312 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1539] ppid=1532 vsize=15011656 memory=139626015643912 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1539/stat : 1539 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312736 15371935744 21294 33554432000 4194304 4196468 140723087382368 140367749003664 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1540] ppid=1532 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1540/stat : 1540 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312736 15371935744 21294 33554432000 4194304 4196468 140723087382368 140367747951120 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1541] ppid=1532 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1541/stat : 1541 (java) S 1532 1535 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72312736 15371935744 21294 33554432000 4194304 4196468 140723087382368 140367746898576 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1542] ppid=1532 vsize=15011656 memory=139626015614592 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1542/stat : 1542 (java) S 1532 1535 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72312737 15371935744 21294 33554432000 4194304 4196468 140723087382368 140367628274160 140368288848514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1543] ppid=1532 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1543/stat : 1543 (java) S 1532 1535 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72312738 15371935744 21294 33554432000 4194304 4196468 140723087382368 140366913201568 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1544] ppid=1532 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1544/stat : 1544 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312738 15371935744 21294 33554432000 4194304 4196468 140723087382368 140366644766192 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1545] ppid=1532 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1545/stat : 1545 (java) S 1532 1535 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72312740 15371935744 21294 33554432000 4194304 4196468 140723087382368 140366270257872 140368288855963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1546] ppid=1532 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1546/stat : 1546 (java) S 1532 1535 29212 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 72312740 15371935744 21294 33554432000 4194304 4196468 140723087382368 140367627220976 140368288848514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1547] ppid=1532 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1547/stat : 1547 (java) S 1532 1535 29212 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 72312740 15371935744 21294 33554432000 4194304 4196468 140723087382368 140367626168432 140368288848514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1548] ppid=1532 vsize=15011656 memory=139626015614592 CPUtime=0.03 cores=0,2,4,6
/proc/1535/task/1548/stat : 1548 (java) S 1532 1535 29212 0 -1 1077944384 347 0 0 0 3 0 0 0 20 0 15 0 72312740 15371935744 21294 33554432000 4194304 4196468 140723087382368 140367625115888 140368288848514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1549] ppid=1532 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1549/stat : 1549 (java) S 1532 1535 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72312740 15371935744 21294 33554432000 4194304 4196468 140723087382368 140365772352096 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1550] ppid=1532 vsize=15011656 memory=139626015614592 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1550/stat : 1550 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312741 15371935744 21294 33554432000 4194304 4196468 140723087382368 140367624063792 140368288848514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85176 KiB
[startup+0.310407 s]*
/proc/loadavg: 2.02 2.02 2.05 3/220 1550
/proc/meminfo: memFree=21129700/32770624 swapFree=67076536/67108860
[pid=1535] ppid=1532 vsize=15011656 memory=89208 CPUtime=0.43 cores=0,2,4,6
/proc/1535/stat : 1535 (java) S 1532 1535 29212 0 -1 1077944320 10832 0 0 0 39 4 0 0 20 0 15 0 72312734 15371935744 22302 33554432000 4194304 4196468 140723087382368 140723087364912 140368288837367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
/proc/1535/statm: 3752914 22302 3024 1 0 3715374 0
[pid=1535/tid=1537] ppid=1532 vsize=15011656 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/1535/task/1537/stat : 1537 (java) R 1532 1535 29212 0 -1 4202560 8437 0 0 0 27 3 0 0 20 0 15 0 72312734 15371935744 22302 33554432000 4194304 4196468 140723087382368 140368260641296 140367791500615 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1538] ppid=1532 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1538/stat : 1538 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312736 15371935744 22302 33554432000 4194304 4196468 140723087382368 140368293079312 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1539] ppid=1532 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1539/stat : 1539 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312736 15371935744 22302 33554432000 4194304 4196468 140723087382368 140367749003664 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1540] ppid=1532 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1540/stat : 1540 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312736 15371935744 22302 33554432000 4194304 4196468 140723087382368 140367747951120 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1541] ppid=1532 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1541/stat : 1541 (java) S 1532 1535 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72312736 15371935744 22302 33554432000 4194304 4196468 140723087382368 140367746898576 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1542] ppid=1532 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1542/stat : 1542 (java) S 1532 1535 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72312737 15371935744 22302 33554432000 4194304 4196468 140723087382368 140367628274160 140368288848514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1543] ppid=1532 vsize=15011656 memory=139625897241039 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1543/stat : 1543 (java) S 1532 1535 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72312738 15371935744 22302 33554432000 4194304 4196468 140723087382368 140366913201568 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1544] ppid=1532 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1544/stat : 1544 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312738 15371935744 22302 33554432000 4194304 4196468 140723087382368 140366644766192 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1545] ppid=1532 vsize=15011656 memory=279251794454400 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1545/stat : 1545 (java) S 1532 1535 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72312740 15371935744 22302 33554432000 4194304 4196468 140723087382368 140366270257872 140368288855963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1546] ppid=1532 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1535/task/1546/stat : 1546 (java) S 1532 1535 29212 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 15 0 72312740 15371935744 22302 33554432000 4194304 4196468 140723087382368 140367627220976 140368288848514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1547] ppid=1532 vsize=15011656 memory=139625897271183 CPUtime=0.02 cores=0,2,4,6
/proc/1535/task/1547/stat : 1547 (java) R 1532 1535 29212 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 15 0 72312740 15371935744 22302 33554432000 4194304 4196468 140723087382368 140367626168432 140368288848514 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1548] ppid=1532 vsize=15011656 memory=139626015614592 CPUtime=0.07 cores=0,2,4,6
/proc/1535/task/1548/stat : 1548 (java) R 1532 1535 29212 0 -1 1077944384 440 0 0 0 7 0 0 0 20 0 15 0 72312740 15371935744 22302 33554432000 4194304 4196468 140723087382368 140367625115888 140368288848514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1549] ppid=1532 vsize=15011656 memory=139625897276319 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1549/stat : 1549 (java) S 1532 1535 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72312740 15371935744 22302 33554432000 4194304 4196468 140723087382368 140365772352096 140368288847573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1550] ppid=1532 vsize=15011656 memory=139626087927326 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1550/stat : 1550 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312741 15371935744 22302 33554432000 4194304 4196468 140723087382368 140367624063792 140368288848514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89208 KiB
[startup+0.700679 s]
/proc/loadavg: 2.02 2.02 2.05 3/220 1550
/proc/meminfo: memFree=21105860/32770624 swapFree=67076536/67108860
[pid=1535] ppid=1532 vsize=15017928 memory=128596 CPUtime=1.03 cores=0,2,4,6
/proc/1535/stat : 1535 (java) S 1532 1535 29212 0 -1 1077944320 17898 0 0 0 98 5 0 0 20 0 15 0 72312734 15378358272 32149 33554432000 4194304 4196468 140723087382368 140723087364912 140368288837367 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
/proc/1535/statm: 3754482 32149 3140 1 0 3715886 0
[pid=1535/tid=1537] ppid=1532 vsize=15017928 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/1535/task/1537/stat : 1537 (java) R 1532 1535 29212 0 -1 4202560 14817 0 0 0 63 4 0 0 20 0 15 0 72312734 15378358272 32149 33554432000 4194304 4196468 140723087382368 140368260675392 140368288859293 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1538] ppid=1532 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1538/stat : 1538 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312736 15378358272 32149 33554432000 4194304 4196468 140723087382368 140368293079312 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1539] ppid=1532 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1539/stat : 1539 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312736 15378358272 32149 33554432000 4194304 4196468 140723087382368 140367749003664 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1540] ppid=1532 vsize=15017928 memory=54 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1540/stat : 1540 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312736 15378358272 32149 33554432000 4194304 4196468 140723087382368 140367747951120 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1541] ppid=1532 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1541/stat : 1541 (java) S 1532 1535 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72312736 15378358272 32149 33554432000 4194304 4196468 140723087382368 140367746898576 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1542] ppid=1532 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1542/stat : 1542 (java) S 1532 1535 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72312737 15378358272 32149 33554432000 4194304 4196468 140723087382368 140367628274160 140368288848514 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1543] ppid=1532 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1543/stat : 1543 (java) S 1532 1535 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 72312738 15378358272 32149 33554432000 4194304 4196468 140723087382368 140366913201568 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1544] ppid=1532 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1544/stat : 1544 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312738 15378358272 32149 33554432000 4194304 4196468 140723087382368 140366644766192 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1545] ppid=1532 vsize=15017928 memory=7813587196152395573 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1545/stat : 1545 (java) S 1532 1535 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72312740 15378358272 32149 33554432000 4194304 4196468 140723087382368 140366270257872 140368288855963 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1546] ppid=1532 vsize=15017928 memory=7012755875661107284 CPUtime=0.06 cores=0,2,4,6
/proc/1535/task/1546/stat : 1546 (java) R 1532 1535 29212 0 -1 4202560 537 0 0 0 6 0 0 0 20 0 15 0 72312740 15378358272 32149 33554432000 4194304 4196468 140723087382368 140367627201992 140368288840706 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1547] ppid=1532 vsize=15017928 memory=7588675599774802240 CPUtime=0.1 cores=0,2,4,6
/proc/1535/task/1547/stat : 1547 (java) R 1532 1535 29212 0 -1 1077944384 527 0 0 0 10 0 0 0 20 0 15 0 72312740 15378358272 32149 33554432000 4194304 4196468 140723087382368 140367626168432 140368288848514 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1548] ppid=1532 vsize=15017928 memory=-7741331004330446197 CPUtime=0.17 cores=0,2,4,6
/proc/1535/task/1548/stat : 1548 (java) R 1532 1535 29212 0 -1 4202560 678 0 0 0 17 0 0 0 20 0 15 0 72312740 15378358272 32149 33554432000 4194304 4196468 140723087382368 140367625112824 140368267855575 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1549] ppid=1532 vsize=15017928 memory=-8341965534556230502 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1549/stat : 1549 (java) S 1532 1535 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72312740 15378358272 32149 33554432000 4194304 4196468 140723087382368 140365772352096 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1550] ppid=1532 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1550/stat : 1550 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312741 15378358272 32149 33554432000 4194304 4196468 140723087382368 140367624063792 140368288848514 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 128596 KiB
[startup+1.50166 s]
/proc/loadavg: 2.02 2.02 2.05 5/220 1550
/proc/meminfo: memFree=20995776/32770624 swapFree=67076536/67108860
[pid=1535] ppid=1532 vsize=15022100 memory=276652 CPUtime=3.33 cores=0,2,4,6
/proc/1535/stat : 1535 (java) S 1532 1535 29212 0 -1 1077944320 21653 0 0 0 325 8 0 0 20 0 15 0 72312734 15382630400 69163 33554432000 4194304 4196468 140723087382368 140723087364912 140368288837367 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
/proc/1535/statm: 3755525 69163 3203 1 0 3716910 0
[pid=1535/tid=1537] ppid=1532 vsize=15022100 memory=166196 CPUtime=1.47 cores=0,2,4,6
/proc/1535/task/1537/stat : 1537 (java) R 1532 1535 29212 0 -1 4202560 16081 0 0 0 141 6 0 0 20 0 15 0 72312734 15382630400 69163 33554432000 4194304 4196468 140723087382368 140368260668096 140367795560176 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1538] ppid=1532 vsize=15022100 memory=279251794526880 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1538/stat : 1538 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312736 15382630400 69163 33554432000 4194304 4196468 140723087382368 140368293079312 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1539] ppid=1532 vsize=15022100 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1539/stat : 1539 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312736 15382630400 69163 33554432000 4194304 4196468 140723087382368 140367749003664 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1540] ppid=1532 vsize=15022100 memory=279251794765088 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1540/stat : 1540 (java) S 1532 1535 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72312736 15382630400 69163 33554432000 4194304 4196468 140723087382368 140367747951120 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1541] ppid=1532 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1541/stat : 1541 (java) S 1532 1535 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72312736 15382630400 69163 33554432000 4194304 4196468 140723087382368 140367746898576 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1542] ppid=1532 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1542/stat : 1542 (java) S 1532 1535 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72312737 15382630400 69163 33554432000 4194304 4196468 140723087382368 140367628274160 140368288848514 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
################
# More data... #
################
/proc/meminfo: memFree=18027872/32770624 swapFree=67076552/67108860
[pid=1535] ppid=1532 vsize=15683912 memory=3110656 CPUtime=23.34 cores=0,2,4,6
/proc/1535/stat : 1535 (java) S 1532 1535 29212 0 -1 1077944320 37996 0 0 0 2213 121 0 0 20 0 19 0 72312734 16060325888 777664 33554432000 4194304 4196468 140723087382368 140723087364912 140368288837367 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
/proc/1535/statm: 3920978 777664 3238 1 0 3881834 0
[pid=1551] ppid=1535 vsize=125484 memory=94944 CPUtime=2493.29 cores=0,2,4,6
/proc/1551/stat : 1551 (minisat_release) R 1535 1535 29212 0 -1 4202496 144535 0 0 0 249307 22 0 0 20 0 1 0 72313619 128495616 23736 33554432000 4194304 4308513 140727256142544 140727256139544 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 40542208 140727256146609 140727256147118 140727256147118 140727256149957 0
/proc/1551/statm: 31371 23736 355 28 0 27611 0
[pid=1535/tid=1537] ppid=1532 vsize=15683912 memory=3110656 CPUtime=8.75 cores=0,2,4,6
/proc/1535/task/1537/stat : 1537 (java) S 1532 1535 29212 0 -1 1077944384 19144 0 0 0 828 47 0 0 20 0 19 0 72312734 16060325888 777664 33554432000 4194304 4196468 140723087382368 140368260676608 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1538] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0.09 cores=0,2,4,6
/proc/1535/task/1538/stat : 1538 (java) S 1532 1535 29212 0 -1 1077944384 46 0 0 0 7 2 0 0 20 0 19 0 72312736 16060325888 777664 33554432000 4194304 4196468 140723087382368 140368293079312 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1539] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0.1 cores=0,2,4,6
/proc/1535/task/1539/stat : 1539 (java) S 1532 1535 29212 0 -1 1077944384 41 0 0 0 8 2 0 0 20 0 19 0 72312736 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367749003664 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1540] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0.09 cores=0,2,4,6
/proc/1535/task/1540/stat : 1540 (java) S 1532 1535 29212 0 -1 1077944384 59 0 0 0 7 2 0 0 20 0 19 0 72312736 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367747951120 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1541] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0.09 cores=0,2,4,6
/proc/1535/task/1541/stat : 1541 (java) S 1532 1535 29212 0 -1 1077944384 115 0 0 0 7 2 0 0 20 0 19 0 72312736 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367746898576 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1542] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0.05 cores=0,2,4,6
/proc/1535/task/1542/stat : 1542 (java) S 1532 1535 29212 0 -1 1077944384 24 0 0 0 3 2 0 0 20 0 19 0 72312737 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367628274160 140368288848514 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1543] ppid=1532 vsize=15683912 memory=94944 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1543/stat : 1543 (java) S 1532 1535 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 72312738 16060325888 777664 33554432000 4194304 4196468 140723087382368 140366913201568 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1544] ppid=1532 vsize=15683912 memory=776 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1544/stat : 1544 (java) S 1532 1535 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 72312738 16060325888 777664 33554432000 4194304 4196468 140723087382368 140366644766192 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1545] ppid=1532 vsize=15683912 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1545/stat : 1545 (java) S 1532 1535 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72312740 16060325888 777664 33554432000 4194304 4196468 140723087382368 140366270257872 140368288855963 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1546] ppid=1532 vsize=15683912 memory=3110656 CPUtime=5.68 cores=0,2,4,6
/proc/1535/task/1546/stat : 1546 (java) S 1532 1535 29212 0 -1 1077944384 6820 0 0 0 566 2 0 0 20 0 19 0 72312740 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367627220976 140368288848514 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1547] ppid=1532 vsize=15683912 memory=3110656 CPUtime=5.65 cores=0,2,4,6
/proc/1535/task/1547/stat : 1547 (java) S 1532 1535 29212 0 -1 1077944384 4410 0 0 0 563 2 0 0 20 0 19 0 72312740 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367626168432 140368288848514 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1548] ppid=1532 vsize=15683912 memory=3110656 CPUtime=1.36 cores=0,2,4,6
/proc/1535/task/1548/stat : 1548 (java) S 1532 1535 29212 0 -1 1077944384 5762 0 0 0 134 2 0 0 20 0 19 0 72312740 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367625115888 140368288848514 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1549] ppid=1532 vsize=15683912 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1549/stat : 1549 (java) S 1532 1535 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72312740 16060325888 777664 33554432000 4194304 4196468 140723087382368 140365772352096 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1550] ppid=1532 vsize=15683912 memory=3110656 CPUtime=1.37 cores=0,2,4,6
/proc/1535/task/1550/stat : 1550 (java) S 1532 1535 29212 0 -1 1077944384 167 0 0 0 70 67 0 0 20 0 19 0 72312741 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367624063792 140368288848514 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1552] ppid=1532 vsize=15683912 memory=94944 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1552/stat : 1552 (java) S 1532 1535 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72313620 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367719130688 140368288861977 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1554] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1554/stat : 1554 (java) S 1532 1535 29212 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 72313620 16060325888 777664 33554432000 4194304 4196468 140723087382368 140365235466288 140368288859293 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1555] ppid=1532 vsize=15683912 memory=94944 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1555/stat : 1555 (java) S 1532 1535 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 72313620 16060325888 777664 33554432000 4194304 4196468 140723087382368 140365369687216 140368288859293 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1556] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1556/stat : 1556 (java) S 1532 1535 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 72313622 16060325888 777664 33554432000 4194304 4196468 140723087382368 140364967042080 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
Current children cumulated CPU time: 2516.63 s
Current children cumulated vsize: 15809396 KiB
Current children cumulated memory: 3205600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/225 1817
/proc/meminfo: memFree=18027872/32770624 swapFree=67076552/67108860
[pid=1535] ppid=1532 vsize=15683912 memory=3110656 CPUtime=23.34 cores=0,2,4,6
/proc/1535/stat : 1535 (java) S 1532 1535 29212 0 -1 1077944320 37996 0 0 0 2213 121 0 0 20 0 19 0 72312734 16060325888 777664 33554432000 4194304 4196468 140723087382368 140723087364912 140368288837367 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
/proc/1535/statm: 3920978 777664 3238 1 0 3881834 0
[pid=1551] ppid=1535 vsize=125484 memory=94944 CPUtime=2496.69 cores=0,2,4,6
/proc/1551/stat : 1551 (minisat_release) R 1535 1535 29212 0 -1 4202496 144557 0 0 0 249647 22 0 0 20 0 1 0 72313619 128495616 23736 33554432000 4194304 4308513 140727256142544 140727256139544 4275920 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 40542208 140727256146609 140727256147118 140727256147118 140727256149957 0
/proc/1551/statm: 31371 23736 355 28 0 27611 0
[pid=1535/tid=1537] ppid=1532 vsize=15683912 memory=3110656 CPUtime=8.75 cores=0,2,4,6
/proc/1535/task/1537/stat : 1537 (java) S 1532 1535 29212 0 -1 1077944384 19144 0 0 0 828 47 0 0 20 0 19 0 72312734 16060325888 777664 33554432000 4194304 4196468 140723087382368 140368260676608 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1538] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0.09 cores=0,2,4,6
/proc/1535/task/1538/stat : 1538 (java) S 1532 1535 29212 0 -1 1077944384 46 0 0 0 7 2 0 0 20 0 19 0 72312736 16060325888 777664 33554432000 4194304 4196468 140723087382368 140368293079312 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1539] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0.1 cores=0,2,4,6
/proc/1535/task/1539/stat : 1539 (java) S 1532 1535 29212 0 -1 1077944384 41 0 0 0 8 2 0 0 20 0 19 0 72312736 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367749003664 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1540] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0.09 cores=0,2,4,6
/proc/1535/task/1540/stat : 1540 (java) S 1532 1535 29212 0 -1 1077944384 59 0 0 0 7 2 0 0 20 0 19 0 72312736 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367747951120 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1541] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0.09 cores=0,2,4,6
/proc/1535/task/1541/stat : 1541 (java) S 1532 1535 29212 0 -1 1077944384 115 0 0 0 7 2 0 0 20 0 19 0 72312736 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367746898576 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1542] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0.05 cores=0,2,4,6
/proc/1535/task/1542/stat : 1542 (java) S 1532 1535 29212 0 -1 1077944384 24 0 0 0 3 2 0 0 20 0 19 0 72312737 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367628274160 140368288848514 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1543] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1543/stat : 1543 (java) S 1532 1535 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 72312738 16060325888 777664 33554432000 4194304 4196468 140723087382368 140366913201568 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1544] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1544/stat : 1544 (java) S 1532 1535 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 72312738 16060325888 777664 33554432000 4194304 4196468 140723087382368 140366644766192 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1545] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1545/stat : 1545 (java) S 1532 1535 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72312740 16060325888 777664 33554432000 4194304 4196468 140723087382368 140366270257872 140368288855963 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1546] ppid=1532 vsize=15683912 memory=3110656 CPUtime=5.68 cores=0,2,4,6
/proc/1535/task/1546/stat : 1546 (java) S 1532 1535 29212 0 -1 1077944384 6820 0 0 0 566 2 0 0 20 0 19 0 72312740 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367627220976 140368288848514 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1547] ppid=1532 vsize=15683912 memory=1548 CPUtime=5.65 cores=0,2,4,6
/proc/1535/task/1547/stat : 1547 (java) S 1532 1535 29212 0 -1 1077944384 4410 0 0 0 563 2 0 0 20 0 19 0 72312740 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367626168432 140368288848514 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1548] ppid=1532 vsize=15683912 memory=3110656 CPUtime=1.36 cores=0,2,4,6
/proc/1535/task/1548/stat : 1548 (java) S 1532 1535 29212 0 -1 1077944384 5762 0 0 0 134 2 0 0 20 0 19 0 72312740 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367625115888 140368288848514 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1549] ppid=1532 vsize=15683912 memory=94944 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1549/stat : 1549 (java) S 1532 1535 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72312740 16060325888 777664 33554432000 4194304 4196468 140723087382368 140365772352096 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1550] ppid=1532 vsize=15683912 memory=3110656 CPUtime=1.38 cores=0,2,4,6
/proc/1535/task/1550/stat : 1550 (java) S 1532 1535 29212 0 -1 1077944384 167 0 0 0 70 68 0 0 20 0 19 0 72312741 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367624063792 140368288848514 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1552] ppid=1532 vsize=15683912 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1552/stat : 1552 (java) S 1532 1535 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72313620 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367719130688 140368288861977 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1554] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1554/stat : 1554 (java) S 1532 1535 29212 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 72313620 16060325888 777664 33554432000 4194304 4196468 140723087382368 140365235466288 140368288859293 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1555] ppid=1532 vsize=15683912 memory=94944 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1555/stat : 1555 (java) S 1532 1535 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 72313620 16060325888 777664 33554432000 4194304 4196468 140723087382368 140365369687216 140368288859293 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1556] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1556/stat : 1556 (java) S 1532 1535 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 72313622 16060325888 777664 33554432000 4194304 4196468 140723087382368 140364967042080 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 15809396 KiB
Current children cumulated memory: 3205600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.73 s]
# the end of solver process 1535 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.61 s, system=1.47356 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2505.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/225 1817
/proc/meminfo: memFree=18027872/32770624 swapFree=67076552/67108860
[pid=1535] ppid=1532 vsize=15683912 memory=3110656 CPUtime=23.34 cores=0,2,4,6
/proc/1535/stat : 1535 (java) S 1532 1535 29212 0 -1 1077944320 37996 0 0 0 2213 121 0 0 20 0 19 0 72312734 16060325888 777664 33554432000 4194304 4196468 140723087382368 140723087364912 140368288837367 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
/proc/1535/statm: 3920978 777664 3238 1 0 3881834 0
[pid=1551] ppid=1535 vsize=125484 memory=94944 CPUtime=2496.69 cores=0,2,4,6
/proc/1551/stat : 1551 (minisat_release) R 1535 1535 29212 0 -1 4202496 144557 0 0 0 249647 22 0 0 20 0 1 0 72313619 128495616 23736 33554432000 4194304 4308513 140727256142544 140727256139544 4275920 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 40542208 140727256146609 140727256147118 140727256147118 140727256149957 0
/proc/1551/statm: 31371 23736 355 28 0 27611 0
[pid=1535/tid=1537] ppid=1532 vsize=15683912 memory=3110656 CPUtime=8.75 cores=0,2,4,6
/proc/1535/task/1537/stat : 1537 (java) S 1532 1535 29212 0 -1 1077944384 19144 0 0 0 828 47 0 0 20 0 19 0 72312734 16060325888 777664 33554432000 4194304 4196468 140723087382368 140368260676608 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1538] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0.09 cores=0,2,4,6
/proc/1535/task/1538/stat : 1538 (java) S 1532 1535 29212 0 -1 1077944384 46 0 0 0 7 2 0 0 20 0 19 0 72312736 16060325888 777664 33554432000 4194304 4196468 140723087382368 140368293079312 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1539] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0.1 cores=0,2,4,6
/proc/1535/task/1539/stat : 1539 (java) S 1532 1535 29212 0 -1 1077944384 41 0 0 0 8 2 0 0 20 0 19 0 72312736 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367749003664 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1540] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0.09 cores=0,2,4,6
/proc/1535/task/1540/stat : 1540 (java) S 1532 1535 29212 0 -1 1077944384 59 0 0 0 7 2 0 0 20 0 19 0 72312736 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367747951120 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1541] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0.09 cores=0,2,4,6
/proc/1535/task/1541/stat : 1541 (java) S 1532 1535 29212 0 -1 1077944384 115 0 0 0 7 2 0 0 20 0 19 0 72312736 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367746898576 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1542] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0.05 cores=0,2,4,6
/proc/1535/task/1542/stat : 1542 (java) S 1532 1535 29212 0 -1 1077944384 24 0 0 0 3 2 0 0 20 0 19 0 72312737 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367628274160 140368288848514 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1543] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1543/stat : 1543 (java) S 1532 1535 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 72312738 16060325888 777664 33554432000 4194304 4196468 140723087382368 140366913201568 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1544] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1544/stat : 1544 (java) S 1532 1535 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 72312738 16060325888 777664 33554432000 4194304 4196468 140723087382368 140366644766192 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1545] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1545/stat : 1545 (java) S 1532 1535 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72312740 16060325888 777664 33554432000 4194304 4196468 140723087382368 140366270257872 140368288855963 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1546] ppid=1532 vsize=15683912 memory=3110656 CPUtime=5.68 cores=0,2,4,6
/proc/1535/task/1546/stat : 1546 (java) S 1532 1535 29212 0 -1 1077944384 6820 0 0 0 566 2 0 0 20 0 19 0 72312740 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367627220976 140368288848514 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1547] ppid=1532 vsize=15683912 memory=1548 CPUtime=5.65 cores=0,2,4,6
/proc/1535/task/1547/stat : 1547 (java) S 1532 1535 29212 0 -1 1077944384 4410 0 0 0 563 2 0 0 20 0 19 0 72312740 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367626168432 140368288848514 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1548] ppid=1532 vsize=15683912 memory=3110656 CPUtime=1.36 cores=0,2,4,6
/proc/1535/task/1548/stat : 1548 (java) S 1532 1535 29212 0 -1 1077944384 5762 0 0 0 134 2 0 0 20 0 19 0 72312740 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367625115888 140368288848514 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1549] ppid=1532 vsize=15683912 memory=94944 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1549/stat : 1549 (java) S 1532 1535 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 72312740 16060325888 777664 33554432000 4194304 4196468 140723087382368 140365772352096 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1550] ppid=1532 vsize=15683912 memory=3110656 CPUtime=1.38 cores=0,2,4,6
/proc/1535/task/1550/stat : 1550 (java) S 1532 1535 29212 0 -1 1077944384 167 0 0 0 70 68 0 0 20 0 19 0 72312741 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367624063792 140368288848514 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1552] ppid=1532 vsize=15683912 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1552/stat : 1552 (java) S 1532 1535 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 72313620 16060325888 777664 33554432000 4194304 4196468 140723087382368 140367719130688 140368288861977 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1554] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1554/stat : 1554 (java) S 1532 1535 29212 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 72313620 16060325888 777664 33554432000 4194304 4196468 140723087382368 140365235466288 140368288859293 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1555] ppid=1532 vsize=15683912 memory=94944 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1555/stat : 1555 (java) S 1532 1535 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 72313620 16060325888 777664 33554432000 4194304 4196468 140723087382368 140365369687216 140368288859293 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
[pid=1535/tid=1556] ppid=1532 vsize=15683912 memory=3110656 CPUtime=0 cores=0,2,4,6
/proc/1535/task/1556/stat : 1556 (java) S 1532 1535 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 72313622 16060325888 777664 33554432000 4194304 4196468 140723087382368 140364967042080 140368288847573 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13615104 140723087389684 140723087389961 140723087389961 140723087392719 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 15809396 KiB
Current children cumulated memory: 3205600 KiB
Child status: 1
Real time (s): 2505.73
CPU time (s): 2520.09
CPU user time (s): 2518.61
CPU system time (s): 1.47356
CPU usage (%): 100.573
Max. virtual memory (cumulated for all children) (KiB): 15809396
Max. memory (cumulated for all children) (KiB): 3211076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.61
system time used= 1.47356
maximum resident set size= 3111480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182620
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58773
involuntary context switches= 3230
# summary of solver processes directly reported to runsolver:
# pid: 1535
# total CPU time (s): 2520.09
# total CPU user time (s): 2518.61
# total CPU system time (s): 1.47356
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1658 second user time and 25.524 second system time
The end