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:06:43 CEST 2018
0.67/0.55 c PID: 19386
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.19/0.87 c (0,0) Parsing End
1.19/0.87 c (0,0) CSP: 0 int (0 aux), 72 bool (0 aux), 48 ctr, max domain size 2
1.19/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.87 c (0,0) Constraint Name Generate Begin
1.19/0.88 c (0,0) Ctr:HOME/instance-4294666-1532362002.xml,ExtensionSupport:IntVar
1.19/0.88 c (0,0) Constraint Name Generate End
1.19/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.88 c (0,0) CSP to CSPinCNF Begin
1.73/1.12 c (0,0) translated 5 (10%) constraints
1.73/1.17 c (0,0) translated 10 (20%) constraints
1.98/1.22 c (0,0) translated 15 (30%) constraints
1.98/1.26 c (0,0) translated 20 (40%) constraints
1.98/1.28 c (0,0) translated 24 (50%) constraints
2.26/1.31 c (0,0) translated 29 (60%) constraints
2.26/1.33 c (0,0) translated 34 (70%) constraints
2.26/1.35 c (0,0) translated 39 (80%) constraints
2.26/1.38 c (0,0) translated 44 (90%) constraints
2.26/1.38 c (0,0) translated 48 (100%) constraints
2.56/1.42 c (0,0) STATISTICS1:HOME/instance-4294666-1532362002.xml,ExtensionSupport:IntVar,264,912,-1,2,3,1,,2:2400,3:624;2:288,1:2400;0:48,
2.56/1.42 c (0,0) ===========================================
2.56/1.42 c (0,0) Both Encoding selects:
2.56/1.42 c (0,0) Order
2.56/1.42 c (0,0) ===========================================
2.56/1.44 c (0,0) translated 92 (10%) constraints
2.56/1.44 c (0,0) translated 183 (20%) constraints
2.56/1.45 c (0,0) translated 274 (30%) constraints
2.56/1.46 c (0,0) translated 365 (40%) constraints
2.56/1.46 c (0,0) translated 456 (50%) constraints
2.56/1.47 c (0,0) translated 548 (60%) constraints
2.56/1.47 c (0,0) translated 639 (70%) constraints
2.56/1.48 c (0,0) translated 730 (80%) constraints
2.56/1.48 c (0,0) translated 821 (90%) constraints
2.56/1.49 c (0,0) translated 912 (100%) constraints
2.56/1.49 c (0,0) CSP to CSPinCNF End
2.56/1.49 c (0,0) CSP: 0 int (0 aux), 264 bool (192 aux), 912 ctr, max domain size 2
2.56/1.49 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.56/1.49 c (0,0) CSPinCNF Propagation Begin
2.86/1.53 c (1,0) 0 values, 48 unsatisfiable literals, and 0 valid clauses are removed
2.86/1.53 c (1,0) CSPinCNF Propagation End
2.86/1.54 c (1,0) CSP: 0 int (0 aux), 264 bool (192 aux), 912 ctr, max domain size 2
2.86/1.54 c (1,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.86/1.54 c (1,0) Simplify CSPinCNF Begin
2.86/1.55 c (1,1) Simplify CSPinCNF End
2.86/1.55 c (1,1) CSP: 0 int (0 aux), 264 bool (192 aux), 912 ctr, max domain size 2
2.86/1.55 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.86/1.55 c (1,1) Calculate Precise Domain Begin
2.86/1.55 c (1,1) 0 values are removed by re-calculation
2.86/1.55 c (1,1) Calculate Precise Domain End
2.86/1.55 c (1,1) CSP: 0 int (0 aux), 264 bool (192 aux), 912 ctr, max domain size 2
2.86/1.55 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.86/1.55 c (1,1) CSPinCNF to SatSolver Begin
2.86/1.57 c (1,1) 92 (10 %) CSP clauses are encoded (264 SAT variables, 91 SAT clauses)
2.86/1.58 c (1,1) 183 (20 %) CSP clauses are encoded (264 SAT variables, 182 SAT clauses)
2.86/1.58 c (1,1) 274 (30 %) CSP clauses are encoded (264 SAT variables, 273 SAT clauses)
2.86/1.59 c (1,1) 365 (40 %) CSP clauses are encoded (264 SAT variables, 364 SAT clauses)
2.86/1.59 c (1,1) 456 (50 %) CSP clauses are encoded (264 SAT variables, 455 SAT clauses)
2.86/1.60 c (1,1) 548 (60 %) CSP clauses are encoded (264 SAT variables, 547 SAT clauses)
3.22/1.61 c (1,1) 639 (70 %) CSP clauses are encoded (264 SAT variables, 638 SAT clauses)
3.22/1.61 c (1,1) 730 (80 %) CSP clauses are encoded (264 SAT variables, 729 SAT clauses)
3.22/1.61 c (1,1) 821 (90 %) CSP clauses are encoded (264 SAT variables, 820 SAT clauses)
3.22/1.61 c (1,1) 912 (100 %) CSP clauses are encoded (264 SAT variables, 911 SAT clauses)
3.22/1.61 c (1,1) CSPinCNF to SatSolver End
3.22/1.61 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.22/1.62 c (1,1) STATISTICS2:HOME/instance-4294666-1532362002.xml,ExtensionSupport:IntVar,264,912,-1,2,3,1,,2:2400,3:576;2:336,1:2400,
3.22/1.62 c (1,1) SatSolver.solve Begin
3.22/1.62 c (1,1) 264 bool, 912 clause
3.22/1.62 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-4294666-1532362002.xml-scop-19386.cnf HOME/instance-4294666-1532362002.xml-scop-19386.cnf.out
3.22/1.65 c (1,0) c This is COMiniSatPS.
3.22/1.65 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
3.22/1.65 c (1,0) c ============================[ Problem Statistics ]=============================
3.22/1.65 c (1,0) c | |
3.22/1.65 c (1,0) c | Number of variables: 264 |
3.22/1.65 c (1,0) c | Number of clauses: 912 |
3.22/1.65 c (1,0) c | Parse time: 0.00 s |
3.22/1.65 c (1,0) c | Eliminated clauses: 0.01 Mb |
3.22/1.65 c (1,0) c | Simplification time: 0.00 s |
3.22/1.65 c (1,0) c | |
3.22/1.65 c (1,0) c ===============================================================================
3.22/1.65 c (1,0) c Solved by simplification
3.22/1.65 c (1,0) c restarts : 0
3.22/1.65 c (1,0) c conflicts : 0 (0 /sec)
3.22/1.65 c (1,0) c decisions : 0 (-nan % random) (0 /sec)
3.22/1.65 c (1,0) c propagations : 0 (0 /sec)
3.22/1.65 c (1,0) c conflict literals : 0 (-nan % deleted)
3.22/1.65 c (1,0) c CPU time : 0.003068 s
3.22/1.65 c (1,0)
3.22/1.65 c (1,0) s UNSATISFIABLE
3.22/1.68 c (1,1) SatSolver.solve End
3.22/1.68 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.22/1.68 c (1,1) Show results Begin
3.22/1.68 s UNSATISFIABLE
3.22/1.68 c (1,1) Show results End
3.22/1.68 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.22/1.68 c (1,1) 0,0,0,1,1,1,1,1,1,STOP-AFTER(ALL)
3.22/1.68 c END-Prog: Mon Jul 23 18:06:44 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 (5802 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-4294666-1532362002/watcher-4294666-1532362002 -o /tmp/evaluation-result-4294666-1532362002/solver-4294666-1532362002 -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-4294666-1532362002.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19386, runsolver pid=19383
[startup+0.100095 s]*
/proc/loadavg: 2.55 2.37 2.18 3/220 19401
/proc/meminfo: memFree=14176316/32770624 swapFree=67108860/67108860
[pid=19386] ppid=19383 vsize=15011656 memory=72564 CPUtime=0.11 cores=0,2,4,6
/proc/19386/stat : 19386 (java) S 19383 19386 8919 0 -1 1077944320 6798 0 0 0 9 2 0 0 20 0 15 0 53763370 15371935744 18141 33554432000 4194304 4196468 140725261376752 140725261359296 140702243778295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
/proc/19386/statm: 3752914 18141 2781 1 0 3715374 0
[pid=19386/tid=19388] ppid=19383 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=0,2,4,6
/proc/19386/task/19388/stat : 19388 (java) R 19383 19386 8919 0 -1 4202560 5044 0 0 0 8 1 0 0 20 0 15 0 53763370 15371935744 18273 33554432000 4194304 4196468 140725261376752 140702215573456 140702224054123 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19389] ppid=19383 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19389/stat : 19389 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15371935744 18273 33554432000 4194304 4196468 140725261376752 140702248020880 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19390] ppid=19383 vsize=15011656 memory=139823928645248 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19390/stat : 19390 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15371935744 18273 33554432000 4194304 4196468 140725261376752 140702062177040 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19391] ppid=19383 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19391/stat : 19391 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15371935744 18273 33554432000 4194304 4196468 140725261376752 140702061124752 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19392] ppid=19383 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19392/stat : 19392 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763372 15371935744 18273 33554432000 4194304 4196468 140725261376752 140702060071952 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19393] ppid=19383 vsize=15011656 memory=139823928645248 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19393/stat : 19393 (java) S 19383 19386 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763373 15371935744 18273 33554432000 4194304 4196468 140725261376752 140701583001712 140702243789442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19394] ppid=19383 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19394/stat : 19394 (java) S 19383 19386 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53763374 15371935744 18273 33554432000 4194304 4196468 140725261376752 140700846908192 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19395] ppid=19383 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19395/stat : 19395 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763374 15371935744 18339 33554432000 4194304 4196468 140725261376752 140700578473072 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19396] ppid=19383 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19396/stat : 19396 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763376 15371935744 18339 33554432000 4194304 4196468 140725261376752 140700203964496 140702243796891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19397] ppid=19383 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19397/stat : 19397 (java) S 19383 19386 8919 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 53763376 15371935744 18339 33554432000 4194304 4196468 140725261376752 140701581949552 140702243789442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19398] ppid=19383 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19398/stat : 19398 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763376 15371935744 18339 33554432000 4194304 4196468 140725261376752 140701580896752 140702243789442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19399] ppid=19383 vsize=15011656 memory=139823928645248 CPUtime=0.01 cores=0,2,4,6
/proc/19386/task/19399/stat : 19399 (java) S 19383 19386 8919 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 53763376 15371935744 18339 33554432000 4194304 4196468 140725261376752 140701579844464 140702243789442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19400] ppid=19383 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19400/stat : 19400 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763377 15371935744 18339 33554432000 4194304 4196468 140725261376752 140699706059744 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19401] ppid=19383 vsize=15011656 memory=139823928645248 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19401/stat : 19401 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763377 15371935744 18339 33554432000 4194304 4196468 140725261376752 140701578791344 140702243789442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72564 KiB
[startup+0.210332 s]*
/proc/loadavg: 2.55 2.37 2.18 3/220 19401
/proc/meminfo: memFree=14162488/32770624 swapFree=67108860/67108860
[pid=19386] ppid=19383 vsize=15011656 memory=85632 CPUtime=0.26 cores=0,2,4,6
/proc/19386/stat : 19386 (java) S 19383 19386 8919 0 -1 1077944320 10363 0 0 0 23 3 0 0 20 0 15 0 53763370 15371935744 21408 33554432000 4194304 4196468 140725261376752 140725261359296 140702243778295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
/proc/19386/statm: 3752914 21408 2884 1 0 3715374 0
[pid=19386/tid=19388] ppid=19383 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/19386/task/19388/stat : 19388 (java) R 19383 19386 8919 0 -1 4202560 8267 0 0 0 18 2 0 0 20 0 15 0 53763370 15371935744 21408 33554432000 4194304 4196468 140725261376752 140702215568960 140702243790230 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19389] ppid=19383 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19389/stat : 19389 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15371935744 21408 33554432000 4194304 4196468 140725261376752 140702248020880 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19390] ppid=19383 vsize=15011656 memory=4051468774398564000 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19390/stat : 19390 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15371935744 21408 33554432000 4194304 4196468 140725261376752 140702062177040 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19391] ppid=19383 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19391/stat : 19391 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15371935744 21408 33554432000 4194304 4196468 140725261376752 140702061124752 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19392] ppid=19383 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19392/stat : 19392 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763372 15371935744 21408 33554432000 4194304 4196468 140725261376752 140702060071952 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19393] ppid=19383 vsize=15011656 memory=139823928645248 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19393/stat : 19393 (java) S 19383 19386 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763373 15371935744 21408 33554432000 4194304 4196468 140725261376752 140701583001712 140702243789442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19394] ppid=19383 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19394/stat : 19394 (java) S 19383 19386 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53763374 15371935744 21408 33554432000 4194304 4196468 140725261376752 140700846908192 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19395] ppid=19383 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19395/stat : 19395 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763374 15371935744 21408 33554432000 4194304 4196468 140725261376752 140700578473072 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19396] ppid=19383 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19396/stat : 19396 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763376 15371935744 21408 33554432000 4194304 4196468 140725261376752 140700203964496 140702243796891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19397] ppid=19383 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19397/stat : 19397 (java) S 19383 19386 8919 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 53763376 15371935744 21408 33554432000 4194304 4196468 140725261376752 140701581949552 140702243789442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19398] ppid=19383 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19398/stat : 19398 (java) S 19383 19386 8919 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 53763376 15371935744 21408 33554432000 4194304 4196468 140725261376752 140701580896752 140702243789442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19399] ppid=19383 vsize=15011656 memory=139823928645248 CPUtime=0.03 cores=0,2,4,6
/proc/19386/task/19399/stat : 19399 (java) S 19383 19386 8919 0 -1 1077944384 288 0 0 0 3 0 0 0 20 0 15 0 53763376 15371935744 21408 33554432000 4194304 4196468 140725261376752 140701579844464 140702243789442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19400] ppid=19383 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19400/stat : 19400 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763377 15371935744 21408 33554432000 4194304 4196468 140725261376752 140699706059744 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19401] ppid=19383 vsize=15011656 memory=139823928645248 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19401/stat : 19401 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763377 15371935744 21408 33554432000 4194304 4196468 140725261376752 140701578791344 140702243789442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85632 KiB
[startup+0.310474 s]*
/proc/loadavg: 2.55 2.37 2.18 3/220 19401
/proc/meminfo: memFree=14158828/32770624 swapFree=67108860/67108860
[pid=19386] ppid=19383 vsize=15011656 memory=89708 CPUtime=0.43 cores=0,2,4,6
/proc/19386/stat : 19386 (java) S 19383 19386 8919 0 -1 1077944320 10973 0 0 0 40 3 0 0 20 0 15 0 53763370 15371935744 22427 33554432000 4194304 4196468 140725261376752 140725261359296 140702243778295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
/proc/19386/statm: 3752914 22427 2987 1 0 3715374 0
[pid=19386/tid=19388] ppid=19383 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/19386/task/19388/stat : 19388 (java) R 19383 19386 8919 0 -1 4202560 8691 0 0 0 27 2 0 0 20 0 15 0 53763370 15371935744 22427 33554432000 4194304 4196468 140725261376752 140702215582448 140702227858782 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19389] ppid=19383 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19389/stat : 19389 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15371935744 22427 33554432000 4194304 4196468 140725261376752 140702248020880 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19390] ppid=19383 vsize=15011656 memory=3906790636369286816 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19390/stat : 19390 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15371935744 22427 33554432000 4194304 4196468 140725261376752 140702062177040 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19391] ppid=19383 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19391/stat : 19391 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15371935744 22427 33554432000 4194304 4196468 140725261376752 140702061124752 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19392] ppid=19383 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19392/stat : 19392 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763372 15371935744 22427 33554432000 4194304 4196468 140725261376752 140702060071952 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19393] ppid=19383 vsize=15011656 memory=139823928645248 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19393/stat : 19393 (java) S 19383 19386 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763373 15371935744 22427 33554432000 4194304 4196468 140725261376752 140701583001712 140702243789442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19394] ppid=19383 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19394/stat : 19394 (java) S 19383 19386 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53763374 15371935744 22427 33554432000 4194304 4196468 140725261376752 140700846908192 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19395] ppid=19383 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19395/stat : 19395 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763374 15371935744 22427 33554432000 4194304 4196468 140725261376752 140700578473072 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19396] ppid=19383 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19396/stat : 19396 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763376 15371935744 22427 33554432000 4194304 4196468 140725261376752 140700203964496 140702243796891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19397] ppid=19383 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19386/task/19397/stat : 19397 (java) R 19383 19386 8919 0 -1 4202560 520 0 0 0 2 0 0 0 20 0 15 0 53763376 15371935744 22427 33554432000 4194304 4196468 140725261376752 140701581949552 140702227309823 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19398] ppid=19383 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/19386/task/19398/stat : 19398 (java) S 19383 19386 8919 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 53763376 15371935744 22427 33554432000 4194304 4196468 140725261376752 140701580896752 140702243789442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19399] ppid=19383 vsize=15011656 memory=139823928645248 CPUtime=0.07 cores=0,2,4,6
/proc/19386/task/19399/stat : 19399 (java) S 19383 19386 8919 0 -1 1077944384 332 0 0 0 7 0 0 0 20 0 15 0 53763376 15371935744 22427 33554432000 4194304 4196468 140725261376752 140701579844464 140702243789442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19400] ppid=19383 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19400/stat : 19400 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763377 15371935744 22427 33554432000 4194304 4196468 140725261376752 140699706059744 140702243788501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19401] ppid=19383 vsize=15011656 memory=139823928645248 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19401/stat : 19401 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763377 15371935744 22427 33554432000 4194304 4196468 140725261376752 140701578791344 140702243789442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89708 KiB
[startup+0.700742 s]
/proc/loadavg: 2.55 2.37 2.18 4/220 19401
/proc/meminfo: memFree=14134644/32770624 swapFree=67108860/67108860
[pid=19386] ppid=19383 vsize=15020052 memory=129796 CPUtime=0.98 cores=0,2,4,6
/proc/19386/stat : 19386 (java) S 19383 19386 8919 0 -1 1077944320 18183 0 0 0 92 6 0 0 20 0 15 0 53763370 15380533248 32449 33554432000 4194304 4196468 140725261376752 140725261359296 140702243778295 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
/proc/19386/statm: 3755013 32449 3172 1 0 3716398 0
[pid=19386/tid=19388] ppid=19383 vsize=15020052 memory=223116101967648 CPUtime=0.67 cores=0,2,4,6
/proc/19386/task/19388/stat : 19388 (java) R 19383 19386 8919 0 -1 4202560 15443 0 0 0 63 4 0 0 20 0 15 0 53763370 15380533248 32449 33554432000 4194304 4196468 140725261376752 140702215615632 140702227821925 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19389] ppid=19383 vsize=15020052 memory=298567 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19389/stat : 19389 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15380533248 32449 33554432000 4194304 4196468 140725261376752 140702248020880 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19390] ppid=19383 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19390/stat : 19390 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15380533248 32449 33554432000 4194304 4196468 140725261376752 140702062177040 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19391] ppid=19383 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19391/stat : 19391 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15380533248 32449 33554432000 4194304 4196468 140725261376752 140702061124752 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19392] ppid=19383 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19392/stat : 19392 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763372 15380533248 32449 33554432000 4194304 4196468 140725261376752 140702060071952 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19393] ppid=19383 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19393/stat : 19393 (java) S 19383 19386 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53763373 15380533248 32449 33554432000 4194304 4196468 140725261376752 140701583001712 140702243789442 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19394] ppid=19383 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19394/stat : 19394 (java) S 19383 19386 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53763374 15380533248 32449 33554432000 4194304 4196468 140725261376752 140700846908192 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19395] ppid=19383 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19395/stat : 19395 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763374 15380533248 32449 33554432000 4194304 4196468 140725261376752 140700578473072 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19396] ppid=19383 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19396/stat : 19396 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763376 15380533248 32449 33554432000 4194304 4196468 140725261376752 140700203964496 140702243796891 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19397] ppid=19383 vsize=15020052 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/19386/task/19397/stat : 19397 (java) R 19383 19386 8919 0 -1 4202560 612 0 0 0 6 0 0 0 20 0 15 0 53763376 15380533248 32449 33554432000 4194304 4196468 140725261376752 140701581949552 140702225299671 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19398] ppid=19383 vsize=15020052 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19386/task/19398/stat : 19398 (java) S 19383 19386 8919 0 -1 1077944384 331 0 0 0 7 0 0 0 20 0 15 0 53763376 15380533248 32449 33554432000 4194304 4196468 140725261376752 140701580896752 140702243789442 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19399] ppid=19383 vsize=15020052 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/19386/task/19399/stat : 19399 (java) S 19383 19386 8919 0 -1 1077944384 456 0 0 0 15 0 0 0 20 0 15 0 53763376 15380533248 32449 33554432000 4194304 4196468 140725261376752 140701579844464 140702243789442 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19400] ppid=19383 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19400/stat : 19400 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763377 15380533248 32449 33554432000 4194304 4196468 140725261376752 140699706059744 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19401] ppid=19383 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19401/stat : 19401 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763377 15380533248 32449 33554432000 4194304 4196468 140725261376752 140701578791344 140702243789442 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129796 KiB
[startup+1.50137 s]
/proc/loadavg: 2.55 2.37 2.18 4/220 19401
/proc/meminfo: memFree=14104168/32770624 swapFree=67108860/67108860
[pid=19386] ppid=19383 vsize=15024148 memory=176632 CPUtime=2.86 cores=0,2,4,6
/proc/19386/stat : 19386 (java) S 19383 19386 8919 0 -1 1077944320 22182 0 0 0 278 8 0 0 20 0 15 0 53763370 15384727552 44158 33554432000 4194304 4196468 140725261376752 140725261359296 140702243778295 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
/proc/19386/statm: 3756037 44158 3199 1 0 3717422 0
[pid=19386/tid=19388] ppid=19383 vsize=15024148 memory=5794836780235445864 CPUtime=1.46 cores=0,2,4,6
/proc/19386/task/19388/stat : 19388 (java) R 19383 19386 8919 0 -1 4202560 16717 0 0 0 141 5 0 0 20 0 15 0 53763370 15384727552 44158 33554432000 4194304 4196468 140725261376752 140702215615632 140701736185490 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19389] ppid=19383 vsize=15024148 memory=6298673690012636776 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19389/stat : 19389 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15384727552 44158 33554432000 4194304 4196468 140725261376752 140702248020880 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19390] ppid=19383 vsize=15024148 memory=7589521214547780199 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19390/stat : 19390 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15384727552 44158 33554432000 4194304 4196468 140725261376752 140702062177040 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19391] ppid=19383 vsize=15024148 memory=7234865037303964246 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19391/stat : 19391 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15384727552 44158 33554432000 4194304 4196468 140725261376752 140702061124752 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19392] ppid=19383 vsize=15024148 memory=4638778415512636752 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19392/stat : 19392 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763372 15384727552 44158 33554432000 4194304 4196468 140725261376752 140702060071952 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19393] ppid=19383 vsize=15024148 memory=7162811832823407190 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19393/stat : 19393 (java) S 19383 19386 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53763373 15384727552 44158 33554432000 4194304 4196468 140725261376752 140701583001712 140702243789442 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19394] ppid=19383 vsize=15024148 memory=4122823586085691734 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19394/stat : 19394 (java) S 19383 19386 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53763374 15384727552 44158 33554432000 4194304 4196468 140725261376752 140700846908192 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19395] ppid=19383 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19395/stat : 19395 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763374 15384727552 44158 33554432000 4194304 4196468 140725261376752 140700578473072 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19396] ppid=19383 vsize=15024148 memory=279647602344176 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19396/stat : 19396 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763376 15384727552 44158 33554432000 4194304 4196468 140725261376752 140700203964496 140702243796891 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19397] ppid=19383 vsize=15024148 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/19386/task/19397/stat : 19397 (java) R 19383 19386 8919 0 -1 4202560 877 0 0 0 33 0 0 0 20 0 15 0 53763376 15384727552 44158 33554432000 4194304 4196468 140725261376752 140701581930568 140702227277164 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19398] ppid=19383 vsize=15024148 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/19386/task/19398/stat : 19398 (java) R 19383 19386 8919 0 -1 4202560 672 0 0 0 36 0 0 0 20 0 15 0 53763376 15384727552 44158 33554432000 4194304 4196468 140725261376752 140701580879984 140702228683769 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19399] ppid=19383 vsize=15024148 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/19386/task/19399/stat : 19399 (java) R 19383 19386 8919 0 -1 4202560 2574 0 0 0 66 1 0 0 20 0 15 0 53763376 15384727552 44158 33554432000 4194304 4196468 140725261376752 140701579844464 140702243799642 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19400] ppid=19383 vsize=15024148 memory=13773960120851 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19400/stat : 19400 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763377 15384727552 44158 33554432000 4194304 4196468 140725261376752 140699706059744 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19401] ppid=19383 vsize=15024148 memory=1 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19401/stat : 19401 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763377 15384727552 44158 33554432000 4194304 4196468 140725261376752 140701578791344 140702243789442 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 176632 KiB
[startup+1.71039 s]
# the end of solver process 19386 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.3978 s, system=0.102928 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60137 s]
/proc/loadavg: 2.55 2.37 2.18 4/220 19401
/proc/meminfo: memFree=14104168/32770624 swapFree=67108860/67108860
[pid=19386] ppid=19383 vsize=15026264 memory=186176 CPUtime=3.22 cores=0,2,4,6
/proc/19386/stat : 19386 (java) S 19383 19386 8919 0 -1 1077944320 23051 0 0 0 313 9 0 0 20 0 15 0 53763370 15386894336 46544 33554432000 4194304 4196468 140725261376752 140725261359296 140702243778295 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
/proc/19386/statm: 3756566 46544 3211 1 0 3717422 0
[pid=19386/tid=19388] ppid=19383 vsize=15026264 memory=0 CPUtime=1.57 cores=0,2,4,6
/proc/19386/task/19388/stat : 19388 (java) R 19383 19386 8919 0 -1 4202560 16937 0 0 0 151 6 0 0 20 0 15 0 53763370 15386894336 46544 33554432000 4194304 4196468 140725261376752 140702215608976 140701736258256 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19389] ppid=19383 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19389/stat : 19389 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15386894336 46544 33554432000 4194304 4196468 140725261376752 140702248020880 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19390] ppid=19383 vsize=15026264 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19390/stat : 19390 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15386894336 46544 33554432000 4194304 4196468 140725261376752 140702062177040 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19391] ppid=19383 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19391/stat : 19391 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763372 15386894336 46544 33554432000 4194304 4196468 140725261376752 140702061124752 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19392] ppid=19383 vsize=15026264 memory=12081 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19392/stat : 19392 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763372 15386894336 46544 33554432000 4194304 4196468 140725261376752 140702060071952 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19393] ppid=19383 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19393/stat : 19393 (java) S 19383 19386 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53763373 15386894336 46544 33554432000 4194304 4196468 140725261376752 140701583001712 140702243789442 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19394] ppid=19383 vsize=15026264 memory=-2023959437020729679 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19394/stat : 19394 (java) S 19383 19386 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53763374 15386894336 46544 33554432000 4194304 4196468 140725261376752 140700846908192 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19395] ppid=19383 vsize=15026264 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19395/stat : 19395 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763374 15386894336 46544 33554432000 4194304 4196468 140725261376752 140700578473072 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19396] ppid=19383 vsize=15026264 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19396/stat : 19396 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763376 15386894336 46544 33554432000 4194304 4196468 140725261376752 140700203964496 140702243796891 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19397] ppid=19383 vsize=15026264 memory=6656426216303648864 CPUtime=0.41 cores=0,2,4,6
/proc/19386/task/19397/stat : 19397 (java) R 19383 19386 8919 0 -1 4202560 1045 0 0 0 41 0 0 0 20 0 15 0 53763376 15386894336 46544 33554432000 4194304 4196468 140725261376752 140701581936016 140702225322880 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19398] ppid=19383 vsize=15026264 memory=-3195349257566499689 CPUtime=0.46 cores=0,2,4,6
/proc/19386/task/19398/stat : 19398 (java) R 19383 19386 8919 0 -1 4202560 1045 0 0 0 46 0 0 0 20 0 15 0 53763376 15386894336 46544 33554432000 4194304 4196468 140725261376752 140701580877768 140702243799642 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19399] ppid=19383 vsize=15026264 memory=279647602486848 CPUtime=0.74 cores=0,2,4,6
/proc/19386/task/19399/stat : 19399 (java) R 19383 19386 8919 0 -1 4202560 2715 0 0 0 73 1 0 0 20 0 15 0 53763376 15386894336 46544 33554432000 4194304 4196468 140725261376752 140701579844464 140702243799642 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19400] ppid=19383 vsize=15026264 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19400/stat : 19400 (java) S 19383 19386 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763377 15386894336 46544 33554432000 4194304 4196468 140725261376752 140699706059744 140702243788501 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
[pid=19386/tid=19401] ppid=19383 vsize=15026264 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/19386/task/19401/stat : 19401 (java) S 19383 19386 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763377 15386894336 46544 33554432000 4194304 4196468 140725261376752 140701578791344 140702243789442 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32800768 140725261382644 140725261382921 140725261382921 140725261385679 0
Current children cumulated CPU time: 3.22 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 186176 KiB
[startup+1.70062 s]*
/proc/loadavg: 2.55 2.37 2.18 3/207 19407
/proc/meminfo: memFree=14039684/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1.71042
CPU time (s): 3.50073
CPU user time (s): 3.3978
CPU system time (s): 0.102928
CPU usage (%): 204.67
Max. virtual memory (cumulated for all children) (KiB): 15026264
Max. memory (cumulated for all children) (KiB): 186176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.3978
system time used= 0.102928
maximum resident set size= 208328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24419
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= 3440
involuntary context switches= 31
# summary of solver processes directly reported to runsolver:
# pid: 19386
# total CPU time (s): 3.50073
# total CPU user time (s): 3.3978
# total CPU system time (s): 0.102928
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033033 second user time and 0.059696 second system time
The end