0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Jul 26 07:16:57 CEST 2018
0.66/0.55 c PID: 5543
0.66/0.55 c IP: 172.20.3.150
0.66/0.55 c HOST: node150.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.93/1.03 c (0,0) Parsing End
1.93/1.04 c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 284 ctr, max domain size 15
1.93/1.04 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.93/1.04 c (0,0) Constraint Name Generate Begin
1.93/1.05 c (0,0) Ctr:HOME/instance-4295688-1532582216.xml,ExtensionConflict:IntVar
1.93/1.05 c (0,0) Constraint Name Generate End
1.93/1.05 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.93/1.05 c (0,0) CSP to CSPinCNF Begin
3.14/1.58 c (1,1) translated 29 (10%) constraints
3.76/1.72 c (1,1) translated 57 (20%) constraints
4.08/1.83 c (1,1) translated 86 (30%) constraints
4.37/1.93 c (1,1) translated 114 (40%) constraints
4.70/2.03 c (1,1) translated 142 (50%) constraints
5.01/2.11 c (1,1) translated 171 (60%) constraints
5.29/2.21 c (1,1) translated 199 (70%) constraints
5.59/2.30 c (1,1) translated 228 (80%) constraints
5.59/2.38 c (1,1) translated 256 (90%) constraints
5.91/2.46 c (1,1) translated 284 (100%) constraints
6.22/2.57 c (2,2) STATISTICS1:HOME/instance-4295688-1532582216.xml,ExtensionConflict:IntVar,30,12194,-1,15,4,1,,15:46913,4:10402;3:1721;2:71,1:46913,
6.22/2.57 c (2,2) ===========================================
6.22/2.57 c (2,2) Order
6.22/2.57 c (2,2) ===========================================
6.56/2.64 c (2,2) translated 1220 (10%) constraints
6.56/2.68 c (2,2) translated 2439 (20%) constraints
6.88/2.71 c (2,2) translated 3659 (30%) constraints
6.88/2.75 c (2,2) translated 4878 (40%) constraints
6.88/2.78 c (2,2) translated 6097 (50%) constraints
7.19/2.82 c (2,2) translated 7317 (60%) constraints
7.19/2.85 c (2,2) translated 8536 (70%) constraints
7.19/2.87 c (2,2) translated 9756 (80%) constraints
7.48/2.90 c (2,2) translated 10975 (90%) constraints
7.48/2.92 c (2,2) translated 12194 (100%) constraints
7.48/2.92 c (2,2) CSP to CSPinCNF End
7.48/2.92 c (2,2) CSP: 30 int (0 aux), 0 bool (0 aux), 12194 ctr, max domain size 15
7.48/2.92 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.48/2.92 c (2,2) CSPinCNF Propagation Begin
8.20/3.11 c (2,2) 0 values, 1936 unsatisfiable literals, and 0 valid clauses are removed
8.20/3.11 c (2,2) CSPinCNF Propagation End
8.20/3.11 c (2,2) CSP: 30 int (0 aux), 0 bool (0 aux), 12194 ctr, max domain size 15
8.20/3.11 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.20/3.11 c (2,2) Simplify CSPinCNF Begin
8.20/3.15 c (2,2) Simplify CSPinCNF End
8.20/3.15 c (2,2) CSP: 30 int (0 aux), 0 bool (0 aux), 12194 ctr, max domain size 15
8.20/3.15 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.20/3.15 c (2,2) Calculate Precise Domain Begin
8.20/3.16 c (2,2) 0 values are removed by re-calculation
8.20/3.16 c (2,2) Calculate Precise Domain End
8.20/3.16 c (2,2) CSP: 30 int (0 aux), 0 bool (0 aux), 12194 ctr, max domain size 15
8.20/3.16 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.20/3.16 c (2,2) CSPinCNF to SatSolver Begin
8.49/3.22 c (2,2) 1220 (10 %) CSP clauses are encoded (420 SAT variables, 1609 SAT clauses)
8.49/3.24 c (2,2) 2439 (20 %) CSP clauses are encoded (420 SAT variables, 2828 SAT clauses)
8.49/3.26 c (2,2) 3659 (30 %) CSP clauses are encoded (420 SAT variables, 4048 SAT clauses)
8.49/3.28 c (2,2) 4878 (40 %) CSP clauses are encoded (420 SAT variables, 5267 SAT clauses)
8.84/3.30 c (2,2) 6097 (50 %) CSP clauses are encoded (420 SAT variables, 6486 SAT clauses)
8.84/3.32 c (2,2) 7317 (60 %) CSP clauses are encoded (420 SAT variables, 7706 SAT clauses)
8.84/3.34 c (2,2) 8536 (70 %) CSP clauses are encoded (420 SAT variables, 8925 SAT clauses)
8.84/3.36 c (2,2) 9756 (80 %) CSP clauses are encoded (420 SAT variables, 10145 SAT clauses)
8.84/3.38 c (2,2) 10975 (90 %) CSP clauses are encoded (420 SAT variables, 11364 SAT clauses)
8.84/3.40 c (2,2) 12194 (100 %) CSP clauses are encoded (420 SAT variables, 12583 SAT clauses)
8.84/3.40 c (2,2) CSPinCNF to SatSolver End
9.15/3.40 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.15/3.49 c (2,2) STATISTICS2:HOME/instance-4295688-1532582216.xml,ExtensionConflict:IntVar,30,12194,-1,15,4,1,,15:44977,4:8717;3:3155;2:322,1:44977,
9.15/3.49 c (2,2) SatSolver.solve Begin
9.15/3.49 c (2,2) 420 bool, 12584 clause
9.15/3.49 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-4295688-1532582216.xml-scop-5543.cnf HOME/instance-4295688-1532582216.xml-scop-5543.cnf.out
9.70/3.64 c (3,0) c This is COMiniSatPS.
9.70/3.64 c (3,0) c WARNING: for repeatability, setting FPU to use double precision
9.70/3.64 c (3,0) c ============================[ Problem Statistics ]=============================
9.70/3.64 c (3,0) c | |
9.70/3.64 c (3,0) c | Number of variables: 420 |
9.70/3.64 c (3,0) c | Number of clauses: 12584 |
9.70/3.64 c (3,0) c | Parse time: 0.00 s |
9.70/3.64 c (3,0) c Reduced to 420 vars, 12088 cls (grow=0)
9.70/3.64 c (3,0) c No iterative elimination performed. (vars=420, c/v ratio=28.8)
9.70/3.64 c (3,0) c | Simplification time: 0.01 s |
9.70/3.64 c (3,0) c | |
9.70/3.64 c (3,0) c ============================[ Search Statistics ]==============================
9.70/3.64 c (3,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
9.70/3.64 c (3,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.70/3.64 c (3,0) c ===============================================================================
9.70/3.64 c (3,0) c ===============================================================================
9.70/3.64 c (3,0) c restarts : 7
9.70/3.64 c (3,0) c conflicts : 5628 (39606 /sec)
9.70/3.64 c (3,0) c decisions : 7105 (0.00 % random) (50000 /sec)
9.70/3.64 c (3,0) c propagations : 380567 (2678182 /sec)
9.70/3.64 c (3,0) c conflict literals : 60694 (30.18 % deleted)
9.70/3.64 c (3,0) c CPU time : 0.142099 s
9.70/3.64 c (3,0)
9.70/3.64 c (3,0) s SATISFIABLE
9.70/3.65 c (3,3) SatSolver.solve End
9.70/3.65 c (3,3) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.70/3.65 c (3,3) Show results Begin
9.70/3.66 c (3,3) x[0] = 4
9.70/3.66 c (3,3) x[1] = 3
9.70/3.66 c (3,3) x[2] = 3
9.70/3.66 c (3,3) x[3] = 9
9.70/3.66 c (3,3) x[4] = 13
9.70/3.66 c (3,3) x[5] = 2
9.70/3.66 c (3,3) x[6] = 6
9.70/3.66 c (3,3) x[7] = 8
9.70/3.66 c (3,3) x[8] = 1
9.70/3.66 c (3,3) x[9] = 0
9.70/3.66 c (3,3) x[10] = 8
9.70/3.66 c (3,3) x[11] = 1
9.70/3.66 c (3,3) x[12] = 5
9.70/3.66 c (3,3) x[13] = 10
9.70/3.66 c (3,3) x[14] = 0
9.70/3.66 c (3,3) x[15] = 1
9.70/3.66 c (3,3) x[16] = 1
9.70/3.66 c (3,3) x[17] = 12
9.70/3.66 c (3,3) x[18] = 9
9.70/3.66 c (3,3) x[19] = 12
9.70/3.66 c (3,3) x[20] = 13
9.70/3.66 c (3,3) x[21] = 13
9.70/3.66 c (3,3) x[22] = 5
9.70/3.66 c (3,3) x[23] = 5
9.70/3.66 c (3,3) x[24] = 3
9.70/3.66 c (3,3) x[25] = 8
9.70/3.66 c (3,3) x[26] = 7
9.70/3.66 c (3,3) x[27] = 5
9.70/3.66 c (3,3) x[28] = 5
9.70/3.66 c (3,3) x[29] = 9
9.70/3.66 s SATISFIABLE
9.70/3.66 v <instantiation>
9.70/3.66 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29]</list>
9.70/3.66 v <values>4 3 3 9 13 2 6 8 1 0 8 1 5 10 0 1 1 12 9 12 13 13 5 5 3 8 7 5 5 9</values>
9.70/3.66 v </instantiation>
9.70/3.66 c (3,3) Show results End
9.70/3.66 c (3,3) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.70/3.66 c (3,3) 0,0,2,2,2,2,2,3,3,STOP-AFTER(ALL)
9.70/3.66 c END-Prog: Thu Jul 26 07:17:00 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 (9863 MiB free)
memory of node 1: 16384 MiB (11025 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295688-1532582216/watcher-4295688-1532582216 -o /tmp/evaluation-result-4295688-1532582216/solver-4295688-1532582216 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32680 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295688-1532582216.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=5543, runsolver pid=5540
[startup+0.10006 s]*
/proc/loadavg: 2.00 2.06 2.06 3/220 5558
/proc/meminfo: memFree=21333552/32770624 swapFree=67108860/67108860
[pid=5543] ppid=5540 vsize=15011656 memory=70492 CPUtime=0.11 cores=0,2,4,6
/proc/5543/stat : 5543 (java) S 5540 5543 32649 0 -1 1077944320 6843 0 0 0 10 1 0 0 20 0 15 0 75784878 15371935744 17623 33554432000 4194304 4196468 140730307658320 140730307640864 139857071828727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
/proc/5543/statm: 3752914 17623 2782 1 0 3715374 0
[pid=5543/tid=5545] ppid=5540 vsize=15011656 memory=7100839887183514216 CPUtime=0.09 cores=0,2,4,6
/proc/5543/task/5545/stat : 5545 (java) R 5540 5543 32649 0 -1 4202560 5224 0 0 0 8 1 0 0 20 0 15 0 75784878 15371935744 17953 33554432000 4194304 4196468 140730307658320 139857043640712 139857052104487 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5546] ppid=5540 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5546/stat : 5546 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784880 15371935744 17953 33554432000 4194304 4196468 140730307658320 139857076070672 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5547] ppid=5540 vsize=15011656 memory=140376687888000 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5547/stat : 5547 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784880 15371935744 17953 33554432000 4194304 4196468 140730307658320 139856890227088 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5548] ppid=5540 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5548/stat : 5548 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784880 15371935744 17953 33554432000 4194304 4196468 140730307658320 139856889174544 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5549] ppid=5540 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5549/stat : 5549 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784880 15371935744 17953 33554432000 4194304 4196468 140730307658320 139856888122000 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5550] ppid=5540 vsize=15011656 memory=140376687888000 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5550/stat : 5550 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784881 15371935744 17953 33554432000 4194304 4196468 140730307658320 139856042723824 139857071839874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5551] ppid=5540 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5551/stat : 5551 (java) S 5540 5543 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75784882 15371935744 17953 33554432000 4194304 4196468 140730307658320 139855677875616 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5552] ppid=5540 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5552/stat : 5552 (java) S 5540 5543 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75784882 15371935744 17953 33554432000 4194304 4196468 140730307658320 139855543653872 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5553] ppid=5540 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5553/stat : 5553 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75784885 15371935744 18019 33554432000 4194304 4196468 140730307658320 139855169149648 139857071847323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5554] ppid=5540 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5554/stat : 5554 (java) S 5540 5543 32649 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 75784885 15371935744 18019 33554432000 4194304 4196468 140730307658320 139856041670640 139857071839874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5555] ppid=5540 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5555/stat : 5555 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75784885 15371935744 18019 33554432000 4194304 4196468 140730307658320 139856040618096 139857071839874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5556] ppid=5540 vsize=15011656 memory=140376687888000 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5556/stat : 5556 (java) S 5540 5543 32649 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 15 0 75784885 15371935744 18019 33554432000 4194304 4196468 140730307658320 139856039565552 139857071839874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5557] ppid=5540 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5557/stat : 5557 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75784885 15371935744 18019 33554432000 4194304 4196468 140730307658320 139854671243872 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5558] ppid=5540 vsize=15011656 memory=140376687888000 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5558/stat : 5558 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784885 15371935744 18019 33554432000 4194304 4196468 140730307658320 139856038513456 139857071839874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 70492 KiB
[startup+0.210521 s]*
/proc/loadavg: 2.00 2.06 2.06 3/220 5558
/proc/meminfo: memFree=21316428/32770624 swapFree=67108860/67108860
[pid=5543] ppid=5540 vsize=15011656 memory=86096 CPUtime=0.26 cores=0,2,4,6
/proc/5543/stat : 5543 (java) S 5540 5543 32649 0 -1 1077944320 10984 0 0 0 23 3 0 0 20 0 15 0 75784878 15371935744 21524 33554432000 4194304 4196468 140730307658320 140730307640864 139857071828727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
/proc/5543/statm: 3752914 21524 2883 1 0 3715374 0
[pid=5543/tid=5545] ppid=5540 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/5543/task/5545/stat : 5545 (java) R 5540 5543 32649 0 -1 4202560 8866 0 0 0 18 2 0 0 20 0 15 0 75784878 15371935744 21524 33554432000 4194304 4196468 140730307658320 139857043653936 139857053235051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5546] ppid=5540 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5546/stat : 5546 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784880 15371935744 21524 33554432000 4194304 4196468 140730307658320 139857076070672 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5547] ppid=5540 vsize=15011656 memory=3761271907540911776 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5547/stat : 5547 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784880 15371935744 21524 33554432000 4194304 4196468 140730307658320 139856890227088 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5548] ppid=5540 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5548/stat : 5548 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784880 15371935744 21524 33554432000 4194304 4196468 140730307658320 139856889174544 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5549] ppid=5540 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5549/stat : 5549 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784880 15371935744 21524 33554432000 4194304 4196468 140730307658320 139856888122000 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5550] ppid=5540 vsize=15011656 memory=140376687888000 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5550/stat : 5550 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784881 15371935744 21524 33554432000 4194304 4196468 140730307658320 139856042723824 139857071839874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5551] ppid=5540 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5551/stat : 5551 (java) S 5540 5543 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75784882 15371935744 21524 33554432000 4194304 4196468 140730307658320 139855677875616 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5552] ppid=5540 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5552/stat : 5552 (java) S 5540 5543 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75784882 15371935744 21524 33554432000 4194304 4196468 140730307658320 139855543653872 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5553] ppid=5540 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5553/stat : 5553 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75784885 15371935744 21524 33554432000 4194304 4196468 140730307658320 139855169149648 139857071847323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5554] ppid=5540 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5554/stat : 5554 (java) R 5540 5543 32649 0 -1 4202560 453 0 0 0 0 0 0 0 20 0 15 0 75784885 15371935744 21524 33554432000 4194304 4196468 140730307658320 139856041670640 139857051231777 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5555] ppid=5540 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5555/stat : 5555 (java) R 5540 5543 32649 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 75784885 15371935744 21524 33554432000 4194304 4196468 140730307658320 139856040618096 139857071839874 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5556] ppid=5540 vsize=15011656 memory=140376687888000 CPUtime=0.03 cores=0,2,4,6
/proc/5543/task/5556/stat : 5556 (java) R 5540 5543 32649 0 -1 4202560 288 0 0 0 3 0 0 0 20 0 15 0 75784885 15371935744 21524 33554432000 4194304 4196468 140730307658320 139856039565552 139857055909214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5557] ppid=5540 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5557/stat : 5557 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75784885 15371935744 21524 33554432000 4194304 4196468 140730307658320 139854671243872 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5558] ppid=5540 vsize=15011656 memory=140376687888000 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5558/stat : 5558 (java) R 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784885 15371935744 21524 33554432000 4194304 4196468 140730307658320 139856038513456 139857071839874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86096 KiB
[startup+0.310464 s]*
/proc/loadavg: 2.00 2.06 2.06 3/220 5558
/proc/meminfo: memFree=21313760/32770624 swapFree=67108860/67108860
[pid=5543] ppid=5540 vsize=15011656 memory=89812 CPUtime=0.43 cores=0,2,4,6
/proc/5543/stat : 5543 (java) S 5540 5543 32649 0 -1 1077944320 11533 0 0 0 40 3 0 0 20 0 15 0 75784878 15371935744 22453 33554432000 4194304 4196468 140730307658320 140730307640864 139857071828727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
/proc/5543/statm: 3752914 22453 3023 1 0 3715374 0
[pid=5543/tid=5545] ppid=5540 vsize=15011656 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/5543/task/5545/stat : 5545 (java) R 5540 5543 32649 0 -1 4202560 9232 0 0 0 28 2 0 0 20 0 15 0 75784878 15371935744 22518 33554432000 4194304 4196468 140730307658320 139857043632656 139857071850074 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5546] ppid=5540 vsize=15011656 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5546/stat : 5546 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784880 15371935744 22518 33554432000 4194304 4196468 140730307658320 139857076070672 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5547] ppid=5540 vsize=15011656 memory=140376687888000 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5547/stat : 5547 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784880 15371935744 22518 33554432000 4194304 4196468 140730307658320 139856890227088 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5548] ppid=5540 vsize=15011656 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5548/stat : 5548 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784880 15371935744 22518 33554432000 4194304 4196468 140730307658320 139856889174544 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5549] ppid=5540 vsize=15011656 memory=140376576991439 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5549/stat : 5549 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784880 15371935744 22518 33554432000 4194304 4196468 140730307658320 139856888122000 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5550] ppid=5540 vsize=15011656 memory=140376687888000 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5550/stat : 5550 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784881 15371935744 22518 33554432000 4194304 4196468 140730307658320 139856042723824 139857071839874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5551] ppid=5540 vsize=15011656 memory=140376577012175 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5551/stat : 5551 (java) S 5540 5543 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75784882 15371935744 22518 33554432000 4194304 4196468 140730307658320 139855677875616 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5552] ppid=5540 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5552/stat : 5552 (java) S 5540 5543 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75784882 15371935744 22518 33554432000 4194304 4196468 140730307658320 139855543653872 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5553] ppid=5540 vsize=15011656 memory=2273 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5553/stat : 5553 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75784885 15371935744 22518 33554432000 4194304 4196468 140730307658320 139855169149648 139857071847323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5554] ppid=5540 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5543/task/5554/stat : 5554 (java) R 5540 5543 32649 0 -1 4202560 543 0 0 0 2 0 0 0 20 0 15 0 75784885 15371935744 22518 33554432000 4194304 4196468 140730307658320 139856041670640 139857056945821 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5555] ppid=5540 vsize=15011656 memory=140376577023887 CPUtime=0.01 cores=0,2,4,6
/proc/5543/task/5555/stat : 5555 (java) R 5540 5543 32649 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 15 0 75784885 15371935744 22518 33554432000 4194304 4196468 140730307658320 139856040618096 139857071839874 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5556] ppid=5540 vsize=15011656 memory=140376687888000 CPUtime=0.07 cores=0,2,4,6
/proc/5543/task/5556/stat : 5556 (java) R 5540 5543 32649 0 -1 4202560 330 0 0 0 7 0 0 0 20 0 15 0 75784885 15371935744 22518 33554432000 4194304 4196468 140730307658320 139856039561920 139857050755671 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5557] ppid=5540 vsize=15011656 memory=140376577029023 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5557/stat : 5557 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75784885 15371935744 22518 33554432000 4194304 4196468 140730307658320 139854671243872 139857071838933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5558] ppid=5540 vsize=15011656 memory=140376763672878 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5558/stat : 5558 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784885 15371935744 22518 33554432000 4194304 4196468 140730307658320 139856038513456 139857071839874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89812 KiB
[startup+0.700717 s]
/proc/loadavg: 2.00 2.06 2.06 3/220 5558
/proc/meminfo: memFree=21291312/32770624 swapFree=67108860/67108860
[pid=5543] ppid=5540 vsize=15019976 memory=127552 CPUtime=1.01 cores=0,2,4,6
/proc/5543/stat : 5543 (java) S 5540 5543 32649 0 -1 1077944320 18119 0 0 0 96 5 0 0 20 0 15 0 75784878 15380455424 31888 33554432000 4194304 4196468 140730307658320 140730307640864 139857071828727 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
/proc/5543/statm: 3754994 31888 3136 1 0 3716398 0
[pid=5543/tid=5545] ppid=5540 vsize=15019976 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/5543/task/5545/stat : 5545 (java) R 5540 5543 32649 0 -1 4202560 15307 0 0 0 64 4 0 0 20 0 15 0 75784878 15380455424 31888 33554432000 4194304 4196468 140730307658320 139857043657968 139856567173542 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5546] ppid=5540 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5546/stat : 5546 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784880 15380455424 31888 33554432000 4194304 4196468 140730307658320 139857076070672 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5547] ppid=5540 vsize=15019976 memory=79 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5547/stat : 5547 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784880 15380455424 31888 33554432000 4194304 4196468 140730307658320 139856890227088 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5548] ppid=5540 vsize=15019976 memory=1 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5548/stat : 5548 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784880 15380455424 31888 33554432000 4194304 4196468 140730307658320 139856889174544 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5549] ppid=5540 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5549/stat : 5549 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784880 15380455424 31888 33554432000 4194304 4196468 140730307658320 139856888122000 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5550] ppid=5540 vsize=15019976 memory=164213645388045 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5550/stat : 5550 (java) S 5540 5543 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75784881 15380455424 31888 33554432000 4194304 4196468 140730307658320 139856042723824 139857071839874 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5551] ppid=5540 vsize=15019976 memory=445774 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5551/stat : 5551 (java) S 5540 5543 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75784882 15380455424 31888 33554432000 4194304 4196468 140730307658320 139855677875616 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5552] ppid=5540 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5552/stat : 5552 (java) S 5540 5543 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75784882 15380455424 31888 33554432000 4194304 4196468 140730307658320 139855543653872 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5553] ppid=5540 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5553/stat : 5553 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75784885 15380455424 31888 33554432000 4194304 4196468 140730307658320 139855169149648 139857071847323 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5554] ppid=5540 vsize=15019976 memory=7809523229951467574 CPUtime=0.06 cores=0,2,4,6
/proc/5543/task/5554/stat : 5554 (java) S 5540 5543 32649 0 -1 1077944384 613 0 0 0 6 0 0 0 20 0 15 0 75784885 15380455424 31888 33554432000 4194304 4196468 140730307658320 139856041670640 139857071839874 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5555] ppid=5540 vsize=15019976 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5543/task/5555/stat : 5555 (java) R 5540 5543 32649 0 -1 4202560 313 0 0 0 7 0 0 0 20 0 15 0 75784885 15380455424 31888 33554432000 4194304 4196468 140730307658320 139856040605648 139857049719808 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5556] ppid=5540 vsize=15019976 memory=-3535359994705171810 CPUtime=0.18 cores=0,2,4,6
/proc/5543/task/5556/stat : 5556 (java) R 5540 5543 32649 0 -1 4202560 525 0 0 0 18 0 0 0 20 0 15 0 75784885 15380455424 31888 33554432000 4194304 4196468 140730307658320 139856039561232 139857050631936 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5557] ppid=5540 vsize=15019976 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5557/stat : 5557 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75784885 15380455424 31888 33554432000 4194304 4196468 140730307658320 139854671243872 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5558] ppid=5540 vsize=15019976 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5558/stat : 5558 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784885 15380455424 31888 33554432000 4194304 4196468 140730307658320 139856038513456 139857071839874 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 127552 KiB
[startup+1.5018 s]
/proc/loadavg: 2.00 2.06 2.06 6/220 5558
/proc/meminfo: memFree=21247232/32770624 swapFree=67108860/67108860
[pid=5543] ppid=5540 vsize=15022100 memory=188072 CPUtime=3.14 cores=0,2,4,6
/proc/5543/stat : 5543 (java) S 5540 5543 32649 0 -1 1077944320 22505 0 0 0 307 7 0 0 20 0 15 0 75784878 15382630400 47018 33554432000 4194304 4196468 140730307658320 140730307640864 139857071828727 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
/proc/5543/statm: 3755525 47018 3202 1 0 3716910 0
[pid=5543/tid=5545] ppid=5540 vsize=15022100 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/5543/task/5545/stat : 5545 (java) R 5540 5543 32649 0 -1 4202560 16503 0 0 0 142 4 0 0 20 0 15 0 75784878 15382630400 47018 33554432000 4194304 4196468 140730307658320 139857043653440 139857071840662 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5546] ppid=5540 vsize=15022100 memory=5935838211126547810 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5546/stat : 5546 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784880 15382630400 47018 33554432000 4194304 4196468 140730307658320 139857076070672 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5547] ppid=5540 vsize=15022100 memory=7013623403623507800 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5547/stat : 5547 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784880 15382630400 47018 33554432000 4194304 4196468 140730307658320 139856890227088 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5548] ppid=5540 vsize=15022100 memory=7013623403623507800 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5548/stat : 5548 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784880 15382630400 47018 33554432000 4194304 4196468 140730307658320 139856889174544 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5549] ppid=5540 vsize=15022100 memory=7013623403623507800 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5549/stat : 5549 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784880 15382630400 47018 33554432000 4194304 4196468 140730307658320 139856888122000 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5550] ppid=5540 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5550/stat : 5550 (java) S 5540 5543 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75784881 15382630400 47018 33554432000 4194304 4196468 140730307658320 139856042723824 139857071839874 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5551] ppid=5540 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5551/stat : 5551 (java) S 5540 5543 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75784882 15382630400 47018 33554432000 4194304 4196468 140730307658320 139855677875616 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5552] ppid=5540 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5552/stat : 5552 (java) S 5540 5543 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75784882 15382630400 47018 33554432000 4194304 4196468 140730307658320 139855543653872 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5553] ppid=5540 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5553/stat : 5553 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75784885 15382630400 47018 33554432000 4194304 4196468 140730307658320 139855169149648 139857071847323 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5554] ppid=5540 vsize=15022100 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/5543/task/5554/stat : 5554 (java) R 5540 5543 32649 0 -1 4202560 1263 0 0 0 48 1 0 0 20 0 15 0 75784885 15382630400 47018 33554432000 4194304 4196468 140730307658320 139856041670640 139857071840662 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5555] ppid=5540 vsize=15022100 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/5543/task/5555/stat : 5555 (java) R 5540 5543 32649 0 -1 1077944384 712 0 0 0 44 0 0 0 20 0 15 0 75784885 15382630400 47018 33554432000 4194304 4196468 140730307658320 139856040618096 139857071839874 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5556] ppid=5540 vsize=15022100 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/5543/task/5556/stat : 5556 (java) R 5540 5543 32649 0 -1 4202560 2666 0 0 0 71 1 0 0 20 0 15 0 75784885 15382630400 47018 33554432000 4194304 4196468 140730307658320 139856039565552 139857071840662 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5557] ppid=5540 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5557/stat : 5557 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75784885 15382630400 47018 33554432000 4194304 4196468 140730307658320 139854671243872 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5558] ppid=5540 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5558/stat : 5558 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784885 15382630400 47018 33554432000 4194304 4196468 140730307658320 139856038513456 139857071839874 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
Current children cumulated CPU time: 3.14 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 188072 KiB
[startup+3.11044 s]
/proc/loadavg: 2.16 2.09 2.07 5/220 5558
/proc/meminfo: memFree=20749100/32770624 swapFree=67108860/67108860
[pid=5543] ppid=5540 vsize=15024148 memory=704692 CPUtime=8.2 cores=0,2,4,6
/proc/5543/stat : 5543 (java) S 5540 5543 32649 0 -1 1077944320 28056 0 0 0 804 16 0 0 20 0 15 0 75784878 15384727552 176173 33554432000 4194304 4196468 140730307658320 140730307640864 139857071828727 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
/proc/5543/statm: 3756037 176173 3204 1 0 3717422 0
[pid=5543/tid=5545] ppid=5540 vsize=15024148 memory=635544 CPUtime=3.06 cores=0,2,4,6
/proc/5543/task/5545/stat : 5545 (java) R 5540 5543 32649 0 -1 4202560 17539 0 0 0 295 11 0 0 20 0 15 0 75784878 15384727552 176173 33554432000 4194304 4196468 140730307658320 139857043664016 139856575061796 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5546] ppid=5540 vsize=15024148 memory=280753154260064 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5546/stat : 5546 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784880 15384727552 176173 33554432000 4194304 4196468 140730307658320 139857076070672 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5547] ppid=5540 vsize=15024148 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5547/stat : 5547 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784880 15384727552 176173 33554432000 4194304 4196468 140730307658320 139856890227088 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5548] ppid=5540 vsize=15024148 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5548/stat : 5548 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784880 15384727552 176173 33554432000 4194304 4196468 140730307658320 139856889174544 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5549] ppid=5540 vsize=15024148 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5549/stat : 5549 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784880 15384727552 176173 33554432000 4194304 4196468 140730307658320 139856888122000 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5550] ppid=5540 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5550/stat : 5550 (java) S 5540 5543 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75784881 15384727552 176173 33554432000 4194304 4196468 140730307658320 139856042723824 139857071839874 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5551] ppid=5540 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5551/stat : 5551 (java) S 5540 5543 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75784882 15384727552 176173 33554432000 4194304 4196468 140730307658320 139855677875616 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5552] ppid=5540 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5552/stat : 5552 (java) S 5540 5543 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75784882 15384727552 176173 33554432000 4194304 4196468 140730307658320 139855543653872 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5553] ppid=5540 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5553/stat : 5553 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75784885 15384727552 176173 33554432000 4194304 4196468 140730307658320 139855169149648 139857071847323 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5554] ppid=5540 vsize=15024148 memory=0 CPUtime=2.09 cores=0,2,4,6
/proc/5543/task/5554/stat : 5554 (java) R 5540 5543 32649 0 -1 4202560 2874 0 0 0 208 1 0 0 20 0 15 0 75784885 15384727552 176173 33554432000 4194304 4196468 140730307658320 139856041651088 139857053346553 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5555] ppid=5540 vsize=15024148 memory=0 CPUtime=2.01 cores=0,2,4,6
/proc/5543/task/5555/stat : 5555 (java) R 5540 5543 32649 0 -1 4202560 2183 0 0 0 201 0 0 0 20 0 15 0 75784885 15384727552 176173 33554432000 4194304 4196468 140730307658320 139856040602688 139857055734568 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5556] ppid=5540 vsize=15024148 memory=55 CPUtime=0.98 cores=0,2,4,6
/proc/5543/task/5556/stat : 5556 (java) S 5540 5543 32649 0 -1 1077944384 4099 0 0 0 97 1 0 0 20 0 15 0 75784885 15384727552 176173 33554432000 4194304 4196468 140730307658320 139856039565552 139857071839874 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5557] ppid=5540 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5557/stat : 5557 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75784885 15384727552 176173 33554432000 4194304 4196468 140730307658320 139854671243872 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5558] ppid=5540 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5558/stat : 5558 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784885 15384727552 176173 33554432000 4194304 4196468 140730307658320 139856038513456 139857071839874 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
Current children cumulated CPU time: 8.2 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 704692 KiB
[startup+3.7671 s]
# the end of solver process 5543 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.72289 s, system=0.213533 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20151 s]
/proc/loadavg: 2.16 2.09 2.07 5/220 5558
/proc/meminfo: memFree=20749100/32770624 swapFree=67108860/67108860
[pid=5543] ppid=5540 vsize=15026264 memory=724268 CPUtime=8.49 cores=0,2,4,6
/proc/5543/stat : 5543 (java) S 5540 5543 32649 0 -1 1077944320 28394 0 0 0 833 16 0 0 20 0 15 0 75784878 15386894336 181067 33554432000 4194304 4196468 140730307658320 140730307640864 139857071828727 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
/proc/5543/statm: 3756566 181067 3204 1 0 3717422 0
[pid=5543/tid=5545] ppid=5540 vsize=15026264 memory=0 CPUtime=3.16 cores=0,2,4,6
/proc/5543/task/5545/stat : 5545 (java) R 5540 5543 32649 0 -1 4202560 17661 0 0 0 304 12 0 0 20 0 15 0 75784878 15386894336 181067 33554432000 4194304 4196468 140730307658320 139857043663360 139856567151846 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5546] ppid=5540 vsize=15026264 memory=4629799972190126725 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5546/stat : 5546 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784880 15386894336 181067 33554432000 4194304 4196468 140730307658320 139857076070672 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5547] ppid=5540 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5547/stat : 5547 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784880 15386894336 181067 33554432000 4194304 4196468 140730307658320 139856890227088 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5548] ppid=5540 vsize=15026264 memory=3233 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5548/stat : 5548 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784880 15386894336 181067 33554432000 4194304 4196468 140730307658320 139856889174544 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5549] ppid=5540 vsize=15026264 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5549/stat : 5549 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75784880 15386894336 181067 33554432000 4194304 4196468 140730307658320 139856888122000 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5550] ppid=5540 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5550/stat : 5550 (java) S 5540 5543 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75784881 15386894336 181067 33554432000 4194304 4196468 140730307658320 139856042723824 139857071839874 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5551] ppid=5540 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5551/stat : 5551 (java) S 5540 5543 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75784882 15386894336 181067 33554432000 4194304 4196468 140730307658320 139855677875616 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5552] ppid=5540 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5552/stat : 5552 (java) S 5540 5543 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75784882 15386894336 181067 33554432000 4194304 4196468 140730307658320 139855543653872 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5553] ppid=5540 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5553/stat : 5553 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75784885 15386894336 181067 33554432000 4194304 4196468 140730307658320 139855169149648 139857071847323 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5554] ppid=5540 vsize=15026264 memory=0 CPUtime=2.18 cores=0,2,4,6
/proc/5543/task/5554/stat : 5554 (java) R 5540 5543 32649 0 -1 4202560 3021 0 0 0 217 1 0 0 20 0 15 0 75784885 15386894336 181067 33554432000 4194304 4196468 140730307658320 139856041651088 139857053372019 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5555] ppid=5540 vsize=15026264 memory=0 CPUtime=2.1 cores=0,2,4,6
/proc/5543/task/5555/stat : 5555 (java) R 5540 5543 32649 0 -1 4202560 2204 0 0 0 210 0 0 0 20 0 15 0 75784885 15386894336 181067 33554432000 4194304 4196468 140730307658320 139856040604256 139857051685904 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5556] ppid=5540 vsize=15026264 memory=0 CPUtime=1.01 cores=0,2,4,6
/proc/5543/task/5556/stat : 5556 (java) R 5540 5543 32649 0 -1 1077944384 4147 0 0 0 100 1 0 0 20 0 15 0 75784885 15386894336 181067 33554432000 4194304 4196468 140730307658320 139856039562288 139857071838933 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5557] ppid=5540 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5557/stat : 5557 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75784885 15386894336 181067 33554432000 4194304 4196468 140730307658320 139854671243872 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5558] ppid=5540 vsize=15026264 memory=7230645025961766505 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5558/stat : 5558 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75784885 15386894336 181067 33554432000 4194304 4196468 140730307658320 139856038513456 139857071839874 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
Current children cumulated CPU time: 8.49 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 724268 KiB
[startup+3.60067 s]
/proc/loadavg: 2.16 2.09 2.07 5/220 5558
/proc/meminfo: memFree=20749100/32770624 swapFree=67108860/67108860
[pid=5543] ppid=5540 vsize=15681864 memory=863976 CPUtime=9.7 cores=0,2,4,6
/proc/5543/stat : 5543 (java) S 5540 5543 32649 0 -1 1077944320 30386 0 0 0 951 19 0 0 20 0 19 0 75784878 16058228736 215994 33554432000 4194304 4196468 140730307658320 140730307640864 139857071828727 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
/proc/5543/statm: 3920466 215994 3220 1 0 3881322 0
[pid=5543/tid=5545] ppid=5540 vsize=15681864 memory=13573716680378929 CPUtime=3.51 cores=0,2,4,6
/proc/5543/task/5545/stat : 5545 (java) S 5540 5543 32649 0 -1 1077944384 18001 0 0 0 337 14 0 0 20 0 19 0 75784878 16058228736 215994 33554432000 4194304 4196468 140730307658320 139857043667968 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5546] ppid=5540 vsize=15681864 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5546/stat : 5546 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 75784880 16058228736 215994 33554432000 4194304 4196468 140730307658320 139857076070672 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5547] ppid=5540 vsize=15681864 memory=7588684550706915689 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5547/stat : 5547 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 75784880 16058228736 215994 33554432000 4194304 4196468 140730307658320 139856890227088 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5548] ppid=5540 vsize=15681864 memory=6008435665355694656 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5548/stat : 5548 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 75784880 16058228736 215994 33554432000 4194304 4196468 140730307658320 139856889174544 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5549] ppid=5540 vsize=15681864 memory=644 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5549/stat : 5549 (java) S 5540 5543 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 75784880 16058228736 215994 33554432000 4194304 4196468 140730307658320 139856888122000 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5550] ppid=5540 vsize=15681864 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5550/stat : 5550 (java) S 5540 5543 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 75784881 16058228736 215994 33554432000 4194304 4196468 140730307658320 139856042723824 139857071839874 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5551] ppid=5540 vsize=15681864 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5551/stat : 5551 (java) S 5540 5543 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 75784882 16058228736 215994 33554432000 4194304 4196468 140730307658320 139855677875616 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5552] ppid=5540 vsize=15681864 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5552/stat : 5552 (java) S 5540 5543 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 75784882 16058228736 215994 33554432000 4194304 4196468 140730307658320 139855543653872 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5553] ppid=5540 vsize=15681864 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5553/stat : 5553 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75784885 16058228736 215994 33554432000 4194304 4196468 140730307658320 139855169149648 139857071847323 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5554] ppid=5540 vsize=15681864 memory=6944656592455097440 CPUtime=2.58 cores=0,2,4,6
/proc/5543/task/5554/stat : 5554 (java) R 5540 5543 32649 0 -1 4202560 4379 0 0 0 257 1 0 0 20 0 19 0 75784885 16058228736 215994 33554432000 4194304 4196468 140730307658320 139856041658304 139857053348779 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5555] ppid=5540 vsize=15681864 memory=6655300316396806240 CPUtime=2.46 cores=0,2,4,6
/proc/5543/task/5555/stat : 5555 (java) S 5540 5543 32649 0 -1 1077944384 2293 0 0 0 246 0 0 0 20 0 19 0 75784885 16058228736 215994 33554432000 4194304 4196468 140730307658320 139856040618096 139857071839874 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5556] ppid=5540 vsize=15681864 memory=6944656575208382560 CPUtime=1.1 cores=0,2,4,6
/proc/5543/task/5556/stat : 5556 (java) S 5540 5543 32649 0 -1 1077944384 4298 0 0 0 109 1 0 0 20 0 19 0 75784885 16058228736 215994 33554432000 4194304 4196468 140730307658320 139856039565552 139857071839874 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5557] ppid=5540 vsize=15681864 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5557/stat : 5557 (java) S 5540 5543 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75784885 16058228736 215994 33554432000 4194304 4196468 140730307658320 139854671243872 139857071838933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
[pid=5543/tid=5558] ppid=5540 vsize=15681864 memory=3616672226547693423 CPUtime=0 cores=0,2,4,6
/proc/5543/task/5558/stat : 5558 (java) S 5540 5543 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 75784885 16058228736 215994 33554432000 4194304 4196468 140730307658320 139856038513456 139857071839874 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140730307666931 140730307667209 140730307667209 140730307669967 0
Current children cumulated CPU time: 9.7 s
Current children cumulated vsize: 15681864 KiB
Current children cumulated memory: 863976 KiB
[startup+3.70069 s]*
/proc/loadavg: 2.16 2.09 2.07 3/207 5564
/proc/meminfo: memFree=21387232/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3.76714
CPU time (s): 9.93642
CPU user time (s): 9.72289
CPU system time (s): 0.213533
CPU usage (%): 263.766
Max. virtual memory (cumulated for all children) (KiB): 15681864
Max. memory (cumulated for all children) (KiB): 863976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.72288
system time used= 0.213533
maximum resident set size= 867080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31437
page faults= 0
swaps= 0
block input operations= 0
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3685
involuntary context switches= 52
# summary of solver processes directly reported to runsolver:
# pid: 5543
# total CPU time (s): 9.93642
# total CPU user time (s): 9.72289
# total CPU system time (s): 0.213533
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042604 second user time and 0.084125 second system time
The end