0.55/0.51
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 16:51:17 CEST 2018
0.67/0.54 c PID: 13210
0.67/0.54 c IP: 172.20.3.105
0.67/0.54 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.22/0.85 c (0,0) Parsing End
1.22/0.85 c (0,0) CSP: 36 int (0 aux), 0 bool (0 aux), 95 ctr, max domain size 6
1.22/0.85 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.22/0.85 c (0,0) Constraint Name Generate Begin
1.22/0.86 c (0,0) Ctr:HOME/instance-4294739-1532357476.xml,ExtensionConflict:ExtensionSupport:IntVar
1.22/0.86 c (0,0) Constraint Name Generate End
1.22/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.22/0.86 c (0,0) CSP to CSPinCNF Begin
1.56/1.08 c (0,0) translated 10 (10%) constraints
1.78/1.12 c (0,0) translated 19 (20%) constraints
1.78/1.16 c (0,0) translated 29 (30%) constraints
1.78/1.20 c (0,0) translated 38 (40%) constraints
2.02/1.23 c (0,0) translated 48 (50%) constraints
2.02/1.25 c (0,0) translated 57 (60%) constraints
2.02/1.26 c (0,0) translated 67 (70%) constraints
2.02/1.28 c (0,0) translated 76 (80%) constraints
2.02/1.29 c (0,0) translated 86 (90%) constraints
2.34/1.36 c (0,0) translated 95 (100%) constraints
2.34/1.40 c (0,0) STATISTICS1:HOME/instance-4294739-1532357476.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.34/1.40 c (0,0) ===========================================
2.34/1.40 c (0,0) Order
2.34/1.40 c (0,0) ===========================================
2.60/1.41 c (0,0) translated 63 (10%) constraints
2.60/1.41 c (0,0) translated 126 (20%) constraints
2.60/1.42 c (0,0) translated 189 (30%) constraints
2.60/1.42 c (0,0) translated 252 (40%) constraints
2.60/1.42 c (0,0) translated 315 (50%) constraints
2.60/1.43 c (0,0) translated 378 (60%) constraints
2.60/1.43 c (0,0) translated 441 (70%) constraints
2.60/1.44 c (0,0) translated 504 (80%) constraints
2.60/1.44 c (0,0) translated 567 (90%) constraints
2.60/1.44 c (0,0) translated 630 (100%) constraints
2.60/1.44 c (0,0) CSP to CSPinCNF End
2.60/1.45 c (0,0) CSP: 36 int (0 aux), 30 bool (30 aux), 630 ctr, max domain size 6
2.60/1.45 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.60/1.45 c (0,0) CSPinCNF Propagation Begin
2.60/1.49 c (0,0) 0 values, 185 unsatisfiable literals, and 0 valid clauses are removed
2.60/1.49 c (0,0) CSPinCNF Propagation End
2.60/1.49 c (0,0) CSP: 36 int (0 aux), 30 bool (30 aux), 630 ctr, max domain size 6
2.60/1.49 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.60/1.49 c (0,0) Simplify CSPinCNF Begin
2.60/1.49 c (0,0) Simplify CSPinCNF End
2.60/1.49 c (0,0) CSP: 36 int (0 aux), 30 bool (30 aux), 630 ctr, max domain size 6
2.60/1.49 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.60/1.49 c (0,0) Calculate Precise Domain Begin
2.60/1.49 c (0,0) 0 values are removed by re-calculation
2.60/1.49 c (0,0) Calculate Precise Domain End
2.60/1.49 c (0,0) CSP: 36 int (0 aux), 30 bool (30 aux), 630 ctr, max domain size 6
2.60/1.49 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.60/1.49 c (0,0) CSPinCNF to SatSolver Begin
2.94/1.52 c (1,0) 63 (10 %) CSP clauses are encoded (210 SAT variables, 206 SAT clauses)
2.94/1.53 c (1,0) 126 (20 %) CSP clauses are encoded (210 SAT variables, 269 SAT clauses)
2.94/1.53 c (1,1) 189 (30 %) CSP clauses are encoded (210 SAT variables, 332 SAT clauses)
2.94/1.54 c (1,1) 252 (40 %) CSP clauses are encoded (210 SAT variables, 395 SAT clauses)
2.94/1.54 c (1,1) 315 (50 %) CSP clauses are encoded (210 SAT variables, 458 SAT clauses)
2.94/1.55 c (1,1) 378 (60 %) CSP clauses are encoded (210 SAT variables, 521 SAT clauses)
2.94/1.55 c (1,1) 441 (70 %) CSP clauses are encoded (210 SAT variables, 584 SAT clauses)
2.94/1.55 c (1,1) 504 (80 %) CSP clauses are encoded (210 SAT variables, 647 SAT clauses)
2.94/1.55 c (1,1) 567 (90 %) CSP clauses are encoded (210 SAT variables, 710 SAT clauses)
2.94/1.55 c (1,1) 630 (100 %) CSP clauses are encoded (210 SAT variables, 773 SAT clauses)
2.94/1.56 c (1,1) CSPinCNF to SatSolver End
2.94/1.56 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.94/1.57 c (1,1) STATISTICS2:HOME/instance-4294739-1532357476.xml,ExtensionConflict:ExtensionSupport:IntVar,66,630,-1,6,6,1,,6:1850;2:140,6:5;4:335;3:40;2:250,1:1990,
2.94/1.57 c (1,1) SatSolver.solve Begin
2.94/1.57 c (1,1) 210 bool, 774 clause
2.94/1.57 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-4294739-1532357476.xml-scop-13210.cnf HOME/instance-4294739-1532357476.xml-scop-13210.cnf.out
2.94/1.59 c (1,0) c This is COMiniSatPS.
2.94/1.59 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
2.94/1.59 c (1,0) c ============================[ Problem Statistics ]=============================
2.94/1.59 c (1,0) c | |
2.94/1.59 c (1,0) c | Number of variables: 210 |
2.94/1.59 c (1,0) c | Number of clauses: 774 |
2.94/1.59 c (1,0) c | Parse time: 0.00 s |
2.94/1.59 c (1,0) c | Eliminated clauses: 0.00 Mb |
2.94/1.59 c (1,0) c Reduced to 175 vars, 695 cls (grow=0)
2.94/1.59 c (1,0) c No iterative elimination performed. (vars=175, c/v ratio=4.0)
2.94/1.59 c (1,0) c | Simplification time: 0.00 s |
2.94/1.59 c (1,0) c | |
2.94/1.59 c (1,0) c ============================[ Search Statistics ]==============================
2.94/1.59 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2.94/1.59 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.94/1.59 c (1,0) c ===============================================================================
2.94/1.59 c (1,0) c ===============================================================================
2.94/1.59 c (1,0) c restarts : 1
2.94/1.59 c (1,0) c conflicts : 209 (139333 /sec)
2.94/1.59 c (1,0) c decisions : 453 (0.00 % random) (302000 /sec)
2.94/1.59 c (1,0) c propagations : 2329 (1552667 /sec)
2.94/1.59 c (1,0) c conflict literals : 1039 (2.26 % deleted)
2.94/1.59 c (1,0) c CPU time : 0.0015 s
2.94/1.59 c (1,0)
2.94/1.59 c (1,0) s UNSATISFIABLE
3.25/1.63 c (1,1) SatSolver.solve End
3.25/1.63 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.25/1.63 c (1,1) Show results Begin
3.25/1.63 s UNSATISFIABLE
3.25/1.63 c (1,1) Show results End
3.25/1.63 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.25/1.63 c (1,1) 0,0,0,0,0,0,1,1,1,STOP-AFTER(ALL)
3.25/1.63 c END-Prog: Mon Jul 23 16:51:18 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 (1982 MiB free)
memory of node 1: 16384 MiB (11577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294739-1532357476/watcher-4294739-1532357476 -o /tmp/evaluation-result-4294739-1532357476/solver-4294739-1532357476 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2303 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294739-1532357476.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13210, runsolver pid=13207
[startup+0.100158 s]*
/proc/loadavg: 2.83 2.56 2.28 3/220 13225
/proc/meminfo: memFree=13823720/32770624 swapFree=67108860/67108860
[pid=13210] ppid=13207 vsize=15011656 memory=73956 CPUtime=0.11 cores=1,3,5,7
/proc/13210/stat : 13210 (java) S 13207 13210 2271 0 -1 1077944320 6676 0 0 0 9 2 0 0 20 0 15 0 53310775 15371935744 18489 33554432000 4194304 4196468 140721580314704 140721580297248 139644529766135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
/proc/13210/statm: 3752914 18489 2755 1 0 3715374 0
[pid=13210/tid=13212] ppid=13207 vsize=15011656 memory=-6799202250962287440 CPUtime=0.08 cores=1,3,5,7
/proc/13210/task/13212/stat : 13212 (java) R 13207 13210 2271 0 -1 4202560 4858 0 0 0 7 1 0 0 20 0 15 0 53310776 15371935744 18621 33554432000 4194304 4196468 140721580314704 139644501577912 139644515987455 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13213] ppid=13207 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13213/stat : 13213 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310777 15371935744 18621 33554432000 4194304 4196468 140721580314704 139644534008720 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13214] ppid=13207 vsize=15011656 memory=139711841891968 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13214/stat : 13214 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310777 15371935744 18621 33554432000 4194304 4196468 140721580314704 139643990911760 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13215] ppid=13207 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13215/stat : 13215 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310777 15371935744 18621 33554432000 4194304 4196468 140721580314704 139643989859472 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13216] ppid=13207 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13216/stat : 13216 (java) S 13207 13210 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310777 15371935744 18621 33554432000 4194304 4196468 140721580314704 139643988806672 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13217] ppid=13207 vsize=15011656 memory=139711841891968 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13217/stat : 13217 (java) S 13207 13210 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310779 15371935744 18621 33554432000 4194304 4196468 140721580314704 139643869669488 139644529777282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13218] ppid=13207 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13218/stat : 13218 (java) S 13207 13210 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53310779 15371935744 18621 33554432000 4194304 4196468 140721580314704 139643110548256 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13219] ppid=13207 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13219/stat : 13219 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310779 15371935744 18621 33554432000 4194304 4196468 140721580314704 139642875667568 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13220] ppid=13207 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13220/stat : 13220 (java) S 13207 13210 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310782 15371935744 18621 33554432000 4194304 4196468 140721580314704 139642501158992 139644529784731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13221] ppid=13207 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13221/stat : 13221 (java) S 13207 13210 2271 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 53310782 15371935744 18621 33554432000 4194304 4196468 140721580314704 139643868617328 139644529777282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13222] ppid=13207 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13222/stat : 13222 (java) S 13207 13210 2271 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 15 0 53310782 15371935744 18621 33554432000 4194304 4196468 140721580314704 139643867564528 139644529777282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13223] ppid=13207 vsize=15011656 memory=139711841891968 CPUtime=0.01 cores=1,3,5,7
/proc/13210/task/13223/stat : 13223 (java) R 13207 13210 2271 0 -1 4202560 293 0 0 0 1 0 0 0 20 0 15 0 53310782 15371935744 18621 33554432000 4194304 4196468 140721580314704 139643866512240 139644509240335 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13224] ppid=13207 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13224/stat : 13224 (java) S 13207 13210 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310782 15371935744 18621 33554432000 4194304 4196468 140721580314704 139642003254240 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13225] ppid=13207 vsize=15011656 memory=139711841891968 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13225/stat : 13225 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310782 15371935744 18621 33554432000 4194304 4196468 140721580314704 139643865459120 139644529777282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73956 KiB
[startup+0.210403 s]*
/proc/loadavg: 2.83 2.56 2.28 3/220 13225
/proc/meminfo: memFree=13809892/32770624 swapFree=67108860/67108860
[pid=13210] ppid=13207 vsize=15011656 memory=85736 CPUtime=0.26 cores=1,3,5,7
/proc/13210/stat : 13210 (java) S 13207 13210 2271 0 -1 1077944320 9873 0 0 0 23 3 0 0 20 0 15 0 53310775 15371935744 21434 33554432000 4194304 4196468 140721580314704 140721580297248 139644529766135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
/proc/13210/statm: 3752914 21434 2892 1 0 3715374 0
[pid=13210/tid=13212] ppid=13207 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/13210/task/13212/stat : 13212 (java) R 13207 13210 2271 0 -1 4202560 7743 0 0 0 18 2 0 0 20 0 15 0 53310776 15371935744 21434 33554432000 4194304 4196468 140721580314704 139644501593256 139644513846622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13213] ppid=13207 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13213/stat : 13213 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310777 15371935744 21434 33554432000 4194304 4196468 140721580314704 139644534008720 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13214] ppid=13207 vsize=15011656 memory=288370087993603712 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13214/stat : 13214 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310777 15371935744 21434 33554432000 4194304 4196468 140721580314704 139643990911760 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13215] ppid=13207 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13215/stat : 13215 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310777 15371935744 21434 33554432000 4194304 4196468 140721580314704 139643989859472 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13216] ppid=13207 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13216/stat : 13216 (java) S 13207 13210 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310777 15371935744 21434 33554432000 4194304 4196468 140721580314704 139643988806672 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13217] ppid=13207 vsize=15011656 memory=139711841891968 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13217/stat : 13217 (java) S 13207 13210 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310779 15371935744 21434 33554432000 4194304 4196468 140721580314704 139643869669488 139644529777282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13218] ppid=13207 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13218/stat : 13218 (java) S 13207 13210 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53310779 15371935744 21434 33554432000 4194304 4196468 140721580314704 139643110548256 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13219] ppid=13207 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13219/stat : 13219 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310779 15371935744 21434 33554432000 4194304 4196468 140721580314704 139642875667568 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13220] ppid=13207 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13220/stat : 13220 (java) S 13207 13210 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310782 15371935744 21434 33554432000 4194304 4196468 140721580314704 139642501158992 139644529784731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13221] ppid=13207 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13221/stat : 13221 (java) R 13207 13210 2271 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 15 0 53310782 15371935744 21434 33554432000 4194304 4196468 140721580314704 139643868617328 139644511310294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13222] ppid=13207 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13210/task/13222/stat : 13222 (java) S 13207 13210 2271 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 15 0 53310782 15371935744 21434 33554432000 4194304 4196468 140721580314704 139643867564528 139644529777282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13223] ppid=13207 vsize=15011656 memory=139711841891968 CPUtime=0.03 cores=1,3,5,7
/proc/13210/task/13223/stat : 13223 (java) R 13207 13210 2271 0 -1 1077944384 322 0 0 0 3 0 0 0 20 0 15 0 53310782 15371935744 21434 33554432000 4194304 4196468 140721580314704 139643866512240 139644529777282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13224] ppid=13207 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13224/stat : 13224 (java) S 13207 13210 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310782 15371935744 21434 33554432000 4194304 4196468 140721580314704 139642003254240 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13225] ppid=13207 vsize=15011656 memory=139711841891968 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13225/stat : 13225 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310782 15371935744 21434 33554432000 4194304 4196468 140721580314704 139643865459120 139644529777282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85736 KiB
[startup+0.310558 s]*
/proc/loadavg: 2.83 2.56 2.28 3/220 13225
/proc/meminfo: memFree=13806108/32770624 swapFree=67108860/67108860
[pid=13210] ppid=13207 vsize=15011656 memory=89628 CPUtime=0.44 cores=1,3,5,7
/proc/13210/stat : 13210 (java) S 13207 13210 2271 0 -1 1077944320 10471 0 0 0 41 3 0 0 20 0 15 0 53310775 15371935744 22407 33554432000 4194304 4196468 140721580314704 140721580297248 139644529766135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
/proc/13210/statm: 3752914 22407 2992 1 0 3715374 0
[pid=13210/tid=13212] ppid=13207 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/13210/task/13212/stat : 13212 (java) R 13207 13210 2271 0 -1 4202560 8179 0 0 0 27 2 0 0 20 0 15 0 53310776 15371935744 22407 33554432000 4194304 4196468 140721580314704 139644501594512 139644510037999 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13213] ppid=13207 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13213/stat : 13213 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310777 15371935744 22407 33554432000 4194304 4196468 140721580314704 139644534008720 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13214] ppid=13207 vsize=15011656 memory=288230376152078777 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13214/stat : 13214 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310777 15371935744 22407 33554432000 4194304 4196468 140721580314704 139643990911760 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13215] ppid=13207 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13215/stat : 13215 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310777 15371935744 22407 33554432000 4194304 4196468 140721580314704 139643989859472 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13216] ppid=13207 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13216/stat : 13216 (java) S 13207 13210 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310777 15371935744 22407 33554432000 4194304 4196468 140721580314704 139643988806672 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13217] ppid=13207 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13217/stat : 13217 (java) S 13207 13210 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310779 15371935744 22407 33554432000 4194304 4196468 140721580314704 139643869669488 139644529777282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13218] ppid=13207 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13218/stat : 13218 (java) S 13207 13210 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53310779 15371935744 22407 33554432000 4194304 4196468 140721580314704 139643110548256 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13219] ppid=13207 vsize=15011656 memory=139711841891968 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13219/stat : 13219 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310779 15371935744 22407 33554432000 4194304 4196468 140721580314704 139642875667568 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13220] ppid=13207 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13220/stat : 13220 (java) S 13207 13210 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310782 15371935744 22407 33554432000 4194304 4196468 140721580314704 139642501158992 139644529784731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13221] ppid=13207 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13210/task/13221/stat : 13221 (java) S 13207 13210 2271 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 15 0 53310782 15371935744 22407 33554432000 4194304 4196468 140721580314704 139643868617328 139644529777282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13222] ppid=13207 vsize=15011656 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/13210/task/13222/stat : 13222 (java) S 13207 13210 2271 0 -1 1077944384 533 0 0 0 3 0 0 0 20 0 15 0 53310782 15371935744 22407 33554432000 4194304 4196468 140721580314704 139643867564528 139644529777282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13223] ppid=13207 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13210/task/13223/stat : 13223 (java) S 13207 13210 2271 0 -1 1077944384 362 0 0 0 7 0 0 0 20 0 15 0 53310782 15371935744 22407 33554432000 4194304 4196468 140721580314704 139643866512240 139644529777282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13224] ppid=13207 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13224/stat : 13224 (java) S 13207 13210 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310782 15371935744 22407 33554432000 4194304 4196468 140721580314704 139642003254240 139644529776341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13225] ppid=13207 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13225/stat : 13225 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310782 15371935744 22407 33554432000 4194304 4196468 140721580314704 139643865459120 139644529777282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89628 KiB
[startup+0.700741 s]
/proc/loadavg: 2.83 2.56 2.28 3/220 13225
/proc/meminfo: memFree=13781800/32770624 swapFree=67108860/67108860
[pid=13210] ppid=13207 vsize=15020052 memory=130564 CPUtime=1.02 cores=1,3,5,7
/proc/13210/stat : 13210 (java) S 13207 13210 2271 0 -1 1077944320 17779 0 0 0 97 5 0 0 20 0 15 0 53310775 15380533248 32641 33554432000 4194304 4196468 140721580314704 140721580297248 139644529766135 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
/proc/13210/statm: 3755013 32641 3168 1 0 3716398 0
[pid=13210/tid=13212] ppid=13207 vsize=15020052 memory=796 CPUtime=0.68 cores=1,3,5,7
/proc/13210/task/13212/stat : 13212 (java) R 13207 13210 2271 0 -1 4202560 14964 0 0 0 63 5 0 0 20 0 15 0 53310776 15380533248 32641 33554432000 4194304 4196468 140721580314704 139644501601248 139644529778070 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13213] ppid=13207 vsize=15020052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13213/stat : 13213 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310777 15380533248 32641 33554432000 4194304 4196468 140721580314704 139644534008720 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13214] ppid=13207 vsize=15020052 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13214/stat : 13214 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310777 15380533248 32641 33554432000 4194304 4196468 140721580314704 139643990911760 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13215] ppid=13207 vsize=15020052 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13215/stat : 13215 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310777 15380533248 32641 33554432000 4194304 4196468 140721580314704 139643989859472 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13216] ppid=13207 vsize=15020052 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13216/stat : 13216 (java) S 13207 13210 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310777 15380533248 32641 33554432000 4194304 4196468 140721580314704 139643988806672 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13217] ppid=13207 vsize=15020052 memory=279423459043104 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13217/stat : 13217 (java) S 13207 13210 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53310779 15380533248 32641 33554432000 4194304 4196468 140721580314704 139643869669488 139644529777282 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13218] ppid=13207 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13218/stat : 13218 (java) S 13207 13210 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53310779 15380533248 32641 33554432000 4194304 4196468 140721580314704 139643110548256 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13219] ppid=13207 vsize=15020052 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13219/stat : 13219 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310779 15380533248 32641 33554432000 4194304 4196468 140721580314704 139642875667568 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13220] ppid=13207 vsize=15020052 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13220/stat : 13220 (java) S 13207 13210 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310782 15380533248 32641 33554432000 4194304 4196468 140721580314704 139642501158992 139644529784731 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13221] ppid=13207 vsize=15020052 memory=8384 CPUtime=0.07 cores=1,3,5,7
/proc/13210/task/13221/stat : 13221 (java) S 13207 13210 2271 0 -1 1077944384 198 0 0 0 7 0 0 0 20 0 15 0 53310782 15380533248 32641 33554432000 4194304 4196468 140721580314704 139643868617328 139644529777282 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13222] ppid=13207 vsize=15020052 memory=7307210974946176466 CPUtime=0.08 cores=1,3,5,7
/proc/13210/task/13222/stat : 13222 (java) S 13207 13210 2271 0 -1 1077944384 746 0 0 0 8 0 0 0 20 0 15 0 53310782 15380533248 32641 33554432000 4194304 4196468 140721580314704 139643867564528 139644529777282 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13223] ppid=13207 vsize=15020052 memory=7302135314614015847 CPUtime=0.17 cores=1,3,5,7
/proc/13210/task/13223/stat : 13223 (java) R 13207 13210 2271 0 -1 4202560 531 0 0 0 17 0 0 0 20 0 15 0 53310782 15380533248 32641 33554432000 4194304 4196468 140721580314704 139643866512240 139644529787482 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13224] ppid=13207 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13224/stat : 13224 (java) S 13207 13210 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310782 15380533248 32641 33554432000 4194304 4196468 140721580314704 139642003254240 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13225] ppid=13207 vsize=15020052 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13225/stat : 13225 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310782 15380533248 32641 33554432000 4194304 4196468 140721580314704 139643865459120 139644529777282 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130564 KiB
[startup+1.51042 s]
/proc/loadavg: 2.83 2.56 2.28 3/220 13225
/proc/meminfo: memFree=13752520/32770624 swapFree=67108860/67108860
[pid=13210] ppid=13207 vsize=15024148 memory=183932 CPUtime=2.94 cores=1,3,5,7
/proc/13210/stat : 13210 (java) S 13207 13210 2271 0 -1 1077944320 22004 0 0 0 286 8 0 0 20 0 15 0 53310775 15384727552 45983 33554432000 4194304 4196468 140721580314704 140721580297248 139644529766135 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
/proc/13210/statm: 3756037 45983 3203 1 0 3717422 0
[pid=13210/tid=13212] ppid=13207 vsize=15024148 memory=288230377108275491 CPUtime=1.48 cores=1,3,5,7
/proc/13210/task/13212/stat : 13212 (java) R 13207 13210 2271 0 -1 4202560 16314 0 0 0 142 6 0 0 20 0 15 0 53310776 15384727552 45983 33554432000 4194304 4196468 140721580314704 139644501600016 139644529788061 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13213] ppid=13207 vsize=15024148 memory=288293289789228285 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13213/stat : 13213 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310777 15384727552 45983 33554432000 4194304 4196468 140721580314704 139644534008720 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13214] ppid=13207 vsize=15024148 memory=288285580272600099 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13214/stat : 13214 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310777 15384727552 45983 33554432000 4194304 4196468 140721580314704 139643990911760 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13215] ppid=13207 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13215/stat : 13215 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310777 15384727552 45983 33554432000 4194304 4196468 140721580314704 139643989859472 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13216] ppid=13207 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13216/stat : 13216 (java) S 13207 13210 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53310777 15384727552 45983 33554432000 4194304 4196468 140721580314704 139643988806672 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13217] ppid=13207 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13217/stat : 13217 (java) S 13207 13210 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53310779 15384727552 45983 33554432000 4194304 4196468 140721580314704 139643869669488 139644529777282 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13218] ppid=13207 vsize=15024148 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13218/stat : 13218 (java) S 13207 13210 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53310779 15384727552 45983 33554432000 4194304 4196468 140721580314704 139643110548256 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13219] ppid=13207 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13219/stat : 13219 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310779 15384727552 45983 33554432000 4194304 4196468 140721580314704 139642875667568 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13220] ppid=13207 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13220/stat : 13220 (java) S 13207 13210 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310782 15384727552 45983 33554432000 4194304 4196468 140721580314704 139642501158992 139644529784731 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13221] ppid=13207 vsize=15024148 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/13210/task/13221/stat : 13221 (java) R 13207 13210 2271 0 -1 4202560 814 0 0 0 38 0 0 0 20 0 15 0 53310782 15384727552 45983 33554432000 4194304 4196468 140721580314704 139643868598344 139644513252176 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13222] ppid=13207 vsize=15024148 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/13210/task/13222/stat : 13222 (java) R 13207 13210 2271 0 -1 4202560 937 0 0 0 36 0 0 0 20 0 15 0 53310782 15384727552 45983 33554432000 4194304 4196468 140721580314704 139643867564528 139644509459227 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13223] ppid=13207 vsize=15024148 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/13210/task/13223/stat : 13223 (java) R 13207 13210 2271 0 -1 4202560 2600 0 0 0 68 1 0 0 20 0 15 0 53310782 15384727552 46008 33554432000 4194304 4196468 140721580314704 139643866512240 139644522483098 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13224] ppid=13207 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13224/stat : 13224 (java) S 13207 13210 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53310782 15384727552 46008 33554432000 4194304 4196468 140721580314704 139642003254240 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13225] ppid=13207 vsize=15024148 memory=279423459048512 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13225/stat : 13225 (java) S 13207 13210 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53310782 15384727552 46008 33554432000 4194304 4196468 140721580314704 139643865459120 139644529777282 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 183932 KiB
[startup+1.6538 s]
# the end of solver process 13210 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.23568 s, system=0.106907 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60146 s]
/proc/loadavg: 2.83 2.56 2.28 3/220 13225
/proc/meminfo: memFree=13752520/32770624 swapFree=67108860/67108860
[pid=13210] ppid=13207 vsize=15354176 memory=199936 CPUtime=3.25 cores=1,3,5,7
/proc/13210/stat : 13210 (java) S 13207 13210 2271 0 -1 1077944320 22978 467 0 0 316 9 0 0 20 0 16 0 53310775 15722676224 49984 33554432000 4194304 4196468 140721580314704 140721580297248 139644529766135 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
/proc/13210/statm: 3838544 49984 3219 1 0 3799400 0
[pid=13210/tid=13212] ppid=13207 vsize=15354176 memory=6944656575208382560 CPUtime=1.56 cores=1,3,5,7
/proc/13210/task/13212/stat : 13212 (java) R 13207 13210 2271 0 -1 4202560 16660 467 0 0 150 6 0 0 20 0 16 0 53310776 15722676224 49984 33554432000 4194304 4196468 140721580314704 139644501603056 139644529788061 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13213] ppid=13207 vsize=15354176 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13213/stat : 13213 (java) S 13207 13210 2271 0 -1 1077944384 1 467 0 0 0 0 0 0 20 0 16 0 53310777 15722676224 49984 33554432000 4194304 4196468 140721580314704 139644534008720 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13214] ppid=13207 vsize=15354176 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13214/stat : 13214 (java) S 13207 13210 2271 0 -1 1077944384 1 467 0 0 0 0 0 0 20 0 16 0 53310777 15722676224 49984 33554432000 4194304 4196468 140721580314704 139643990911760 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13215] ppid=13207 vsize=15354176 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13215/stat : 13215 (java) S 13207 13210 2271 0 -1 1077944384 1 467 0 0 0 0 0 0 20 0 16 0 53310777 15722676224 49984 33554432000 4194304 4196468 140721580314704 139643989859472 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13216] ppid=13207 vsize=15354176 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13216/stat : 13216 (java) S 13207 13210 2271 0 -1 1077944384 2 467 0 0 0 0 0 0 20 0 16 0 53310777 15722676224 49984 33554432000 4194304 4196468 140721580314704 139643988806672 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13217] ppid=13207 vsize=15354176 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13217/stat : 13217 (java) S 13207 13210 2271 0 -1 1077944384 5 467 0 0 0 0 0 0 20 0 16 0 53310779 15722676224 49984 33554432000 4194304 4196468 140721580314704 139643869669488 139644529777282 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13218] ppid=13207 vsize=15354176 memory=-8826033242812282048 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13218/stat : 13218 (java) S 13207 13210 2271 0 -1 1077944384 13 467 0 0 0 0 0 0 20 0 16 0 53310779 15722676224 49984 33554432000 4194304 4196468 140721580314704 139643110548256 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13219] ppid=13207 vsize=15354176 memory=4715410141804852778 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13219/stat : 13219 (java) S 13207 13210 2271 0 -1 1077944384 1 467 0 0 0 0 0 0 20 0 16 0 53310779 15722676224 49984 33554432000 4194304 4196468 140721580314704 139642875667568 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13220] ppid=13207 vsize=15354176 memory=-8124364409528160384 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13220/stat : 13220 (java) S 13207 13210 2271 0 -1 1077944384 3 467 0 0 0 0 0 0 20 0 16 0 53310782 15722676224 49984 33554432000 4194304 4196468 140721580314704 139642501158992 139644529784731 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13221] ppid=13207 vsize=15354176 memory=-8253362762723522712 CPUtime=0.47 cores=1,3,5,7
/proc/13210/task/13221/stat : 13221 (java) R 13207 13210 2271 0 -1 4202560 1198 467 0 0 47 0 0 0 20 0 16 0 53310782 15722676224 49984 33554432000 4194304 4196468 140721580314704 139643868603352 139644511310366 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13222] ppid=13207 vsize=15354176 memory=-8393969153561425088 CPUtime=0.42 cores=1,3,5,7
/proc/13210/task/13222/stat : 13222 (java) S 13207 13210 2271 0 -1 1077944384 981 467 0 0 42 0 0 0 20 0 16 0 53310782 15722676224 49984 33554432000 4194304 4196468 140721580314704 139643867564528 139644529777282 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13223] ppid=13207 vsize=15354176 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/13210/task/13223/stat : 13223 (java) S 13207 13210 2271 0 -1 1077944384 2727 467 0 0 74 1 0 0 20 0 16 0 53310782 15722676224 49984 33554432000 4194304 4196468 140721580314704 139643866512240 139644529777282 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13224] ppid=13207 vsize=15354176 memory=196478312242176 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13224/stat : 13224 (java) S 13207 13210 2271 0 -1 1077944384 3 467 0 0 0 0 0 0 20 0 16 0 53310782 15722676224 49984 33554432000 4194304 4196468 140721580314704 139642003254240 139644529776341 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
[pid=13210/tid=13225] ppid=13207 vsize=15354176 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13210/task/13225/stat : 13225 (java) S 13207 13210 2271 0 -1 1077944384 1 467 0 0 0 0 0 0 20 0 16 0 53310782 15722676224 49984 33554432000 4194304 4196468 140721580314704 139643865459120 139644529777282 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140721580319731 140721580320009 140721580320009 140721580322767 0
Current children cumulated CPU time: 3.25 s
Current children cumulated vsize: 15354176 KiB
Current children cumulated memory: 199936 KiB
Child status: 0
Real time (s): 1.65386
CPU time (s): 3.34258
CPU user time (s): 3.23568
CPU system time (s): 0.106907
CPU usage (%): 202.108
Max. virtual memory (cumulated for all children) (KiB): 15354176
Max. memory (cumulated for all children) (KiB): 199936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.23568
system time used= 0.106907
maximum resident set size= 209736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24292
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= 3494
involuntary context switches= 24
# summary of solver processes directly reported to runsolver:
# pid: 13210
# total CPU time (s): 3.34258
# total CPU user time (s): 3.23568
# total CPU system time (s): 0.106907
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037873 second user time and 0.055122 second system time
The end