0.67/0.53
0.67/0.53 scop both+minisat_release (2018-06-13)
0.67/0.53
0.67/0.56 c BEGIN-Prog: Mon Jul 23 18:06:40 CEST 2018
0.67/0.56 c PID: 19305
0.67/0.56 c IP: 172.20.3.102
0.67/0.56 c HOST: node102.alineos.net
0.67/0.57 c (0,0) Parsing Begin
1.18/0.87 c (0,0) Parsing End
1.18/0.87 c (0,0) CSP: 0 int (0 aux), 54 bool (0 aux), 36 ctr, max domain size 2
1.18/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.87 c (0,0) Constraint Name Generate Begin
1.18/0.88 c (0,0) Ctr:HOME/instance-4294657-1532362000.xml,ExtensionSupport:IntVar
1.18/0.88 c (0,0) Constraint Name Generate End
1.18/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.88 c (0,0) CSP to CSPinCNF Begin
1.72/1.11 c (0,0) translated 4 (10%) constraints
1.72/1.16 c (0,0) translated 8 (20%) constraints
1.72/1.19 c (0,0) translated 11 (30%) constraints
1.96/1.22 c (0,0) translated 15 (40%) constraints
1.96/1.25 c (0,0) translated 18 (50%) constraints
1.96/1.28 c (0,0) translated 22 (60%) constraints
1.96/1.30 c (0,0) translated 26 (70%) constraints
2.27/1.32 c (0,0) translated 29 (80%) constraints
2.27/1.33 c (0,0) translated 33 (90%) constraints
2.27/1.35 c (0,0) translated 36 (100%) constraints
2.27/1.38 c (0,0) STATISTICS1:HOME/instance-4294657-1532362000.xml,ExtensionSupport:IntVar,198,684,-1,2,3,1,,2:1800,3:468;2:216,1:1800;0:36,
2.27/1.38 c (0,0) ===========================================
2.27/1.38 c (0,0) Both Encoding selects:
2.27/1.38 c (0,0) Order
2.27/1.38 c (0,0) ===========================================
2.51/1.40 c (0,0) translated 69 (10%) constraints
2.51/1.40 c (0,0) translated 137 (20%) constraints
2.51/1.41 c (0,0) translated 206 (30%) constraints
2.51/1.42 c (0,0) translated 274 (40%) constraints
2.51/1.42 c (0,0) translated 342 (50%) constraints
2.51/1.43 c (0,0) translated 411 (60%) constraints
2.51/1.43 c (0,0) translated 479 (70%) constraints
2.51/1.43 c (0,0) translated 548 (80%) constraints
2.51/1.44 c (0,0) translated 616 (90%) constraints
2.51/1.44 c (0,0) translated 684 (100%) constraints
2.51/1.44 c (0,0) CSP to CSPinCNF End
2.51/1.44 c (0,0) CSP: 0 int (0 aux), 198 bool (144 aux), 684 ctr, max domain size 2
2.51/1.44 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.51/1.44 c (0,0) CSPinCNF Propagation Begin
2.51/1.48 c (0,0) 0 values, 36 unsatisfiable literals, and 0 valid clauses are removed
2.51/1.48 c (0,0) CSPinCNF Propagation End
2.51/1.48 c (0,0) CSP: 0 int (0 aux), 198 bool (144 aux), 684 ctr, max domain size 2
2.51/1.48 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.51/1.48 c (0,0) Simplify CSPinCNF Begin
2.51/1.49 c (0,0) Simplify CSPinCNF End
2.51/1.49 c (0,0) CSP: 0 int (0 aux), 198 bool (144 aux), 684 ctr, max domain size 2
2.51/1.49 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.51/1.49 c (0,0) Calculate Precise Domain Begin
2.51/1.49 c (0,0) 0 values are removed by re-calculation
2.51/1.49 c (0,0) Calculate Precise Domain End
2.51/1.49 c (0,0) CSP: 0 int (0 aux), 198 bool (144 aux), 684 ctr, max domain size 2
2.51/1.49 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.51/1.49 c (0,0) CSPinCNF to SatSolver Begin
2.85/1.52 c (0,0) 69 (10 %) CSP clauses are encoded (198 SAT variables, 68 SAT clauses)
2.85/1.52 c (0,0) 137 (20 %) CSP clauses are encoded (198 SAT variables, 136 SAT clauses)
2.85/1.53 c (0,0) 206 (30 %) CSP clauses are encoded (198 SAT variables, 205 SAT clauses)
2.85/1.53 c (0,0) 274 (40 %) CSP clauses are encoded (198 SAT variables, 273 SAT clauses)
2.85/1.54 c (1,0) 342 (50 %) CSP clauses are encoded (198 SAT variables, 341 SAT clauses)
2.85/1.54 c (1,0) 411 (60 %) CSP clauses are encoded (198 SAT variables, 410 SAT clauses)
2.85/1.54 c (1,0) 479 (70 %) CSP clauses are encoded (198 SAT variables, 478 SAT clauses)
2.85/1.55 c (1,1) 548 (80 %) CSP clauses are encoded (198 SAT variables, 547 SAT clauses)
2.85/1.55 c (1,1) 616 (90 %) CSP clauses are encoded (198 SAT variables, 615 SAT clauses)
2.85/1.55 c (1,1) 684 (100 %) CSP clauses are encoded (198 SAT variables, 683 SAT clauses)
2.85/1.55 c (1,1) CSPinCNF to SatSolver End
2.85/1.55 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.85/1.56 c (1,1) STATISTICS2:HOME/instance-4294657-1532362000.xml,ExtensionSupport:IntVar,198,684,-1,2,3,1,,2:1800,3:432;2:252,1:1800,
2.85/1.56 c (1,1) SatSolver.solve Begin
2.85/1.56 c (1,1) 198 bool, 684 clause
2.85/1.56 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-4294657-1532362000.xml-scop-19305.cnf HOME/instance-4294657-1532362000.xml-scop-19305.cnf.out
2.85/1.58 c (1,0) c This is COMiniSatPS.
2.85/1.58 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
2.85/1.58 c (1,0) c ============================[ Problem Statistics ]=============================
2.85/1.58 c (1,0) c | |
2.85/1.58 c (1,0) c | Number of variables: 198 |
2.85/1.58 c (1,0) c | Number of clauses: 684 |
2.85/1.58 c (1,0) c | Parse time: 0.00 s |
2.85/1.58 c (1,0) c | Eliminated clauses: 0.01 Mb |
2.85/1.58 c (1,0) c | Simplification time: 0.00 s |
2.85/1.58 c (1,0) c | |
2.85/1.58 c (1,0) c ===============================================================================
2.85/1.58 c (1,0) c Solved by simplification
2.85/1.58 c (1,0) c restarts : 0
2.85/1.58 c (1,0) c conflicts : 0 (0 /sec)
2.85/1.58 c (1,0) c decisions : 0 (-nan % random) (0 /sec)
2.85/1.58 c (1,0) c propagations : 1 (562 /sec)
2.85/1.58 c (1,0) c conflict literals : 0 (-nan % deleted)
2.85/1.58 c (1,0) c CPU time : 0.001778 s
2.85/1.58 c (1,0)
2.85/1.58 c (1,0) s UNSATISFIABLE
3.10/1.62 c (1,1) SatSolver.solve End
3.10/1.62 c (1,1) Heap : 338 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.10/1.62 c (1,1) Show results Begin
3.10/1.62 s UNSATISFIABLE
3.10/1.62 c (1,1) Show results End
3.10/1.62 c (1,1) Heap : 338 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.10/1.62 c (1,1) 0,0,0,0,0,0,1,1,1,STOP-AFTER(ALL)
3.10/1.62 c END-Prog: Mon Jul 23 18:06:42 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-4294657-1532362000/watcher-4294657-1532362000 -o /tmp/evaluation-result-4294657-1532362000/solver-4294657-1532362000 -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-4294657-1532362000.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=19305, runsolver pid=19302
[startup+0.100219 s]*
/proc/loadavg: 2.60 2.38 2.18 3/220 19320
/proc/meminfo: memFree=14174288/32770624 swapFree=67108860/67108860
[pid=19305] ppid=19302 vsize=15011656 memory=72252 CPUtime=0.11 cores=0,2,4,6
/proc/19305/stat : 19305 (java) S 19302 19305 8919 0 -1 1077944320 6225 0 0 0 10 1 0 0 20 0 15 0 53763155 15371935744 18063 33554432000 4194304 4196468 140735864872400 140735864854944 140168754806519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
/proc/19305/statm: 3752914 18063 2776 1 0 3715374 0
[pid=19305/tid=19307] ppid=19302 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=0,2,4,6
/proc/19305/task/19307/stat : 19307 (java) R 19302 19305 8919 0 -1 4202560 4375 0 0 0 8 1 0 0 20 0 15 0 53763155 15371935744 18129 33554432000 4194304 4196468 140735864872400 140168726618504 140168735082268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19308] ppid=19302 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19308/stat : 19308 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763157 15371935744 18129 33554432000 4194304 4196468 140735864872400 140168759049232 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19309] ppid=19302 vsize=15011656 memory=139698865964672 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19309/stat : 19309 (java) S 19302 19305 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763157 15371935744 18129 33554432000 4194304 4196468 140735864872400 140168550132880 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19310] ppid=19302 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19310/stat : 19310 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763157 15371935744 18129 33554432000 4194304 4196468 140735864872400 140168549079824 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19311] ppid=19302 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19311/stat : 19311 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763157 15371935744 18129 33554432000 4194304 4196468 140735864872400 140168548027280 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19312] ppid=19302 vsize=15011656 memory=139698865964672 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19312/stat : 19312 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763158 15371935744 18129 33554432000 4194304 4196468 140735864872400 140167725672688 140168754817666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19313] ppid=19302 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19313/stat : 19313 (java) S 19302 19305 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53763159 15371935744 18129 33554432000 4194304 4196468 140735864872400 140167331439776 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19314] ppid=19302 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19314/stat : 19314 (java) S 19302 19305 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763159 15371935744 18129 33554432000 4194304 4196468 140735864872400 140167063003888 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19315] ppid=19302 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19315/stat : 19315 (java) S 19302 19305 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763162 15371935744 18129 33554432000 4194304 4196468 140735864872400 140166688495568 140168754825115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19316] ppid=19302 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19316/stat : 19316 (java) S 19302 19305 8919 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 53763162 15371935744 18129 33554432000 4194304 4196468 140735864872400 140167724620528 140168754817666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19317] ppid=19302 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19317/stat : 19317 (java) S 19302 19305 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53763162 15371935744 18195 33554432000 4194304 4196468 140735864872400 140167723567984 140168754817666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19318] ppid=19302 vsize=15011656 memory=139698865964672 CPUtime=0.01 cores=0,2,4,6
/proc/19305/task/19318/stat : 19318 (java) S 19302 19305 8919 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 53763162 15371935744 18195 33554432000 4194304 4196468 140735864872400 140167722514928 140168754817666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19319] ppid=19302 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19319/stat : 19319 (java) S 19302 19305 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763162 15371935744 18195 33554432000 4194304 4196468 140735864872400 140166190590816 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19320] ppid=19302 vsize=15011656 memory=139698865964672 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19320/stat : 19320 (java) S 19302 19305 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763162 15371935744 18195 33554432000 4194304 4196468 140735864872400 140167721462320 140168754817666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72252 KiB
[startup+0.210359 s]*
/proc/loadavg: 2.60 2.38 2.18 3/220 19320
/proc/meminfo: memFree=14160496/32770624 swapFree=67108860/67108860
[pid=19305] ppid=19302 vsize=15011656 memory=85616 CPUtime=0.25 cores=0,2,4,6
/proc/19305/stat : 19305 (java) S 19302 19305 8919 0 -1 1077944320 9840 0 0 0 23 2 0 0 20 0 15 0 53763155 15371935744 21404 33554432000 4194304 4196468 140735864872400 140735864854944 140168754806519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
/proc/19305/statm: 3752914 21404 2885 1 0 3715374 0
[pid=19305/tid=19307] ppid=19302 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/19305/task/19307/stat : 19307 (java) R 19302 19305 8919 0 -1 4202560 7745 0 0 0 18 2 0 0 20 0 15 0 53763155 15371935744 21404 33554432000 4194304 4196468 140735864872400 140168726625888 140168220672726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19308] ppid=19302 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19308/stat : 19308 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763157 15371935744 21404 33554432000 4194304 4196468 140735864872400 140168759049232 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19309] ppid=19302 vsize=15011656 memory=4051468649335883424 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19309/stat : 19309 (java) S 19302 19305 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763157 15371935744 21404 33554432000 4194304 4196468 140735864872400 140168550132880 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19310] ppid=19302 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19310/stat : 19310 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763157 15371935744 21404 33554432000 4194304 4196468 140735864872400 140168549079824 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19311] ppid=19302 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19311/stat : 19311 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763157 15371935744 21404 33554432000 4194304 4196468 140735864872400 140168548027280 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19312] ppid=19302 vsize=15011656 memory=139698865964672 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19312/stat : 19312 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763158 15371935744 21404 33554432000 4194304 4196468 140735864872400 140167725672688 140168754817666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19313] ppid=19302 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19313/stat : 19313 (java) S 19302 19305 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53763159 15371935744 21404 33554432000 4194304 4196468 140735864872400 140167331439776 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19314] ppid=19302 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19314/stat : 19314 (java) S 19302 19305 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763159 15371935744 21404 33554432000 4194304 4196468 140735864872400 140167063003888 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19315] ppid=19302 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19315/stat : 19315 (java) S 19302 19305 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763162 15371935744 21404 33554432000 4194304 4196468 140735864872400 140166688495568 140168754825115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19316] ppid=19302 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19316/stat : 19316 (java) S 19302 19305 8919 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 53763162 15371935744 21404 33554432000 4194304 4196468 140735864872400 140167724620528 140168754817666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19317] ppid=19302 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19317/stat : 19317 (java) S 19302 19305 8919 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 53763162 15371935744 21404 33554432000 4194304 4196468 140735864872400 140167723567984 140168754817666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19318] ppid=19302 vsize=15011656 memory=139698865964672 CPUtime=0.03 cores=0,2,4,6
/proc/19305/task/19318/stat : 19318 (java) R 19302 19305 8919 0 -1 4202560 293 0 0 0 3 0 0 0 20 0 15 0 53763162 15371935744 21404 33554432000 4194304 4196468 140735864872400 140167722511864 140168754818454 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19319] ppid=19302 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19319/stat : 19319 (java) S 19302 19305 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763162 15371935744 21404 33554432000 4194304 4196468 140735864872400 140166190590816 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19320] ppid=19302 vsize=15011656 memory=139698865964672 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19320/stat : 19320 (java) S 19302 19305 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763162 15371935744 21404 33554432000 4194304 4196468 140735864872400 140167721462320 140168754817666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85616 KiB
[startup+0.310247 s]*
/proc/loadavg: 2.60 2.38 2.18 3/220 19320
/proc/meminfo: memFree=14157084/32770624 swapFree=67108860/67108860
[pid=19305] ppid=19302 vsize=15011656 memory=89680 CPUtime=0.43 cores=0,2,4,6
/proc/19305/stat : 19305 (java) S 19302 19305 8919 0 -1 1077944320 10438 0 0 0 40 3 0 0 20 0 15 0 53763155 15371935744 22420 33554432000 4194304 4196468 140735864872400 140735864854944 140168754806519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
/proc/19305/statm: 3752914 22420 2982 1 0 3715374 0
[pid=19305/tid=19307] ppid=19302 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/19305/task/19307/stat : 19307 (java) R 19302 19305 8919 0 -1 4202560 8172 0 0 0 28 2 0 0 20 0 15 0 53763155 15371935744 22420 33554432000 4194304 4196468 140735864872400 140168726620224 140168220718264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19308] ppid=19302 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19308/stat : 19308 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763157 15371935744 22420 33554432000 4194304 4196468 140735864872400 140168759049232 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19309] ppid=19302 vsize=15011656 memory=3906790511306606240 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19309/stat : 19309 (java) S 19302 19305 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763157 15371935744 22420 33554432000 4194304 4196468 140735864872400 140168550132880 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19310] ppid=19302 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19310/stat : 19310 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763157 15371935744 22420 33554432000 4194304 4196468 140735864872400 140168549079824 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19311] ppid=19302 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19311/stat : 19311 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763157 15371935744 22420 33554432000 4194304 4196468 140735864872400 140168548027280 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19312] ppid=19302 vsize=15011656 memory=139698865964672 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19312/stat : 19312 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763158 15371935744 22420 33554432000 4194304 4196468 140735864872400 140167725672688 140168754817666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19313] ppid=19302 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19313/stat : 19313 (java) S 19302 19305 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53763159 15371935744 22420 33554432000 4194304 4196468 140735864872400 140167331439776 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19314] ppid=19302 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19314/stat : 19314 (java) S 19302 19305 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763159 15371935744 22420 33554432000 4194304 4196468 140735864872400 140167063003888 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19315] ppid=19302 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19315/stat : 19315 (java) S 19302 19305 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763162 15371935744 22420 33554432000 4194304 4196468 140735864872400 140166688495568 140168754825115 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19316] ppid=19302 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19305/task/19316/stat : 19316 (java) S 19302 19305 8919 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 15 0 53763162 15371935744 22420 33554432000 4194304 4196468 140735864872400 140167724620528 140168754817666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19317] ppid=19302 vsize=15011656 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/19305/task/19317/stat : 19317 (java) S 19302 19305 8919 0 -1 1077944384 151 0 0 0 3 0 0 0 20 0 15 0 53763162 15371935744 22420 33554432000 4194304 4196468 140735864872400 140167723567984 140168754817666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19318] ppid=19302 vsize=15011656 memory=139698865964672 CPUtime=0.07 cores=0,2,4,6
/proc/19305/task/19318/stat : 19318 (java) S 19302 19305 8919 0 -1 1077944384 336 0 0 0 7 0 0 0 20 0 15 0 53763162 15371935744 22420 33554432000 4194304 4196468 140735864872400 140167722514928 140168754817666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19319] ppid=19302 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19319/stat : 19319 (java) S 19302 19305 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763162 15371935744 22420 33554432000 4194304 4196468 140735864872400 140166190590816 140168754816725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19320] ppid=19302 vsize=15011656 memory=139698865964672 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19320/stat : 19320 (java) S 19302 19305 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763162 15371935744 22420 33554432000 4194304 4196468 140735864872400 140167721462320 140168754817666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89680 KiB
[startup+0.700752 s]
/proc/loadavg: 2.60 2.38 2.18 3/220 19320
/proc/meminfo: memFree=14133272/32770624 swapFree=67108860/67108860
[pid=19305] ppid=19302 vsize=15020052 memory=127292 CPUtime=1 cores=0,2,4,6
/proc/19305/stat : 19305 (java) S 19302 19305 8919 0 -1 1077944320 17583 0 0 0 94 6 0 0 20 0 15 0 53763155 15380533248 31823 33554432000 4194304 4196468 140735864872400 140735864854944 140168754806519 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
/proc/19305/statm: 3755013 31823 3155 1 0 3716398 0
[pid=19305/tid=19307] ppid=19302 vsize=15020052 memory=222643118694095 CPUtime=0.67 cores=0,2,4,6
/proc/19305/task/19307/stat : 19307 (java) R 19302 19305 8919 0 -1 4202560 14867 0 0 0 63 4 0 0 20 0 15 0 53763155 15380533248 31823 33554432000 4194304 4196468 140735864872400 140168726638432 140168747043646 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19308] ppid=19302 vsize=15020052 memory=298567 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19308/stat : 19308 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763157 15380533248 31823 33554432000 4194304 4196468 140735864872400 140168759049232 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19309] ppid=19302 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19309/stat : 19309 (java) S 19302 19305 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763157 15380533248 31838 33554432000 4194304 4196468 140735864872400 140168550132880 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19310] ppid=19302 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19310/stat : 19310 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763157 15380533248 31838 33554432000 4194304 4196468 140735864872400 140168549079824 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19311] ppid=19302 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19311/stat : 19311 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763157 15380533248 31838 33554432000 4194304 4196468 140735864872400 140168548027280 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19312] ppid=19302 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19312/stat : 19312 (java) S 19302 19305 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53763158 15380533248 31838 33554432000 4194304 4196468 140735864872400 140167725672688 140168754817666 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19313] ppid=19302 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19313/stat : 19313 (java) S 19302 19305 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53763159 15380533248 31838 33554432000 4194304 4196468 140735864872400 140167331439776 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19314] ppid=19302 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19314/stat : 19314 (java) S 19302 19305 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763159 15380533248 31838 33554432000 4194304 4196468 140735864872400 140167063003888 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19315] ppid=19302 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19315/stat : 19315 (java) S 19302 19305 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763162 15380533248 31838 33554432000 4194304 4196468 140735864872400 140166688495568 140168754825115 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19316] ppid=19302 vsize=15020052 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19305/task/19316/stat : 19316 (java) S 19302 19305 8919 0 -1 1077944384 709 0 0 0 7 0 0 0 20 0 15 0 53763162 15380533248 31838 33554432000 4194304 4196468 140735864872400 140167724620528 140168754817666 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19317] ppid=19302 vsize=15020052 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19305/task/19317/stat : 19317 (java) R 19302 19305 8919 0 -1 4202560 213 0 0 0 7 0 0 0 20 0 15 0 53763162 15380533248 31838 33554432000 4194304 4196468 140735864872400 140167723567984 140168736324390 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19318] ppid=19302 vsize=15020052 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/19305/task/19318/stat : 19318 (java) S 19302 19305 8919 0 -1 1077944384 454 0 0 0 15 0 0 0 20 0 15 0 53763162 15380533248 31838 33554432000 4194304 4196468 140735864872400 140167722514928 140168754817666 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19319] ppid=19302 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19319/stat : 19319 (java) S 19302 19305 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763162 15380533248 31838 33554432000 4194304 4196468 140735864872400 140166190590816 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19320] ppid=19302 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19320/stat : 19320 (java) S 19302 19305 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763162 15380533248 31838 33554432000 4194304 4196468 140735864872400 140167721462320 140168754817666 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 127292 KiB
[startup+1.50874 s]
/proc/loadavg: 2.55 2.37 2.18 3/220 19320
/proc/meminfo: memFree=14104144/32770624 swapFree=67108860/67108860
[pid=19305] ppid=19302 vsize=15024148 memory=176596 CPUtime=2.85 cores=0,2,4,6
/proc/19305/stat : 19305 (java) S 19302 19305 8919 0 -1 1077944320 21658 0 0 0 276 9 0 0 20 0 15 0 53763155 15384727552 44149 33554432000 4194304 4196468 140735864872400 140735864854944 140168754806519 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
/proc/19305/statm: 3756037 44149 3200 1 0 3717422 0
[pid=19305/tid=19307] ppid=19302 vsize=15024148 memory=5794836780235445600 CPUtime=1.48 cores=0,2,4,6
/proc/19305/task/19307/stat : 19307 (java) R 19302 19305 8919 0 -1 4202560 16292 0 0 0 142 6 0 0 20 0 15 0 53763155 15384727552 44149 33554432000 4194304 4196468 140735864872400 140168726645192 140168740175322 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19308] ppid=19302 vsize=15024148 memory=6298673690012636512 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19308/stat : 19308 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763157 15384727552 44149 33554432000 4194304 4196468 140735864872400 140168759049232 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19309] ppid=19302 vsize=15024148 memory=7517463620560186224 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19309/stat : 19309 (java) S 19302 19305 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763157 15384727552 44149 33554432000 4194304 4196468 140735864872400 140168550132880 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19310] ppid=19302 vsize=15024148 memory=7740120312869841492 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19310/stat : 19310 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763157 15384727552 44149 33554432000 4194304 4196468 140735864872400 140168549079824 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19311] ppid=19302 vsize=15024148 memory=4638778406922702160 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19311/stat : 19311 (java) S 19302 19305 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53763157 15384727552 44149 33554432000 4194304 4196468 140735864872400 140168548027280 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19312] ppid=19302 vsize=15024148 memory=7883945251351323990 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19312/stat : 19312 (java) S 19302 19305 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53763158 15384727552 44149 33554432000 4194304 4196468 140735864872400 140167725672688 140168754817666 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19313] ppid=19302 vsize=15024148 memory=3688502182283469910 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19313/stat : 19313 (java) S 19302 19305 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53763159 15384727552 44149 33554432000 4194304 4196468 140735864872400 140167331439776 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19314] ppid=19302 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19314/stat : 19314 (java) S 19302 19305 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763159 15384727552 44149 33554432000 4194304 4196468 140735864872400 140167063003888 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19315] ppid=19302 vsize=15024148 memory=279397420499184 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19315/stat : 19315 (java) S 19302 19305 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763162 15384727552 44149 33554432000 4194304 4196468 140735864872400 140166688495568 140168754825115 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19316] ppid=19302 vsize=15024148 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/19305/task/19316/stat : 19316 (java) R 19302 19305 8919 0 -1 4202560 871 0 0 0 31 1 0 0 20 0 15 0 53763162 15384727552 44149 33554432000 4194304 4196468 140735864872400 140167724602480 140168734052367 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19317] ppid=19302 vsize=15024148 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/19305/task/19317/stat : 19317 (java) S 19302 19305 8919 0 -1 1077944384 586 0 0 0 34 0 0 0 20 0 15 0 53763162 15384727552 44149 33554432000 4194304 4196468 140735864872400 140167723567984 140168754817666 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19318] ppid=19302 vsize=15024148 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/19305/task/19318/stat : 19318 (java) R 19302 19305 8919 0 -1 4202560 2568 0 0 0 67 1 0 0 20 0 15 0 53763162 15384727552 44149 33554432000 4194304 4196468 140735864872400 140167722514928 140168733173150 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19319] ppid=19302 vsize=15024148 memory=13773960120851 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19319/stat : 19319 (java) S 19302 19305 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53763162 15384727552 44149 33554432000 4194304 4196468 140735864872400 140166190590816 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19320] ppid=19302 vsize=15024148 memory=1 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19320/stat : 19320 (java) S 19302 19305 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53763162 15384727552 44149 33554432000 4194304 4196468 140735864872400 140167721462320 140168754817666 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 176596 KiB
[startup+1.63247 s]
# the end of solver process 19305 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.03549 s, system=0.11218 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6009 s]
/proc/loadavg: 2.55 2.37 2.18 3/220 19320
/proc/meminfo: memFree=14104144/32770624 swapFree=67108860/67108860
[pid=19305] ppid=19302 vsize=15354176 memory=191392 CPUtime=3.1 cores=0,2,4,6
/proc/19305/stat : 19305 (java) S 19302 19305 8919 0 -1 1077944320 22377 458 0 0 300 10 0 0 20 0 16 0 53763155 15722676224 47848 33554432000 4194304 4196468 140735864872400 140735864854944 140168754806519 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
/proc/19305/statm: 3838544 47848 3218 1 0 3799400 0
[pid=19305/tid=19307] ppid=19302 vsize=15354176 memory=0 CPUtime=1.56 cores=0,2,4,6
/proc/19305/task/19307/stat : 19307 (java) R 19302 19305 8919 0 -1 4202560 16708 458 0 0 150 6 0 0 20 0 16 0 53763155 15722676224 47848 33554432000 4194304 4196468 140735864872400 140168726646240 140168738850149 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19308] ppid=19302 vsize=15354176 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19308/stat : 19308 (java) S 19302 19305 8919 0 -1 1077944384 2 458 0 0 0 0 0 0 20 0 16 0 53763157 15722676224 47848 33554432000 4194304 4196468 140735864872400 140168759049232 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19309] ppid=19302 vsize=15354176 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19309/stat : 19309 (java) S 19302 19305 8919 0 -1 1077944384 1 458 0 0 0 0 0 0 20 0 16 0 53763157 15722676224 47848 33554432000 4194304 4196468 140735864872400 140168550132880 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19310] ppid=19302 vsize=15354176 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19310/stat : 19310 (java) S 19302 19305 8919 0 -1 1077944384 2 458 0 0 0 0 0 0 20 0 16 0 53763157 15722676224 47848 33554432000 4194304 4196468 140735864872400 140168549079824 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19311] ppid=19302 vsize=15354176 memory=12081 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19311/stat : 19311 (java) S 19302 19305 8919 0 -1 1077944384 2 458 0 0 0 0 0 0 20 0 16 0 53763157 15722676224 47848 33554432000 4194304 4196468 140735864872400 140168548027280 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19312] ppid=19302 vsize=15354176 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19312/stat : 19312 (java) S 19302 19305 8919 0 -1 1077944384 5 458 0 0 0 0 0 0 20 0 16 0 53763158 15722676224 47848 33554432000 4194304 4196468 140735864872400 140167725672688 140168754817666 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19313] ppid=19302 vsize=15354176 memory=-2023959437020729679 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19313/stat : 19313 (java) S 19302 19305 8919 0 -1 1077944384 13 458 0 0 0 0 0 0 20 0 16 0 53763159 15722676224 47848 33554432000 4194304 4196468 140735864872400 140167331439776 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19314] ppid=19302 vsize=15354176 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19314/stat : 19314 (java) S 19302 19305 8919 0 -1 1077944384 1 458 0 0 0 0 0 0 20 0 16 0 53763159 15722676224 47848 33554432000 4194304 4196468 140735864872400 140167063003888 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19315] ppid=19302 vsize=15354176 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19315/stat : 19315 (java) S 19302 19305 8919 0 -1 1077944384 3 458 0 0 0 0 0 0 20 0 16 0 53763162 15722676224 47848 33554432000 4194304 4196468 140735864872400 140166688495568 140168754825115 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19316] ppid=19302 vsize=15354176 memory=6656426216303648864 CPUtime=0.37 cores=0,2,4,6
/proc/19305/task/19316/stat : 19316 (java) S 19302 19305 8919 0 -1 1077944384 898 458 0 0 36 1 0 0 20 0 16 0 53763162 15722676224 47848 33554432000 4194304 4196468 140735864872400 140167724620528 140168754817666 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19317] ppid=19302 vsize=15354176 memory=-3195349257566499689 CPUtime=0.39 cores=0,2,4,6
/proc/19305/task/19317/stat : 19317 (java) S 19302 19305 8919 0 -1 1077944384 644 458 0 0 39 0 0 0 20 0 16 0 53763162 15722676224 47848 33554432000 4194304 4196468 140735864872400 140167723567984 140168754817666 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19318] ppid=19302 vsize=15354176 memory=279397420641856 CPUtime=0.74 cores=0,2,4,6
/proc/19305/task/19318/stat : 19318 (java) S 19302 19305 8919 0 -1 1077944384 2707 458 0 0 73 1 0 0 20 0 16 0 53763162 15722676224 47848 33554432000 4194304 4196468 140735864872400 140167722514928 140168754817666 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19319] ppid=19302 vsize=15354176 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19319/stat : 19319 (java) S 19302 19305 8919 0 -1 1077944384 3 458 0 0 0 0 0 0 20 0 16 0 53763162 15722676224 47848 33554432000 4194304 4196468 140735864872400 140166190590816 140168754816725 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
[pid=19305/tid=19320] ppid=19302 vsize=15354176 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/19305/task/19320/stat : 19320 (java) S 19302 19305 8919 0 -1 1077944384 1 458 0 0 0 0 0 0 20 0 16 0 53763162 15722676224 47848 33554432000 4194304 4196468 140735864872400 140167721462320 140168754817666 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31514624 140735864878068 140735864878345 140735864878345 140735864881103 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 15354176 KiB
Current children cumulated memory: 191392 KiB
Child status: 0
Real time (s): 1.63251
CPU time (s): 3.14767
CPU user time (s): 3.03549
CPU system time (s): 0.11218
CPU usage (%): 192.812
Max. virtual memory (cumulated for all children) (KiB): 15354176
Max. memory (cumulated for all children) (KiB): 191392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.03549
system time used= 0.11218
maximum resident set size= 196324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22952
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3534
involuntary context switches= 22
# summary of solver processes directly reported to runsolver:
# pid: 19305
# total CPU time (s): 3.14767
# total CPU user time (s): 3.03549
# total CPU system time (s): 0.11218
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03636 second user time and 0.05506 second system time
The end