0.67/0.52
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 09:15:31 CEST 2018
0.67/0.54 c PID: 2432
0.67/0.54 c IP: 172.20.3.105
0.67/0.54 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.21/0.83 c (0,0) Parsing End
1.21/0.84 c (0,0) CSP: 49 int (0 aux), 0 bool (0 aux), 36 ctr, max domain size 7
1.21/0.84 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.84 c (0,0) Constraint Name Generate Begin
1.21/0.84 c (0,0) Ctr:HOME/instance-4292799-1532330131.xml,AllDifferent:IntVar
1.21/0.84 c (0,0) Constraint Name Generate End
1.21/0.84 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.84 c (0,0) CSP to CSPinCNF Begin
1.57/1.02 c (0,0) translated 4 (10%) constraints
1.57/1.07 c (0,0) translated 8 (20%) constraints
1.57/1.09 c (0,0) translated 11 (30%) constraints
1.88/1.13 c (0,0) translated 15 (40%) constraints
1.88/1.14 c (0,0) translated 18 (50%) constraints
1.88/1.16 c (0,0) translated 22 (60%) constraints
1.88/1.17 c (0,0) translated 26 (70%) constraints
1.88/1.17 c (0,0) translated 29 (80%) constraints
1.88/1.19 c (0,0) translated 33 (90%) constraints
1.88/1.20 c (0,0) translated 36 (100%) constraints
2.12/1.25 c (0,0) STATISTICS1:HOME/instance-4292799-1532330131.xml,AllDifferent:IntVar,49,548,7,7,7,2,7:476,7:1336,7:32;6:8;5:8;4:8;3:8;2:484,2:476;1:384,
2.12/1.25 c (0,0) ===========================================
2.12/1.25 c (0,0) Order
2.12/1.25 c (0,0) ===========================================
2.12/1.27 c (0,0) translated 55 (10%) constraints
2.12/1.29 c (0,0) translated 110 (20%) constraints
2.12/1.29 c (0,0) translated 165 (30%) constraints
2.37/1.30 c (0,0) translated 220 (40%) constraints
2.37/1.31 c (0,0) translated 274 (50%) constraints
2.37/1.32 c (0,0) translated 329 (60%) constraints
2.37/1.32 c (0,0) translated 384 (70%) constraints
2.37/1.33 c (0,0) translated 439 (80%) constraints
2.37/1.34 c (0,0) translated 494 (90%) constraints
2.37/1.34 c (0,0) translated 548 (100%) constraints
2.37/1.34 c (0,0) CSP to CSPinCNF End
2.37/1.35 c (0,0) CSP: 49 int (0 aux), 0 bool (0 aux), 548 ctr, max domain size 7
2.37/1.35 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.37/1.35 c (0,0) CSPinCNF Propagation Begin
2.37/1.37 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.37/1.37 c (0,0) CSPinCNF Propagation End
2.37/1.37 c (0,0) CSP: 49 int (0 aux), 0 bool (0 aux), 548 ctr, max domain size 7
2.37/1.37 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.37/1.37 c (0,0) Simplify CSPinCNF Begin
2.70/1.46 c (0,0) Simplify CSPinCNF End
2.70/1.47 c (0,0) CSP: 49 int (0 aux), 952 bool (952 aux), 1500 ctr, max domain size 7
2.70/1.47 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.70/1.47 c (0,0) Calculate Precise Domain Begin
2.70/1.47 c (0,0) 0 values are removed by re-calculation
2.70/1.47 c (0,0) Calculate Precise Domain End
2.70/1.47 c (0,0) CSP: 49 int (0 aux), 952 bool (952 aux), 1500 ctr, max domain size 7
2.70/1.47 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.70/1.47 c (0,0) CSPinCNF to SatSolver Begin
2.99/1.55 c (1,1) 150 (10 %) CSP clauses are encoded (1246 SAT variables, 970 SAT clauses)
2.99/1.57 c (1,1) 300 (20 %) CSP clauses are encoded (1246 SAT variables, 1708 SAT clauses)
2.99/1.59 c (1,1) 450 (30 %) CSP clauses are encoded (1246 SAT variables, 2440 SAT clauses)
3.32/1.60 c (1,1) 600 (40 %) CSP clauses are encoded (1246 SAT variables, 3166 SAT clauses)
3.32/1.62 c (1,1) 750 (50 %) CSP clauses are encoded (1246 SAT variables, 3898 SAT clauses)
3.32/1.63 c (1,1) 900 (60 %) CSP clauses are encoded (1246 SAT variables, 4636 SAT clauses)
3.32/1.64 c (1,1) 1050 (70 %) CSP clauses are encoded (1246 SAT variables, 5362 SAT clauses)
3.32/1.64 c (1,1) 1200 (80 %) CSP clauses are encoded (1246 SAT variables, 6052 SAT clauses)
3.32/1.65 c (1,1) 1350 (90 %) CSP clauses are encoded (1246 SAT variables, 6748 SAT clauses)
3.32/1.66 c (1,1) 1500 (100 %) CSP clauses are encoded (1246 SAT variables, 7456 SAT clauses)
3.32/1.66 c (1,1) CSPinCNF to SatSolver End
3.32/1.66 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.32/1.69 c (1,1) STATISTICS2:HOME/instance-4292799-1532330131.xml,AllDifferent:IntVar,1001,1500,7,7,7,2,7:952,7:2288;2:1904,7:32;6:8;5:8;4:8;3:8;2:1436,2:952;1:2288,
3.32/1.69 c (1,1) SatSolver.solve Begin
3.32/1.69 c (1,1) 1246 bool, 7457 clause
3.32/1.69 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-4292799-1532330131.xml-scop-2432.cnf HOME/instance-4292799-1532330131.xml-scop-2432.cnf.out
3.64/1.73 c (1,0) c This is COMiniSatPS.
3.64/1.73 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
3.64/1.73 c (1,0) c ============================[ Problem Statistics ]=============================
3.64/1.73 c (1,0) c | |
3.64/1.73 c (1,0) c | Number of variables: 1246 |
3.64/1.73 c (1,0) c | Number of clauses: 7457 |
3.64/1.73 c (1,0) c | Parse time: 0.00 s |
3.64/1.73 c (1,0) c | Eliminated clauses: 0.01 Mb |
3.64/1.73 c (1,0) c Reduced to 770 vars, 6981 cls (grow=0)
3.64/1.73 c (1,0) c No iterative elimination performed. (vars=770, c/v ratio=9.1)
3.64/1.73 c (1,0) c | Simplification time: 0.00 s |
3.64/1.73 c (1,0) c | |
3.64/1.73 c (1,0) c ============================[ Search Statistics ]==============================
3.64/1.73 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
3.64/1.73 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.64/1.73 c (1,0) c ===============================================================================
3.64/1.73 c (1,0) c ===============================================================================
3.64/1.73 c (1,0) c restarts : 1
3.64/1.73 c (1,0) c conflicts : 331 (22828 /sec)
3.64/1.73 c (1,0) c decisions : 473 (0.00 % random) (32621 /sec)
3.64/1.73 c (1,0) c propagations : 33240 (2292414 /sec)
3.64/1.73 c (1,0) c conflict literals : 6650 (10.74 % deleted)
3.64/1.73 c (1,0) c CPU time : 0.0145 s
3.64/1.73 c (1,0)
3.64/1.73 c (1,0) s SATISFIABLE
3.64/1.75 c (1,1) SatSolver.solve End
3.64/1.75 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.64/1.75 c (1,1) Show results Begin
3.64/1.76 c (1,1) x[0][0] = 0
3.64/1.76 c (1,1) x[0][1] = 2
3.64/1.76 c (1,1) x[0][2] = 4
3.64/1.76 c (1,1) x[0][3] = 5
3.64/1.76 c (1,1) x[0][4] = 6
3.64/1.76 c (1,1) x[0][5] = 1
3.64/1.76 c (1,1) x[0][6] = 3
3.64/1.76 c (1,1) x[1][0] = 4
3.64/1.76 c (1,1) x[1][1] = 5
3.64/1.76 c (1,1) x[1][2] = 6
3.64/1.76 c (1,1) x[1][3] = 1
3.64/1.76 c (1,1) x[1][4] = 3
3.64/1.76 c (1,1) x[1][5] = 0
3.64/1.76 c (1,1) x[1][6] = 2
3.64/1.76 c (1,1) x[2][0] = 6
3.64/1.76 c (1,1) x[2][1] = 1
3.64/1.76 c (1,1) x[2][2] = 3
3.64/1.76 c (1,1) x[2][3] = 0
3.64/1.76 c (1,1) x[2][4] = 2
3.64/1.76 c (1,1) x[2][5] = 4
3.64/1.76 c (1,1) x[2][6] = 5
3.64/1.76 c (1,1) x[3][0] = 3
3.64/1.76 c (1,1) x[3][1] = 0
3.64/1.76 c (1,1) x[3][2] = 2
3.64/1.76 c (1,1) x[3][3] = 4
3.64/1.76 c (1,1) x[3][4] = 5
3.64/1.76 c (1,1) x[3][5] = 6
3.64/1.76 c (1,1) x[3][6] = 1
3.64/1.76 c (1,1) x[4][0] = 2
3.64/1.76 c (1,1) x[4][1] = 4
3.64/1.76 c (1,1) x[4][2] = 5
3.64/1.76 c (1,1) x[4][3] = 6
3.64/1.76 c (1,1) x[4][4] = 1
3.64/1.76 c (1,1) x[4][5] = 3
3.64/1.76 c (1,1) x[4][6] = 0
3.64/1.76 c (1,1) x[5][0] = 5
3.64/1.76 c (1,1) x[5][1] = 6
3.64/1.76 c (1,1) x[5][2] = 1
3.64/1.76 c (1,1) x[5][3] = 3
3.64/1.76 c (1,1) x[5][4] = 0
3.64/1.76 c (1,1) x[5][5] = 2
3.64/1.76 c (1,1) x[5][6] = 4
3.64/1.76 c (1,1) x[6][0] = 1
3.64/1.76 c (1,1) x[6][1] = 3
3.64/1.76 c (1,1) x[6][2] = 0
3.64/1.76 c (1,1) x[6][3] = 2
3.64/1.76 c (1,1) x[6][4] = 4
3.64/1.76 c (1,1) x[6][5] = 5
3.64/1.76 c (1,1) x[6][6] = 6
3.64/1.76 s SATISFIABLE
3.64/1.76 v <instantiation>
3.64/1.76 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6]</list>
3.64/1.76 v <values>0 2 4 5 6 1 3 4 5 6 1 3 0 2 6 1 3 0 2 4 5 3 0 2 4 5 6 1 2 4 5 6 1 3 0 5 6 1 3 0 2 4 1 3 0 2 4 5 6</values>
3.64/1.76 v </instantiation>
3.64/1.76 c (1,1) Show results End
3.64/1.76 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.64/1.76 c (1,1) 0,0,0,0,0,0,1,1,1,STOP-AFTER(ALL)
3.64/1.76 c END-Prog: Mon Jul 23 09:15: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 (3951 MiB free)
memory of node 1: 16384 MiB (11590 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292799-1532330131/watcher-4292799-1532330131 -o /tmp/evaluation-result-4292799-1532330131/solver-4292799-1532330131 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2303 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4292799-1532330131.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=2432, runsolver pid=2429
[startup+0.10009 s]*
/proc/loadavg: 1.42 1.70 1.92 5/217 2447
/proc/meminfo: memFree=15833892/32770624 swapFree=67108860/67108860
[pid=2432] ppid=2429 vsize=15011656 memory=73320 CPUtime=0.11 cores=1,3,5,7
/proc/2432/stat : 2432 (java) S 2429 2432 2271 0 -1 1077944320 6522 0 0 0 10 1 0 0 20 0 15 0 50576239 15371935744 18330 33554432000 4194304 4196468 140734174211616 140734174194160 140715290463991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
/proc/2432/statm: 3752914 18330 2778 1 0 3715374 0
[pid=2432/tid=2434] ppid=2429 vsize=15011656 memory=-8969868046447244480 CPUtime=0.09 cores=1,3,5,7
/proc/2432/task/2434/stat : 2434 (java) R 2429 2432 2271 0 -1 4202560 4859 0 0 0 8 1 0 0 20 0 15 0 50576240 15371935744 18594 33554432000 4194304 4196468 140734174211616 140715262299120 140715270739819 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2435] ppid=2429 vsize=15011656 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2435/stat : 2435 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15371935744 18594 33554432000 4194304 4196468 140734174211616 140715294706832 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2436] ppid=2429 vsize=15011656 memory=140430238598784 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2436/stat : 2436 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15371935744 18594 33554432000 4194304 4196468 140734174211616 140715085790224 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2437] ppid=2429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2437/stat : 2437 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15371935744 18594 33554432000 4194304 4196468 140734174211616 140715084737424 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2438] ppid=2429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2438/stat : 2438 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15371935744 18594 33554432000 4194304 4196468 140734174211616 140715083684624 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2439] ppid=2429 vsize=15011656 memory=140430238598784 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2439/stat : 2439 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576243 15371935744 18594 33554432000 4194304 4196468 140734174211616 140714261313904 140715290475138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2440] ppid=2429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2440/stat : 2440 (java) S 2429 2432 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50576243 15371935744 18594 33554432000 4194304 4196468 140734174211616 140713866028064 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2441] ppid=2429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2441/stat : 2441 (java) S 2429 2432 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576243 15371935744 18660 33554432000 4194304 4196468 140734174211616 140713597592432 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2442] ppid=2429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2442/stat : 2442 (java) S 2429 2432 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576246 15371935744 18660 33554432000 4194304 4196468 140734174211616 140713223083856 140715290482587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2443] ppid=2429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2443/stat : 2443 (java) S 2429 2432 2271 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 50576246 15371935744 18660 33554432000 4194304 4196468 140734174211616 140714260261744 140715290475138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2444] ppid=2429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2444/stat : 2444 (java) S 2429 2432 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576246 15371935744 18660 33554432000 4194304 4196468 140734174211616 140714259208944 140715290475138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2445] ppid=2429 vsize=15011656 memory=140430238598784 CPUtime=0.01 cores=1,3,5,7
/proc/2432/task/2445/stat : 2445 (java) S 2429 2432 2271 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 50576246 15371935744 18660 33554432000 4194304 4196468 140734174211616 140714258156144 140715290475138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2446] ppid=2429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2446/stat : 2446 (java) S 2429 2432 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576246 15371935744 18660 33554432000 4194304 4196468 140734174211616 140712725179104 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2447] ppid=2429 vsize=15011656 memory=140430238598784 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2447/stat : 2447 (java) S 2429 2432 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576246 15371935744 18660 33554432000 4194304 4196468 140734174211616 140714257103536 140715290475138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73320 KiB
[startup+0.210464 s]*
/proc/loadavg: 1.42 1.70 1.92 6/217 2447
/proc/meminfo: memFree=15797972/32770624 swapFree=67108860/67108860
[pid=2432] ppid=2429 vsize=15011656 memory=85640 CPUtime=0.26 cores=1,3,5,7
/proc/2432/stat : 2432 (java) S 2429 2432 2271 0 -1 1077944320 9862 0 0 0 24 2 0 0 20 0 15 0 50576239 15371935744 21410 33554432000 4194304 4196468 140734174211616 140734174194160 140715290463991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
/proc/2432/statm: 3752914 21410 2885 1 0 3715374 0
[pid=2432/tid=2434] ppid=2429 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/2432/task/2434/stat : 2434 (java) R 2429 2432 2271 0 -1 4202560 7765 0 0 0 18 2 0 0 20 0 15 0 50576240 15371935744 21410 33554432000 4194304 4196468 140734174211616 140715262283360 140715274507621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2435] ppid=2429 vsize=15011656 memory=342 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2435/stat : 2435 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15371935744 21410 33554432000 4194304 4196468 140734174211616 140715294706832 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2436] ppid=2429 vsize=15011656 memory=288370806390310528 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2436/stat : 2436 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15371935744 21410 33554432000 4194304 4196468 140734174211616 140715085790224 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2437] ppid=2429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2437/stat : 2437 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15371935744 21410 33554432000 4194304 4196468 140734174211616 140715084737424 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2438] ppid=2429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2438/stat : 2438 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15371935744 21410 33554432000 4194304 4196468 140734174211616 140715083684624 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2439] ppid=2429 vsize=15011656 memory=140430238598784 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2439/stat : 2439 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576243 15371935744 21410 33554432000 4194304 4196468 140734174211616 140714261313904 140715290475138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2440] ppid=2429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2440/stat : 2440 (java) S 2429 2432 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50576243 15371935744 21410 33554432000 4194304 4196468 140734174211616 140713866028064 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2441] ppid=2429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2441/stat : 2441 (java) S 2429 2432 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576243 15371935744 21410 33554432000 4194304 4196468 140734174211616 140713597592432 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2442] ppid=2429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2442/stat : 2442 (java) S 2429 2432 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576246 15371935744 21410 33554432000 4194304 4196468 140734174211616 140713223083856 140715290482587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2443] ppid=2429 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2432/task/2443/stat : 2443 (java) R 2429 2432 2271 0 -1 4202560 455 0 0 0 1 0 0 0 20 0 15 0 50576246 15371935744 21410 33554432000 4194304 4196468 140734174211616 140714260261744 140715274001572 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2444] ppid=2429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2444/stat : 2444 (java) R 2429 2432 2271 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 50576246 15371935744 21410 33554432000 4194304 4196468 140734174211616 140714259202176 140715290474197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2445] ppid=2429 vsize=15011656 memory=140430238598784 CPUtime=0.03 cores=1,3,5,7
/proc/2432/task/2445/stat : 2445 (java) R 2429 2432 2271 0 -1 4202560 291 0 0 0 3 0 0 0 20 0 15 0 50576246 15371935744 21410 33554432000 4194304 4196468 140734174211616 140714258156144 140715269433779 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2446] ppid=2429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2446/stat : 2446 (java) S 2429 2432 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576246 15371935744 21410 33554432000 4194304 4196468 140734174211616 140712725179104 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2447] ppid=2429 vsize=15011656 memory=140430238598784 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2447/stat : 2447 (java) S 2429 2432 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576246 15371935744 21410 33554432000 4194304 4196468 140734174211616 140714257103536 140715290475138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85640 KiB
[startup+0.310571 s]*
/proc/loadavg: 1.42 1.70 1.92 5/217 2447
/proc/meminfo: memFree=15751260/32770624 swapFree=67108860/67108860
[pid=2432] ppid=2429 vsize=15011656 memory=89976 CPUtime=0.43 cores=1,3,5,7
/proc/2432/stat : 2432 (java) S 2429 2432 2271 0 -1 1077944320 10481 0 0 0 41 2 0 0 20 0 15 0 50576239 15371935744 22494 33554432000 4194304 4196468 140734174211616 140734174194160 140715290463991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
/proc/2432/statm: 3752914 22494 3028 1 0 3715374 0
[pid=2432/tid=2434] ppid=2429 vsize=15011656 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/2432/task/2434/stat : 2434 (java) R 2429 2432 2271 0 -1 4202560 8194 0 0 0 28 2 0 0 20 0 15 0 50576240 15371935744 22494 33554432000 4194304 4196468 140734174211616 140715262291616 140715282701118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2435] ppid=2429 vsize=15011656 memory=304556149062238231 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2435/stat : 2435 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15371935744 22494 33554432000 4194304 4196468 140734174211616 140715294706832 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2436] ppid=2429 vsize=15011656 memory=15956038360549016 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2436/stat : 2436 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15371935744 22494 33554432000 4194304 4196468 140734174211616 140715085790224 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2437] ppid=2429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2437/stat : 2437 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15371935744 22494 33554432000 4194304 4196468 140734174211616 140715084737424 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2438] ppid=2429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2438/stat : 2438 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15371935744 22494 33554432000 4194304 4196468 140734174211616 140715083684624 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2439] ppid=2429 vsize=15011656 memory=140430238598784 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2439/stat : 2439 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576243 15371935744 22494 33554432000 4194304 4196468 140734174211616 140714261313904 140715290475138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2440] ppid=2429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2440/stat : 2440 (java) S 2429 2432 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50576243 15371935744 22494 33554432000 4194304 4196468 140734174211616 140713866028064 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2441] ppid=2429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2441/stat : 2441 (java) S 2429 2432 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576243 15371935744 22494 33554432000 4194304 4196468 140734174211616 140713597592432 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2442] ppid=2429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2442/stat : 2442 (java) S 2429 2432 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576246 15371935744 22494 33554432000 4194304 4196468 140734174211616 140713223083856 140715290482587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2443] ppid=2429 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2432/task/2443/stat : 2443 (java) S 2429 2432 2271 0 -1 1077944384 544 0 0 0 3 0 0 0 20 0 15 0 50576246 15371935744 22494 33554432000 4194304 4196468 140734174211616 140714260261744 140715290475138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2444] ppid=2429 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/2432/task/2444/stat : 2444 (java) S 2429 2432 2271 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 15 0 50576246 15371935744 22494 33554432000 4194304 4196468 140734174211616 140714259208944 140715290475138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2445] ppid=2429 vsize=15011656 memory=140430238598784 CPUtime=0.08 cores=1,3,5,7
/proc/2432/task/2445/stat : 2445 (java) R 2429 2432 2271 0 -1 4202560 335 0 0 0 8 0 0 0 20 0 15 0 50576246 15371935744 22494 33554432000 4194304 4196468 140734174211616 140714258156144 140715269125232 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2446] ppid=2429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2446/stat : 2446 (java) S 2429 2432 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576246 15371935744 22494 33554432000 4194304 4196468 140734174211616 140712725179104 140715290474197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2447] ppid=2429 vsize=15011656 memory=140430238598784 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2447/stat : 2447 (java) S 2429 2432 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576246 15371935744 22494 33554432000 4194304 4196468 140734174211616 140714257103536 140715290475138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89976 KiB
[startup+0.700736 s]
/proc/loadavg: 1.42 1.70 1.92 6/217 2447
/proc/meminfo: memFree=15607088/32770624 swapFree=67108860/67108860
[pid=2432] ppid=2429 vsize=15020052 memory=130140 CPUtime=1.02 cores=1,3,5,7
/proc/2432/stat : 2432 (java) S 2429 2432 2271 0 -1 1077944320 17764 0 0 0 98 4 0 0 20 0 15 0 50576239 15380533248 32535 33554432000 4194304 4196468 140734174211616 140734174194160 140715290463991 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
/proc/2432/statm: 3755013 32535 3159 1 0 3716398 0
[pid=2432/tid=2434] ppid=2429 vsize=15020052 memory=18448 CPUtime=0.67 cores=1,3,5,7
/proc/2432/task/2434/stat : 2434 (java) R 2429 2432 2271 0 -1 4202560 14988 0 0 0 64 3 0 0 20 0 15 0 50576240 15380533248 32535 33554432000 4194304 4196468 140734174211616 140715262291104 140715274544478 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2435] ppid=2429 vsize=15020052 memory=10056 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2435/stat : 2435 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15380533248 32535 33554432000 4194304 4196468 140734174211616 140715294706832 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2436] ppid=2429 vsize=15020052 memory=644 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2436/stat : 2436 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15380533248 32535 33554432000 4194304 4196468 140734174211616 140715085790224 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2437] ppid=2429 vsize=15020052 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2437/stat : 2437 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15380533248 32535 33554432000 4194304 4196468 140734174211616 140715084737424 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2438] ppid=2429 vsize=15020052 memory=960 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2438/stat : 2438 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15380533248 32535 33554432000 4194304 4196468 140734174211616 140715083684624 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2439] ppid=2429 vsize=15020052 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2439/stat : 2439 (java) S 2429 2432 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50576243 15380533248 32535 33554432000 4194304 4196468 140734174211616 140714261313904 140715290475138 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2440] ppid=2429 vsize=15020052 memory=2344 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2440/stat : 2440 (java) S 2429 2432 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50576243 15380533248 32535 33554432000 4194304 4196468 140734174211616 140713866028064 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2441] ppid=2429 vsize=15020052 memory=928 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2441/stat : 2441 (java) S 2429 2432 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576243 15380533248 32535 33554432000 4194304 4196468 140734174211616 140713597592432 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2442] ppid=2429 vsize=15020052 memory=6153431502485414243 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2442/stat : 2442 (java) S 2429 2432 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576246 15380533248 32535 33554432000 4194304 4196468 140734174211616 140713223083856 140715290482587 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2443] ppid=2429 vsize=15020052 memory=7884488363001599584 CPUtime=0.07 cores=1,3,5,7
/proc/2432/task/2443/stat : 2443 (java) R 2429 2432 2271 0 -1 1077944384 638 0 0 0 7 0 0 0 20 0 15 0 50576246 15380533248 32535 33554432000 4194304 4196468 140734174211616 140714260261744 140715290475138 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2444] ppid=2429 vsize=15020052 memory=6004820471124940137 CPUtime=0.08 cores=1,3,5,7
/proc/2432/task/2444/stat : 2444 (java) S 2429 2432 2271 0 -1 1077944384 316 0 0 0 8 0 0 0 20 0 15 0 50576246 15380533248 32535 33554432000 4194304 4196468 140734174211616 140714259208944 140715290475138 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2445] ppid=2429 vsize=15020052 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/2432/task/2445/stat : 2445 (java) S 2429 2432 2271 0 -1 1077944384 480 0 0 0 16 0 0 0 20 0 15 0 50576246 15380533248 32535 33554432000 4194304 4196468 140734174211616 140714258156144 140715290475138 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2446] ppid=2429 vsize=15020052 memory=5792596035786532450 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2446/stat : 2446 (java) S 2429 2432 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576246 15380533248 32535 33554432000 4194304 4196468 140734174211616 140712725179104 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2447] ppid=2429 vsize=15020052 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2447/stat : 2447 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576246 15380533248 32535 33554432000 4194304 4196468 140734174211616 140714257103536 140715290475138 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130140 KiB
[startup+1.50132 s]
/proc/loadavg: 1.42 1.70 1.92 4/222 2453
/proc/meminfo: memFree=15262956/32770624 swapFree=67108860/67108860
[pid=2432] ppid=2429 vsize=15026264 memory=185728 CPUtime=2.99 cores=1,3,5,7
/proc/2432/stat : 2432 (java) S 2429 2432 2271 0 -1 1077944320 21925 0 0 0 292 7 0 0 20 0 15 0 50576239 15386894336 46432 33554432000 4194304 4196468 140734174211616 140734174194160 140715290463991 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
/proc/2432/statm: 3756566 46432 3216 1 0 3717422 0
[pid=2432/tid=2434] ppid=2429 vsize=15026264 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/2432/task/2434/stat : 2434 (java) R 2429 2432 2271 0 -1 4202560 16245 0 0 0 142 5 0 0 20 0 15 0 50576240 15386894336 46432 33554432000 4194304 4196468 140734174211616 140715262302416 140714763234097 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2435] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2435/stat : 2435 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15386894336 46432 33554432000 4194304 4196468 140734174211616 140715294706832 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2436] ppid=2429 vsize=15026264 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2436/stat : 2436 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15386894336 46432 33554432000 4194304 4196468 140734174211616 140715085790224 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2437] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2437/stat : 2437 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15386894336 46432 33554432000 4194304 4196468 140734174211616 140715084737424 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2438] ppid=2429 vsize=15026264 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2438/stat : 2438 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15386894336 46432 33554432000 4194304 4196468 140734174211616 140715083684624 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2439] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2439/stat : 2439 (java) S 2429 2432 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50576243 15386894336 46432 33554432000 4194304 4196468 140734174211616 140714261313904 140715290475138 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2440] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2440/stat : 2440 (java) S 2429 2432 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50576243 15386894336 46432 33554432000 4194304 4196468 140734174211616 140713866028064 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2441] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2441/stat : 2441 (java) S 2429 2432 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576243 15386894336 46432 33554432000 4194304 4196468 140734174211616 140713597592432 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2442] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2442/stat : 2442 (java) S 2429 2432 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576246 15386894336 46432 33554432000 4194304 4196468 140734174211616 140713223083856 140715290482587 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2443] ppid=2429 vsize=15026264 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/2432/task/2443/stat : 2443 (java) R 2429 2432 2271 0 -1 4202560 1073 0 0 0 40 0 0 0 20 0 15 0 50576246 15386894336 46432 33554432000 4194304 4196468 140734174211616 140714260245840 140715282753467 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2444] ppid=2429 vsize=15026264 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/2432/task/2444/stat : 2444 (java) R 2429 2432 2271 0 -1 4202560 663 0 0 0 41 0 0 0 20 0 15 0 50576246 15386894336 46432 33554432000 4194304 4196468 140734174211616 140714259195488 140715275581085 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2445] ppid=2429 vsize=15026264 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/2432/task/2445/stat : 2445 (java) S 2429 2432 2271 0 -1 1077944384 2600 0 0 0 68 1 0 0 20 0 15 0 50576246 15386894336 46432 33554432000 4194304 4196468 140734174211616 140714258156144 140715290475138 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2446] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2446/stat : 2446 (java) S 2429 2432 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576246 15386894336 46432 33554432000 4194304 4196468 140734174211616 140712725179104 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2447] ppid=2429 vsize=15026264 memory=13898514172380 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2447/stat : 2447 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576246 15386894336 46432 33554432000 4194304 4196468 140734174211616 140714257103536 140715290475138 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 185728 KiB
[startup+1.78497 s]
# the end of solver process 2432 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.76256 s, system=0.100419 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6051 s]
/proc/loadavg: 1.42 1.70 1.92 4/222 2453
/proc/meminfo: memFree=15262956/32770624 swapFree=67108860/67108860
[pid=2432] ppid=2429 vsize=15026264 memory=195116 CPUtime=3.32 cores=1,3,5,7
/proc/2432/stat : 2432 (java) S 2429 2432 2271 0 -1 1077944320 22193 0 0 0 324 8 0 0 20 0 15 0 50576239 15386894336 48779 33554432000 4194304 4196468 140734174211616 140734174194160 140715290463991 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
/proc/2432/statm: 3756566 48779 3217 1 0 3717422 0
[pid=2432/tid=2434] ppid=2429 vsize=15026264 memory=0 CPUtime=1.57 cores=1,3,5,7
/proc/2432/task/2434/stat : 2434 (java) R 2429 2432 2271 0 -1 4202560 16301 0 0 0 152 5 0 0 20 0 15 0 50576240 15386894336 48779 33554432000 4194304 4196468 140734174211616 140715262300032 140714763194947 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2435] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2435/stat : 2435 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15386894336 48779 33554432000 4194304 4196468 140734174211616 140715294706832 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2436] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2436/stat : 2436 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15386894336 48779 33554432000 4194304 4196468 140734174211616 140715085790224 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2437] ppid=2429 vsize=15026264 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2437/stat : 2437 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15386894336 48779 33554432000 4194304 4196468 140734174211616 140715084737424 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2438] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2438/stat : 2438 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15386894336 48779 33554432000 4194304 4196468 140734174211616 140715083684624 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2439] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2439/stat : 2439 (java) S 2429 2432 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50576243 15386894336 48779 33554432000 4194304 4196468 140734174211616 140714261313904 140715290475138 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2440] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2440/stat : 2440 (java) S 2429 2432 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50576243 15386894336 48779 33554432000 4194304 4196468 140734174211616 140713866028064 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2441] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2441/stat : 2441 (java) S 2429 2432 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576243 15386894336 48779 33554432000 4194304 4196468 140734174211616 140713597592432 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2442] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2442/stat : 2442 (java) S 2429 2432 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576246 15386894336 48779 33554432000 4194304 4196468 140734174211616 140713223083856 140715290482587 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2443] ppid=2429 vsize=15026264 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/2432/task/2443/stat : 2443 (java) R 2429 2432 2271 0 -1 4202560 1115 0 0 0 47 0 0 0 20 0 15 0 50576246 15386894336 48779 33554432000 4194304 4196468 140734174211616 140714260254768 140715269960944 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2444] ppid=2429 vsize=15026264 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/2432/task/2444/stat : 2444 (java) R 2429 2432 2271 0 -1 4202560 695 0 0 0 49 0 0 0 20 0 15 0 50576246 15386894336 48779 33554432000 4194304 4196468 140734174211616 140714259209072 140715269902323 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2445] ppid=2429 vsize=15026264 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/2432/task/2445/stat : 2445 (java) R 2429 2432 2271 0 -1 1077944384 2738 0 0 0 74 1 0 0 20 0 15 0 50576246 15386894336 48779 33554432000 4194304 4196468 140734174211616 140714258156144 140715290475138 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2446] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2446/stat : 2446 (java) S 2429 2432 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576246 15386894336 48779 33554432000 4194304 4196468 140734174211616 140712725179104 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2447] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2447/stat : 2447 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576246 15386894336 48779 33554432000 4194304 4196468 140734174211616 140714257103536 140715290475138 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
Current children cumulated CPU time: 3.32 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 195116 KiB
[startup+1.70106 s]
/proc/loadavg: 1.42 1.70 1.92 4/222 2453
/proc/meminfo: memFree=15262956/32770624 swapFree=67108860/67108860
[pid=2432] ppid=2429 vsize=15026264 memory=214468 CPUtime=3.64 cores=1,3,5,7
/proc/2432/stat : 2432 (java) S 2429 2432 2271 0 -1 1077944320 22472 0 0 0 356 8 0 0 20 0 15 0 50576239 15386894336 53617 33554432000 4194304 4196468 140734174211616 140734174194160 140715290463991 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
/proc/2432/statm: 3756566 53617 3217 1 0 3717422 0
[pid=2432/tid=2434] ppid=2429 vsize=15026264 memory=185728 CPUtime=1.67 cores=1,3,5,7
/proc/2432/task/2434/stat : 2434 (java) R 2429 2432 2271 0 -1 4202560 16370 0 0 0 161 6 0 0 20 0 15 0 50576240 15386894336 53617 33554432000 4194304 4196468 140734174211616 140715262297824 140715290485338 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2435] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2435/stat : 2435 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15386894336 53617 33554432000 4194304 4196468 140734174211616 140715294706832 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2436] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2436/stat : 2436 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15386894336 53617 33554432000 4194304 4196468 140734174211616 140715085790224 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2437] ppid=2429 vsize=15026264 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2437/stat : 2437 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15386894336 53617 33554432000 4194304 4196468 140734174211616 140715084737424 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2438] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2438/stat : 2438 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576241 15386894336 53617 33554432000 4194304 4196468 140734174211616 140715083684624 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2439] ppid=2429 vsize=15026264 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2439/stat : 2439 (java) S 2429 2432 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50576243 15386894336 53617 33554432000 4194304 4196468 140734174211616 140714261313904 140715290475138 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2440] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2440/stat : 2440 (java) S 2429 2432 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50576243 15386894336 53617 33554432000 4194304 4196468 140734174211616 140713866028064 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2441] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2441/stat : 2441 (java) S 2429 2432 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576243 15386894336 53617 33554432000 4194304 4196468 140734174211616 140713597592432 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2442] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2442/stat : 2442 (java) S 2429 2432 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576246 15386894336 53617 33554432000 4194304 4196468 140734174211616 140713223083856 140715290482587 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2443] ppid=2429 vsize=15026264 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/2432/task/2443/stat : 2443 (java) R 2429 2432 2271 0 -1 4202560 1244 0 0 0 57 0 0 0 20 0 15 0 50576246 15386894336 53617 33554432000 4194304 4196468 140734174211616 140714260231520 140715275361633 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2444] ppid=2429 vsize=15026264 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/2432/task/2444/stat : 2444 (java) R 2429 2432 2271 0 -1 4202560 719 0 0 0 58 0 0 0 20 0 15 0 50576246 15386894336 53617 33554432000 4194304 4196468 140734174211616 140714259199952 140715274857635 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2445] ppid=2429 vsize=15026264 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/2432/task/2445/stat : 2445 (java) R 2429 2432 2271 0 -1 1077944384 2795 0 0 0 77 1 0 0 20 0 15 0 50576246 15386894336 53617 33554432000 4194304 4196468 140734174211616 140714258156144 140715290475138 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2446] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2446/stat : 2446 (java) S 2429 2432 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576246 15386894336 53617 33554432000 4194304 4196468 140734174211616 140712725179104 140715290474197 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
[pid=2432/tid=2447] ppid=2429 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2432/task/2447/stat : 2447 (java) S 2429 2432 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576246 15386894336 53617 33554432000 4194304 4196468 140734174211616 140714257103536 140715290475138 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39706624 140734174217203 140734174217481 140734174217481 140734174220239 0
Current children cumulated CPU time: 3.64 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 214468 KiB
Child status: 0
Real time (s): 1.785
CPU time (s): 3.86298
CPU user time (s): 3.76256
CPU system time (s): 0.100419
CPU usage (%): 216.413
Max. virtual memory (cumulated for all children) (KiB): 15026264
Max. memory (cumulated for all children) (KiB): 214468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.76256
system time used= 0.100419
maximum resident set size= 231376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23846
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3488
involuntary context switches= 30
# summary of solver processes directly reported to runsolver:
# pid: 2432
# total CPU time (s): 3.86298
# total CPU user time (s): 3.76256
# total CPU system time (s): 0.100419
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033857 second user time and 0.061367 second system time
The end