0.67/0.52
0.67/0.53 scop both+minisat_release (2018-06-13)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Mon Jul 23 13:47:47 CEST 2018
0.67/0.55 c PID: 13589
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
2.94/1.41 c (0,0) Parsing End
2.94/1.43 c (0,0) CSP: 0 int (0 aux), 5100 bool (0 aux), 202 ctr, max domain size 2
2.94/1.43 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.94/1.43 c (0,0) Constraint Name Generate Begin
2.94/1.44 c (0,0) Ctr:HOME/instance-4293738-1532346466.xml,IntVar:Num:WeightedSum
2.94/1.44 c (0,0) Constraint Name Generate End
2.94/1.44 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.94/1.44 c (0,0) CSP to CSPinCNF Begin
3.64/1.67 c (1,1) translated 21 (10%) constraints
3.98/1.73 c (1,1) translated 41 (20%) constraints
3.98/1.79 c (1,1) translated 61 (30%) constraints
4.29/1.85 c (1,1) translated 81 (40%) constraints
4.59/1.90 c (1,1) translated 101 (50%) constraints
4.59/1.96 c (1,1) translated 122 (60%) constraints
4.93/2.01 c (1,1) translated 142 (70%) constraints
4.93/2.05 c (1,1) translated 162 (80%) constraints
4.93/2.10 c (1,1) translated 182 (90%) constraints
5.24/2.14 c (1,1) translated 202 (100%) constraints
5.85/2.36 c (1,1) STATISTICS1:HOME/instance-4293738-1532346466.xml,IntVar:Num:WeightedSum,5100,202,1125899906842624,2,1,51,1125899906842624:100;562949953421312:102,2:10200,1:202,51:100;50:102,
5.85/2.36 c (1,1) ===========================================
5.85/2.36 c (1,1) Both Encoding selects:
5.85/2.36 c (1,1) Log
5.85/2.36 c (1,1) ===========================================
5.85/2.38 c (1,1) translated 21 (10%) constraints
5.85/2.39 c (1,1) translated 41 (20%) constraints
6.16/2.40 c (1,1) translated 61 (30%) constraints
6.16/2.41 c (1,1) translated 81 (40%) constraints
6.16/2.42 c (1,1) translated 101 (50%) constraints
6.16/2.43 c (1,1) translated 122 (60%) constraints
6.16/2.45 c (1,1) translated 142 (70%) constraints
6.16/2.46 c (1,1) translated 162 (80%) constraints
6.16/2.47 c (1,1) translated 182 (90%) constraints
6.16/2.48 c (1,1) translated 202 (100%) constraints
6.16/2.49 c (1,1) CSP to CSPinCNF End
6.16/2.49 c (1,1) CSP: 0 int (0 aux), 5100 bool (0 aux), 202 ctr, max domain size 2
6.16/2.49 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
6.16/2.49 c (1,1) CSPinCNF Propagation Begin
6.50/2.55 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.50/2.55 c (2,2) CSPinCNF Propagation End
6.50/2.55 c (2,2) CSP: 0 int (0 aux), 5100 bool (0 aux), 202 ctr, max domain size 2
6.50/2.55 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
6.50/2.55 c (2,2) Simplify CSPinCNF Begin
6.50/2.56 c (2,2) Simplify CSPinCNF End
6.50/2.56 c (2,2) CSP: 0 int (0 aux), 5100 bool (0 aux), 202 ctr, max domain size 2
6.50/2.56 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
6.50/2.56 c (2,2) Calculate Precise Domain Begin
6.50/2.57 c (2,2) 0 values are removed by re-calculation
6.50/2.57 c (2,2) Calculate Precise Domain End
6.50/2.57 c (2,2) CSP: 0 int (0 aux), 5100 bool (0 aux), 202 ctr, max domain size 2
6.50/2.57 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
6.50/2.57 c (2,2) CSPinCNF to SatSolver Begin
7.16/2.73 c (2,2) 21 (10 %) CSP clauses are being encoded (6100 SAT variables, 1020 SAT clauses)
7.16/2.75 c (2,2) 41 (20 %) CSP clauses are being encoded (7100 SAT variables, 2040 SAT clauses)
7.16/2.77 c (2,2) 61 (30 %) CSP clauses are being encoded (8100 SAT variables, 3060 SAT clauses)
7.49/2.80 c (2,2) 81 (40 %) CSP clauses are being encoded (9100 SAT variables, 4080 SAT clauses)
7.49/2.82 c (2,2) 101 (50 %) CSP clauses are being encoded (10100 SAT variables, 5100 SAT clauses)
7.49/2.86 c (2,2) 122 (60 %) CSP clauses are being encoded (12100 SAT variables, 10845 SAT clauses)
7.80/2.90 c (2,2) 142 (70 %) CSP clauses are being encoded (14100 SAT variables, 16785 SAT clauses)
7.80/2.94 c (2,2) 162 (80 %) CSP clauses are being encoded (16100 SAT variables, 22725 SAT clauses)
7.80/2.98 c (2,2) 182 (90 %) CSP clauses are being encoded (18100 SAT variables, 28665 SAT clauses)
8.16/3.01 c (2,2) 202 (100 %) CSP clauses are being encoded (20100 SAT variables, 34605 SAT clauses)
8.16/3.01 c (2,2) CSPinCNF to SatSolver End
8.16/3.01 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
8.16/3.08 c (2,2) STATISTICS2:HOME/instance-4293738-1532346466.xml,IntVar:Num:WeightedSum,5100,202,1125899906842624,2,1,51,1125899906842624:100;562949953421312:102,2:10200,1:202,51:100;50:102,
8.16/3.08 c (2,2) SatSolver.solve Begin
8.16/3.08 c (2,2) 20200 bool, 34902 clause
8.16/3.08 c (2,2) 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-4293738-1532346466.xml-scop-13589.cnf HOME/instance-4293738-1532346466.xml-scop-13589.cnf.out
2520.04/2512.40 c (2511,0) receiving signal SIGTERM
2520.04/2512.40 s UNKNOWN
2520.04/2512.40 c (2511,2) SatSolver is killed by some reasons.
2520.04/2512.40 c (2511,2) 0,0,1,2,2,2,2,TO,TO,STOP-AFTER(DIMACS)
2520.04/2512.40 c END-Prog: Mon Jul 23 14:29:39 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 (5810 MiB free)
memory of node 1: 16384 MiB (9471 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293738-1532346466/watcher-4293738-1532346466 -o /tmp/evaluation-result-4293738-1532346466/solver-4293738-1532346466 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293738-1532346466.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=13589, runsolver pid=13586
[startup+0.100093 s]*
/proc/loadavg: 2.58 2.23 2.12 3/221 13604
/proc/meminfo: memFree=15589448/32770624 swapFree=67108860/67108860
[pid=13589] ppid=13586 vsize=15011656 memory=72136 CPUtime=0.11 cores=0,2,4,6
/proc/13589/stat : 13589 (java) S 13586 13589 8919 0 -1 1077944320 6195 0 0 0 9 2 0 0 20 0 15 0 52209786 15371935744 18034 33554432000 4194304 4196468 140729911432592 140729911415136 139661202009847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
/proc/13589/statm: 3752914 18034 2782 1 0 3715374 0
[pid=13589/tid=13591] ppid=13586 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=0,2,4,6
/proc/13589/task/13591/stat : 13591 (java) R 13586 13589 8919 0 -1 4202560 4277 0 0 0 7 2 0 0 20 0 15 0 52209786 15371935744 18034 33554432000 4194304 4196468 140729911432592 139661173833280 139661187175486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13592] ppid=13586 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13592/stat : 13592 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209788 15371935744 18034 33554432000 4194304 4196468 140729911432592 139661206252048 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13593] ppid=13586 vsize=15011656 memory=139783842756224 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13593/stat : 13593 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209788 15371935744 18034 33554432000 4194304 4196468 140729911432592 139660997335696 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13594] ppid=13586 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13594/stat : 13594 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209788 15371935744 18034 33554432000 4194304 4196468 140729911432592 139660996282640 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13595] ppid=13586 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13595/stat : 13595 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52209788 15371935744 18034 33554432000 4194304 4196468 140729911432592 139660660914576 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13596] ppid=13586 vsize=15011656 memory=139783842756224 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13596/stat : 13596 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209789 15371935744 18034 33554432000 4194304 4196468 140729911432592 139660173081328 139661202020994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13597] ppid=13586 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13597/stat : 13597 (java) S 13586 13589 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52209790 15371935744 18034 33554432000 4194304 4196468 140729911432592 139659787101856 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13598] ppid=13586 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13598/stat : 13598 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52209790 15371935744 18034 33554432000 4194304 4196468 140729911432592 139659518665968 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13599] ppid=13586 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13599/stat : 13599 (java) S 13586 13589 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52209792 15371935744 18034 33554432000 4194304 4196468 140729911432592 139659144157648 139661202028443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13600] ppid=13586 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13600/stat : 13600 (java) S 13586 13589 8919 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 52209792 15371935744 18034 33554432000 4194304 4196468 140729911432592 139660172028144 139661202020994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13601] ppid=13586 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13601/stat : 13601 (java) S 13586 13589 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52209792 15371935744 18034 33554432000 4194304 4196468 140729911432592 139660170975600 139661202020994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13602] ppid=13586 vsize=15011656 memory=139783842756224 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13602/stat : 13602 (java) S 13586 13589 8919 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 15 0 52209792 15371935744 18034 33554432000 4194304 4196468 140729911432592 139660169922544 139661202020994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13603] ppid=13586 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13603/stat : 13603 (java) S 13586 13589 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52209793 15371935744 18034 33554432000 4194304 4196468 140729911432592 139658646251872 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13604] ppid=13586 vsize=15011656 memory=139783842756224 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13604/stat : 13604 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52209793 15371935744 18034 33554432000 4194304 4196468 140729911432592 139660168870960 139661202020994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72136 KiB
[startup+0.210319 s]*
/proc/loadavg: 2.58 2.23 2.12 4/221 13604
/proc/meminfo: memFree=15575604/32770624 swapFree=67108860/67108860
[pid=13589] ppid=13586 vsize=15011656 memory=85500 CPUtime=0.25 cores=0,2,4,6
/proc/13589/stat : 13589 (java) S 13586 13589 8919 0 -1 1077944320 9843 0 0 0 22 3 0 0 20 0 15 0 52209786 15371935744 21375 33554432000 4194304 4196468 140729911432592 140729911415136 139661202009847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
/proc/13589/statm: 3752914 21375 2915 1 0 3715374 0
[pid=13589/tid=13591] ppid=13586 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/13589/task/13591/stat : 13591 (java) R 13586 13589 8919 0 -1 4202560 7739 0 0 0 18 2 0 0 20 0 15 0 52209786 15371935744 21375 33554432000 4194304 4196468 140729911432592 139661173830672 139661186090260 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13592] ppid=13586 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13592/stat : 13592 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209788 15371935744 21375 33554432000 4194304 4196468 140729911432592 139661206252048 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13593] ppid=13586 vsize=15011656 memory=3760701763360847520 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13593/stat : 13593 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209788 15371935744 21375 33554432000 4194304 4196468 140729911432592 139660997335696 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13594] ppid=13586 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13594/stat : 13594 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209788 15371935744 21375 33554432000 4194304 4196468 140729911432592 139660996282640 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13595] ppid=13586 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13595/stat : 13595 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52209788 15371935744 21375 33554432000 4194304 4196468 140729911432592 139660660914576 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13596] ppid=13586 vsize=15011656 memory=139783842756224 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13596/stat : 13596 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209789 15371935744 21375 33554432000 4194304 4196468 140729911432592 139660173081328 139661202020994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13597] ppid=13586 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13597/stat : 13597 (java) S 13586 13589 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52209790 15371935744 21375 33554432000 4194304 4196468 140729911432592 139659787101856 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13598] ppid=13586 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13598/stat : 13598 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52209790 15371935744 21375 33554432000 4194304 4196468 140729911432592 139659518665968 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13599] ppid=13586 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13599/stat : 13599 (java) S 13586 13589 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52209792 15371935744 21375 33554432000 4194304 4196468 140729911432592 139659144157648 139661202028443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13600] ppid=13586 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13589/task/13600/stat : 13600 (java) S 13586 13589 8919 0 -1 1077944384 311 0 0 0 1 0 0 0 20 0 15 0 52209792 15371935744 21375 33554432000 4194304 4196468 140729911432592 139660172028144 139661202020994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13601] ppid=13586 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13601/stat : 13601 (java) R 13586 13589 8919 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 15 0 52209792 15371935744 21375 33554432000 4194304 4196468 140729911432592 139660170975600 139661202031194 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13602] ppid=13586 vsize=15011656 memory=139783842756224 CPUtime=0.03 cores=0,2,4,6
/proc/13589/task/13602/stat : 13602 (java) R 13586 13589 8919 0 -1 4202560 305 0 0 0 3 0 0 0 20 0 15 0 52209792 15371935744 21375 33554432000 4194304 4196468 140729911432592 139660169922544 139661186090334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13603] ppid=13586 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13603/stat : 13603 (java) S 13586 13589 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52209793 15371935744 21375 33554432000 4194304 4196468 140729911432592 139658646251872 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13604] ppid=13586 vsize=15011656 memory=139783842756224 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13604/stat : 13604 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52209793 15371935744 21375 33554432000 4194304 4196468 140729911432592 139660168870960 139661202020994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85500 KiB
[startup+0.310405 s]*
/proc/loadavg: 2.58 2.23 2.12 3/221 13604
/proc/meminfo: memFree=15571696/32770624 swapFree=67108860/67108860
[pid=13589] ppid=13586 vsize=15011656 memory=89920 CPUtime=0.42 cores=0,2,4,6
/proc/13589/stat : 13589 (java) S 13586 13589 8919 0 -1 1077944320 10459 0 0 0 39 3 0 0 20 0 15 0 52209786 15371935744 22480 33554432000 4194304 4196468 140729911432592 140729911415136 139661202009847 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
/proc/13589/statm: 3752914 22480 3033 1 0 3715374 0
[pid=13589/tid=13591] ppid=13586 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/13589/task/13591/stat : 13591 (java) R 13586 13589 8919 0 -1 4202560 8169 0 0 0 27 2 0 0 20 0 15 0 52209786 15371935744 22480 33554432000 4194304 4196468 140729911432592 139661173814000 139661186090334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13592] ppid=13586 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13592/stat : 13592 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209788 15371935744 22480 33554432000 4194304 4196468 140729911432592 139661206252048 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13593] ppid=13586 vsize=15011656 memory=3618555800610338464 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13593/stat : 13593 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209788 15371935744 22480 33554432000 4194304 4196468 140729911432592 139660997335696 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13594] ppid=13586 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13594/stat : 13594 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209788 15371935744 22480 33554432000 4194304 4196468 140729911432592 139660996282640 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13595] ppid=13586 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13595/stat : 13595 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52209788 15371935744 22480 33554432000 4194304 4196468 140729911432592 139660660914576 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13596] ppid=13586 vsize=15011656 memory=139783842756224 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13596/stat : 13596 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209789 15371935744 22480 33554432000 4194304 4196468 140729911432592 139660173081328 139661202020994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13597] ppid=13586 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13597/stat : 13597 (java) S 13586 13589 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52209790 15371935744 22480 33554432000 4194304 4196468 140729911432592 139659787101856 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13598] ppid=13586 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13598/stat : 13598 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52209790 15371935744 22480 33554432000 4194304 4196468 140729911432592 139659518665968 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13599] ppid=13586 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13599/stat : 13599 (java) S 13586 13589 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52209792 15371935744 22480 33554432000 4194304 4196468 140729911432592 139659144157648 139661202028443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13600] ppid=13586 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13589/task/13600/stat : 13600 (java) S 13586 13589 8919 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 15 0 52209792 15371935744 22480 33554432000 4194304 4196468 140729911432592 139660172028144 139661202020994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13601] ppid=13586 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/13589/task/13601/stat : 13601 (java) S 13586 13589 8919 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 15 0 52209792 15371935744 22480 33554432000 4194304 4196468 140729911432592 139660170975600 139661202020994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13602] ppid=13586 vsize=15011656 memory=139783842756224 CPUtime=0.07 cores=0,2,4,6
/proc/13589/task/13602/stat : 13602 (java) S 13586 13589 8919 0 -1 1077944384 347 0 0 0 7 0 0 0 20 0 15 0 52209792 15371935744 22480 33554432000 4194304 4196468 140729911432592 139660169922544 139661202020994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13603] ppid=13586 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13603/stat : 13603 (java) S 13586 13589 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52209793 15371935744 22480 33554432000 4194304 4196468 140729911432592 139658646251872 139661202020053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13604] ppid=13586 vsize=15011656 memory=139783842756224 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13604/stat : 13604 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52209793 15371935744 22480 33554432000 4194304 4196468 140729911432592 139660168870960 139661202020994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89920 KiB
[startup+0.700655 s]
/proc/loadavg: 2.58 2.23 2.12 3/221 13604
/proc/meminfo: memFree=15547140/32770624 swapFree=67108860/67108860
[pid=13589] ppid=13586 vsize=15020052 memory=129632 CPUtime=1.02 cores=0,2,4,6
/proc/13589/stat : 13589 (java) S 13586 13589 8919 0 -1 1077944320 17576 0 0 0 96 6 0 0 20 0 15 0 52209786 15380533248 32408 33554432000 4194304 4196468 140729911432592 140729911415136 139661202009847 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
/proc/13589/statm: 3755013 32408 3155 1 0 3716398 0
[pid=13589/tid=13591] ppid=13586 vsize=15020052 memory=198178112555131 CPUtime=0.67 cores=0,2,4,6
/proc/13589/task/13591/stat : 13591 (java) R 13586 13589 8919 0 -1 4202560 14821 0 0 0 63 4 0 0 20 0 15 0 52209786 15380533248 32408 33554432000 4194304 4196468 140729911432592 139661173841760 139661202031773 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13592] ppid=13586 vsize=15020052 memory=286033 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13592/stat : 13592 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209788 15380533248 32408 33554432000 4194304 4196468 140729911432592 139661206252048 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13593] ppid=13586 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13593/stat : 13593 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209788 15380533248 32408 33554432000 4194304 4196468 140729911432592 139660997335696 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13594] ppid=13586 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13594/stat : 13594 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209788 15380533248 32408 33554432000 4194304 4196468 140729911432592 139660996282640 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13595] ppid=13586 vsize=15020052 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13595/stat : 13595 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52209788 15380533248 32408 33554432000 4194304 4196468 140729911432592 139660660914576 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13596] ppid=13586 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13596/stat : 13596 (java) S 13586 13589 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52209789 15380533248 32408 33554432000 4194304 4196468 140729911432592 139660173081328 139661202020994 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13597] ppid=13586 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13597/stat : 13597 (java) S 13586 13589 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52209790 15380533248 32408 33554432000 4194304 4196468 140729911432592 139659787101856 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13598] ppid=13586 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13598/stat : 13598 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52209790 15380533248 32408 33554432000 4194304 4196468 140729911432592 139659518665968 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13599] ppid=13586 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13599/stat : 13599 (java) S 13586 13589 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52209792 15380533248 32408 33554432000 4194304 4196468 140729911432592 139659144157648 139661202028443 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13600] ppid=13586 vsize=15020052 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13589/task/13600/stat : 13600 (java) R 13586 13589 8919 0 -1 4202560 584 0 0 0 9 0 0 0 20 0 15 0 52209792 15380533248 32408 33554432000 4194304 4196468 140729911432592 139660172018528 139661182182831 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13601] ppid=13586 vsize=15020052 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13589/task/13601/stat : 13601 (java) R 13586 13589 8919 0 -1 4202560 346 0 0 0 7 0 0 0 20 0 15 0 52209792 15380533248 32408 33554432000 4194304 4196468 140729911432592 139660170975600 139661183553166 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13602] ppid=13586 vsize=15020052 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/13589/task/13602/stat : 13602 (java) S 13586 13589 8919 0 -1 1077944384 485 0 0 0 16 0 0 0 20 0 15 0 52209792 15380533248 32408 33554432000 4194304 4196468 140729911432592 139660169922544 139661202020994 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13603] ppid=13586 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13603/stat : 13603 (java) S 13586 13589 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52209793 15380533248 32408 33554432000 4194304 4196468 140729911432592 139658646251872 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13604] ppid=13586 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13604/stat : 13604 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52209793 15380533248 32408 33554432000 4194304 4196468 140729911432592 139660168870960 139661202020994 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129632 KiB
[startup+1.50122 s]
/proc/loadavg: 2.58 2.23 2.12 3/221 13604
/proc/meminfo: memFree=15512304/32770624 swapFree=67108860/67108860
[pid=13589] ppid=13586 vsize=15022100 memory=199320 CPUtime=3.28 cores=0,2,4,6
/proc/13589/stat : 13589 (java) S 13586 13589 8919 0 -1 1077944320 20698 0 0 0 320 8 0 0 20 0 15 0 52209786 15382630400 49813 33554432000 4194304 4196468 140729911432592 140729911415136 139661202009847 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
/proc/13589/statm: 3755525 49830 3209 1 0 3716910 0
[pid=13589/tid=13591] ppid=13586 vsize=15022100 memory=5794836780235446632 CPUtime=1.47 cores=0,2,4,6
/proc/13589/task/13591/stat : 13591 (java) R 13586 13589 8919 0 -1 4202560 15683 0 0 0 141 6 0 0 20 0 15 0 52209786 15382630400 49830 33554432000 4194304 4196468 140729911432592 139661173842432 139661186053477 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13592] ppid=13586 vsize=15022100 memory=6298673690012637544 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13592/stat : 13592 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209788 15382630400 49830 33554432000 4194304 4196468 140729911432592 139661206252048 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13593] ppid=13586 vsize=15022100 memory=7589527807356199786 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13593/stat : 13593 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209788 15382630400 49830 33554432000 4194304 4196468 140729911432592 139660997335696 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13594] ppid=13586 vsize=15022100 memory=7090192384199583577 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13594/stat : 13594 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52209788 15382630400 49830 33554432000 4194304 4196468 140729911432592 139660996282640 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13595] ppid=13586 vsize=15022100 memory=4638778424102571344 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13595/stat : 13595 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52209788 15382630400 49830 33554432000 4194304 4196468 140729911432592 139660660914576 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13596] ppid=13586 vsize=15022100 memory=7813296123051270737 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13596/stat : 13596 (java) S 13586 13589 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52209789 15382630400 49830 33554432000 4194304 4196468 140729911432592 139660173081328 139661202020994 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
################
# More data... #
################
/proc/meminfo: memFree=15632260/32770624 swapFree=67108860/67108860
[pid=13589] ppid=13586 vsize=15681864 memory=734420 CPUtime=10.75 cores=0,2,4,6
/proc/13589/stat : 13589 (java) S 13586 13589 8919 0 -1 1077944320 25007 0 0 0 1002 73 0 0 20 0 19 0 52209786 16058228736 183605 33554432000 4194304 4196468 140729911432592 140729911415136 139661202009847 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
/proc/13589/statm: 3920466 183605 3236 1 0 3881322 0
[pid=13605] ppid=13589 vsize=157492 memory=123436 CPUtime=2439.15 cores=0,2,4,6
/proc/13605/stat : 13605 (minisat_release) R 13589 13589 8919 0 -1 4202496 828109 0 0 0 243076 839 0 0 20 0 1 0 52210096 161271808 30859 33554432000 4194304 4308513 140724020750912 140724020747816 4264642 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 17448960 140724020753071 140724020753582 140724020753582 140724020756421 0
/proc/13605/statm: 39373 30859 354 28 0 35613 0
[pid=13589/tid=13591] ppid=13586 vsize=15681864 memory=734420 CPUtime=3.11 cores=0,2,4,6
/proc/13589/task/13591/stat : 13591 (java) S 13586 13589 8919 0 -1 1077944384 16867 0 0 0 297 14 0 0 20 0 19 0 52209786 16058228736 183605 33554432000 4194304 4196468 140729911432592 139661173849088 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13592] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13592/stat : 13592 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52209788 16058228736 183605 33554432000 4194304 4196468 140729911432592 139661206252048 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13593] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13593/stat : 13593 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52209788 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660997335696 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13594] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13594/stat : 13594 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52209788 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660996282640 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13595] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13595/stat : 13595 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52209788 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660660914576 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13596] ppid=13586 vsize=15681864 memory=734420 CPUtime=0.05 cores=0,2,4,6
/proc/13589/task/13596/stat : 13596 (java) S 13586 13589 8919 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 52209789 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660173081328 139661202020994 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13597] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13597/stat : 13597 (java) S 13586 13589 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52209790 16058228736 183605 33554432000 4194304 4196468 140729911432592 139659787101856 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13598] ppid=13586 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13598/stat : 13598 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52209790 16058228736 183605 33554432000 4194304 4196468 140729911432592 139659518665968 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13599] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13599/stat : 13599 (java) S 13586 13589 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52209792 16058228736 183605 33554432000 4194304 4196468 140729911432592 139659144157648 139661202028443 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13600] ppid=13586 vsize=15681864 memory=125484 CPUtime=2.23 cores=0,2,4,6
/proc/13589/task/13600/stat : 13600 (java) S 13586 13589 8919 0 -1 1077944384 1817 0 0 0 222 1 0 0 20 0 19 0 52209792 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660172028144 139661202020994 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13601] ppid=13586 vsize=15681864 memory=734420 CPUtime=2.96 cores=0,2,4,6
/proc/13589/task/13601/stat : 13601 (java) S 13586 13589 8919 0 -1 1077944384 2197 0 0 0 295 1 0 0 20 0 19 0 52209792 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660170975600 139661202020994 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13602] ppid=13586 vsize=15681864 memory=734420 CPUtime=0.95 cores=0,2,4,6
/proc/13589/task/13602/stat : 13602 (java) S 13586 13589 8919 0 -1 1077944384 2569 0 0 0 94 1 0 0 20 0 19 0 52209792 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660169922544 139661202020994 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13603] ppid=13586 vsize=15681864 memory=141240 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13603/stat : 13603 (java) S 13586 13589 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52209793 16058228736 183605 33554432000 4194304 4196468 140729911432592 139658646251872 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13604] ppid=13586 vsize=15681864 memory=734420 CPUtime=1.39 cores=0,2,4,6
/proc/13589/task/13604/stat : 13604 (java) S 13586 13589 8919 0 -1 1077944384 163 0 0 0 75 64 0 0 20 0 19 0 52209793 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660168870960 139661202020994 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13606] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13606/stat : 13606 (java) S 13586 13589 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52210096 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660152604480 139661202034457 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13608] ppid=13586 vsize=15681864 memory=91136 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13608/stat : 13608 (java) S 13586 13589 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52210097 16058228736 183605 33554432000 4194304 4196468 140729911432592 139658109370160 139661202031773 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13609] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13609/stat : 13609 (java) S 13586 13589 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 52210097 16058228736 183605 33554432000 4194304 4196468 140729911432592 139657840934320 139661202031773 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13610] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13610/stat : 13610 (java) S 13586 13589 8919 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52210099 16058228736 183605 33554432000 4194304 4196468 140729911432592 139658377813280 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
Current children cumulated CPU time: 2449.9 s
Current children cumulated vsize: 15839356 KiB
Current children cumulated memory: 857856 KiB
[startup+2502.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/225 14034
/proc/meminfo: memFree=15631592/32770624 swapFree=67108860/67108860
[pid=13589] ppid=13586 vsize=15681864 memory=734420 CPUtime=10.78 cores=0,2,4,6
/proc/13589/stat : 13589 (java) S 13586 13589 8919 0 -1 1077944320 25011 0 0 0 1004 74 0 0 20 0 19 0 52209786 16058228736 183605 33554432000 4194304 4196468 140729911432592 140729911415136 139661202009847 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
/proc/13589/statm: 3920466 183605 3236 1 0 3881322 0
[pid=13605] ppid=13589 vsize=108172 memory=91136 CPUtime=2499.15 cores=0,2,4,6
/proc/13605/stat : 13605 (minisat_release) R 13589 13589 8919 0 -1 4202496 848240 0 0 0 249053 862 0 0 20 0 1 0 52210096 110768128 22784 33554432000 4194304 4308513 140724020750912 140724020748360 4262743 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 17448960 140724020753071 140724020753582 140724020753582 140724020756421 0
/proc/13605/statm: 27043 22784 354 28 0 23283 0
[pid=13589/tid=13591] ppid=13586 vsize=15681864 memory=734420 CPUtime=3.11 cores=0,2,4,6
/proc/13589/task/13591/stat : 13591 (java) S 13586 13589 8919 0 -1 1077944384 16867 0 0 0 297 14 0 0 20 0 19 0 52209786 16058228736 183605 33554432000 4194304 4196468 140729911432592 139661173849088 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13592] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13592/stat : 13592 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52209788 16058228736 183605 33554432000 4194304 4196468 140729911432592 139661206252048 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13593] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13593/stat : 13593 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52209788 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660997335696 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13594] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13594/stat : 13594 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52209788 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660996282640 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13595] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13595/stat : 13595 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52209788 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660660914576 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13596] ppid=13586 vsize=15681864 memory=734420 CPUtime=0.05 cores=0,2,4,6
/proc/13589/task/13596/stat : 13596 (java) S 13586 13589 8919 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 52209789 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660173081328 139661202020994 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13597] ppid=13586 vsize=15681864 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13597/stat : 13597 (java) S 13586 13589 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52209790 16058228736 183605 33554432000 4194304 4196468 140729911432592 139659787101856 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13598] ppid=13586 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13598/stat : 13598 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52209790 16058228736 183605 33554432000 4194304 4196468 140729911432592 139659518665968 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13599] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13599/stat : 13599 (java) S 13586 13589 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52209792 16058228736 183605 33554432000 4194304 4196468 140729911432592 139659144157648 139661202028443 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13600] ppid=13586 vsize=15681864 memory=4140 CPUtime=2.23 cores=0,2,4,6
/proc/13589/task/13600/stat : 13600 (java) S 13586 13589 8919 0 -1 1077944384 1817 0 0 0 222 1 0 0 20 0 19 0 52209792 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660172028144 139661202020994 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13601] ppid=13586 vsize=15681864 memory=8384 CPUtime=2.96 cores=0,2,4,6
/proc/13589/task/13601/stat : 13601 (java) S 13586 13589 8919 0 -1 1077944384 2197 0 0 0 295 1 0 0 20 0 19 0 52209792 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660170975600 139661202020994 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13602] ppid=13586 vsize=15681864 memory=14008 CPUtime=0.95 cores=0,2,4,6
/proc/13589/task/13602/stat : 13602 (java) S 13586 13589 8919 0 -1 1077944384 2569 0 0 0 94 1 0 0 20 0 19 0 52209792 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660169922544 139661202020994 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13603] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13603/stat : 13603 (java) S 13586 13589 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52209793 16058228736 183605 33554432000 4194304 4196468 140729911432592 139658646251872 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13604] ppid=13586 vsize=15681864 memory=4140 CPUtime=1.42 cores=0,2,4,6
/proc/13589/task/13604/stat : 13604 (java) S 13586 13589 8919 0 -1 1077944384 167 0 0 0 77 65 0 0 20 0 19 0 52209793 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660168870960 139661202020994 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13606] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13606/stat : 13606 (java) S 13586 13589 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52210096 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660152604480 139661202034457 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13608] ppid=13586 vsize=15681864 memory=131628 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13608/stat : 13608 (java) S 13586 13589 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52210097 16058228736 183605 33554432000 4194304 4196468 140729911432592 139658109370160 139661202031773 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13609] ppid=13586 vsize=15681864 memory=127532 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13609/stat : 13609 (java) S 13586 13589 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 52210097 16058228736 183605 33554432000 4194304 4196468 140729911432592 139657840934320 139661202031773 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13610] ppid=13586 vsize=15681864 memory=91136 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13610/stat : 13610 (java) S 13586 13589 8919 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52210099 16058228736 183605 33554432000 4194304 4196468 140729911432592 139658377813280 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
Current children cumulated CPU time: 2509.93 s
Current children cumulated vsize: 15790036 KiB
Current children cumulated memory: 825556 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.4 s]
/proc/loadavg: 2.05 2.10 2.08 3/225 14034
/proc/meminfo: memFree=15582636/32770624 swapFree=67108860/67108860
[pid=13589] ppid=13586 vsize=15681864 memory=734420 CPUtime=10.79 cores=0,2,4,6
/proc/13589/stat : 13589 (java) S 13586 13589 8919 0 -1 1077944320 25013 0 0 0 1005 74 0 0 20 0 19 0 52209786 16058228736 183605 33554432000 4194304 4196468 140729911432592 140729911415136 139661202009847 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
/proc/13589/statm: 3920466 183605 3236 1 0 3881322 0
[pid=13605] ppid=13589 vsize=188312 memory=146116 CPUtime=2509.25 cores=0,2,4,6
/proc/13605/stat : 13605 (minisat_release) R 13589 13589 8919 0 -1 4202496 851264 0 0 0 250059 866 0 0 20 0 1 0 52210096 192831488 36529 33554432000 4194304 4308513 140724020750912 140724020747816 4276143 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 17448960 140724020753071 140724020753582 140724020753582 140724020756421 0
/proc/13605/statm: 47078 36529 354 28 0 43318 0
[pid=13589/tid=13591] ppid=13586 vsize=15681864 memory=3360 CPUtime=3.11 cores=0,2,4,6
/proc/13589/task/13591/stat : 13591 (java) S 13586 13589 8919 0 -1 1077944384 16867 0 0 0 297 14 0 0 20 0 19 0 52209786 16058228736 183605 33554432000 4194304 4196468 140729911432592 139661173849088 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13592] ppid=13586 vsize=15681864 memory=734420 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13592/stat : 13592 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52209788 16058228736 183605 33554432000 4194304 4196468 140729911432592 139661206252048 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13593] ppid=13586 vsize=15681864 memory=127532 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13593/stat : 13593 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52209788 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660997335696 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13594] ppid=13586 vsize=15681864 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13594/stat : 13594 (java) S 13586 13589 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52209788 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660996282640 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13595] ppid=13586 vsize=15681864 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13595/stat : 13595 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52209788 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660660914576 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13596] ppid=13586 vsize=15681864 memory=3456 CPUtime=0.05 cores=0,2,4,6
/proc/13589/task/13596/stat : 13596 (java) S 13586 13589 8919 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 52209789 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660173081328 139661202020994 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13597] ppid=13586 vsize=15681864 memory=200344 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13597/stat : 13597 (java) S 13586 13589 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52209790 16058228736 183605 33554432000 4194304 4196468 140729911432592 139659787101856 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13598] ppid=13586 vsize=15681864 memory=-7824251494390453606 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13598/stat : 13598 (java) S 13586 13589 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52209790 16058228736 183605 33554432000 4194304 4196468 140729911432592 139659518665968 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13599] ppid=13586 vsize=15681864 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13599/stat : 13599 (java) S 13586 13589 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52209792 16058228736 183605 33554432000 4194304 4196468 140729911432592 139659144157648 139661202028443 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13600] ppid=13586 vsize=15681864 memory=6768 CPUtime=2.23 cores=0,2,4,6
/proc/13589/task/13600/stat : 13600 (java) S 13586 13589 8919 0 -1 1077944384 1817 0 0 0 222 1 0 0 20 0 19 0 52209792 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660172028144 139661202020994 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13601] ppid=13586 vsize=15681864 memory=832 CPUtime=2.96 cores=0,2,4,6
/proc/13589/task/13601/stat : 13601 (java) S 13586 13589 8919 0 -1 1077944384 2197 0 0 0 295 1 0 0 20 0 19 0 52209792 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660170975600 139661202020994 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13602] ppid=13586 vsize=15681864 memory=1696 CPUtime=0.95 cores=0,2,4,6
/proc/13589/task/13602/stat : 13602 (java) S 13586 13589 8919 0 -1 1077944384 2569 0 0 0 94 1 0 0 20 0 19 0 52209792 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660169922544 139661202020994 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13603] ppid=13586 vsize=15681864 memory=920 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13603/stat : 13603 (java) S 13586 13589 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52209793 16058228736 183605 33554432000 4194304 4196468 140729911432592 139658646251872 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13604] ppid=13586 vsize=15681864 memory=3848 CPUtime=1.43 cores=0,2,4,6
/proc/13589/task/13604/stat : 13604 (java) S 13586 13589 8919 0 -1 1077944384 169 0 0 0 78 65 0 0 20 0 19 0 52209793 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660168870960 139661202020994 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13606] ppid=13586 vsize=15681864 memory=2888 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13606/stat : 13606 (java) S 13586 13589 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52210096 16058228736 183605 33554432000 4194304 4196468 140729911432592 139660152604480 139661202034457 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13608] ppid=13586 vsize=15681864 memory=2996 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13608/stat : 13608 (java) S 13586 13589 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52210097 16058228736 183605 33554432000 4194304 4196468 140729911432592 139658109370160 139661202031773 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13609] ppid=13586 vsize=15681864 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13609/stat : 13609 (java) S 13586 13589 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 52210097 16058228736 183605 33554432000 4194304 4196468 140729911432592 139657840934320 139661202031773 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
[pid=13589/tid=13610] ppid=13586 vsize=15681864 memory=16856 CPUtime=0 cores=0,2,4,6
/proc/13589/task/13610/stat : 13610 (java) S 13586 13589 8919 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52210099 16058228736 183605 33554432000 4194304 4196468 140729911432592 139658377813280 139661202020053 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29007872 140729911436276 140729911436553 140729911436553 140729911439311 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15870176 KiB
Current children cumulated memory: 880536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.42 s]
# the end of solver process 13589 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.65 s, system=9.425 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2512.42
CPU time (s): 2520.08
CPU user time (s): 2510.65
CPU system time (s): 9.425
CPU usage (%): 100.305
Max. virtual memory (cumulated for all children) (KiB): 15870176
Max. memory (cumulated for all children) (KiB): 886800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.65
system time used= 9.425
maximum resident set size= 738664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 876349
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57471
involuntary context switches= 3377
# summary of solver processes directly reported to runsolver:
# pid: 13589
# total CPU time (s): 2520.08
# total CPU user time (s): 2510.65
# total CPU system time (s): 9.425
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2219 second user time and 25.2507 second system time
The end