0.67/0.52
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 13:28:37 CEST 2018
0.67/0.54 c PID: 5594
0.67/0.54 c IP: 172.20.3.105
0.67/0.54 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.21/0.89 c (0,0) Parsing End
1.21/0.89 c (0,0) CSP: 63 int (0 aux), 0 bool (0 aux), 51 ctr, max domain size 50
1.21/0.89 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.89 c (0,0) Constraint Name Generate Begin
1.41/0.90 c (0,0) Ctr:HOME/instance-4293439-1532345316.xml,AllDifferent:Dist:Eq:IntVar
1.41/0.90 c (0,0) Constraint Name Generate End
1.41/0.90 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.90 c (0,0) CSP to CSPinCNF Begin
1.59/1.01 c (0,0) translated 6 (10%) constraints
1.59/1.03 c (0,0) translated 11 (20%) constraints
1.59/1.04 c (0,0) translated 16 (30%) constraints
1.59/1.05 c (0,0) translated 21 (40%) constraints
1.59/1.06 c (0,0) translated 26 (50%) constraints
1.59/1.07 c (0,0) translated 31 (60%) constraints
1.59/1.08 c (0,0) translated 36 (70%) constraints
1.59/1.09 c (0,0) translated 41 (80%) constraints
1.59/1.10 c (0,0) translated 46 (90%) constraints
1.82/1.14 c (0,0) translated 51 (100%) constraints
2.39/1.38 c (0,0) STATISTICS1:HOME/instance-4293439-1532345316.xml,AllDifferent:Dist:Eq:IntVar,63,1418,2450,50,49,3,2450:196;50:91;49:1176,50:602;49:2646,49:2;14:2;2:1316;1:98,3:196;2:1267;1:126,
2.39/1.38 c (0,0) ===========================================
2.39/1.38 c (0,0) Order
2.39/1.38 c (0,0) ===========================================
2.68/1.41 c (0,0) translated 142 (10%) constraints
2.68/1.42 c (0,0) translated 284 (20%) constraints
2.68/1.44 c (0,0) translated 426 (30%) constraints
2.68/1.46 c (0,0) translated 568 (40%) constraints
2.68/1.47 c (0,0) translated 709 (50%) constraints
2.68/1.48 c (0,0) translated 851 (60%) constraints
2.68/1.49 c (0,0) translated 993 (70%) constraints
3.01/1.50 c (0,0) translated 1135 (80%) constraints
3.01/1.52 c (0,0) translated 1277 (90%) constraints
3.01/1.53 c (1,0) translated 1418 (100%) constraints
3.01/1.53 c (1,1) CSP to CSPinCNF End
3.01/1.54 c (1,1) CSP: 63 int (0 aux), 0 bool (0 aux), 1418 ctr, max domain size 50
3.01/1.54 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.01/1.54 c (1,1) CSPinCNF Propagation Begin
3.01/1.57 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.01/1.57 c (1,1) CSPinCNF Propagation End
3.01/1.57 c (1,1) CSP: 63 int (0 aux), 0 bool (0 aux), 1418 ctr, max domain size 50
3.01/1.57 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.01/1.57 c (1,1) Simplify CSPinCNF Begin
3.66/1.73 c (1,1) Simplify CSPinCNF End
3.66/1.73 c (1,1) CSP: 63 int (0 aux), 2632 bool (2632 aux), 4050 ctr, max domain size 50
3.66/1.73 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.66/1.73 c (1,1) Calculate Precise Domain Begin
3.66/1.74 c (1,1) 0 values are removed by re-calculation
3.66/1.74 c (1,1) Calculate Precise Domain End
3.66/1.74 c (1,1) CSP: 63 int (0 aux), 2632 bool (2632 aux), 4050 ctr, max domain size 50
3.66/1.74 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.66/1.74 c (1,1) CSPinCNF to SatSolver Begin
5.91/2.59 c (2,2) 405 (10 %) CSP clauses are encoded (5670 SAT variables, 248477 SAT clauses)
6.09/2.67 c (2,2) 810 (20 %) CSP clauses are encoded (5670 SAT variables, 261822 SAT clauses)
6.38/2.74 c (2,2) 1215 (30 %) CSP clauses are encoded (5670 SAT variables, 275187 SAT clauses)
6.59/2.81 c (2,2) 1620 (40 %) CSP clauses are encoded (5670 SAT variables, 288552 SAT clauses)
6.59/2.85 c (2,2) 2025 (50 %) CSP clauses are encoded (5670 SAT variables, 301917 SAT clauses)
6.59/2.88 c (2,2) 2430 (60 %) CSP clauses are encoded (5670 SAT variables, 315282 SAT clauses)
6.76/2.91 c (2,2) 2835 (70 %) CSP clauses are encoded (5670 SAT variables, 328647 SAT clauses)
6.76/2.95 c (2,2) 3240 (80 %) CSP clauses are encoded (5670 SAT variables, 342012 SAT clauses)
6.76/2.98 c (2,2) 3645 (90 %) CSP clauses are encoded (5670 SAT variables, 355377 SAT clauses)
6.95/3.02 c (2,2) 4050 (100 %) CSP clauses are encoded (5670 SAT variables, 368742 SAT clauses)
6.95/3.02 c (2,2) CSPinCNF to SatSolver End
6.95/3.02 c (2,2) Heap : 957 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.95/3.06 c (2,2) STATISTICS2:HOME/instance-4293439-1532345316.xml,AllDifferent:Dist:Eq:IntVar,2695,4050,2450,50,49,3,2450:196;50:182;49:2352,50:784;49:4998;2:5264,49:2;14:2;2:3948;1:98,3:196;2:2534;1:5390,
6.95/3.06 c (2,2) SatSolver.solve Begin
6.95/3.06 c (2,2) 5670 bool, 368743 clause
6.95/3.06 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-4293439-1532345316.xml-scop-5594.cnf HOME/instance-4293439-1532345316.xml-scop-5594.cnf.out
2520.05/2514.11 c (2513,2) SatSolver is killed by some reasons.
2520.05/2514.11 c (2513,2) 0,0,1,1,1,1,2,TO,TO,STOP-AFTER(DIMACS)
2520.05/2514.11 s UNKNOWN
2520.05/2514.11 c END-Prog: Mon Jul 23 14:10:30 CEST 2018
2520.05/2514.11 c (2513,0) receiving signal SIGTERM
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (2841 MiB free)
memory of node 1: 16384 MiB (11583 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293439-1532345316/watcher-4293439-1532345316 -o /tmp/evaluation-result-4293439-1532345316/solver-4293439-1532345316 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2303 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293439-1532345316.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5594, runsolver pid=5591
Current StackSize limit: 8192 KiB
[startup+0.100139 s]*
/proc/loadavg: 2.23 2.18 2.11 3/220 5609
/proc/meminfo: memFree=14710628/32770624 swapFree=67108860/67108860
[pid=5594] ppid=5591 vsize=15011656 memory=71908 CPUtime=0.11 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5591 5594 2271 0 -1 1077944320 7171 0 0 0 9 2 0 0 20 0 15 0 52094774 15371935744 17977 33554432000 4194304 4196468 140726793050672 140726793033216 140187457556215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
/proc/5594/statm: 3752914 17977 2782 1 0 3715374 0
[pid=5594/tid=5596] ppid=5591 vsize=15011656 memory=4139553112583148435 CPUtime=0.09 cores=1,3,5,7
/proc/5594/task/5596/stat : 5596 (java) R 5591 5594 2271 0 -1 4202560 5448 0 0 0 7 2 0 0 20 0 15 0 52094774 15371935744 18175 33554432000 4194304 4196468 140726793050672 140187429351376 140187437831936 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5597] ppid=5591 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5597/stat : 5597 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52094776 15371935744 18175 33554432000 4194304 4196468 140726793050672 140187461798800 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5598] ppid=5591 vsize=15011656 memory=140104685729408 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5598/stat : 5598 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52094776 15371935744 18175 33554432000 4194304 4196468 140726793050672 140187275954960 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5599] ppid=5591 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5599/stat : 5599 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52094776 15371935744 18175 33554432000 4194304 4196468 140726793050672 140187274902672 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5600] ppid=5591 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5600/stat : 5600 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52094776 15371935744 18175 33554432000 4194304 4196468 140726793050672 140187273849872 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5601] ppid=5591 vsize=15011656 memory=140104685729408 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5601/stat : 5601 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52094777 15371935744 18175 33554432000 4194304 4196468 140726793050672 140186495658096 140187457567362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5602] ppid=5591 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5602/stat : 5602 (java) S 5591 5594 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52094778 15371935744 18175 33554432000 4194304 4196468 140726793050672 140185987703584 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5603] ppid=5591 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5603/stat : 5603 (java) S 5591 5594 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52094778 15371935744 18175 33554432000 4194304 4196468 140726793050672 140185853482096 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5604] ppid=5591 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5604/stat : 5604 (java) S 5591 5594 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52094780 15371935744 18241 33554432000 4194304 4196468 140726793050672 140185478977616 140187457574811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5605] ppid=5591 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5605/stat : 5605 (java) S 5591 5594 2271 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 52094780 15371935744 18241 33554432000 4194304 4196468 140726793050672 140186494605936 140187457567362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5606] ppid=5591 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5606/stat : 5606 (java) S 5591 5594 2271 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 52094780 15371935744 18241 33554432000 4194304 4196468 140726793050672 140186493553136 140187457567362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5607] ppid=5591 vsize=15011656 memory=140104685729408 CPUtime=0.01 cores=1,3,5,7
/proc/5594/task/5607/stat : 5607 (java) S 5591 5594 2271 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 52094780 15371935744 18241 33554432000 4194304 4196468 140726793050672 140186492500848 140187457567362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5608] ppid=5591 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5608/stat : 5608 (java) S 5591 5594 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52094781 15371935744 18241 33554432000 4194304 4196468 140726793050672 140184981072864 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5609] ppid=5591 vsize=15011656 memory=140104685729408 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5609/stat : 5609 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52094781 15371935744 18241 33554432000 4194304 4196468 140726793050672 140186491447728 140187457567362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71908 KiB
[startup+0.210454 s]*
/proc/loadavg: 2.23 2.18 2.11 3/220 5609
/proc/meminfo: memFree=14696924/32770624 swapFree=67108860/67108860
[pid=5594] ppid=5591 vsize=15011656 memory=84204 CPUtime=0.26 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5591 5594 2271 0 -1 1077944320 10461 0 0 0 23 3 0 0 20 0 15 0 52094774 15371935744 21051 33554432000 4194304 4196468 140726793050672 140726793033216 140187457556215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
/proc/5594/statm: 3752914 21051 2933 1 0 3715374 0
[pid=5594/tid=5596] ppid=5591 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/5594/task/5596/stat : 5596 (java) R 5591 5594 2271 0 -1 4202560 8331 0 0 0 18 2 0 0 20 0 15 0 52094774 15371935744 21051 33554432000 4194304 4196468 140726793050672 140187429385760 140187438380917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5597] ppid=5591 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5597/stat : 5597 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52094776 15371935744 21051 33554432000 4194304 4196468 140726793050672 140187461798800 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5598] ppid=5591 vsize=15011656 memory=140104685744474 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5598/stat : 5598 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52094776 15371935744 21051 33554432000 4194304 4196468 140726793050672 140187275954960 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5599] ppid=5591 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5599/stat : 5599 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52094776 15371935744 21051 33554432000 4194304 4196468 140726793050672 140187274902672 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5600] ppid=5591 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5600/stat : 5600 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52094776 15371935744 21051 33554432000 4194304 4196468 140726793050672 140187273849872 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5601] ppid=5591 vsize=15011656 memory=140104685729408 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5601/stat : 5601 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52094777 15371935744 21051 33554432000 4194304 4196468 140726793050672 140186495658096 140187457567362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5602] ppid=5591 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5602/stat : 5602 (java) S 5591 5594 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52094778 15371935744 21051 33554432000 4194304 4196468 140726793050672 140185987703584 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5603] ppid=5591 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5603/stat : 5603 (java) S 5591 5594 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52094778 15371935744 21051 33554432000 4194304 4196468 140726793050672 140185853482096 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5604] ppid=5591 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5604/stat : 5604 (java) S 5591 5594 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52094780 15371935744 21051 33554432000 4194304 4196468 140726793050672 140185478977616 140187457574811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5605] ppid=5591 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5594/task/5605/stat : 5605 (java) S 5591 5594 2271 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 15 0 52094780 15371935744 21051 33554432000 4194304 4196468 140726793050672 140186494605936 140187457567362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5606] ppid=5591 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5594/task/5606/stat : 5606 (java) R 5591 5594 2271 0 -1 4202560 140 0 0 0 1 0 0 0 20 0 15 0 52094780 15371935744 21051 33554432000 4194304 4196468 140726793050672 140186493553232 140187437211536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5607] ppid=5591 vsize=15011656 memory=140104685729408 CPUtime=0.03 cores=1,3,5,7
/proc/5594/task/5607/stat : 5607 (java) R 5591 5594 2271 0 -1 1077944384 287 0 0 0 3 0 0 0 20 0 15 0 52094780 15371935744 21051 33554432000 4194304 4196468 140726793050672 140186492500848 140187457567362 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5608] ppid=5591 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5608/stat : 5608 (java) S 5591 5594 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52094781 15371935744 21051 33554432000 4194304 4196468 140726793050672 140184981072864 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5609] ppid=5591 vsize=15011656 memory=140104685729408 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5609/stat : 5609 (java) R 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52094781 15371935744 21051 33554432000 4194304 4196468 140726793050672 140186491447728 140187457567362 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84204 KiB
[startup+0.310583 s]*
/proc/loadavg: 2.23 2.18 2.11 3/220 5609
/proc/meminfo: memFree=14693636/32770624 swapFree=67108860/67108860
[pid=5594] ppid=5591 vsize=15011656 memory=87460 CPUtime=0.43 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5591 5594 2271 0 -1 1077944320 11011 0 0 0 40 3 0 0 20 0 15 0 52094774 15371935744 21865 33554432000 4194304 4196468 140726793050672 140726793033216 140187457556215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
/proc/5594/statm: 3752914 21865 2971 1 0 3715374 0
[pid=5594/tid=5596] ppid=5591 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/5594/task/5596/stat : 5596 (java) R 5591 5594 2271 0 -1 4202560 8723 0 0 0 27 2 0 0 20 0 15 0 52094774 15371935744 21865 33554432000 4194304 4196468 140726793050672 140187429383840 140187441636702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5597] ppid=5591 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5597/stat : 5597 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52094776 15371935744 21865 33554432000 4194304 4196468 140726793050672 140187461798800 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5598] ppid=5591 vsize=15011656 memory=3977017336120228602 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5598/stat : 5598 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52094776 15371935744 21865 33554432000 4194304 4196468 140726793050672 140187275954960 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5599] ppid=5591 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5599/stat : 5599 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52094776 15371935744 21865 33554432000 4194304 4196468 140726793050672 140187274902672 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5600] ppid=5591 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5600/stat : 5600 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52094776 15371935744 21865 33554432000 4194304 4196468 140726793050672 140187273849872 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5601] ppid=5591 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5601/stat : 5601 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52094777 15371935744 21865 33554432000 4194304 4196468 140726793050672 140186495658096 140187457567362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5602] ppid=5591 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5602/stat : 5602 (java) S 5591 5594 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52094778 15371935744 21865 33554432000 4194304 4196468 140726793050672 140185987703584 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5603] ppid=5591 vsize=15011656 memory=140104685729408 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5603/stat : 5603 (java) S 5591 5594 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52094778 15371935744 21865 33554432000 4194304 4196468 140726793050672 140185853482096 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5604] ppid=5591 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5604/stat : 5604 (java) S 5591 5594 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52094780 15371935744 21865 33554432000 4194304 4196468 140726793050672 140185478977616 140187457574811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5605] ppid=5591 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5594/task/5605/stat : 5605 (java) S 5591 5594 2271 0 -1 1077944384 390 0 0 0 2 0 0 0 20 0 15 0 52094780 15371935744 21865 33554432000 4194304 4196468 140726793050672 140186494605936 140187457567362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5606] ppid=5591 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5594/task/5606/stat : 5606 (java) S 5591 5594 2271 0 -1 1077944384 235 0 0 0 2 0 0 0 20 0 15 0 52094780 15371935744 21865 33554432000 4194304 4196468 140726793050672 140186493553136 140187457567362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5607] ppid=5591 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5594/task/5607/stat : 5607 (java) S 5591 5594 2271 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 15 0 52094780 15371935744 21865 33554432000 4194304 4196468 140726793050672 140186492500848 140187457567362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5608] ppid=5591 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5608/stat : 5608 (java) S 5591 5594 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52094781 15371935744 21865 33554432000 4194304 4196468 140726793050672 140184981072864 140187457566421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5609] ppid=5591 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5609/stat : 5609 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52094781 15371935744 21865 33554432000 4194304 4196468 140726793050672 140186491447728 140187457567362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87460 KiB
[startup+0.700757 s]
/proc/loadavg: 2.23 2.18 2.11 5/220 5609
/proc/meminfo: memFree=14669452/32770624 swapFree=67108860/67108860
[pid=5594] ppid=5591 vsize=15020052 memory=127664 CPUtime=0.99 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5591 5594 2271 0 -1 1077944320 18196 0 0 0 94 5 0 0 20 0 15 0 52094774 15380533248 31916 33554432000 4194304 4196468 140726793050672 140726793033216 140187457556215 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
/proc/5594/statm: 3755013 31916 3173 1 0 3716398 0
[pid=5594/tid=5596] ppid=5591 vsize=15020052 memory=796 CPUtime=0.67 cores=1,3,5,7
/proc/5594/task/5596/stat : 5596 (java) R 5591 5594 2271 0 -1 4202560 15507 0 0 0 63 4 0 0 20 0 15 0 52094774 15380533248 31916 33554432000 4194304 4196468 140726793050672 140187429391280 140187441636732 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5597] ppid=5591 vsize=15020052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5597/stat : 5597 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52094776 15380533248 31916 33554432000 4194304 4196468 140726793050672 140187461798800 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5598] ppid=5591 vsize=15020052 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5598/stat : 5598 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52094776 15380533248 31916 33554432000 4194304 4196468 140726793050672 140187275954960 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5599] ppid=5591 vsize=15020052 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5599/stat : 5599 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52094776 15380533248 31916 33554432000 4194304 4196468 140726793050672 140187274902672 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5600] ppid=5591 vsize=15020052 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5600/stat : 5600 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52094776 15380533248 31916 33554432000 4194304 4196468 140726793050672 140187273849872 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5601] ppid=5591 vsize=15020052 memory=280209169622816 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5601/stat : 5601 (java) S 5591 5594 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52094777 15380533248 31916 33554432000 4194304 4196468 140726793050672 140186495658096 140187457567362 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5602] ppid=5591 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5602/stat : 5602 (java) S 5591 5594 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52094778 15380533248 31916 33554432000 4194304 4196468 140726793050672 140185987703584 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5603] ppid=5591 vsize=15020052 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5603/stat : 5603 (java) S 5591 5594 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52094778 15380533248 31916 33554432000 4194304 4196468 140726793050672 140185853482096 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5604] ppid=5591 vsize=15020052 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5604/stat : 5604 (java) S 5591 5594 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52094780 15380533248 31916 33554432000 4194304 4196468 140726793050672 140185478977616 140187457574811 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5605] ppid=5591 vsize=15020052 memory=8380 CPUtime=0.05 cores=1,3,5,7
/proc/5594/task/5605/stat : 5605 (java) S 5591 5594 2271 0 -1 1077944384 423 0 0 0 5 0 0 0 20 0 15 0 52094780 15380533248 31916 33554432000 4194304 4196468 140726793050672 140186494605936 140187457567362 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5606] ppid=5591 vsize=15020052 memory=7307210974946176466 CPUtime=0.09 cores=1,3,5,7
/proc/5594/task/5606/stat : 5606 (java) S 5591 5594 2271 0 -1 1077944384 467 0 0 0 9 0 0 0 20 0 15 0 52094780 15380533248 31916 33554432000 4194304 4196468 140726793050672 140186493553136 140187457567362 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5607] ppid=5591 vsize=15020052 memory=7302135314614015847 CPUtime=0.16 cores=1,3,5,7
/proc/5594/task/5607/stat : 5607 (java) R 5591 5594 2271 0 -1 4202560 440 0 0 0 16 0 0 0 20 0 15 0 52094780 15380533248 31916 33554432000 4194304 4196468 140726793050672 140186492496112 140187457568150 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5608] ppid=5591 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5608/stat : 5608 (java) S 5591 5594 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52094781 15380533248 31916 33554432000 4194304 4196468 140726793050672 140184981072864 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5609] ppid=5591 vsize=15020052 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5609/stat : 5609 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52094781 15380533248 31916 33554432000 4194304 4196468 140726793050672 140186491447728 140187457567362 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 127664 KiB
[startup+1.50106 s]
/proc/loadavg: 2.23 2.18 2.11 5/220 5609
/proc/meminfo: memFree=14640420/32770624 swapFree=67108860/67108860
[pid=5594] ppid=5591 vsize=15022100 memory=190564 CPUtime=3.01 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5591 5594 2271 0 -1 1077944320 23192 0 0 0 292 9 0 0 20 0 15 0 52094774 15382630400 47641 33554432000 4194304 4196468 140726793050672 140726793033216 140187457556215 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
/proc/5594/statm: 3755525 47641 3201 1 0 3716910 0
[pid=5594/tid=5596] ppid=5591 vsize=15022100 memory=288230377108275491 CPUtime=1.47 cores=1,3,5,7
/proc/5594/task/5596/stat : 5596 (java) R 5591 5594 2271 0 -1 4202560 16578 0 0 0 141 6 0 0 20 0 15 0 52094774 15382630400 47641 33554432000 4194304 4196468 140726793050672 140187429386464 140186950431736 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5597] ppid=5591 vsize=15022100 memory=288293289789228285 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5597/stat : 5597 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52094776 15382630400 47641 33554432000 4194304 4196468 140726793050672 140187461798800 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5598] ppid=5591 vsize=15022100 memory=288285580272600099 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5598/stat : 5598 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52094776 15382630400 47641 33554432000 4194304 4196468 140726793050672 140187275954960 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5599] ppid=5591 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5599/stat : 5599 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52094776 15382630400 47641 33554432000 4194304 4196468 140726793050672 140187274902672 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5600] ppid=5591 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5600/stat : 5600 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52094776 15382630400 47641 33554432000 4194304 4196468 140726793050672 140187273849872 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5601] ppid=5591 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5601/stat : 5601 (java) S 5591 5594 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52094777 15382630400 47641 33554432000 4194304 4196468 140726793050672 140186495658096 140187457567362 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
################
# More data... #
################
/proc/meminfo: memFree=13996768/32770624 swapFree=67108860/67108860
[pid=5594] ppid=5591 vsize=15681864 memory=989224 CPUtime=8.84 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5591 5594 2271 0 -1 1077944320 28069 0 0 0 793 91 0 0 20 0 19 0 52094774 16058228736 247306 33554432000 4194304 4196468 140726793050672 140726793033216 140187457556215 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
/proc/5594/statm: 3920466 247306 3230 1 0 3881322 0
[pid=5610] ppid=5594 vsize=138880 memory=116300 CPUtime=2499.39 cores=1,3,5,7
/proc/5610/stat : 5610 (minisat_release) R 5594 5594 2271 0 -1 4202496 183400 0 0 0 249925 14 0 0 20 0 1 0 52095082 142213120 29075 33554432000 4194304 4308513 140734469406992 140734469403992 4276064 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 32124928 140734469415601 140734469416110 140734469416110 140734469418949 0
/proc/5610/statm: 34720 29075 353 28 0 30960 0
[pid=5594/tid=5596] ppid=5591 vsize=15681864 memory=989224 CPUtime=3.09 cores=1,3,5,7
/proc/5594/task/5596/stat : 5596 (java) S 5591 5594 2271 0 -1 1077944384 17639 0 0 0 290 19 0 0 20 0 19 0 52094774 16058228736 247306 33554432000 4194304 4196468 140726793050672 140187429395456 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5597] ppid=5591 vsize=15681864 memory=116300 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5597/stat : 5597 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52094776 16058228736 247306 33554432000 4194304 4196468 140726793050672 140187461798800 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5598] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5598/stat : 5598 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52094776 16058228736 247306 33554432000 4194304 4196468 140726793050672 140187275954960 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5599] ppid=5591 vsize=15681864 memory=116300 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5599/stat : 5599 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52094776 16058228736 247306 33554432000 4194304 4196468 140726793050672 140187274902672 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5600] ppid=5591 vsize=15681864 memory=5789772399329630032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5600/stat : 5600 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52094776 16058228736 247306 33554432000 4194304 4196468 140726793050672 140187273849872 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5601] ppid=5591 vsize=15681864 memory=3208 CPUtime=0.05 cores=1,3,5,7
/proc/5594/task/5601/stat : 5601 (java) S 5591 5594 2271 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 52094777 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186495658096 140187457567362 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5602] ppid=5591 vsize=15681864 memory=1083016 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5602/stat : 5602 (java) S 5591 5594 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52094778 16058228736 247306 33554432000 4194304 4196468 140726793050672 140185987703584 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5603] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5603/stat : 5603 (java) S 5591 5594 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52094778 16058228736 247306 33554432000 4194304 4196468 140726793050672 140185853482096 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5604] ppid=5591 vsize=15681864 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5604/stat : 5604 (java) S 5591 5594 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52094780 16058228736 247306 33554432000 4194304 4196468 140726793050672 140185478977616 140187457574811 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5605] ppid=5591 vsize=15681864 memory=16928 CPUtime=1.5 cores=1,3,5,7
/proc/5594/task/5605/stat : 5605 (java) S 5591 5594 2271 0 -1 1077944384 2258 0 0 0 149 1 0 0 20 0 19 0 52094780 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186494605936 140187457567362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5606] ppid=5591 vsize=15681864 memory=2420 CPUtime=1.86 cores=1,3,5,7
/proc/5594/task/5606/stat : 5606 (java) S 5591 5594 2271 0 -1 1077944384 3523 0 0 0 185 1 0 0 20 0 19 0 52094780 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186493553136 140187457567362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5607] ppid=5591 vsize=15681864 memory=116300 CPUtime=0.93 cores=1,3,5,7
/proc/5594/task/5607/stat : 5607 (java) S 5591 5594 2271 0 -1 1077944384 3063 0 0 0 91 2 0 0 20 0 19 0 52094780 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186492500848 140187457567362 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5608] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5608/stat : 5608 (java) S 5591 5594 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52094781 16058228736 247306 33554432000 4194304 4196468 140726793050672 140184981072864 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5609] ppid=5591 vsize=15681864 memory=4052 CPUtime=1.36 cores=1,3,5,7
/proc/5594/task/5609/stat : 5609 (java) S 5591 5594 2271 0 -1 1077944384 169 0 0 0 63 73 0 0 20 0 19 0 52094781 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186491447728 140187457567362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5611] ppid=5591 vsize=15681864 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5611/stat : 5611 (java) S 5591 5594 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52095082 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186475512768 140187457580825 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5613] ppid=5591 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5613/stat : 5613 (java) S 5591 5594 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52095082 16058228736 247306 33554432000 4194304 4196468 140726793050672 140184444186032 140187457578141 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5614] ppid=5591 vsize=15681864 memory=5 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5614/stat : 5614 (java) S 5591 5594 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52095083 16058228736 247306 33554432000 4194304 4196468 140726793050672 140184309964592 140187457578141 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5615] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5615/stat : 5615 (java) S 5591 5594 2271 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 52095085 16058228736 247306 33554432000 4194304 4196468 140726793050672 140184578416032 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
Current children cumulated CPU time: 2508.23 s
Current children cumulated vsize: 15820744 KiB
Current children cumulated memory: 1105524 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.11 s]
/proc/loadavg: 2.01 2.01 2.05 3/225 7580
/proc/meminfo: memFree=13996632/32770624 swapFree=67108860/67108860
[pid=5594] ppid=5591 vsize=15681864 memory=989224 CPUtime=8.85 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5591 5594 2271 0 -1 1077944320 28069 0 0 0 794 91 0 0 20 0 19 0 52094774 16058228736 247306 33554432000 4194304 4196468 140726793050672 140726793033216 140187457556215 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
/proc/5594/statm: 3920466 247306 3230 1 0 3881322 0
[pid=5610] ppid=5594 vsize=138880 memory=116300 CPUtime=2511.2 cores=1,3,5,7
/proc/5610/stat : 5610 (minisat_release) R 5594 5594 2271 0 -1 4202496 183417 0 0 0 251106 14 0 0 20 0 1 0 52095082 142213120 29075 33554432000 4194304 4308513 140734469406992 140734469403264 4275941 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 32124928 140734469415601 140734469416110 140734469416110 140734469418949 0
/proc/5610/statm: 34720 29075 353 28 0 30960 0
[pid=5594/tid=5596] ppid=5591 vsize=15681864 memory=989224 CPUtime=3.09 cores=1,3,5,7
/proc/5594/task/5596/stat : 5596 (java) S 5591 5594 2271 0 -1 1077944384 17639 0 0 0 290 19 0 0 20 0 19 0 52094774 16058228736 247306 33554432000 4194304 4196468 140726793050672 140187429395456 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5597] ppid=5591 vsize=15681864 memory=116300 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5597/stat : 5597 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52094776 16058228736 247306 33554432000 4194304 4196468 140726793050672 140187461798800 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5598] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5598/stat : 5598 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52094776 16058228736 247306 33554432000 4194304 4196468 140726793050672 140187275954960 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5599] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5599/stat : 5599 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52094776 16058228736 247306 33554432000 4194304 4196468 140726793050672 140187274902672 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5600] ppid=5591 vsize=15681864 memory=16928 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5600/stat : 5600 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52094776 16058228736 247306 33554432000 4194304 4196468 140726793050672 140187273849872 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5601] ppid=5591 vsize=15681864 memory=2420 CPUtime=0.05 cores=1,3,5,7
/proc/5594/task/5601/stat : 5601 (java) S 5591 5594 2271 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 52094777 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186495658096 140187457567362 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5602] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5602/stat : 5602 (java) S 5591 5594 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52094778 16058228736 247306 33554432000 4194304 4196468 140726793050672 140185987703584 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5603] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5603/stat : 5603 (java) S 5591 5594 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52094778 16058228736 247306 33554432000 4194304 4196468 140726793050672 140185853482096 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5604] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5604/stat : 5604 (java) S 5591 5594 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52094780 16058228736 247306 33554432000 4194304 4196468 140726793050672 140185478977616 140187457574811 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5605] ppid=5591 vsize=15681864 memory=989224 CPUtime=1.5 cores=1,3,5,7
/proc/5594/task/5605/stat : 5605 (java) S 5591 5594 2271 0 -1 1077944384 2258 0 0 0 149 1 0 0 20 0 19 0 52094780 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186494605936 140187457567362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5606] ppid=5591 vsize=15681864 memory=989224 CPUtime=1.86 cores=1,3,5,7
/proc/5594/task/5606/stat : 5606 (java) S 5591 5594 2271 0 -1 1077944384 3523 0 0 0 185 1 0 0 20 0 19 0 52094780 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186493553136 140187457567362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5607] ppid=5591 vsize=15681864 memory=116300 CPUtime=0.93 cores=1,3,5,7
/proc/5594/task/5607/stat : 5607 (java) S 5591 5594 2271 0 -1 1077944384 3063 0 0 0 91 2 0 0 20 0 19 0 52094780 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186492500848 140187457567362 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5608] ppid=5591 vsize=15681864 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5608/stat : 5608 (java) S 5591 5594 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52094781 16058228736 247306 33554432000 4194304 4196468 140726793050672 140184981072864 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5609] ppid=5591 vsize=15681864 memory=1696 CPUtime=1.36 cores=1,3,5,7
/proc/5594/task/5609/stat : 5609 (java) S 5591 5594 2271 0 -1 1077944384 169 0 0 0 63 73 0 0 20 0 19 0 52094781 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186491447728 140187457567362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5611] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5611/stat : 5611 (java) S 5591 5594 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52095082 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186475512768 140187457580825 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5613] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5613/stat : 5613 (java) S 5591 5594 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52095082 16058228736 247306 33554432000 4194304 4196468 140726793050672 140184444186032 140187457578141 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5614] ppid=5591 vsize=15681864 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5614/stat : 5614 (java) S 5591 5594 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52095083 16058228736 247306 33554432000 4194304 4196468 140726793050672 140184309964592 140187457578141 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5615] ppid=5591 vsize=15681864 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5615/stat : 5615 (java) S 5591 5594 2271 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 52095085 16058228736 247306 33554432000 4194304 4196468 140726793050672 140184578416032 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15820744 KiB
Current children cumulated memory: 1105524 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.13 s]
# the end of solver process 5594 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.01 s, system=1.0775 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2514.11 s]
/proc/loadavg: 2.01 2.01 2.05 3/225 7580
/proc/meminfo: memFree=13996632/32770624 swapFree=67108860/67108860
[pid=5594] ppid=5591 vsize=15681864 memory=989224 CPUtime=8.85 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5591 5594 2271 0 -1 1077944320 28069 0 0 0 794 91 0 0 20 0 19 0 52094774 16058228736 247306 33554432000 4194304 4196468 140726793050672 140726793033216 140187457556215 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
/proc/5594/statm: 3920466 247306 3230 1 0 3881322 0
[pid=5610] ppid=5594 vsize=138880 memory=116300 CPUtime=2511.2 cores=1,3,5,7
/proc/5610/stat : 5610 (minisat_release) R 5594 5594 2271 0 -1 4202496 183417 0 0 0 251106 14 0 0 20 0 1 0 52095082 142213120 29075 33554432000 4194304 4308513 140734469406992 140734469403264 4275941 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 32124928 140734469415601 140734469416110 140734469416110 140734469418949 0
/proc/5610/statm: 34720 29075 353 28 0 30960 0
[pid=5594/tid=5596] ppid=5591 vsize=15681864 memory=989224 CPUtime=3.09 cores=1,3,5,7
/proc/5594/task/5596/stat : 5596 (java) S 5591 5594 2271 0 -1 1077944384 17639 0 0 0 290 19 0 0 20 0 19 0 52094774 16058228736 247306 33554432000 4194304 4196468 140726793050672 140187429395456 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5597] ppid=5591 vsize=15681864 memory=116300 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5597/stat : 5597 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52094776 16058228736 247306 33554432000 4194304 4196468 140726793050672 140187461798800 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5598] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5598/stat : 5598 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52094776 16058228736 247306 33554432000 4194304 4196468 140726793050672 140187275954960 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5599] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5599/stat : 5599 (java) S 5591 5594 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52094776 16058228736 247306 33554432000 4194304 4196468 140726793050672 140187274902672 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5600] ppid=5591 vsize=15681864 memory=16928 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5600/stat : 5600 (java) S 5591 5594 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52094776 16058228736 247306 33554432000 4194304 4196468 140726793050672 140187273849872 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5601] ppid=5591 vsize=15681864 memory=2420 CPUtime=0.05 cores=1,3,5,7
/proc/5594/task/5601/stat : 5601 (java) S 5591 5594 2271 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 52094777 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186495658096 140187457567362 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5602] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5602/stat : 5602 (java) S 5591 5594 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52094778 16058228736 247306 33554432000 4194304 4196468 140726793050672 140185987703584 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5603] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5603/stat : 5603 (java) S 5591 5594 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52094778 16058228736 247306 33554432000 4194304 4196468 140726793050672 140185853482096 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5604] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5604/stat : 5604 (java) S 5591 5594 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52094780 16058228736 247306 33554432000 4194304 4196468 140726793050672 140185478977616 140187457574811 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5605] ppid=5591 vsize=15681864 memory=989224 CPUtime=1.5 cores=1,3,5,7
/proc/5594/task/5605/stat : 5605 (java) S 5591 5594 2271 0 -1 1077944384 2258 0 0 0 149 1 0 0 20 0 19 0 52094780 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186494605936 140187457567362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5606] ppid=5591 vsize=15681864 memory=989224 CPUtime=1.86 cores=1,3,5,7
/proc/5594/task/5606/stat : 5606 (java) S 5591 5594 2271 0 -1 1077944384 3523 0 0 0 185 1 0 0 20 0 19 0 52094780 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186493553136 140187457567362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5607] ppid=5591 vsize=15681864 memory=116300 CPUtime=0.93 cores=1,3,5,7
/proc/5594/task/5607/stat : 5607 (java) S 5591 5594 2271 0 -1 1077944384 3063 0 0 0 91 2 0 0 20 0 19 0 52094780 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186492500848 140187457567362 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5608] ppid=5591 vsize=15681864 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5608/stat : 5608 (java) S 5591 5594 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52094781 16058228736 247306 33554432000 4194304 4196468 140726793050672 140184981072864 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5609] ppid=5591 vsize=15681864 memory=1696 CPUtime=1.36 cores=1,3,5,7
/proc/5594/task/5609/stat : 5609 (java) S 5591 5594 2271 0 -1 1077944384 169 0 0 0 63 73 0 0 20 0 19 0 52094781 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186491447728 140187457567362 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5611] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5611/stat : 5611 (java) S 5591 5594 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52095082 16058228736 247306 33554432000 4194304 4196468 140726793050672 140186475512768 140187457580825 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5613] ppid=5591 vsize=15681864 memory=989224 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5613/stat : 5613 (java) S 5591 5594 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52095082 16058228736 247306 33554432000 4194304 4196468 140726793050672 140184444186032 140187457578141 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5614] ppid=5591 vsize=15681864 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5614/stat : 5614 (java) S 5591 5594 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52095083 16058228736 247306 33554432000 4194304 4196468 140726793050672 140184309964592 140187457578141 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
[pid=5594/tid=5615] ppid=5591 vsize=15681864 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5615/stat : 5615 (java) S 5591 5594 2271 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 52095085 16058228736 247306 33554432000 4194304 4196468 140726793050672 140184578416032 140187457566421 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15454208 140726793053171 140726793053449 140726793053449 140726793056207 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15820744 KiB
Current children cumulated memory: 1105524 KiB
Child status: 1
Real time (s): 2514.13
CPU time (s): 2520.09
CPU user time (s): 2519.01
CPU system time (s): 1.0775
CPU usage (%): 100.237
Max. virtual memory (cumulated for all children) (KiB): 15820744
Max. memory (cumulated for all children) (KiB): 1105524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.01
system time used= 1.0775
maximum resident set size= 992136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211560
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58538
involuntary context switches= 678
# summary of solver processes directly reported to runsolver:
# pid: 5594
# total CPU time (s): 2520.09
# total CPU user time (s): 2519.01
# total CPU system time (s): 1.0775
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6202 second user time and 29.4036 second system time
The end