0.67/0.52
0.67/0.53 scop both+minisat_release (2018-06-13)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Mon Jul 23 18:07:19 CEST 2018
0.67/0.55 c PID: 20034
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
1.21/0.86 c (0,0) Parsing End
1.21/0.87 c (0,0) CSP: 36 int (0 aux), 0 bool (0 aux), 95 ctr, max domain size 6
1.21/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.87 c (0,0) Constraint Name Generate Begin
1.21/0.87 c (0,0) Ctr:HOME/instance-4294738-1532362039.xml,ExtensionConflict:ExtensionSupport:IntVar
1.21/0.87 c (0,0) Constraint Name Generate End
1.21/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.87 c (0,0) CSP to CSPinCNF Begin
1.56/1.10 c (0,0) translated 10 (10%) constraints
1.77/1.15 c (0,0) translated 19 (20%) constraints
1.99/1.20 c (0,0) translated 29 (30%) constraints
1.99/1.24 c (0,0) translated 38 (40%) constraints
1.99/1.26 c (0,0) translated 48 (50%) constraints
1.99/1.28 c (0,0) translated 57 (60%) constraints
1.99/1.30 c (0,0) translated 67 (70%) constraints
2.29/1.31 c (0,0) translated 76 (80%) constraints
2.29/1.32 c (0,0) translated 86 (90%) constraints
2.29/1.39 c (0,0) translated 95 (100%) constraints
2.54/1.43 c (0,0) STATISTICS1:HOME/instance-4294738-1532362039.xml,ExtensionConflict:ExtensionSupport:IntVar,66,630,-1,6,7,1,,6:2030;2:140,7:5;4:425;3:40;2:160,1:2170;0:5,
2.54/1.43 c (0,0) ===========================================
2.54/1.43 c (0,0) Both Encoding selects:
2.54/1.43 c (0,0) Order
2.54/1.43 c (0,0) ===========================================
2.54/1.44 c (0,0) translated 63 (10%) constraints
2.54/1.45 c (0,0) translated 126 (20%) constraints
2.54/1.45 c (0,0) translated 189 (30%) constraints
2.54/1.45 c (0,0) translated 252 (40%) constraints
2.54/1.46 c (0,0) translated 315 (50%) constraints
2.54/1.46 c (0,0) translated 378 (60%) constraints
2.54/1.47 c (0,0) translated 441 (70%) constraints
2.54/1.47 c (0,0) translated 504 (80%) constraints
2.54/1.48 c (0,0) translated 567 (90%) constraints
2.54/1.48 c (0,0) translated 630 (100%) constraints
2.54/1.48 c (0,0) CSP to CSPinCNF End
2.54/1.48 c (0,0) CSP: 36 int (0 aux), 30 bool (30 aux), 630 ctr, max domain size 6
2.54/1.48 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.54/1.48 c (0,0) CSPinCNF Propagation Begin
2.81/1.52 c (0,0) 0 values, 185 unsatisfiable literals, and 0 valid clauses are removed
2.81/1.52 c (0,0) CSPinCNF Propagation End
2.81/1.52 c (0,0) CSP: 36 int (0 aux), 30 bool (30 aux), 630 ctr, max domain size 6
2.81/1.52 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.81/1.52 c (0,0) Simplify CSPinCNF Begin
2.81/1.53 c (0,0) Simplify CSPinCNF End
2.81/1.53 c (0,0) CSP: 36 int (0 aux), 30 bool (30 aux), 630 ctr, max domain size 6
2.81/1.53 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.81/1.53 c (0,0) Calculate Precise Domain Begin
2.81/1.53 c (1,0) 0 values are removed by re-calculation
2.81/1.53 c (1,0) Calculate Precise Domain End
2.81/1.53 c (1,0) CSP: 36 int (0 aux), 30 bool (30 aux), 630 ctr, max domain size 6
2.81/1.53 c (1,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.81/1.53 c (1,0) CSPinCNF to SatSolver Begin
2.81/1.56 c (1,1) 63 (10 %) CSP clauses are encoded (210 SAT variables, 206 SAT clauses)
2.81/1.56 c (1,1) 126 (20 %) CSP clauses are encoded (210 SAT variables, 269 SAT clauses)
2.81/1.57 c (1,1) 189 (30 %) CSP clauses are encoded (210 SAT variables, 332 SAT clauses)
2.81/1.57 c (1,1) 252 (40 %) CSP clauses are encoded (210 SAT variables, 395 SAT clauses)
2.81/1.58 c (1,1) 315 (50 %) CSP clauses are encoded (210 SAT variables, 458 SAT clauses)
2.81/1.58 c (1,1) 378 (60 %) CSP clauses are encoded (210 SAT variables, 521 SAT clauses)
2.81/1.58 c (1,1) 441 (70 %) CSP clauses are encoded (210 SAT variables, 584 SAT clauses)
2.81/1.58 c (1,1) 504 (80 %) CSP clauses are encoded (210 SAT variables, 647 SAT clauses)
2.81/1.59 c (1,1) 567 (90 %) CSP clauses are encoded (210 SAT variables, 710 SAT clauses)
2.81/1.59 c (1,1) 630 (100 %) CSP clauses are encoded (210 SAT variables, 773 SAT clauses)
2.81/1.59 c (1,1) CSPinCNF to SatSolver End
2.81/1.59 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.11/1.60 c (1,1) STATISTICS2:HOME/instance-4294738-1532362039.xml,ExtensionConflict:ExtensionSupport:IntVar,66,630,-1,6,6,1,,6:1850;2:140,6:5;4:335;3:40;2:250,1:1990,
3.11/1.60 c (1,1) SatSolver.solve Begin
3.11/1.60 c (1,1) 210 bool, 774 clause
3.11/1.61 c (1,1) 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-4294738-1532362039.xml-scop-20034.cnf HOME/instance-4294738-1532362039.xml-scop-20034.cnf.out
3.11/1.62 c (1,0) c This is COMiniSatPS.
3.11/1.62 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
3.11/1.62 c (1,0) c ============================[ Problem Statistics ]=============================
3.11/1.62 c (1,0) c | |
3.11/1.62 c (1,0) c | Number of variables: 210 |
3.11/1.62 c (1,0) c | Number of clauses: 774 |
3.11/1.62 c (1,0) c | Parse time: 0.00 s |
3.11/1.62 c (1,0) c | Eliminated clauses: 0.00 Mb |
3.11/1.62 c (1,0) c Reduced to 175 vars, 695 cls (grow=0)
3.11/1.62 c (1,0) c No iterative elimination performed. (vars=175, c/v ratio=4.0)
3.11/1.62 c (1,0) c | Simplification time: 0.00 s |
3.11/1.62 c (1,0) c | |
3.11/1.62 c (1,0) c ============================[ Search Statistics ]==============================
3.11/1.62 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
3.11/1.62 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.11/1.62 c (1,0) c ===============================================================================
3.11/1.62 c (1,0) c ===============================================================================
3.11/1.62 c (1,0) c restarts : 1
3.11/1.62 c (1,0) c conflicts : 209 (57104 /sec)
3.11/1.62 c (1,0) c decisions : 453 (0.00 % random) (123770 /sec)
3.11/1.62 c (1,0) c propagations : 2329 (636339 /sec)
3.11/1.62 c (1,0) c conflict literals : 1039 (2.26 % deleted)
3.11/1.62 c (1,0) c CPU time : 0.00366 s
3.11/1.62 c (1,0)
3.11/1.62 c (1,0) s UNSATISFIABLE
3.11/1.67 c (1,1) SatSolver.solve End
3.11/1.67 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.11/1.67 c (1,1) Show results Begin
3.11/1.67 s UNSATISFIABLE
3.11/1.67 c (1,1) Show results End
3.11/1.67 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.11/1.67 c (1,1) 0,0,0,0,0,1,1,1,1,STOP-AFTER(ALL)
3.11/1.67 c END-Prog: Mon Jul 23 18:07:20 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 (5801 MiB free)
memory of node 1: 16384 MiB (8098 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294738-1532362039/watcher-4294738-1532362039 -o /tmp/evaluation-result-4294738-1532362039/solver-4294738-1532362039 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294738-1532362039.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20034, runsolver pid=20031
Current StackSize limit: 8192 KiB
[startup+0.100475 s]*
/proc/loadavg: 2.75 2.45 2.22 3/220 20049
/proc/meminfo: memFree=14176388/32770624 swapFree=67108860/67108860
[pid=20034] ppid=20031 vsize=15011656 memory=70216 CPUtime=0.12 cores=0,2,4,6
/proc/20034/stat : 20034 (java) S 20031 20034 8919 0 -1 1077944320 6757 0 0 0 10 2 0 0 20 0 15 0 53767042 15371935744 17554 33554432000 4194304 4196468 140726359181936 140726359164480 139944582536951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
/proc/20034/statm: 3752914 17554 2779 1 0 3715374 0
[pid=20034/tid=20036] ppid=20031 vsize=15011656 memory=-6295080567673502544 CPUtime=0.09 cores=0,2,4,6
/proc/20034/task/20036/stat : 20036 (java) R 20031 20034 8919 0 -1 4202560 4977 0 0 0 8 1 0 0 20 0 15 0 53767043 15371935744 17686 33554432000 4194304 4196468 140726359181936 139944554348936 139944562812672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20037] ppid=20031 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20037/stat : 20037 (java) S 20031 20034 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53767044 15371935744 17686 33554432000 4194304 4196468 140726359181936 139944586779536 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20038] ppid=20031 vsize=15011656 memory=139988533433984 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20038/stat : 20038 (java) S 20031 20034 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53767044 15371935744 17686 33554432000 4194304 4196468 140726359181936 139944400935696 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20039] ppid=20031 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20039/stat : 20039 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767044 15371935744 17686 33554432000 4194304 4196468 140726359181936 139944399883408 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20040] ppid=20031 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20040/stat : 20040 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767044 15371935744 17686 33554432000 4194304 4196468 140726359181936 139944398830608 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20041] ppid=20031 vsize=15011656 memory=139988533433984 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20041/stat : 20041 (java) S 20031 20034 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53767046 15371935744 17686 33554432000 4194304 4196468 140726359181936 139943620290672 139944582548098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20042] ppid=20031 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20042/stat : 20042 (java) S 20031 20034 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53767046 15371935744 17752 33554432000 4194304 4196468 140726359181936 139942986507040 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20043] ppid=20031 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20043/stat : 20043 (java) S 20031 20034 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53767046 15371935744 17752 33554432000 4194304 4196468 140726359181936 139942852285552 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20044] ppid=20031 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20044/stat : 20044 (java) S 20031 20034 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53767049 15371935744 17752 33554432000 4194304 4196468 140726359181936 139942477781072 139944582555547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20045] ppid=20031 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20045/stat : 20045 (java) S 20031 20034 8919 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 53767049 15371935744 17752 33554432000 4194304 4196468 140726359181936 139943619238512 139944582548098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20046] ppid=20031 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20046/stat : 20046 (java) S 20031 20034 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53767049 15371935744 17752 33554432000 4194304 4196468 140726359181936 139943618185712 139944582548098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20047] ppid=20031 vsize=15011656 memory=139988533433984 CPUtime=0.01 cores=0,2,4,6
/proc/20034/task/20047/stat : 20047 (java) S 20031 20034 8919 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 53767049 15371935744 17752 33554432000 4194304 4196468 140726359181936 139943617133424 139944582548098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20048] ppid=20031 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20048/stat : 20048 (java) S 20031 20034 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53767049 15371935744 17752 33554432000 4194304 4196468 140726359181936 139941979876320 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20049] ppid=20031 vsize=15011656 memory=139988533433984 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20049/stat : 20049 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767049 15371935744 17752 33554432000 4194304 4196468 140726359181936 139943616080304 139944582548098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 70216 KiB
[startup+0.210414 s]*
/proc/loadavg: 2.75 2.45 2.22 3/220 20049
/proc/meminfo: memFree=14162436/32770624 swapFree=67108860/67108860
[pid=20034] ppid=20031 vsize=15011656 memory=83572 CPUtime=0.25 cores=0,2,4,6
/proc/20034/stat : 20034 (java) S 20031 20034 8919 0 -1 1077944320 10384 0 0 0 23 2 0 0 20 0 15 0 53767042 15371935744 20893 33554432000 4194304 4196468 140726359181936 140726359164480 139944582536951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
/proc/20034/statm: 3752914 20893 2881 1 0 3715374 0
[pid=20034/tid=20036] ppid=20031 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/20034/task/20036/stat : 20036 (java) R 20031 20034 8919 0 -1 4202560 8263 0 0 0 18 2 0 0 20 0 15 0 53767043 15371935744 20893 33554432000 4194304 4196468 140726359181936 139944554363344 139944077168640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20037] ppid=20031 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20037/stat : 20037 (java) S 20031 20034 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53767044 15371935744 20893 33554432000 4194304 4196468 140726359181936 139944586779536 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20038] ppid=20031 vsize=15011656 memory=4051468939003352736 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20038/stat : 20038 (java) S 20031 20034 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53767044 15371935744 20893 33554432000 4194304 4196468 140726359181936 139944400935696 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20039] ppid=20031 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20039/stat : 20039 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767044 15371935744 20893 33554432000 4194304 4196468 140726359181936 139944399883408 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20040] ppid=20031 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20040/stat : 20040 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767044 15371935744 20893 33554432000 4194304 4196468 140726359181936 139944398830608 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20041] ppid=20031 vsize=15011656 memory=139988533433984 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20041/stat : 20041 (java) S 20031 20034 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53767046 15371935744 20893 33554432000 4194304 4196468 140726359181936 139943620290672 139944582548098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20042] ppid=20031 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20042/stat : 20042 (java) S 20031 20034 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53767046 15371935744 20893 33554432000 4194304 4196468 140726359181936 139942986507040 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20043] ppid=20031 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20043/stat : 20043 (java) S 20031 20034 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53767046 15371935744 20893 33554432000 4194304 4196468 140726359181936 139942852285552 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20044] ppid=20031 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20044/stat : 20044 (java) S 20031 20034 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53767049 15371935744 20893 33554432000 4194304 4196468 140726359181936 139942477781072 139944582555547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20045] ppid=20031 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20045/stat : 20045 (java) R 20031 20034 8919 0 -1 4202560 430 0 0 0 0 0 0 0 20 0 15 0 53767049 15371935744 20893 33554432000 4194304 4196468 140726359181936 139943619238512 139944582548886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20046] ppid=20031 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20046/stat : 20046 (java) R 20031 20034 8919 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 15 0 53767049 15371935744 20893 33554432000 4194304 4196468 140726359181936 139943618185712 139944582558298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20047] ppid=20031 vsize=15011656 memory=139988533433984 CPUtime=0.03 cores=0,2,4,6
/proc/20034/task/20047/stat : 20047 (java) R 20031 20034 8919 0 -1 4202560 292 0 0 0 3 0 0 0 20 0 15 0 53767049 15371935744 20893 33554432000 4194304 4196468 140726359181936 139943617133424 139944582558298 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20048] ppid=20031 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20048/stat : 20048 (java) S 20031 20034 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53767049 15371935744 20893 33554432000 4194304 4196468 140726359181936 139941979876320 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20049] ppid=20031 vsize=15011656 memory=139988533433984 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20049/stat : 20049 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767049 15371935744 20893 33554432000 4194304 4196468 140726359181936 139943616080304 139944582548098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 83572 KiB
[startup+0.310355 s]*
/proc/loadavg: 2.75 2.45 2.22 3/220 20049
/proc/meminfo: memFree=14158428/32770624 swapFree=67108860/67108860
[pid=20034] ppid=20031 vsize=15011656 memory=87668 CPUtime=0.43 cores=0,2,4,6
/proc/20034/stat : 20034 (java) S 20031 20034 8919 0 -1 1077944320 10983 0 0 0 40 3 0 0 20 0 15 0 53767042 15371935744 21917 33554432000 4194304 4196468 140726359181936 140726359164480 139944582536951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
/proc/20034/statm: 3752914 21917 2990 1 0 3715374 0
[pid=20034/tid=20036] ppid=20031 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/20034/task/20036/stat : 20036 (java) R 20031 20034 8919 0 -1 4202560 8694 0 0 0 27 2 0 0 20 0 15 0 53767043 15371935744 21982 33554432000 4194304 4196468 140726359181936 139944554340880 139944566617438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20037] ppid=20031 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20037/stat : 20037 (java) S 20031 20034 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53767044 15371935744 21982 33554432000 4194304 4196468 140726359181936 139944586779536 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20038] ppid=20031 vsize=15011656 memory=3906790800974075552 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20038/stat : 20038 (java) S 20031 20034 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53767044 15371935744 21982 33554432000 4194304 4196468 140726359181936 139944400935696 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20039] ppid=20031 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20039/stat : 20039 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767044 15371935744 21982 33554432000 4194304 4196468 140726359181936 139944399883408 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20040] ppid=20031 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20040/stat : 20040 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767044 15371935744 21982 33554432000 4194304 4196468 140726359181936 139944398830608 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20041] ppid=20031 vsize=15011656 memory=139988533433984 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20041/stat : 20041 (java) S 20031 20034 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53767046 15371935744 21982 33554432000 4194304 4196468 140726359181936 139943620290672 139944582548098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20042] ppid=20031 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20042/stat : 20042 (java) S 20031 20034 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53767046 15371935744 21982 33554432000 4194304 4196468 140726359181936 139942986507040 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20043] ppid=20031 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20043/stat : 20043 (java) S 20031 20034 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53767046 15371935744 21982 33554432000 4194304 4196468 140726359181936 139942852285552 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20044] ppid=20031 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20044/stat : 20044 (java) S 20031 20034 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53767049 15371935744 21982 33554432000 4194304 4196468 140726359181936 139942477781072 139944582555547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20045] ppid=20031 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20034/task/20045/stat : 20045 (java) S 20031 20034 8919 0 -1 1077944384 542 0 0 0 3 0 0 0 20 0 15 0 53767049 15371935744 21982 33554432000 4194304 4196468 140726359181936 139943619238512 139944582548098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20046] ppid=20031 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20034/task/20046/stat : 20046 (java) R 20031 20034 8919 0 -1 4202560 69 0 0 0 1 0 0 0 20 0 15 0 53767049 15371935744 21982 33554432000 4194304 4196468 140726359181936 139943618185712 139944563237248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20047] ppid=20031 vsize=15011656 memory=139988533433984 CPUtime=0.07 cores=0,2,4,6
/proc/20034/task/20047/stat : 20047 (java) S 20031 20034 8919 0 -1 1077944384 334 0 0 0 7 0 0 0 20 0 15 0 53767049 15371935744 21982 33554432000 4194304 4196468 140726359181936 139943617133424 139944582548098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20048] ppid=20031 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20048/stat : 20048 (java) S 20031 20034 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53767049 15371935744 21982 33554432000 4194304 4196468 140726359181936 139941979876320 139944582547157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20049] ppid=20031 vsize=15011656 memory=139988533433984 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20049/stat : 20049 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767049 15371935744 21982 33554432000 4194304 4196468 140726359181936 139943616080304 139944582548098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87668 KiB
[startup+0.700677 s]
/proc/loadavg: 2.75 2.45 2.22 4/220 20049
/proc/meminfo: memFree=14134492/32770624 swapFree=67108860/67108860
[pid=20034] ppid=20031 vsize=15020052 memory=127848 CPUtime=1.01 cores=0,2,4,6
/proc/20034/stat : 20034 (java) S 20031 20034 8919 0 -1 1077944320 18241 0 0 0 95 6 0 0 20 0 15 0 53767042 15380533248 31962 33554432000 4194304 4196468 140726359181936 140726359164480 139944582536951 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
/proc/20034/statm: 3755013 31962 3155 1 0 3716398 0
[pid=20034/tid=20036] ppid=20031 vsize=15020052 memory=226063858819496 CPUtime=0.67 cores=0,2,4,6
/proc/20034/task/20036/stat : 20036 (java) R 20031 20034 8919 0 -1 4202560 15438 0 0 0 62 5 0 0 20 0 15 0 53767043 15380533248 31962 33554432000 4194304 4196468 140726359181936 139944554353568 139944077111056 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20037] ppid=20031 vsize=15020052 memory=298567 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20037/stat : 20037 (java) S 20031 20034 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53767044 15380533248 31962 33554432000 4194304 4196468 140726359181936 139944586779536 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20038] ppid=20031 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20038/stat : 20038 (java) S 20031 20034 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53767044 15380533248 31962 33554432000 4194304 4196468 140726359181936 139944400935696 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20039] ppid=20031 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20039/stat : 20039 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767044 15380533248 31962 33554432000 4194304 4196468 140726359181936 139944399883408 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20040] ppid=20031 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20040/stat : 20040 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767044 15380533248 31962 33554432000 4194304 4196468 140726359181936 139944398830608 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20041] ppid=20031 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20041/stat : 20041 (java) S 20031 20034 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53767046 15380533248 31962 33554432000 4194304 4196468 140726359181936 139943620290672 139944582548098 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20042] ppid=20031 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20042/stat : 20042 (java) S 20031 20034 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53767046 15380533248 31962 33554432000 4194304 4196468 140726359181936 139942986507040 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20043] ppid=20031 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20043/stat : 20043 (java) S 20031 20034 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53767046 15380533248 31962 33554432000 4194304 4196468 140726359181936 139942852285552 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20044] ppid=20031 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20044/stat : 20044 (java) S 20031 20034 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53767049 15380533248 31962 33554432000 4194304 4196468 140726359181936 139942477781072 139944582555547 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20045] ppid=20031 vsize=15020052 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20034/task/20045/stat : 20045 (java) R 20031 20034 8919 0 -1 4202560 642 0 0 0 7 0 0 0 20 0 15 0 53767049 15380533248 31962 33554432000 4194304 4196468 140726359181936 139943619238512 139944582558298 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20046] ppid=20031 vsize=15020052 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20034/task/20046/stat : 20046 (java) S 20031 20034 8919 0 -1 1077944384 316 0 0 0 8 0 0 0 20 0 15 0 53767049 15380533248 31962 33554432000 4194304 4196468 140726359181936 139943618185712 139944582548098 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20047] ppid=20031 vsize=15020052 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/20034/task/20047/stat : 20047 (java) R 20031 20034 8919 0 -1 4202560 487 0 0 0 16 0 0 0 20 0 15 0 53767049 15380533248 31962 33554432000 4194304 4196468 140726359181936 139943617133424 139944582548886 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20048] ppid=20031 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20048/stat : 20048 (java) S 20031 20034 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53767049 15380533248 31962 33554432000 4194304 4196468 140726359181936 139941979876320 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20049] ppid=20031 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20049/stat : 20049 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767049 15380533248 31962 33554432000 4194304 4196468 140726359181936 139943616080304 139944582548098 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 127848 KiB
[startup+1.50064 s]
/proc/loadavg: 2.75 2.45 2.22 3/220 20049
/proc/meminfo: memFree=14105956/32770624 swapFree=67108860/67108860
[pid=20034] ppid=20031 vsize=15024148 memory=177676 CPUtime=2.81 cores=0,2,4,6
/proc/20034/stat : 20034 (java) S 20031 20034 8919 0 -1 1077944320 21972 0 0 0 274 7 0 0 20 0 15 0 53767042 15384727552 44419 33554432000 4194304 4196468 140726359181936 140726359164480 139944582536951 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
/proc/20034/statm: 3756037 44419 3200 1 0 3717422 0
[pid=20034/tid=20036] ppid=20031 vsize=15024148 memory=5794836780235445347 CPUtime=1.47 cores=0,2,4,6
/proc/20034/task/20036/stat : 20036 (java) R 20031 20034 8919 0 -1 4202560 16734 0 0 0 141 6 0 0 20 0 15 0 53767043 15384727552 44419 33554432000 4194304 4196468 140726359181936 139944554371040 139944082781308 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20037] ppid=20031 vsize=15024148 memory=6298673690012636259 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20037/stat : 20037 (java) S 20031 20034 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53767044 15384727552 44419 33554432000 4194304 4196468 140726359181936 139944586779536 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20038] ppid=20031 vsize=15024148 memory=7517461399944391279 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20038/stat : 20038 (java) S 20031 20034 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53767044 15384727552 44419 33554432000 4194304 4196468 140726359181936 139944400935696 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20039] ppid=20031 vsize=15024148 memory=7882540062773832281 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20039/stat : 20039 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767044 15384727552 44419 33554432000 4194304 4196468 140726359181936 139944399883408 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20040] ppid=20031 vsize=15024148 memory=4638778398332767568 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20040/stat : 20040 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767044 15384727552 44419 33554432000 4194304 4196468 140726359181936 139944398830608 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20041] ppid=20031 vsize=15024148 memory=7523942054689598037 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20041/stat : 20041 (java) S 20031 20034 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53767046 15384727552 44419 33554432000 4194304 4196468 140726359181936 139943620290672 139944582548098 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20042] ppid=20031 vsize=15024148 memory=3473736809465861478 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20042/stat : 20042 (java) S 20031 20034 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53767046 15384727552 44419 33554432000 4194304 4196468 140726359181936 139942986507040 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20043] ppid=20031 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20043/stat : 20043 (java) S 20031 20034 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53767046 15384727552 44419 33554432000 4194304 4196468 140726359181936 139942852285552 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20044] ppid=20031 vsize=15024148 memory=279976838430960 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20044/stat : 20044 (java) S 20031 20034 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53767049 15384727552 44419 33554432000 4194304 4196468 140726359181936 139942477781072 139944582555547 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20045] ppid=20031 vsize=15024148 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/20034/task/20045/stat : 20045 (java) S 20031 20034 8919 0 -1 1077944384 881 0 0 0 34 0 0 0 20 0 15 0 53767049 15384727552 44419 33554432000 4194304 4196468 140726359181936 139943619238512 139944582548098 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20046] ppid=20031 vsize=15024148 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/20034/task/20046/stat : 20046 (java) S 20031 20034 8919 0 -1 1077944384 459 0 0 0 32 0 0 0 20 0 15 0 53767049 15384727552 44419 33554432000 4194304 4196468 140726359181936 139943618185712 139944582548098 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20047] ppid=20031 vsize=15024148 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/20034/task/20047/stat : 20047 (java) R 20031 20034 8919 0 -1 4202560 2538 0 0 0 66 0 0 0 20 0 15 0 53767049 15384727552 44419 33554432000 4194304 4196468 140726359181936 139943617133424 139944566617438 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20048] ppid=20031 vsize=15024148 memory=13773960120851 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20048/stat : 20048 (java) S 20031 20034 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53767049 15384727552 44419 33554432000 4194304 4196468 140726359181936 139941979876320 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20049] ppid=20031 vsize=15024148 memory=1 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20049/stat : 20049 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767049 15384727552 44419 33554432000 4194304 4196468 140726359181936 139943616080304 139944582548098 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 177676 KiB
[startup+1.67862 s]
# the end of solver process 20034 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.14006 s, system=0.102099 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60309 s]
/proc/loadavg: 2.75 2.45 2.22 3/220 20049
/proc/meminfo: memFree=14105956/32770624 swapFree=67108860/67108860
[pid=20034] ppid=20031 vsize=15026264 memory=185640 CPUtime=3.11 cores=0,2,4,6
/proc/20034/stat : 20034 (java) S 20031 20034 8919 0 -1 1077944320 22423 0 0 0 303 8 0 0 20 0 15 0 53767042 15386894336 46410 33554432000 4194304 4196468 140726359181936 140726359164480 139944582536951 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
/proc/20034/statm: 3756566 46410 3212 1 0 3717422 0
[pid=20034/tid=20036] ppid=20031 vsize=15026264 memory=0 CPUtime=1.57 cores=0,2,4,6
/proc/20034/task/20036/stat : 20036 (java) R 20031 20034 8919 0 -1 4202560 16964 0 0 0 151 6 0 0 20 0 15 0 53767043 15386894336 46410 33554432000 4194304 4196468 140726359181936 139944554371824 139944084261156 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20037] ppid=20031 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20037/stat : 20037 (java) S 20031 20034 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53767044 15386894336 46410 33554432000 4194304 4196468 140726359181936 139944586779536 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20038] ppid=20031 vsize=15026264 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20038/stat : 20038 (java) S 20031 20034 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53767044 15386894336 46410 33554432000 4194304 4196468 140726359181936 139944400935696 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20039] ppid=20031 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20039/stat : 20039 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767044 15386894336 46922 33554432000 4194304 4196468 140726359181936 139944399883408 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20040] ppid=20031 vsize=15026264 memory=12081 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20040/stat : 20040 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767044 15386894336 46922 33554432000 4194304 4196468 140726359181936 139944398830608 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20041] ppid=20031 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20041/stat : 20041 (java) S 20031 20034 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53767046 15386894336 46922 33554432000 4194304 4196468 140726359181936 139943620290672 139944582548098 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20042] ppid=20031 vsize=15026264 memory=-2023959437020729679 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20042/stat : 20042 (java) S 20031 20034 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53767046 15386894336 46922 33554432000 4194304 4196468 140726359181936 139942986507040 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20043] ppid=20031 vsize=15026264 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20043/stat : 20043 (java) S 20031 20034 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53767046 15386894336 46922 33554432000 4194304 4196468 140726359181936 139942852285552 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20044] ppid=20031 vsize=15026264 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20044/stat : 20044 (java) S 20031 20034 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53767049 15386894336 46922 33554432000 4194304 4196468 140726359181936 139942477781072 139944582555547 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20045] ppid=20031 vsize=15026264 memory=6656426216303648864 CPUtime=0.4 cores=0,2,4,6
/proc/20034/task/20045/stat : 20045 (java) R 20031 20034 8919 0 -1 1077944384 918 0 0 0 40 0 0 0 20 0 15 0 53767049 15386894336 46922 33554432000 4194304 4196468 140726359181936 139943619225296 139944582547157 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20046] ppid=20031 vsize=15026264 memory=-3195349257566499689 CPUtime=0.37 cores=0,2,4,6
/proc/20034/task/20046/stat : 20046 (java) R 20031 20034 8919 0 -1 4202560 482 0 0 0 37 0 0 0 20 0 15 0 53767049 15386894336 46922 33554432000 4194304 4196468 140726359181936 139943618185712 139944567661719 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20047] ppid=20031 vsize=15026264 memory=279976838573632 CPUtime=0.74 cores=0,2,4,6
/proc/20034/task/20047/stat : 20047 (java) R 20031 20034 8919 0 -1 4202560 2698 0 0 0 74 0 0 0 20 0 15 0 53767049 15386894336 46922 33554432000 4194304 4196468 140726359181936 139943617133424 139944561844369 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20048] ppid=20031 vsize=15026264 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20048/stat : 20048 (java) S 20031 20034 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53767049 15386894336 46922 33554432000 4194304 4196468 140726359181936 139941979876320 139944582547157 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
[pid=20034/tid=20049] ppid=20031 vsize=15026264 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/20034/task/20049/stat : 20049 (java) S 20031 20034 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53767049 15386894336 46922 33554432000 4194304 4196468 140726359181936 139943616080304 139944582548098 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38055936 140726359188468 140726359188745 140726359188745 140726359191503 0
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 185640 KiB
Child status: 0
Real time (s): 1.67867
CPU time (s): 3.24216
CPU user time (s): 3.14006
CPU system time (s): 0.102099
CPU usage (%): 193.139
Max. virtual memory (cumulated for all children) (KiB): 15026264
Max. memory (cumulated for all children) (KiB): 185640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.14006
system time used= 0.102099
maximum resident set size= 204668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24049
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3655
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 20034
# total CPU time (s): 3.24216
# total CPU user time (s): 3.14006
# total CPU system time (s): 0.102099
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035439 second user time and 0.056703 second system time
The end