0.68/0.53
0.68/0.53 scop both+minisat_release (2018-06-13)
0.68/0.53
0.68/0.55 c BEGIN-Prog: Wed Jul 25 20:14:40 CEST 2018
0.68/0.55 c PID: 32459
0.68/0.55 c IP: 172.20.3.102
0.68/0.55 c HOST: node102.alineos.net
0.68/0.56 c (0,0) Parsing Begin
1.50/0.92 c (0,0) Parsing End
1.50/0.92 c (0,0) CSP: 41 int (0 aux), 0 bool (0 aux), 121 ctr, max domain size 86
1.50/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.50/0.92 c (0,0) Constraint Name Generate Begin
1.50/0.93 c (0,0) Ctr:HOME/instance-4295310-1532542480.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
1.50/0.93 c (0,0) Constraint Name Generate End
1.50/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.50/0.93 c (0,0) CSP to CSPinCNF Begin
5.84/2.43 c (1,1) translated 13 (10%) constraints
7.41/3.12 c (2,2) translated 25 (20%) constraints
8.08/3.74 c (3,3) translated 37 (30%) constraints
8.73/4.36 c (3,3) translated 49 (40%) constraints
9.36/4.98 c (4,4) translated 61 (50%) constraints
10.05/5.59 c (5,5) translated 73 (60%) constraints
10.62/6.06 c (5,5) translated 85 (70%) constraints
10.62/6.07 c (5,5) translated 97 (80%) constraints
10.62/6.09 c (5,5) translated 109 (90%) constraints
10.87/6.11 c (5,5) translated 121 (100%) constraints
11.91/6.56 c (6,6) STATISTICS1:HOME/instance-4295310-1532542480.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,6201,107746,86,86,78,2,86:820,86:202930;2:112400,78:80;41:2;3:93760;2:13904,2:820;1:313690;0:80,
11.91/6.56 c (6,6) ===========================================
11.91/6.56 c (6,6) Both Encoding selects:
11.91/6.56 c (6,6) Order
11.91/6.56 c (6,6) ===========================================
12.79/6.85 c (6,6) translated 10775 (10%) constraints
13.08/7.00 c (6,6) translated 21550 (20%) constraints
13.38/7.13 c (6,6) translated 32324 (30%) constraints
13.47/7.27 c (6,6) translated 43099 (40%) constraints
13.69/7.41 c (6,6) translated 53873 (50%) constraints
13.80/7.54 c (7,6) translated 64648 (60%) constraints
13.90/7.68 c (7,7) translated 75423 (70%) constraints
14.55/7.97 c (7,7) translated 86197 (80%) constraints
14.78/8.10 c (7,7) translated 96972 (90%) constraints
15.00/8.23 c (7,7) translated 107746 (100%) constraints
15.00/8.23 c (7,7) CSP to CSPinCNF End
15.00/8.24 c (7,7) CSP: 41 int (0 aux), 6160 bool (6160 aux), 107746 ctr, max domain size 86
15.00/8.24 c (7,7) Heap : 303 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
15.00/8.24 c (7,7) CSPinCNF Propagation Begin
15.77/8.64 c (8,7) 0 values, 80 unsatisfiable literals, and 0 valid clauses are removed
15.77/8.64 c (8,7) CSPinCNF Propagation End
15.77/8.64 c (8,7) CSP: 41 int (0 aux), 6160 bool (6160 aux), 107746 ctr, max domain size 86
15.77/8.64 c (8,7) Heap : 745 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
15.77/8.64 c (8,7) Simplify CSPinCNF Begin
16.23/8.82 c (8,8) Simplify CSPinCNF End
16.23/8.82 c (8,8) CSP: 41 int (0 aux), 7800 bool (7800 aux), 109386 ctr, max domain size 86
16.23/8.82 c (8,8) Heap : 800 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.23/8.82 c (8,8) Calculate Precise Domain Begin
16.23/8.82 c (8,8) 0 values are removed by re-calculation
16.23/8.82 c (8,8) Calculate Precise Domain End
16.23/8.82 c (8,8) CSP: 41 int (0 aux), 7800 bool (7800 aux), 109386 ctr, max domain size 86
16.23/8.82 c (8,8) Heap : 800 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.23/8.82 c (8,8) CSPinCNF to SatSolver Begin
17.63/9.41 c (8,8) 10939 (10 %) CSP clauses are encoded (11285 SAT variables, 153782 SAT clauses)
17.63/9.48 c (8,8) 21878 (20 %) CSP clauses are encoded (11285 SAT variables, 164721 SAT clauses)
17.80/9.53 c (9,8) 32816 (30 %) CSP clauses are encoded (11285 SAT variables, 175659 SAT clauses)
17.80/9.59 c (9,8) 43755 (40 %) CSP clauses are encoded (11285 SAT variables, 186598 SAT clauses)
17.91/9.64 c (9,8) 54693 (50 %) CSP clauses are encoded (11285 SAT variables, 197536 SAT clauses)
17.91/9.69 c (9,8) 65632 (60 %) CSP clauses are encoded (11285 SAT variables, 208475 SAT clauses)
18.02/9.75 c (9,9) 76571 (70 %) CSP clauses are encoded (11285 SAT variables, 219414 SAT clauses)
18.12/9.80 c (9,9) 87509 (80 %) CSP clauses are encoded (11285 SAT variables, 230352 SAT clauses)
18.12/9.86 c (9,9) 98448 (90 %) CSP clauses are encoded (11285 SAT variables, 241291 SAT clauses)
18.24/9.91 c (9,9) 109386 (100 %) CSP clauses are encoded (11285 SAT variables, 252229 SAT clauses)
18.24/9.91 c (9,9) CSPinCNF to SatSolver End
18.24/9.91 c (9,9) Heap : 1628 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
18.82/10.21 c (9,9) STATISTICS2:HOME/instance-4295310-1532542480.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,7841,109386,86,86,77,2,86:1640,86:204570;2:115680,77:80;41:2;3:93760;2:15544,2:1640;1:316970,
18.82/10.21 c (9,9) SatSolver.solve Begin
18.82/10.21 c (9,9) 11285 bool, 252230 clause
18.82/10.21 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-4295310-1532542480.xml-scop-32459.cnf HOME/instance-4295310-1532542480.xml-scop-32459.cnf.out
2520.07/2509.70 c (2509,0) receiving signal SIGTERM
2520.07/2509.70 s UNKNOWN
2520.07/2509.70 c (2509,9) SatSolver is killed by some reasons.
2520.07/2509.70 c (2509,9) 0,0,7,8,8,8,9,TO,TO,STOP-AFTER(DIMACS)
2520.07/2509.70 c END-Prog: Wed Jul 25 20:56:29 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 (10563 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295310-1532542480/watcher-4295310-1532542480 -o /tmp/evaluation-result-4295310-1532542480/solver-4295310-1532542480 -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-4295310-1532542480.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32459, runsolver pid=32456
[startup+0.100093 s]*
/proc/loadavg: 1.92 1.99 2.09 3/216 32474
/proc/meminfo: memFree=19180912/32770624 swapFree=67076512/67108860
[pid=32459] ppid=32456 vsize=15011656 memory=73608 CPUtime=0.11 cores=0,2,4,6
/proc/32459/stat : 32459 (java) S 32456 32459 29212 0 -1 1077944320 7082 0 0 0 9 2 0 0 20 0 15 0 71811132 15371935744 18402 33554432000 4194304 4196468 140725881409216 140725881391760 140098405469943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
/proc/32459/statm: 3752914 18402 2779 1 0 3715374 0
[pid=32459/tid=32461] ppid=32456 vsize=15011656 memory=-8556449466809226621 CPUtime=0.09 cores=0,2,4,6
/proc/32459/task/32461/stat : 32461 (java) R 32456 32459 29212 0 -1 4202560 5167 0 0 0 8 1 0 0 20 0 15 0 71811132 15371935744 18402 33554432000 4194304 4196468 140725881409216 140098377281928 140098387033472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32462] ppid=32456 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32462/stat : 32462 (java) S 32456 32459 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71811134 15371935744 18402 33554432000 4194304 4196468 140725881409216 140098409712400 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32463] ppid=32456 vsize=15011656 memory=139942965917312 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32463/stat : 32463 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811134 15371935744 18402 33554432000 4194304 4196468 140725881409216 140098223868816 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32464] ppid=32456 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32464/stat : 32464 (java) S 32456 32459 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71811134 15371935744 18402 33554432000 4194304 4196468 140725881409216 140098222816272 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32465] ppid=32456 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32465/stat : 32465 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811134 15371935744 18402 33554432000 4194304 4196468 140725881409216 140098221763728 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32466] ppid=32456 vsize=15011656 memory=139942965917312 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32466/stat : 32466 (java) S 32456 32459 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71811136 15371935744 18402 33554432000 4194304 4196468 140725881409216 140097443809264 140098405481090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32467] ppid=32456 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32467/stat : 32467 (java) S 32456 32459 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71811136 15371935744 18402 33554432000 4194304 4196468 140725881409216 140096934241184 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32468] ppid=32456 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32468/stat : 32468 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811136 15371935744 18402 33554432000 4194304 4196468 140725881409216 140096665805808 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32469] ppid=32456 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32469/stat : 32469 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71811139 15371935744 18402 33554432000 4194304 4196468 140725881409216 140096291297488 140098405488539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32470] ppid=32456 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32470/stat : 32470 (java) S 32456 32459 29212 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 71811139 15371935744 18402 33554432000 4194304 4196468 140725881409216 140097442757104 140098405481090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32471] ppid=32456 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32471/stat : 32471 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71811139 15371935744 18402 33554432000 4194304 4196468 140725881409216 140097441704560 140098405481090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32472] ppid=32456 vsize=15011656 memory=139942965917312 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32472/stat : 32472 (java) S 32456 32459 29212 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 71811139 15371935744 18402 33554432000 4194304 4196468 140725881409216 140097440652016 140098405481090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32473] ppid=32456 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32473/stat : 32473 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71811139 15371935744 18402 33554432000 4194304 4196468 140725881409216 140095793392736 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32474] ppid=32456 vsize=15011656 memory=139942965917312 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32474/stat : 32474 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811139 15371935744 18402 33554432000 4194304 4196468 140725881409216 140097439598896 140098405481090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73608 KiB
[startup+0.210455 s]*
/proc/loadavg: 1.92 1.99 2.09 4/216 32474
/proc/meminfo: memFree=19167084/32770624 swapFree=67076512/67108860
[pid=32459] ppid=32456 vsize=15011656 memory=86712 CPUtime=0.26 cores=0,2,4,6
/proc/32459/stat : 32459 (java) S 32456 32459 29212 0 -1 1077944320 10605 0 0 0 23 3 0 0 20 0 15 0 71811132 15371935744 21678 33554432000 4194304 4196468 140725881409216 140725881391760 140098405469943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
/proc/32459/statm: 3752914 21678 2883 1 0 3715374 0
[pid=32459/tid=32461] ppid=32456 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/32459/task/32461/stat : 32461 (java) R 32456 32459 29212 0 -1 4202560 8512 0 0 0 18 2 0 0 20 0 15 0 71811132 15371935744 21678 33554432000 4194304 4196468 140725881409216 140098377289856 140098389550430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32462] ppid=32456 vsize=15011656 memory=342 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32462/stat : 32462 (java) S 32456 32459 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71811134 15371935744 21678 33554432000 4194304 4196468 140725881409216 140098409712400 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32463] ppid=32456 vsize=15011656 memory=4049775654135772832 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32463/stat : 32463 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811134 15371935744 21678 33554432000 4194304 4196468 140725881409216 140098223868816 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32464] ppid=32456 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32464/stat : 32464 (java) S 32456 32459 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71811134 15371935744 21678 33554432000 4194304 4196468 140725881409216 140098222816272 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32465] ppid=32456 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32465/stat : 32465 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811134 15371935744 21678 33554432000 4194304 4196468 140725881409216 140098221763728 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32466] ppid=32456 vsize=15011656 memory=139942965917312 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32466/stat : 32466 (java) S 32456 32459 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71811136 15371935744 21678 33554432000 4194304 4196468 140725881409216 140097443809264 140098405481090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32467] ppid=32456 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32467/stat : 32467 (java) S 32456 32459 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71811136 15371935744 21678 33554432000 4194304 4196468 140725881409216 140096934241184 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32468] ppid=32456 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32468/stat : 32468 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811136 15371935744 21678 33554432000 4194304 4196468 140725881409216 140096665805808 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32469] ppid=32456 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32469/stat : 32469 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71811139 15371935744 21678 33554432000 4194304 4196468 140725881409216 140096291297488 140098405488539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32470] ppid=32456 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32459/task/32470/stat : 32470 (java) S 32456 32459 29212 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 15 0 71811139 15371935744 21678 33554432000 4194304 4196468 140725881409216 140097442757104 140098405481090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32471] ppid=32456 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32471/stat : 32471 (java) R 32456 32459 29212 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 71811139 15371935744 21678 33554432000 4194304 4196468 140725881409216 140097441704560 140098405481090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32472] ppid=32456 vsize=15011656 memory=139942965917312 CPUtime=0.02 cores=0,2,4,6
/proc/32459/task/32472/stat : 32472 (java) R 32456 32459 29212 0 -1 4202560 286 0 0 0 2 0 0 0 20 0 15 0 71811139 15371935744 21678 33554432000 4194304 4196468 140725881409216 140097440652016 140098383472784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32473] ppid=32456 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32473/stat : 32473 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71811139 15371935744 21678 33554432000 4194304 4196468 140725881409216 140095793392736 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32474] ppid=32456 vsize=15011656 memory=139942965917312 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32474/stat : 32474 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811139 15371935744 21678 33554432000 4194304 4196468 140725881409216 140097439598896 140098405481090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86712 KiB
[startup+0.310322 s]*
/proc/loadavg: 1.92 1.99 2.09 3/216 32474
/proc/meminfo: memFree=19163796/32770624 swapFree=67076512/67108860
[pid=32459] ppid=32456 vsize=15011656 memory=90180 CPUtime=0.43 cores=0,2,4,6
/proc/32459/stat : 32459 (java) S 32456 32459 29212 0 -1 1077944320 11133 0 0 0 39 4 0 0 20 0 15 0 71811132 15371935744 22545 33554432000 4194304 4196468 140725881409216 140725881391760 140098405469943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
/proc/32459/statm: 3752914 22545 2980 1 0 3715374 0
[pid=32459/tid=32461] ppid=32456 vsize=15011656 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/32459/task/32461/stat : 32461 (java) R 32456 32459 29212 0 -1 4202560 8877 0 0 0 27 3 0 0 20 0 15 0 71811132 15371935744 22545 33554432000 4194304 4196468 140725881409216 140098377274096 140098387033499 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32462] ppid=32456 vsize=15011656 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32462/stat : 32462 (java) S 32456 32459 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71811134 15371935744 22545 33554432000 4194304 4196468 140725881409216 140098409712400 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32463] ppid=32456 vsize=15011656 memory=3616867139954783904 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32463/stat : 32463 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811134 15371935744 22545 33554432000 4194304 4196468 140725881409216 140098223868816 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32464] ppid=32456 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32464/stat : 32464 (java) S 32456 32459 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71811134 15371935744 22545 33554432000 4194304 4196468 140725881409216 140098222816272 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32465] ppid=32456 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32465/stat : 32465 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811134 15371935744 22545 33554432000 4194304 4196468 140725881409216 140098221763728 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32466] ppid=32456 vsize=15011656 memory=139942965917312 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32466/stat : 32466 (java) S 32456 32459 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71811136 15371935744 22545 33554432000 4194304 4196468 140725881409216 140097443809264 140098405481090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32467] ppid=32456 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32467/stat : 32467 (java) S 32456 32459 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71811136 15371935744 22545 33554432000 4194304 4196468 140725881409216 140096934241184 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32468] ppid=32456 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32468/stat : 32468 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811136 15371935744 22545 33554432000 4194304 4196468 140725881409216 140096665805808 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32469] ppid=32456 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32469/stat : 32469 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71811139 15371935744 22545 33554432000 4194304 4196468 140725881409216 140096291297488 140098405488539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32470] ppid=32456 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32459/task/32470/stat : 32470 (java) S 32456 32459 29212 0 -1 1077944384 516 0 0 0 2 0 0 0 20 0 15 0 71811139 15371935744 22545 33554432000 4194304 4196468 140725881409216 140097442757104 140098405481090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32471] ppid=32456 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32459/task/32471/stat : 32471 (java) S 32456 32459 29212 0 -1 1077944384 97 0 0 0 2 0 0 0 20 0 15 0 71811139 15371935744 22545 33554432000 4194304 4196468 140725881409216 140097441704560 140098405481090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32472] ppid=32456 vsize=15011656 memory=139942965917312 CPUtime=0.07 cores=0,2,4,6
/proc/32459/task/32472/stat : 32472 (java) S 32456 32459 29212 0 -1 1077944384 305 0 0 0 7 0 0 0 20 0 15 0 71811139 15371935744 22545 33554432000 4194304 4196468 140725881409216 140097440652016 140098405481090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32473] ppid=32456 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32473/stat : 32473 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71811139 15371935744 22545 33554432000 4194304 4196468 140725881409216 140095793392736 140098405480149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32474] ppid=32456 vsize=15011656 memory=139942965917312 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32474/stat : 32474 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811139 15371935744 22545 33554432000 4194304 4196468 140725881409216 140097439598896 140098405481090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90180 KiB
[startup+0.700694 s]
/proc/loadavg: 1.92 1.99 2.09 3/216 32474
/proc/meminfo: memFree=19139368/32770624 swapFree=67076512/67108860
[pid=32459] ppid=32456 vsize=15020052 memory=129736 CPUtime=1 cores=0,2,4,6
/proc/32459/stat : 32459 (java) S 32456 32459 29212 0 -1 1077944320 18127 0 0 0 95 5 0 0 20 0 15 0 71811132 15380533248 32434 33554432000 4194304 4196468 140725881409216 140725881391760 140098405469943 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
/proc/32459/statm: 3755013 32434 3165 1 0 3716398 0
[pid=32459/tid=32461] ppid=32456 vsize=15020052 memory=10020 CPUtime=0.67 cores=0,2,4,6
/proc/32459/task/32461/stat : 32461 (java) R 32456 32459 29212 0 -1 4202560 15439 0 0 0 63 4 0 0 20 0 15 0 71811132 15380533248 32434 33554432000 4194304 4196468 140725881409216 140098377301248 140098397707070 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32462] ppid=32456 vsize=15020052 memory=15104 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32462/stat : 32462 (java) S 32456 32459 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71811134 15380533248 32434 33554432000 4194304 4196468 140725881409216 140098409712400 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32463] ppid=32456 vsize=15020052 memory=640 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32463/stat : 32463 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811134 15380533248 32434 33554432000 4194304 4196468 140725881409216 140098223868816 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32464] ppid=32456 vsize=15020052 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32464/stat : 32464 (java) S 32456 32459 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71811134 15380533248 32434 33554432000 4194304 4196468 140725881409216 140098222816272 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32465] ppid=32456 vsize=15020052 memory=960 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32465/stat : 32465 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811134 15380533248 32434 33554432000 4194304 4196468 140725881409216 140098221763728 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32466] ppid=32456 vsize=15020052 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32466/stat : 32466 (java) S 32456 32459 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71811136 15380533248 32434 33554432000 4194304 4196468 140725881409216 140097443809264 140098405481090 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32467] ppid=32456 vsize=15020052 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32467/stat : 32467 (java) S 32456 32459 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71811136 15380533248 32434 33554432000 4194304 4196468 140725881409216 140096934241184 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32468] ppid=32456 vsize=15020052 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32468/stat : 32468 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811136 15380533248 32434 33554432000 4194304 4196468 140725881409216 140096665805808 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32469] ppid=32456 vsize=15020052 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32469/stat : 32469 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71811139 15380533248 32434 33554432000 4194304 4196468 140725881409216 140096291297488 140098405488539 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32470] ppid=32456 vsize=15020052 memory=7881696724453321575 CPUtime=0.09 cores=0,2,4,6
/proc/32459/task/32470/stat : 32470 (java) S 32456 32459 29212 0 -1 1077944384 740 0 0 0 9 0 0 0 20 0 15 0 71811139 15380533248 32434 33554432000 4194304 4196468 140725881409216 140097442757104 140098405481090 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32471] ppid=32456 vsize=15020052 memory=7019257425709197167 CPUtime=0.06 cores=0,2,4,6
/proc/32459/task/32471/stat : 32471 (java) S 32456 32459 29212 0 -1 1077944384 184 0 0 0 6 0 0 0 20 0 15 0 71811139 15380533248 32434 33554432000 4194304 4196468 140725881409216 140097441704560 140098405481090 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32472] ppid=32456 vsize=15020052 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/32459/task/32472/stat : 32472 (java) R 32456 32459 29212 0 -1 4202560 423 0 0 0 15 0 0 0 20 0 15 0 71811139 15380533248 32434 33554432000 4194304 4196468 140725881409216 140097440652016 140098384129071 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32473] ppid=32456 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32473/stat : 32473 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71811139 15380533248 32434 33554432000 4194304 4196468 140725881409216 140095793392736 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32474] ppid=32456 vsize=15020052 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32474/stat : 32474 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811139 15380533248 32434 33554432000 4194304 4196468 140725881409216 140097439598896 140098405481090 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129736 KiB
[startup+1.50071 s]
/proc/loadavg: 1.92 1.99 2.09 3/216 32474
/proc/meminfo: memFree=19110708/32770624 swapFree=67076512/67108860
[pid=32459] ppid=32456 vsize=15024148 memory=179484 CPUtime=3.08 cores=0,2,4,6
/proc/32459/stat : 32459 (java) S 32456 32459 29212 0 -1 1077944320 22376 0 0 0 300 8 0 0 20 0 15 0 71811132 15384727552 44871 33554432000 4194304 4196468 140725881409216 140725881391760 140098405469943 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
/proc/32459/statm: 3756037 44871 3203 1 0 3717422 0
[pid=32459/tid=32461] ppid=32456 vsize=15024148 memory=163160 CPUtime=1.46 cores=0,2,4,6
/proc/32459/task/32461/stat : 32461 (java) R 32456 32459 29212 0 -1 4202560 16767 0 0 0 141 5 0 0 20 0 15 0 71811132 15384727552 44871 33554432000 4194304 4196468 140725881409216 140098377301472 140097898503824 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32462] ppid=32456 vsize=15024148 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32462/stat : 32462 (java) S 32456 32459 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71811134 15384727552 44871 33554432000 4194304 4196468 140725881409216 140098409712400 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32463] ppid=32456 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32463/stat : 32463 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811134 15384727552 44871 33554432000 4194304 4196468 140725881409216 140098223868816 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32464] ppid=32456 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32464/stat : 32464 (java) S 32456 32459 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71811134 15384727552 44871 33554432000 4194304 4196468 140725881409216 140098222816272 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32465] ppid=32456 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32465/stat : 32465 (java) S 32456 32459 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71811134 15384727552 44871 33554432000 4194304 4196468 140725881409216 140098221763728 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32466] ppid=32456 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32466/stat : 32466 (java) S 32456 32459 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71811136 15384727552 44871 33554432000 4194304 4196468 140725881409216 140097443809264 140098405481090 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
################
# More data... #
################
/proc/meminfo: memFree=17914004/32770624 swapFree=67076532/67108860
[pid=32459] ppid=32456 vsize=15683912 memory=3139088 CPUtime=20.52 cores=0,2,4,6
/proc/32459/stat : 32459 (java) S 32456 32459 29212 0 -1 1077944320 36830 0 0 0 1918 134 0 0 20 0 19 0 71811132 16060325888 784772 33554432000 4194304 4196468 140725881409216 140725881391760 140098405469943 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
/proc/32459/statm: 3920978 784772 3239 1 0 3881834 0
[pid=32475] ppid=32459 vsize=156824 memory=140476 CPUtime=2492.15 cores=0,2,4,6
/proc/32475/stat : 32475 (minisat_release) R 32459 32459 29212 0 -1 4202496 207593 0 0 0 249189 26 0 0 20 0 1 0 71812155 160587776 35119 33554432000 4194304 4308513 140733917128464 140733917125464 4275961 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 12701696 140733917135535 140733917136046 140733917136046 140733917138885 0
/proc/32475/statm: 39206 35119 354 28 0 35446 0
[pid=32459/tid=32461] ppid=32456 vsize=15683912 memory=3139088 CPUtime=10.05 cores=0,2,4,6
/proc/32459/task/32461/stat : 32461 (java) S 32456 32459 29212 0 -1 1077944384 19547 0 0 0 956 49 0 0 20 0 19 0 71811132 16060325888 784772 33554432000 4194304 4196468 140725881409216 140098377309184 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32462] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0.15 cores=0,2,4,6
/proc/32459/task/32462/stat : 32462 (java) S 32456 32459 29212 0 -1 1077944384 85 0 0 0 12 3 0 0 20 0 19 0 71811134 16060325888 784772 33554432000 4194304 4196468 140725881409216 140098409712400 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32463] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0.15 cores=0,2,4,6
/proc/32459/task/32463/stat : 32463 (java) S 32456 32459 29212 0 -1 1077944384 70 0 0 0 12 3 0 0 20 0 19 0 71811134 16060325888 784772 33554432000 4194304 4196468 140725881409216 140098223868816 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32464] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0.15 cores=0,2,4,6
/proc/32459/task/32464/stat : 32464 (java) S 32456 32459 29212 0 -1 1077944384 56 0 0 0 12 3 0 0 20 0 19 0 71811134 16060325888 784772 33554432000 4194304 4196468 140725881409216 140098222816272 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32465] ppid=32456 vsize=15683912 memory=140476 CPUtime=0.15 cores=0,2,4,6
/proc/32459/task/32465/stat : 32465 (java) S 32456 32459 29212 0 -1 1077944384 57 0 0 0 12 3 0 0 20 0 19 0 71811134 16060325888 784772 33554432000 4194304 4196468 140725881409216 140098221763728 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32466] ppid=32456 vsize=15683912 memory=3544 CPUtime=0.06 cores=0,2,4,6
/proc/32459/task/32466/stat : 32466 (java) S 32456 32459 29212 0 -1 1077944384 32 0 0 0 3 3 0 0 20 0 19 0 71811136 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097443809264 140098405481090 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32467] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32467/stat : 32467 (java) S 32456 32459 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 71811136 16060325888 784772 33554432000 4194304 4196468 140725881409216 140096934241248 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32468] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32468/stat : 32468 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71811136 16060325888 784772 33554432000 4194304 4196468 140725881409216 140096665805808 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32469] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32469/stat : 32469 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140096291297488 140098405488539 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32470] ppid=32456 vsize=15683912 memory=3139088 CPUtime=3.64 cores=0,2,4,6
/proc/32459/task/32470/stat : 32470 (java) S 32456 32459 29212 0 -1 1077944384 5948 0 0 0 362 2 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097442757104 140098405481090 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32471] ppid=32456 vsize=15683912 memory=3139088 CPUtime=3.28 cores=0,2,4,6
/proc/32459/task/32471/stat : 32471 (java) S 32456 32459 29212 0 -1 1077944384 4192 0 0 0 327 1 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097441704560 140098405481090 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32472] ppid=32456 vsize=15683912 memory=3139088 CPUtime=1.3 cores=0,2,4,6
/proc/32459/task/32472/stat : 32472 (java) S 32456 32459 29212 0 -1 1077944384 5273 0 0 0 128 2 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097440652016 140098405481090 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32473] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32473/stat : 32473 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140095793392736 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32474] ppid=32456 vsize=15683912 memory=140476 CPUtime=1.49 cores=0,2,4,6
/proc/32459/task/32474/stat : 32474 (java) S 32456 32459 29212 0 -1 1077944384 167 0 0 0 75 74 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097439598896 140098405481090 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32476] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32476/stat : 32476 (java) S 32456 32459 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71812155 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097423332416 140098405494553 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32478] ppid=32456 vsize=15683912 memory=18668 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32478/stat : 32478 (java) S 32456 32459 29212 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 71812155 16060325888 784772 33554432000 4194304 4196468 140725881409216 140095390727728 140098405491869 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32479] ppid=32456 vsize=15683912 memory=776 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32479/stat : 32479 (java) S 32456 32459 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71812155 16060325888 784772 33554432000 4194304 4196468 140725881409216 140095256506032 140098405491869 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32480] ppid=32456 vsize=15683912 memory=800 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32480/stat : 32480 (java) S 32456 32459 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71812157 16060325888 784772 33554432000 4194304 4196468 140725881409216 140094988082720 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
Current children cumulated CPU time: 2512.67 s
Current children cumulated vsize: 15840736 KiB
Current children cumulated memory: 3279564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.7 s]
/proc/loadavg: 2.01 2.02 2.06 3/225 1216
/proc/meminfo: memFree=17914004/32770624 swapFree=67076532/67108860
[pid=32459] ppid=32456 vsize=15683912 memory=3139088 CPUtime=20.52 cores=0,2,4,6
/proc/32459/stat : 32459 (java) S 32456 32459 29212 0 -1 1077944320 36830 0 0 0 1918 134 0 0 20 0 19 0 71811132 16060325888 784772 33554432000 4194304 4196468 140725881409216 140725881391760 140098405469943 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
/proc/32459/statm: 3920978 784772 3239 1 0 3881834 0
[pid=32475] ppid=32459 vsize=156824 memory=140476 CPUtime=2499.55 cores=0,2,4,6
/proc/32475/stat : 32475 (minisat_release) R 32459 32459 29212 0 -1 4202496 207596 0 0 0 249929 26 0 0 20 0 1 0 71812155 160587776 35119 33554432000 4194304 4308513 140733917128464 140733917125464 4276036 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 12701696 140733917135535 140733917136046 140733917136046 140733917138885 0
/proc/32475/statm: 39206 35119 354 28 0 35446 0
[pid=32459/tid=32461] ppid=32456 vsize=15683912 memory=164 CPUtime=10.05 cores=0,2,4,6
/proc/32459/task/32461/stat : 32461 (java) S 32456 32459 29212 0 -1 1077944384 19547 0 0 0 956 49 0 0 20 0 19 0 71811132 16060325888 784772 33554432000 4194304 4196468 140725881409216 140098377309184 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32462] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0.15 cores=0,2,4,6
/proc/32459/task/32462/stat : 32462 (java) S 32456 32459 29212 0 -1 1077944384 85 0 0 0 12 3 0 0 20 0 19 0 71811134 16060325888 784772 33554432000 4194304 4196468 140725881409216 140098409712400 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32463] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0.15 cores=0,2,4,6
/proc/32459/task/32463/stat : 32463 (java) S 32456 32459 29212 0 -1 1077944384 70 0 0 0 12 3 0 0 20 0 19 0 71811134 16060325888 784772 33554432000 4194304 4196468 140725881409216 140098223868816 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32464] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0.15 cores=0,2,4,6
/proc/32459/task/32464/stat : 32464 (java) S 32456 32459 29212 0 -1 1077944384 56 0 0 0 12 3 0 0 20 0 19 0 71811134 16060325888 784772 33554432000 4194304 4196468 140725881409216 140098222816272 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32465] ppid=32456 vsize=15683912 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/32459/task/32465/stat : 32465 (java) S 32456 32459 29212 0 -1 1077944384 57 0 0 0 12 3 0 0 20 0 19 0 71811134 16060325888 784772 33554432000 4194304 4196468 140725881409216 140098221763728 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32466] ppid=32456 vsize=15683912 memory=640 CPUtime=0.06 cores=0,2,4,6
/proc/32459/task/32466/stat : 32466 (java) S 32456 32459 29212 0 -1 1077944384 32 0 0 0 3 3 0 0 20 0 19 0 71811136 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097443809264 140098405481090 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32467] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32467/stat : 32467 (java) S 32456 32459 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 71811136 16060325888 784772 33554432000 4194304 4196468 140725881409216 140096934241248 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32468] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32468/stat : 32468 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71811136 16060325888 784772 33554432000 4194304 4196468 140725881409216 140096665805808 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32469] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32469/stat : 32469 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140096291297488 140098405488539 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32470] ppid=32456 vsize=15683912 memory=3139088 CPUtime=3.64 cores=0,2,4,6
/proc/32459/task/32470/stat : 32470 (java) S 32456 32459 29212 0 -1 1077944384 5948 0 0 0 362 2 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097442757104 140098405481090 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32471] ppid=32456 vsize=15683912 memory=1412 CPUtime=3.28 cores=0,2,4,6
/proc/32459/task/32471/stat : 32471 (java) S 32456 32459 29212 0 -1 1077944384 4192 0 0 0 327 1 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097441704560 140098405481090 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32472] ppid=32456 vsize=15683912 memory=3392 CPUtime=1.3 cores=0,2,4,6
/proc/32459/task/32472/stat : 32472 (java) S 32456 32459 29212 0 -1 1077944384 5273 0 0 0 128 2 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097440652016 140098405481090 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32473] ppid=32456 vsize=15683912 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32473/stat : 32473 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140095793392736 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32474] ppid=32456 vsize=15683912 memory=18668 CPUtime=1.49 cores=0,2,4,6
/proc/32459/task/32474/stat : 32474 (java) S 32456 32459 29212 0 -1 1077944384 167 0 0 0 75 74 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097439598896 140098405481090 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32476] ppid=32456 vsize=15683912 memory=1508 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32476/stat : 32476 (java) S 32456 32459 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71812155 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097423332416 140098405494553 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32478] ppid=32456 vsize=15683912 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32478/stat : 32478 (java) S 32456 32459 29212 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 71812155 16060325888 784772 33554432000 4194304 4196468 140725881409216 140095390727728 140098405491869 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32479] ppid=32456 vsize=15683912 memory=776 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32479/stat : 32479 (java) S 32456 32459 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71812155 16060325888 784772 33554432000 4194304 4196468 140725881409216 140095256506032 140098405491869 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32480] ppid=32456 vsize=15683912 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32480/stat : 32480 (java) S 32456 32459 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71812157 16060325888 784772 33554432000 4194304 4196468 140725881409216 140094988082720 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15840736 KiB
Current children cumulated memory: 3279564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.73 s]
# the end of solver process 32459 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.49 s, system=1.6387 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2509.7 s]
/proc/loadavg: 2.01 2.02 2.06 3/225 1216
/proc/meminfo: memFree=17914004/32770624 swapFree=67076532/67108860
[pid=32459] ppid=32456 vsize=15683912 memory=3139088 CPUtime=20.52 cores=0,2,4,6
/proc/32459/stat : 32459 (java) S 32456 32459 29212 0 -1 1077944320 36830 0 0 0 1918 134 0 0 20 0 19 0 71811132 16060325888 784772 33554432000 4194304 4196468 140725881409216 140725881391760 140098405469943 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
/proc/32459/statm: 3920978 784772 3239 1 0 3881834 0
[pid=32475] ppid=32459 vsize=156824 memory=140476 CPUtime=2499.55 cores=0,2,4,6
/proc/32475/stat : 32475 (minisat_release) R 32459 32459 29212 0 -1 4202496 207596 0 0 0 249929 26 0 0 20 0 1 0 71812155 160587776 35119 33554432000 4194304 4308513 140733917128464 140733917125464 4276036 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 12701696 140733917135535 140733917136046 140733917136046 140733917138885 0
/proc/32475/statm: 39206 35119 354 28 0 35446 0
[pid=32459/tid=32461] ppid=32456 vsize=15683912 memory=164 CPUtime=10.05 cores=0,2,4,6
/proc/32459/task/32461/stat : 32461 (java) S 32456 32459 29212 0 -1 1077944384 19547 0 0 0 956 49 0 0 20 0 19 0 71811132 16060325888 784772 33554432000 4194304 4196468 140725881409216 140098377309184 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32462] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0.15 cores=0,2,4,6
/proc/32459/task/32462/stat : 32462 (java) S 32456 32459 29212 0 -1 1077944384 85 0 0 0 12 3 0 0 20 0 19 0 71811134 16060325888 784772 33554432000 4194304 4196468 140725881409216 140098409712400 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32463] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0.15 cores=0,2,4,6
/proc/32459/task/32463/stat : 32463 (java) S 32456 32459 29212 0 -1 1077944384 70 0 0 0 12 3 0 0 20 0 19 0 71811134 16060325888 784772 33554432000 4194304 4196468 140725881409216 140098223868816 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32464] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0.15 cores=0,2,4,6
/proc/32459/task/32464/stat : 32464 (java) S 32456 32459 29212 0 -1 1077944384 56 0 0 0 12 3 0 0 20 0 19 0 71811134 16060325888 784772 33554432000 4194304 4196468 140725881409216 140098222816272 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32465] ppid=32456 vsize=15683912 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/32459/task/32465/stat : 32465 (java) S 32456 32459 29212 0 -1 1077944384 57 0 0 0 12 3 0 0 20 0 19 0 71811134 16060325888 784772 33554432000 4194304 4196468 140725881409216 140098221763728 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32466] ppid=32456 vsize=15683912 memory=640 CPUtime=0.06 cores=0,2,4,6
/proc/32459/task/32466/stat : 32466 (java) S 32456 32459 29212 0 -1 1077944384 32 0 0 0 3 3 0 0 20 0 19 0 71811136 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097443809264 140098405481090 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32467] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32467/stat : 32467 (java) S 32456 32459 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 71811136 16060325888 784772 33554432000 4194304 4196468 140725881409216 140096934241248 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32468] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32468/stat : 32468 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71811136 16060325888 784772 33554432000 4194304 4196468 140725881409216 140096665805808 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32469] ppid=32456 vsize=15683912 memory=3139088 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32469/stat : 32469 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140096291297488 140098405488539 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32470] ppid=32456 vsize=15683912 memory=3139088 CPUtime=3.64 cores=0,2,4,6
/proc/32459/task/32470/stat : 32470 (java) S 32456 32459 29212 0 -1 1077944384 5948 0 0 0 362 2 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097442757104 140098405481090 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32471] ppid=32456 vsize=15683912 memory=1412 CPUtime=3.28 cores=0,2,4,6
/proc/32459/task/32471/stat : 32471 (java) S 32456 32459 29212 0 -1 1077944384 4192 0 0 0 327 1 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097441704560 140098405481090 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32472] ppid=32456 vsize=15683912 memory=3392 CPUtime=1.3 cores=0,2,4,6
/proc/32459/task/32472/stat : 32472 (java) S 32456 32459 29212 0 -1 1077944384 5273 0 0 0 128 2 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097440652016 140098405481090 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32473] ppid=32456 vsize=15683912 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32473/stat : 32473 (java) S 32456 32459 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140095793392736 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32474] ppid=32456 vsize=15683912 memory=18668 CPUtime=1.49 cores=0,2,4,6
/proc/32459/task/32474/stat : 32474 (java) S 32456 32459 29212 0 -1 1077944384 167 0 0 0 75 74 0 0 20 0 19 0 71811139 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097439598896 140098405481090 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32476] ppid=32456 vsize=15683912 memory=1508 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32476/stat : 32476 (java) S 32456 32459 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71812155 16060325888 784772 33554432000 4194304 4196468 140725881409216 140097423332416 140098405494553 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32478] ppid=32456 vsize=15683912 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32478/stat : 32478 (java) S 32456 32459 29212 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 71812155 16060325888 784772 33554432000 4194304 4196468 140725881409216 140095390727728 140098405491869 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32479] ppid=32456 vsize=15683912 memory=776 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32479/stat : 32479 (java) S 32456 32459 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71812155 16060325888 784772 33554432000 4194304 4196468 140725881409216 140095256506032 140098405491869 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
[pid=32459/tid=32480] ppid=32456 vsize=15683912 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/32459/task/32480/stat : 32480 (java) S 32456 32459 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71812157 16060325888 784772 33554432000 4194304 4196468 140725881409216 140094988082720 140098405480149 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13033472 140725881410548 140725881410825 140725881410825 140725881413583 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15840736 KiB
Current children cumulated memory: 3279564 KiB
Child status: 1
Real time (s): 2509.73
CPU time (s): 2520.13
CPU user time (s): 2518.49
CPU system time (s): 1.6387
CPU usage (%): 100.414
Max. virtual memory (cumulated for all children) (KiB): 15840740
Max. memory (cumulated for all children) (KiB): 3279564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.49
system time used= 1.6387
maximum resident set size= 3140000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245021
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59958
involuntary context switches= 699
# summary of solver processes directly reported to runsolver:
# pid: 32459
# total CPU time (s): 2520.13
# total CPU user time (s): 2518.49
# total CPU system time (s): 1.6387
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5224 second user time and 27.2684 second system time
The end