0.55/0.51
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Thu Jul 26 13:43:30 CEST 2018
0.66/0.54 c PID: 9450
0.66/0.54 c IP: 172.20.3.150
0.66/0.54 c HOST: node150.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.42/0.92 c (0,0) Parsing End
1.42/0.92 c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 114 ctr, max domain size 8
1.42/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.42/0.92 c (0,0) Constraint Name Generate Begin
1.42/0.93 c (0,0) Ctr:HOME/instance-4295940-1532605409.xml,AllDifferentMatrix:Element:Instantiation:IntVar
1.42/0.93 c (0,0) Constraint Name Generate End
1.42/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.42/0.93 c (0,0) CSP to CSPinCNF Begin
2.09/1.27 c (0,0) translated 12 (10%) constraints
2.09/1.29 c (0,0) translated 23 (20%) constraints
2.35/1.32 c (0,0) translated 35 (30%) constraints
2.35/1.34 c (0,0) translated 46 (40%) constraints
2.35/1.35 c (0,0) translated 57 (50%) constraints
2.35/1.36 c (0,0) translated 69 (60%) constraints
2.35/1.37 c (0,0) translated 80 (70%) constraints
2.35/1.38 c (0,0) translated 92 (80%) constraints
2.35/1.39 c (0,0) translated 103 (90%) constraints
2.67/1.40 c (0,0) translated 114 (100%) constraints
2.67/1.47 c (0,0) STATISTICS1:HOME/instance-4295940-1532605409.xml,AllDifferentMatrix:Element:Instantiation:IntVar,120,1384,8,8,8,2,8:1904;1:336,8:3584;1:264,8:32;3:896;2:448;1:8,2:2240;1:1168,
2.67/1.47 c (0,0) ===========================================
2.67/1.47 c (0,0) Order
2.67/1.47 c (0,0) ===========================================
2.67/1.49 c (0,0) translated 139 (10%) constraints
2.95/1.50 c (0,0) translated 277 (20%) constraints
2.95/1.52 c (0,0) translated 416 (30%) constraints
2.95/1.56 c (1,1) translated 554 (40%) constraints
3.25/1.60 c (1,1) translated 692 (50%) constraints
3.25/1.63 c (1,1) translated 831 (60%) constraints
3.25/1.66 c (1,1) translated 969 (70%) constraints
3.25/1.69 c (1,1) translated 1108 (80%) constraints
3.57/1.72 c (1,1) translated 1246 (90%) constraints
3.57/1.74 c (1,1) translated 1384 (100%) constraints
3.57/1.75 c (1,1) CSP to CSPinCNF End
3.57/1.76 c (1,1) CSP: 120 int (0 aux), 840 bool (840 aux), 3184 ctr, max domain size 8
3.57/1.76 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.57/1.76 c (1,1) CSPinCNF Propagation Begin
3.89/1.82 c (1,1) 2 values, 404 unsatisfiable literals, and 144 valid clauses are removed
3.89/1.82 c (1,1) CSPinCNF Propagation End
3.89/1.82 c (1,1) CSP: 120 int (0 aux), 840 bool (840 aux), 3040 ctr, max domain size 8
3.89/1.82 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.89/1.82 c (1,1) Simplify CSPinCNF Begin
3.89/1.87 c (1,1) Simplify CSPinCNF End
3.89/1.87 c (1,1) CSP: 120 int (0 aux), 1672 bool (1672 aux), 3872 ctr, max domain size 8
3.89/1.87 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.89/1.87 c (1,1) Calculate Precise Domain Begin
3.89/1.87 c (1,1) 0 values are removed by re-calculation
3.89/1.87 c (1,1) Calculate Precise Domain End
3.89/1.87 c (1,1) CSP: 120 int (0 aux), 1672 bool (1672 aux), 3872 ctr, max domain size 8
3.89/1.87 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.89/1.87 c (1,1) CSPinCNF to SatSolver Begin
4.24/1.97 c (1,1) 388 (10 %) CSP clauses are encoded (2424 SAT variables, 2285 SAT clauses)
4.24/1.99 c (1,1) 775 (20 %) CSP clauses are encoded (2424 SAT variables, 3914 SAT clauses)
4.56/2.01 c (1,1) 1162 (30 %) CSP clauses are encoded (2424 SAT variables, 5536 SAT clauses)
4.56/2.03 c (1,1) 1549 (40 %) CSP clauses are encoded (2424 SAT variables, 7245 SAT clauses)
4.56/2.04 c (1,1) 1936 (50 %) CSP clauses are encoded (2424 SAT variables, 8936 SAT clauses)
4.56/2.06 c (1,1) 2324 (60 %) CSP clauses are encoded (2424 SAT variables, 10637 SAT clauses)
4.56/2.07 c (1,1) 2711 (70 %) CSP clauses are encoded (2424 SAT variables, 12359 SAT clauses)
4.56/2.09 c (1,1) 3098 (80 %) CSP clauses are encoded (2424 SAT variables, 14080 SAT clauses)
4.56/2.10 c (1,1) 3485 (90 %) CSP clauses are encoded (2424 SAT variables, 15808 SAT clauses)
4.86/2.12 c (1,1) 3872 (100 %) CSP clauses are encoded (2424 SAT variables, 17519 SAT clauses)
4.86/2.12 c (1,1) CSPinCNF to SatSolver End
4.86/2.12 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.86/2.16 c (1,1) STATISTICS2:HOME/instance-4295940-1532605409.xml,AllDifferentMatrix:Element:Instantiation:IntVar,1792,3872,8,8,6,2,8:1080;7:856;6:304;1:356,8:4404;7:1600;6:440;2:4260;1:356,6:28;3:608;2:3236,2:2596;1:5868,
4.86/2.16 c (1,1) SatSolver.solve Begin
4.86/2.16 c (1,1) 2424 bool, 17520 clause
4.86/2.16 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-4295940-1532605409.xml-scop-9450.cnf HOME/instance-4295940-1532605409.xml-scop-9450.cnf.out
6.25/3.35 c (2,0) c This is COMiniSatPS.
6.25/3.35 c (2,0) c WARNING: for repeatability, setting FPU to use double precision
6.25/3.35 c (2,0) c ============================[ Problem Statistics ]=============================
6.25/3.35 c (2,0) c | |
6.25/3.35 c (2,0) c | Number of variables: 2424 |
6.25/3.35 c (2,0) c | Number of clauses: 17520 |
6.25/3.35 c (2,0) c | Parse time: 0.00 s |
6.25/3.35 c (2,0) c | Eliminated clauses: 0.03 Mb |
6.25/3.35 c (2,0) c Reduced to 1060 vars, 14000 cls (grow=0)
6.25/3.35 c (2,0) c No iterative elimination performed. (vars=1060, c/v ratio=13.2)
6.25/3.35 c (2,0) c | Simplification time: 0.02 s |
6.25/3.35 c (2,0) c | |
6.25/3.35 c (2,0) c ============================[ Search Statistics ]==============================
6.25/3.35 c (2,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
6.25/3.35 c (2,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.25/3.35 c (2,0) c ===============================================================================
6.25/3.35 c (2,0) c ===============================================================================
6.25/3.35 c (2,0) c restarts : 29
6.25/3.35 c (2,0) c conflicts : 20701 (17760 /sec)
6.25/3.35 c (2,0) c decisions : 26058 (0.00 % random) (22356 /sec)
6.25/3.35 c (2,0) c propagations : 2871693 (2463725 /sec)
6.25/3.35 c (2,0) c conflict literals : 270601 (39.31 % deleted)
6.25/3.35 c (2,0) c CPU time : 1.16559 s
6.25/3.35 c (2,0)
6.25/3.35 c (2,0) s UNSATISFIABLE
6.25/3.35 c (2,1) SatSolver.solve End
6.25/3.35 c (2,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.25/3.35 c (2,1) Show results Begin
6.25/3.35 s UNSATISFIABLE
6.25/3.35 c (2,1) Show results End
6.25/3.35 c (2,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.25/3.35 c (2,1) 0,0,1,1,1,1,1,2,2,STOP-AFTER(ALL)
6.25/3.35 c END-Prog: Thu Jul 26 13:43:33 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 (9828 MiB free)
memory of node 1: 16384 MiB (13985 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295940-1532605409/watcher-4295940-1532605409 -o /tmp/evaluation-result-4295940-1532605409/solver-4295940-1532605409 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532605409-9420 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295940-1532605409.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9450, runsolver pid=9446
[startup+0.10009 s]*
/proc/loadavg: 1.92 2.00 2.04 5/216 9478
/proc/meminfo: memFree=24264508/32770624 swapFree=67108860/67108860
[pid=9450] ppid=9446 vsize=15011656 memory=74708 CPUtime=0.11 cores=1,3,5,7
/proc/9450/stat : 9450 (java) S 9446 9450 8644 0 -1 1077944320 6881 0 0 0 9 2 0 0 20 0 15 0 78104223 15371935744 18677 33554432000 4194304 4196468 140721024552000 140721024534544 140670512467703 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
/proc/9450/statm: 3752914 18677 2782 1 0 3715374 0
[pid=9450/tid=9452] ppid=9446 vsize=15011656 memory=-8393965841755763904 CPUtime=0.09 cores=1,3,5,7
/proc/9450/task/9452/stat : 9452 (java) R 9446 9450 8644 0 -1 4202560 5162 0 0 0 8 1 0 0 20 0 15 0 78104223 15371935744 18875 33554432000 4194304 4196468 140721024552000 140670484253824 140670492744668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9457] ppid=9446 vsize=15011656 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9457/stat : 9457 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104225 15371935744 18875 33554432000 4194304 4196468 140721024552000 140670516710288 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9458] ppid=9446 vsize=15011656 memory=140104030766720 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9458/stat : 9458 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104225 15371935744 18941 33554432000 4194304 4196468 140721024552000 140670315485968 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9459] ppid=9446 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9459/stat : 9459 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104225 15371935744 18941 33554432000 4194304 4196468 140721024552000 140670314433680 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9460] ppid=9446 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9460/stat : 9460 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104225 15371935744 18941 33554432000 4194304 4196468 140721024552000 140669970537488 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9463] ppid=9446 vsize=15011656 memory=140104030766720 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9463/stat : 9463 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104226 15371935744 18941 33554432000 4194304 4196468 140721024552000 140669281564784 140670512478850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9465] ppid=9446 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9465/stat : 9465 (java) S 9446 9450 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78104227 15371935744 18941 33554432000 4194304 4196468 140721024552000 140669171524384 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9466] ppid=9446 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9466/stat : 9466 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104227 15371935744 18941 33554432000 4194304 4196468 140721024552000 140668903089264 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9473] ppid=9446 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9473/stat : 9473 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104229 15371935744 18941 33554432000 4194304 4196468 140721024552000 140668528580688 140670512486299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9474] ppid=9446 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9474/stat : 9474 (java) S 9446 9450 8644 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 78104229 15371935744 18941 33554432000 4194304 4196468 140721024552000 140669280512624 140670512478850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9475] ppid=9446 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9475/stat : 9475 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104229 15371935744 18941 33554432000 4194304 4196468 140721024552000 140669279459824 140670512478850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9476] ppid=9446 vsize=15011656 memory=140104030766720 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9476/stat : 9476 (java) S 9446 9450 8644 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 78104229 15371935744 18941 33554432000 4194304 4196468 140721024552000 140669278407536 140670512478850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9477] ppid=9446 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9477/stat : 9477 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104229 15371935744 18941 33554432000 4194304 4196468 140721024552000 140668030675936 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9478] ppid=9446 vsize=15011656 memory=140104030766720 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9478/stat : 9478 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104230 15371935744 18941 33554432000 4194304 4196468 140721024552000 140669277354416 140670512478850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74708 KiB
[startup+0.210126 s]*
/proc/loadavg: 1.92 2.00 2.04 7/216 9478
/proc/meminfo: memFree=24237672/32770624 swapFree=67108860/67108860
[pid=9450] ppid=9446 vsize=15011656 memory=86724 CPUtime=0.26 cores=1,3,5,7
/proc/9450/stat : 9450 (java) S 9446 9450 8644 0 -1 1077944320 10105 0 0 0 23 3 0 0 20 0 15 0 78104223 15371935744 21681 33554432000 4194304 4196468 140721024552000 140721024534544 140670512467703 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
/proc/9450/statm: 3752914 21681 2880 1 0 3715374 0
[pid=9450/tid=9452] ppid=9446 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/9450/task/9452/stat : 9452 (java) R 9446 9450 8644 0 -1 4202560 8004 0 0 0 18 2 0 0 20 0 15 0 78104223 15371935744 21681 33554432000 4194304 4196468 140721024552000 140670484286208 140670496511333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9457] ppid=9446 vsize=15011656 memory=343 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9457/stat : 9457 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104225 15371935744 21681 33554432000 4194304 4196468 140721024552000 140670516710288 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9458] ppid=9446 vsize=15011656 memory=140104030786969 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9458/stat : 9458 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104225 15371935744 21681 33554432000 4194304 4196468 140721024552000 140670315485968 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9459] ppid=9446 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9459/stat : 9459 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104225 15371935744 21681 33554432000 4194304 4196468 140721024552000 140670314433680 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9460] ppid=9446 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9460/stat : 9460 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104225 15371935744 21681 33554432000 4194304 4196468 140721024552000 140669970537488 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9463] ppid=9446 vsize=15011656 memory=140104030766720 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9463/stat : 9463 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104226 15371935744 21681 33554432000 4194304 4196468 140721024552000 140669281564784 140670512478850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9465] ppid=9446 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9465/stat : 9465 (java) S 9446 9450 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78104227 15371935744 21681 33554432000 4194304 4196468 140721024552000 140669171524384 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9466] ppid=9446 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9466/stat : 9466 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104227 15371935744 21681 33554432000 4194304 4196468 140721024552000 140668903089264 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9473] ppid=9446 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9473/stat : 9473 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104229 15371935744 21681 33554432000 4194304 4196468 140721024552000 140668528580688 140670512486299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9474] ppid=9446 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9474/stat : 9474 (java) R 9446 9450 8644 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 78104229 15371935744 21681 33554432000 4194304 4196468 140721024552000 140669280512624 140670512478850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9475] ppid=9446 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9475/stat : 9475 (java) R 9446 9450 8644 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 15 0 78104229 15371935744 21681 33554432000 4194304 4196468 140721024552000 140669279459824 140670512489050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9476] ppid=9446 vsize=15011656 memory=140104030766720 CPUtime=0.03 cores=1,3,5,7
/proc/9450/task/9476/stat : 9476 (java) S 9446 9450 8644 0 -1 1077944384 284 0 0 0 3 0 0 0 20 0 15 0 78104229 15371935744 21681 33554432000 4194304 4196468 140721024552000 140669278407536 140670512478850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9477] ppid=9446 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9477/stat : 9477 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104229 15371935744 21681 33554432000 4194304 4196468 140721024552000 140668030675936 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9478] ppid=9446 vsize=15011656 memory=140104030766720 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9478/stat : 9478 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104230 15371935744 21681 33554432000 4194304 4196468 140721024552000 140669277354416 140670512478850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86724 KiB
[startup+0.310227 s]*
/proc/loadavg: 1.92 2.00 2.04 7/216 9478
/proc/meminfo: memFree=24231096/32770624 swapFree=67108860/67108860
[pid=9450] ppid=9446 vsize=15011656 memory=90456 CPUtime=0.43 cores=1,3,5,7
/proc/9450/stat : 9450 (java) S 9446 9450 8644 0 -1 1077944320 10639 0 0 0 39 4 0 0 20 0 15 0 78104223 15371935744 22614 33554432000 4194304 4196468 140721024552000 140721024534544 140670512467703 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
/proc/9450/statm: 3752914 22614 3024 1 0 3715374 0
[pid=9450/tid=9452] ppid=9446 vsize=15011656 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/9450/task/9452/stat : 9452 (java) R 9446 9450 8644 0 -1 4202560 8381 0 0 0 27 2 0 0 20 0 15 0 78104223 15371935744 22614 33554432000 4194304 4196468 140721024552000 140670484284240 140670496548190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9457] ppid=9446 vsize=15011656 memory=4294977868 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9457/stat : 9457 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104225 15371935744 22614 33554432000 4194304 4196468 140721024552000 140670516710288 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9458] ppid=9446 vsize=15011656 memory=140104031227996 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9458/stat : 9458 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104225 15371935744 22614 33554432000 4194304 4196468 140721024552000 140670315485968 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9459] ppid=9446 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9459/stat : 9459 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104225 15371935744 22614 33554432000 4194304 4196468 140721024552000 140670314433680 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9460] ppid=9446 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9460/stat : 9460 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104225 15371935744 22614 33554432000 4194304 4196468 140721024552000 140669970537488 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9463] ppid=9446 vsize=15011656 memory=140104030766720 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9463/stat : 9463 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104226 15371935744 22614 33554432000 4194304 4196468 140721024552000 140669281564784 140670512478850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9465] ppid=9446 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9465/stat : 9465 (java) S 9446 9450 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78104227 15371935744 22614 33554432000 4194304 4196468 140721024552000 140669171524384 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9466] ppid=9446 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9466/stat : 9466 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104227 15371935744 22614 33554432000 4194304 4196468 140721024552000 140668903089264 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9473] ppid=9446 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9473/stat : 9473 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104229 15371935744 22614 33554432000 4194304 4196468 140721024552000 140668528580688 140670512486299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9474] ppid=9446 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9450/task/9474/stat : 9474 (java) S 9446 9450 8644 0 -1 1077944384 538 0 0 0 2 0 0 0 20 0 15 0 78104229 15371935744 22614 33554432000 4194304 4196468 140721024552000 140669280512624 140670512478850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9475] ppid=9446 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9450/task/9475/stat : 9475 (java) S 9446 9450 8644 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 15 0 78104229 15371935744 22614 33554432000 4194304 4196468 140721024552000 140669279459824 140670512478850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9476] ppid=9446 vsize=15011656 memory=140104030766720 CPUtime=0.07 cores=1,3,5,7
/proc/9450/task/9476/stat : 9476 (java) S 9446 9450 8644 0 -1 1077944384 304 0 0 0 7 0 0 0 20 0 15 0 78104229 15371935744 22614 33554432000 4194304 4196468 140721024552000 140669278407536 140670512478850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9477] ppid=9446 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9477/stat : 9477 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104229 15371935744 22614 33554432000 4194304 4196468 140721024552000 140668030675936 140670512477909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9478] ppid=9446 vsize=15011656 memory=140104030766720 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9478/stat : 9478 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104230 15371935744 22614 33554432000 4194304 4196468 140721024552000 140669277354416 140670512478850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90456 KiB
[startup+0.70494 s]
/proc/loadavg: 1.92 2.00 2.04 5/216 9478
/proc/meminfo: memFree=24181676/32770624 swapFree=67108860/67108860
[pid=9450] ppid=9446 vsize=15020052 memory=130352 CPUtime=1.02 cores=1,3,5,7
/proc/9450/stat : 9450 (java) S 9446 9450 8644 0 -1 1077944320 17759 0 0 0 97 5 0 0 20 0 15 0 78104223 15380533248 32588 33554432000 4194304 4196468 140721024552000 140721024534544 140670512467703 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
/proc/9450/statm: 3755013 32588 3161 1 0 3716398 0
[pid=9450/tid=9452] ppid=9446 vsize=15020052 memory=180747189106772 CPUtime=0.67 cores=1,3,5,7
/proc/9450/task/9452/stat : 9452 (java) R 9446 9450 8644 0 -1 4202560 14992 0 0 0 64 3 0 0 20 0 15 0 78104223 15380533248 32588 33554432000 4194304 4196468 140721024552000 140670484305216 140670512479638 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9457] ppid=9446 vsize=15020052 memory=462420 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9457/stat : 9457 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104225 15380533248 32588 33554432000 4194304 4196468 140721024552000 140670516710288 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9458] ppid=9446 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9458/stat : 9458 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104225 15380533248 32588 33554432000 4194304 4196468 140721024552000 140670315485968 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9459] ppid=9446 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9459/stat : 9459 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104225 15380533248 32588 33554432000 4194304 4196468 140721024552000 140670314433680 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9460] ppid=9446 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9460/stat : 9460 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104225 15380533248 32588 33554432000 4194304 4196468 140721024552000 140669970537488 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9463] ppid=9446 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9463/stat : 9463 (java) S 9446 9450 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78104226 15380533248 32588 33554432000 4194304 4196468 140721024552000 140669281564784 140670512478850 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9465] ppid=9446 vsize=15020052 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9465/stat : 9465 (java) S 9446 9450 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78104227 15380533248 32588 33554432000 4194304 4196468 140721024552000 140669171524384 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9466] ppid=9446 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9466/stat : 9466 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104227 15380533248 32588 33554432000 4194304 4196468 140721024552000 140668903089264 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9473] ppid=9446 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9473/stat : 9473 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104229 15380533248 32588 33554432000 4194304 4196468 140721024552000 140668528580688 140670512486299 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9474] ppid=9446 vsize=15020052 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9450/task/9474/stat : 9474 (java) R 9446 9450 8644 0 -1 4202560 751 0 0 0 9 0 0 0 20 0 15 0 78104229 15380533248 32588 33554432000 4194304 4196468 140721024552000 140669280500464 140670497577164 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9475] ppid=9446 vsize=15020052 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9450/task/9475/stat : 9475 (java) R 9446 9450 8644 0 -1 1077944384 204 0 0 0 5 0 0 0 20 0 15 0 78104229 15380533248 32588 33554432000 4194304 4196468 140721024552000 140669279450208 140670512477909 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9476] ppid=9446 vsize=15020052 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/9450/task/9476/stat : 9476 (java) R 9446 9450 8644 0 -1 1077944384 469 0 0 0 17 0 0 0 20 0 15 0 78104229 15380533248 32588 33554432000 4194304 4196468 140721024552000 140669278407536 140670512478850 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9477] ppid=9446 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9477/stat : 9477 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104229 15380533248 32588 33554432000 4194304 4196468 140721024552000 140668030675936 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9478] ppid=9446 vsize=15020052 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9478/stat : 9478 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104230 15380533248 32588 33554432000 4194304 4196468 140721024552000 140669277354416 140670512478850 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130352 KiB
[startup+1.50101 s]
/proc/loadavg: 1.92 2.00 2.04 5/216 9478
/proc/meminfo: memFree=24117776/32770624 swapFree=67108860/67108860
[pid=9450] ppid=9446 vsize=15022100 memory=184372 CPUtime=2.95 cores=1,3,5,7
/proc/9450/stat : 9450 (java) S 9446 9450 8644 0 -1 1077944320 21557 0 0 0 287 8 0 0 20 0 15 0 78104223 15382630400 46093 33554432000 4194304 4196468 140721024552000 140721024534544 140670512467703 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
/proc/9450/statm: 3755525 46093 3200 1 0 3716910 0
[pid=9450/tid=9452] ppid=9446 vsize=15022100 memory=10799 CPUtime=1.47 cores=1,3,5,7
/proc/9450/task/9452/stat : 9452 (java) R 9446 9450 8644 0 -1 4202560 16080 0 0 0 142 5 0 0 20 0 15 0 78104223 15382630400 46093 33554432000 4194304 4196468 140721024552000 140670484304560 140669999929062 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9457] ppid=9446 vsize=15022100 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9457/stat : 9457 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104225 15382630400 46093 33554432000 4194304 4196468 140721024552000 140670516710288 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9458] ppid=9446 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9458/stat : 9458 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104225 15382630400 46093 33554432000 4194304 4196468 140721024552000 140670315485968 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9459] ppid=9446 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9459/stat : 9459 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104225 15382630400 46093 33554432000 4194304 4196468 140721024552000 140670314433680 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9460] ppid=9446 vsize=15022100 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9460/stat : 9460 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104225 15382630400 46093 33554432000 4194304 4196468 140721024552000 140669970537488 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9463] ppid=9446 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9463/stat : 9463 (java) S 9446 9450 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78104226 15382630400 46093 33554432000 4194304 4196468 140721024552000 140669281564784 140670512478850 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9465] ppid=9446 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9465/stat : 9465 (java) S 9446 9450 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78104227 15382630400 46093 33554432000 4194304 4196468 140721024552000 140669171524384 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9466] ppid=9446 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9466/stat : 9466 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104227 15382630400 46093 33554432000 4194304 4196468 140721024552000 140668903089264 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9473] ppid=9446 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9473/stat : 9473 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104229 15382630400 46093 33554432000 4194304 4196468 140721024552000 140668528580688 140670512486299 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9474] ppid=9446 vsize=15022100 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/9450/task/9474/stat : 9474 (java) S 9446 9450 8644 0 -1 1077944384 926 0 0 0 41 0 0 0 20 0 15 0 78104229 15382630400 46093 33554432000 4194304 4196468 140721024552000 140669280512624 140670512478850 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9475] ppid=9446 vsize=15022100 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/9450/task/9475/stat : 9475 (java) R 9446 9450 8644 0 -1 4202560 605 0 0 0 35 1 0 0 20 0 15 0 78104229 15382630400 46093 33554432000 4194304 4196468 140721024552000 140669279442544 140670512489050 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9476] ppid=9446 vsize=15022100 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/9450/task/9476/stat : 9476 (java) S 9446 9450 8644 0 -1 1077944384 2603 0 0 0 68 1 0 0 20 0 15 0 78104229 15382630400 46093 33554432000 4194304 4196468 140721024552000 140669278407536 140670512478850 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9477] ppid=9446 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9477/stat : 9477 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104229 15382630400 46093 33554432000 4194304 4196468 140721024552000 140668030675936 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9478] ppid=9446 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9478/stat : 9478 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104230 15382630400 46093 33554432000 4194304 4196468 140721024552000 140669277354416 140670512478850 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 184372 KiB
[startup+3.10992 s]
/proc/loadavg: 1.92 2.00 2.04 4/221 9484
/proc/meminfo: memFree=23378472/32770624 swapFree=67108860/67108860
[pid=9450] ppid=9446 vsize=15681864 memory=329980 CPUtime=5.33 cores=1,3,5,7
/proc/9450/stat : 9450 (java) S 9446 9450 8644 0 -1 1077944320 25249 0 0 0 522 11 0 0 20 0 19 0 78104223 16058228736 82495 33554432000 4194304 4196468 140721024552000 140721024534544 140670512467703 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
/proc/9450/statm: 3920466 82495 3227 1 0 3881322 0
[pid=9479] ppid=9450 vsize=24136 memory=6796 CPUtime=0.92 cores=1,3,5,7
/proc/9479/stat : 9479 (minisat_release) R 9450 9450 8644 0 -1 4202496 2015 0 0 0 92 0 0 0 20 0 1 0 78104441 24715264 1699 33554432000 4194304 4308513 140723080067840 140723080064744 4275941 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 10313728 140723080069809 140723080070318 140723080070318 140723080073157 0
/proc/9479/statm: 6034 1699 349 28 0 2274 0
[pid=9450/tid=9452] ppid=9446 vsize=15681864 memory=329980 CPUtime=2.18 cores=1,3,5,7
/proc/9450/task/9452/stat : 9452 (java) S 9446 9450 8644 0 -1 1077944384 16836 0 0 0 212 6 0 0 20 0 19 0 78104223 16058228736 82495 33554432000 4194304 4196468 140721024552000 140670484306944 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9457] ppid=9446 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9457/stat : 9457 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 78104225 16058228736 82495 33554432000 4194304 4196468 140721024552000 140670516710288 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9458] ppid=9446 vsize=15681864 memory=140103913841272 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9458/stat : 9458 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 78104225 16058228736 82495 33554432000 4194304 4196468 140721024552000 140670315485968 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9459] ppid=9446 vsize=15681864 memory=81389630278148 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9459/stat : 9459 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 78104225 16058228736 82495 33554432000 4194304 4196468 140721024552000 140670314433680 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9460] ppid=9446 vsize=15681864 memory=140103913859015 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9460/stat : 9460 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 78104225 16058228736 82495 33554432000 4194304 4196468 140721024552000 140669970537488 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9463] ppid=9446 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9463/stat : 9463 (java) S 9446 9450 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 78104226 16058228736 82495 33554432000 4194304 4196468 140721024552000 140669281564784 140670512478850 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9465] ppid=9446 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9465/stat : 9465 (java) S 9446 9450 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 78104227 16058228736 82495 33554432000 4194304 4196468 140721024552000 140669171524384 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9466] ppid=9446 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9466/stat : 9466 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 78104227 16058228736 82495 33554432000 4194304 4196468 140721024552000 140668903089264 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9473] ppid=9446 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9473/stat : 9473 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78104229 16058228736 82495 33554432000 4194304 4196468 140721024552000 140668528580688 140670512486299 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9474] ppid=9446 vsize=15681864 memory=134164 CPUtime=1.17 cores=1,3,5,7
/proc/9450/task/9474/stat : 9474 (java) S 9446 9450 8644 0 -1 1077944384 2271 0 0 0 116 1 0 0 20 0 19 0 78104229 16058228736 82495 33554432000 4194304 4196468 140721024552000 140669280512624 140670512478850 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9475] ppid=9446 vsize=15681864 memory=280207827478000 CPUtime=1.02 cores=1,3,5,7
/proc/9450/task/9475/stat : 9475 (java) S 9446 9450 8644 0 -1 1077944384 1717 0 0 0 101 1 0 0 20 0 19 0 78104229 16058228736 82495 33554432000 4194304 4196468 140721024552000 140669279459824 140670512478850 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9476] ppid=9446 vsize=15681864 memory=644 CPUtime=0.92 cores=1,3,5,7
/proc/9450/task/9476/stat : 9476 (java) S 9446 9450 8644 0 -1 1077944384 3026 0 0 0 91 1 0 0 20 0 19 0 78104229 16058228736 82495 33554432000 4194304 4196468 140721024552000 140669278407536 140670512478850 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9477] ppid=9446 vsize=15681864 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9477/stat : 9477 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78104229 16058228736 82495 33554432000 4194304 4196468 140721024552000 140668030675936 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9478] ppid=9446 vsize=15681864 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9478/stat : 9478 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78104230 16058228736 82495 33554432000 4194304 4196468 140721024552000 140669277354416 140670512478850 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9480] ppid=9446 vsize=15681864 memory=956 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9480/stat : 9480 (java) S 9446 9450 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78104441 16058228736 82495 33554432000 4194304 4196468 140721024552000 140669574722496 140670512492313 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9482] ppid=9446 vsize=15681864 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9482/stat : 9482 (java) S 9446 9450 8644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 78104441 16058228736 82495 33554432000 4194304 4196468 140721024552000 140667493793200 140670512489629 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9483] ppid=9446 vsize=15681864 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9483/stat : 9483 (java) S 9446 9450 8644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 78104441 16058228736 82495 33554432000 4194304 4196468 140721024552000 140667225358128 140670512489629 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9484] ppid=9446 vsize=15681864 memory=928 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9484/stat : 9484 (java) S 9446 9450 8644 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 78104443 16058228736 82495 33554432000 4194304 4196468 140721024552000 140667762236832 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 15706000 KiB
Current children cumulated memory: 336776 KiB
[startup+3.3621 s]
# the end of solver process 9450 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.39466 s, system=0.125804 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.10992 s]
/proc/loadavg: 1.92 2.00 2.04 4/221 9484
/proc/meminfo: memFree=23378472/32770624 swapFree=67108860/67108860
[pid=9450] ppid=9446 vsize=15681864 memory=329980 CPUtime=5.33 cores=1,3,5,7
/proc/9450/stat : 9450 (java) S 9446 9450 8644 0 -1 1077944320 25249 0 0 0 522 11 0 0 20 0 19 0 78104223 16058228736 82495 33554432000 4194304 4196468 140721024552000 140721024534544 140670512467703 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
/proc/9450/statm: 3920466 82495 3227 1 0 3881322 0
[pid=9479] ppid=9450 vsize=24136 memory=6796 CPUtime=0.92 cores=1,3,5,7
/proc/9479/stat : 9479 (minisat_release) R 9450 9450 8644 0 -1 4202496 2015 0 0 0 92 0 0 0 20 0 1 0 78104441 24715264 1699 33554432000 4194304 4308513 140723080067840 140723080064744 4275941 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 10313728 140723080069809 140723080070318 140723080070318 140723080073157 0
/proc/9479/statm: 6034 1699 349 28 0 2274 0
[pid=9450/tid=9452] ppid=9446 vsize=15681864 memory=329980 CPUtime=2.18 cores=1,3,5,7
/proc/9450/task/9452/stat : 9452 (java) S 9446 9450 8644 0 -1 1077944384 16836 0 0 0 212 6 0 0 20 0 19 0 78104223 16058228736 82495 33554432000 4194304 4196468 140721024552000 140670484306944 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9457] ppid=9446 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9457/stat : 9457 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 78104225 16058228736 82495 33554432000 4194304 4196468 140721024552000 140670516710288 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9458] ppid=9446 vsize=15681864 memory=140103913841272 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9458/stat : 9458 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 78104225 16058228736 82495 33554432000 4194304 4196468 140721024552000 140670315485968 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9459] ppid=9446 vsize=15681864 memory=81389630278148 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9459/stat : 9459 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 78104225 16058228736 82495 33554432000 4194304 4196468 140721024552000 140670314433680 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9460] ppid=9446 vsize=15681864 memory=140103913859015 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9460/stat : 9460 (java) S 9446 9450 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 78104225 16058228736 82495 33554432000 4194304 4196468 140721024552000 140669970537488 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9463] ppid=9446 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9463/stat : 9463 (java) S 9446 9450 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 78104226 16058228736 82495 33554432000 4194304 4196468 140721024552000 140669281564784 140670512478850 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9465] ppid=9446 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9465/stat : 9465 (java) S 9446 9450 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 78104227 16058228736 82495 33554432000 4194304 4196468 140721024552000 140669171524384 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9466] ppid=9446 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9466/stat : 9466 (java) S 9446 9450 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 78104227 16058228736 82495 33554432000 4194304 4196468 140721024552000 140668903089264 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9473] ppid=9446 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9473/stat : 9473 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78104229 16058228736 82495 33554432000 4194304 4196468 140721024552000 140668528580688 140670512486299 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9474] ppid=9446 vsize=15681864 memory=134164 CPUtime=1.17 cores=1,3,5,7
/proc/9450/task/9474/stat : 9474 (java) S 9446 9450 8644 0 -1 1077944384 2271 0 0 0 116 1 0 0 20 0 19 0 78104229 16058228736 82495 33554432000 4194304 4196468 140721024552000 140669280512624 140670512478850 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9475] ppid=9446 vsize=15681864 memory=280207827478000 CPUtime=1.02 cores=1,3,5,7
/proc/9450/task/9475/stat : 9475 (java) S 9446 9450 8644 0 -1 1077944384 1717 0 0 0 101 1 0 0 20 0 19 0 78104229 16058228736 82495 33554432000 4194304 4196468 140721024552000 140669279459824 140670512478850 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9476] ppid=9446 vsize=15681864 memory=644 CPUtime=0.92 cores=1,3,5,7
/proc/9450/task/9476/stat : 9476 (java) S 9446 9450 8644 0 -1 1077944384 3026 0 0 0 91 1 0 0 20 0 19 0 78104229 16058228736 82495 33554432000 4194304 4196468 140721024552000 140669278407536 140670512478850 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9477] ppid=9446 vsize=15681864 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9477/stat : 9477 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78104229 16058228736 82495 33554432000 4194304 4196468 140721024552000 140668030675936 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9478] ppid=9446 vsize=15681864 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9478/stat : 9478 (java) S 9446 9450 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78104230 16058228736 82495 33554432000 4194304 4196468 140721024552000 140669277354416 140670512478850 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9480] ppid=9446 vsize=15681864 memory=956 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9480/stat : 9480 (java) S 9446 9450 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78104441 16058228736 82495 33554432000 4194304 4196468 140721024552000 140669574722496 140670512492313 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9482] ppid=9446 vsize=15681864 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9482/stat : 9482 (java) S 9446 9450 8644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 78104441 16058228736 82495 33554432000 4194304 4196468 140721024552000 140667493793200 140670512489629 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9483] ppid=9446 vsize=15681864 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9483/stat : 9483 (java) S 9446 9450 8644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 78104441 16058228736 82495 33554432000 4194304 4196468 140721024552000 140667225358128 140670512489629 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
[pid=9450/tid=9484] ppid=9446 vsize=15681864 memory=928 CPUtime=0 cores=1,3,5,7
/proc/9450/task/9484/stat : 9484 (java) S 9446 9450 8644 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 78104443 16058228736 82495 33554432000 4194304 4196468 140721024552000 140667762236832 140670512477909 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21458944 140721024558067 140721024558345 140721024558345 140721024561103 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 15706000 KiB
Current children cumulated memory: 336776 KiB
Child status: 0
Real time (s): 3.36217
CPU time (s): 6.52046
CPU user time (s): 6.39466
CPU system time (s): 0.125804
CPU usage (%): 193.936
Max. virtual memory (cumulated for all children) (KiB): 15706000
Max. memory (cumulated for all children) (KiB): 336776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.39466
system time used= 0.125804
maximum resident set size= 332684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27329
page faults= 0
swaps= 0
block input operations= 0
block output operations= 648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3954
involuntary context switches= 30
# summary of solver processes directly reported to runsolver:
# pid: 9450
# total CPU time (s): 6.52046
# total CPU user time (s): 6.39466
# total CPU system time (s): 0.125804
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037942 second user time and 0.080371 second system time
The end