0.65/0.53
0.65/0.53 scop order+minisat_release (2018-06-13)
0.65/0.53
0.65/0.56 c BEGIN-Prog: Mon Jul 23 15:23:23 CEST 2018
0.65/0.56 c PID: 9502
0.65/0.56 c IP: 172.20.3.105
0.65/0.56 c HOST: node105.alineos.net
0.65/0.57 c (0,0) Parsing Begin
1.19/0.89 c (0,0) Parsing End
1.19/0.89 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 48 ctr, max domain size 32
1.19/0.89 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.89 c (0,0) Constraint Name Generate Begin
1.40/0.90 c (0,0) Ctr:HOME/instance-4294240-1532352202.xml,Add:Element:Eq:IntVar:Num
1.40/0.90 c (0,0) Constraint Name Generate End
1.40/0.90 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.90 c (0,0) CSP to CSPinCNF Begin
1.55/1.09 c (0,0) translated 5 (10%) constraints
1.83/1.17 c (0,0) translated 10 (20%) constraints
2.07/1.22 c (0,0) translated 15 (30%) constraints
2.07/1.24 c (0,0) translated 20 (40%) constraints
2.07/1.26 c (0,0) translated 24 (50%) constraints
2.07/1.28 c (0,0) translated 29 (60%) constraints
2.36/1.30 c (0,0) translated 34 (70%) constraints
2.36/1.30 c (0,0) translated 39 (80%) constraints
2.36/1.30 c (0,0) translated 44 (90%) constraints
2.36/1.30 c (0,0) translated 48 (100%) constraints
2.36/1.35 c (0,0) STATISTICS1:HOME/instance-4294240-1532352202.xml,Add:Element:Eq:IntVar:Num,64,1040,30,30,3,2,30:2;29:2;28:2;27:2;26:2;25:2;24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2,30:66;29:66;28:66;27:66;26:66;25:66;24:66;23:66;22:66;21:66;20:66;19:66;18:66;17:66;16:1090;15:66,3:1024;1:16,2:32;1:3072,
2.36/1.35 c (0,0) ===========================================
2.36/1.35 c (0,0) Order
2.36/1.35 c (0,0) ===========================================
2.62/1.41 c (0,0) translated 104 (10%) constraints
2.62/1.44 c (0,0) translated 208 (20%) constraints
2.62/1.47 c (0,0) translated 312 (30%) constraints
2.62/1.49 c (0,0) translated 416 (40%) constraints
2.92/1.52 c (0,0) translated 520 (50%) constraints
2.92/1.53 c (0,0) translated 624 (60%) constraints
2.92/1.54 c (1,1) translated 728 (70%) constraints
2.92/1.56 c (1,1) translated 832 (80%) constraints
2.92/1.57 c (1,1) translated 936 (90%) constraints
2.92/1.59 c (1,1) translated 1040 (100%) constraints
2.92/1.59 c (1,1) CSP to CSPinCNF End
2.92/1.60 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 3104 ctr, max domain size 30
2.92/1.60 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.92/1.60 c (1,1) CSPinCNF Propagation Begin
3.25/1.66 c (1,1) 0 values, 368 unsatisfiable literals, and 432 valid clauses are removed
3.25/1.66 c (1,1) CSPinCNF Propagation End
3.25/1.66 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 2672 ctr, max domain size 30
3.25/1.66 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.25/1.66 c (1,1) Simplify CSPinCNF Begin
3.25/1.67 c (1,1) Simplify CSPinCNF End
3.25/1.67 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 2672 ctr, max domain size 30
3.25/1.67 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.25/1.67 c (1,1) Calculate Precise Domain Begin
3.25/1.68 c (1,1) 0 values are removed by re-calculation
3.25/1.68 c (1,1) Calculate Precise Domain End
3.25/1.68 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 2672 ctr, max domain size 30
3.25/1.68 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.25/1.68 c (1,1) CSPinCNF to SatSolver Begin
3.57/1.75 c (1,1) 268 (10 %) CSP clauses are encoded (1680 SAT variables, 1371 SAT clauses)
3.57/1.76 c (1,1) 535 (20 %) CSP clauses are encoded (1680 SAT variables, 1638 SAT clauses)
3.57/1.76 c (1,1) 802 (30 %) CSP clauses are encoded (1680 SAT variables, 1905 SAT clauses)
3.57/1.76 c (1,1) 1069 (40 %) CSP clauses are encoded (1680 SAT variables, 2172 SAT clauses)
3.57/1.77 c (1,1) 1336 (50 %) CSP clauses are encoded (1680 SAT variables, 2439 SAT clauses)
3.57/1.77 c (1,1) 1604 (60 %) CSP clauses are encoded (1680 SAT variables, 2707 SAT clauses)
3.57/1.78 c (1,1) 1871 (70 %) CSP clauses are encoded (1680 SAT variables, 2974 SAT clauses)
3.57/1.78 c (1,1) 2138 (80 %) CSP clauses are encoded (1680 SAT variables, 3241 SAT clauses)
3.57/1.79 c (1,1) 2405 (90 %) CSP clauses are encoded (1680 SAT variables, 3508 SAT clauses)
3.92/1.81 c (1,1) 2672 (100 %) CSP clauses are encoded (1680 SAT variables, 4418 SAT clauses)
3.92/1.81 c (1,1) CSPinCNF to SatSolver End
3.92/1.81 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.92/1.83 c (1,1) STATISTICS2:HOME/instance-4294240-1532352202.xml,Add:Element:Eq:IntVar:Num,576,2672,30,30,3,2,30:2;29:2;28:2;27:2;26:2;25:2;24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2,30:120;29:116;28:112;27:108;26:104;25:100;24:96;23:92;22:88;21:84;20:80;19:76;18:72;17:68;16:1984;15:60;2:2640,3:656;2:1984;1:32,2:32;1:5936,
3.92/1.83 c (1,1) SatSolver.solve Begin
3.92/1.83 c (1,1) 1680 bool, 4432 clause
3.92/1.83 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-4294240-1532352202.xml-scop-9502.cnf HOME/instance-4294240-1532352202.xml-scop-9502.cnf.out
4.20/2.00 c (1,0) c This is COMiniSatPS.
4.20/2.00 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
4.20/2.00 c (1,0) c ============================[ Problem Statistics ]=============================
4.20/2.00 c (1,0) c | |
4.20/2.00 c (1,0) c | Number of variables: 1680 |
4.20/2.00 c (1,0) c | Number of clauses: 4432 |
4.20/2.00 c (1,0) c | Parse time: 0.00 s |
4.20/2.00 c (1,0) c | Eliminated clauses: 0.02 Mb |
4.20/2.00 c (1,0) c Reduced to 981 vars, 3085 cls (grow=0)
4.20/2.00 c (1,0) c No iterative elimination performed. (vars=981, c/v ratio=3.1)
4.20/2.00 c (1,0) c | Simplification time: 0.00 s |
4.20/2.00 c (1,0) c | |
4.20/2.00 c (1,0) c ============================[ Search Statistics ]==============================
4.20/2.00 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
4.20/2.00 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.20/2.00 c (1,0) c ===============================================================================
4.20/2.00 c (1,0) c ===============================================================================
4.20/2.00 c (1,0) c restarts : 6
4.20/2.00 c (1,0) c conflicts : 4777 (31785 /sec)
4.20/2.00 c (1,0) c decisions : 6852 (0.00 % random) (45591 /sec)
4.20/2.00 c (1,0) c propagations : 570463 (3795672 /sec)
4.20/2.00 c (1,0) c conflict literals : 158372 (27.43 % deleted)
4.20/2.00 c (1,0) c CPU time : 0.150293 s
4.20/2.00 c (1,0)
4.20/2.00 c (1,0) s SATISFIABLE
4.40/2.01 c (1,1) SatSolver.solve End
4.40/2.01 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.40/2.01 c (1,1) Show results Begin
4.40/2.03 c (1,1) p[0] = 21
4.40/2.03 c (1,1) p[1] = 19
4.40/2.03 c (1,1) p[2] = 20
4.40/2.03 c (1,1) p[3] = 17
4.40/2.03 c (1,1) p[4] = 8
4.40/2.03 c (1,1) p[5] = 4
4.40/2.03 c (1,1) p[6] = 30
4.40/2.03 c (1,1) p[7] = 25
4.40/2.03 c (1,1) p[8] = 6
4.40/2.03 c (1,1) p[9] = 0
4.40/2.03 c (1,1) p[10] = 31
4.40/2.03 c (1,1) p[11] = 24
4.40/2.03 c (1,1) p[12] = 13
4.40/2.03 c (1,1) p[13] = 5
4.40/2.03 c (1,1) p[14] = 11
4.40/2.03 c (1,1) p[15] = 2
4.40/2.03 c (1,1) p[16] = 28
4.40/2.03 c (1,1) p[17] = 18
4.40/2.03 c (1,1) p[18] = 14
4.40/2.03 c (1,1) p[19] = 3
4.40/2.03 c (1,1) p[20] = 22
4.40/2.03 c (1,1) p[21] = 10
4.40/2.03 c (1,1) p[22] = 29
4.40/2.03 c (1,1) p[23] = 16
4.40/2.03 c (1,1) p[24] = 15
4.40/2.03 c (1,1) p[25] = 1
4.40/2.03 c (1,1) p[26] = 27
4.40/2.03 c (1,1) p[27] = 12
4.40/2.03 c (1,1) p[28] = 23
4.40/2.03 c (1,1) p[29] = 7
4.40/2.03 c (1,1) p[30] = 26
4.40/2.03 c (1,1) p[31] = 9
4.40/2.03 c (1,1) v[0] = 5
4.40/2.03 c (1,1) v[1] = 13
4.40/2.03 c (1,1) v[2] = 8
4.40/2.03 c (1,1) v[3] = 10
4.40/2.03 c (1,1) v[4] = 3
4.40/2.03 c (1,1) v[5] = 7
4.40/2.03 c (1,1) v[6] = 5
4.40/2.03 c (1,1) v[7] = 15
4.40/2.03 c (1,1) v[8] = 3
4.40/2.03 c (1,1) v[9] = 16
4.40/2.03 c (1,1) v[10] = 11
4.40/2.03 c (1,1) v[11] = 8
4.40/2.03 c (1,1) v[12] = 14
4.40/2.03 c (1,1) v[13] = 7
4.40/2.03 c (1,1) v[14] = 10
4.40/2.03 c (1,1) v[15] = 13
4.40/2.03 c (1,1) v[16] = 12
4.40/2.03 c (1,1) v[17] = 2
4.40/2.03 c (1,1) v[18] = 9
4.40/2.03 c (1,1) v[19] = 1
4.40/2.03 c (1,1) v[20] = 2
4.40/2.03 c (1,1) v[21] = 1
4.40/2.03 c (1,1) v[22] = 11
4.40/2.03 c (1,1) v[23] = 15
4.40/2.03 c (1,1) v[24] = 6
4.40/2.03 c (1,1) v[25] = 4
4.40/2.03 c (1,1) v[26] = 16
4.40/2.03 c (1,1) v[27] = 14
4.40/2.03 c (1,1) v[28] = 9
4.40/2.03 c (1,1) v[29] = 12
4.40/2.03 c (1,1) v[30] = 4
4.40/2.03 c (1,1) v[31] = 6
4.40/2.03 s SATISFIABLE
4.40/2.03 v <instantiation>
4.40/2.03 v <list>v[0] v[1] v[2] v[3] v[4] v[5] v[6] v[7] v[8] v[9] v[10] v[11] v[12] v[13] v[14] v[15] v[16] v[17] v[18] v[19] v[20] v[21] v[22] v[23] v[24] v[25] v[26] v[27] v[28] v[29] v[30] v[31] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31]</list>
4.40/2.03 v <values>5 13 8 10 3 7 5 15 3 16 11 8 14 7 10 13 12 2 9 1 2 1 11 15 6 4 16 14 9 12 4 6 21 19 20 17 8 4 30 25 6 0 31 24 13 5 11 2 28 18 14 3 22 10 29 16 15 1 27 12 23 7 26 9</values>
4.40/2.03 v </instantiation>
4.40/2.03 c (1,1) Show results End
4.40/2.03 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.40/2.03 c (1,1) 0,0,1,1,1,1,1,1,1,STOP-AFTER(ALL)
4.40/2.03 c END-Prog: Mon Jul 23 15:23:24 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 (4337 MiB free)
memory of node 1: 16384 MiB (11350 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294240-1532352202/watcher-4294240-1532352202 -o /tmp/evaluation-result-4294240-1532352202/solver-4294240-1532352202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294240-1532352202.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9502, runsolver pid=9499
[startup+0.100061 s]*
/proc/loadavg: 2.31 2.10 2.07 4/220 9517
/proc/meminfo: memFree=16003416/32770624 swapFree=67108860/67108860
[pid=9502] ppid=9499 vsize=15011656 memory=73004 CPUtime=0.11 cores=0,2,4,6
/proc/9502/stat : 9502 (java) S 9499 9502 2271 0 -1 1077944320 6403 0 0 0 9 2 0 0 20 0 15 0 52783370 15371935744 18251 33554432000 4194304 4196468 140734432985712 140734432968256 139657729253111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
/proc/9502/statm: 3752914 18251 2781 1 0 3715374 0
[pid=9502/tid=9504] ppid=9499 vsize=15011656 memory=4139554216389743507 CPUtime=0.09 cores=0,2,4,6
/proc/9502/task/9504/stat : 9504 (java) R 9499 9502 2271 0 -1 4202560 4665 0 0 0 8 1 0 0 20 0 15 0 52783371 15371935744 18383 33554432000 4194304 4196468 140734432985712 139657701065096 139657709529936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9505] ppid=9499 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9505/stat : 9505 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783372 15371935744 18383 33554432000 4194304 4196468 140734432985712 139657733495184 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9506] ppid=9499 vsize=15011656 memory=140546167862912 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9506/stat : 9506 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783372 15371935744 18383 33554432000 4194304 4196468 140734432985712 139657509198096 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9507] ppid=9499 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9507/stat : 9507 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783372 15371935744 18449 33554432000 4194304 4196468 140734432985712 139657508145808 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9508] ppid=9499 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9508/stat : 9508 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783372 15371935744 18449 33554432000 4194304 4196468 140734432985712 139657507093008 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9509] ppid=9499 vsize=15011656 memory=140546167862912 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9509/stat : 9509 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783374 15371935744 18449 33554432000 4194304 4196468 140734432985712 139656498768496 139657729264258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9510] ppid=9499 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9510/stat : 9510 (java) S 9499 9502 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52783374 15371935744 18449 33554432000 4194304 4196468 140734432985712 139656364549408 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9511] ppid=9499 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9511/stat : 9511 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783374 15371935744 18449 33554432000 4194304 4196468 140734432985712 139656096114288 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9512] ppid=9499 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9512/stat : 9512 (java) S 9499 9502 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783377 15371935744 18449 33554432000 4194304 4196468 140734432985712 139655721605712 139657729271707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9513] ppid=9499 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9513/stat : 9513 (java) S 9499 9502 2271 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 52783377 15371935744 18449 33554432000 4194304 4196468 140734432985712 139656497715312 139657729264258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9514] ppid=9499 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9514/stat : 9514 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783377 15371935744 18449 33554432000 4194304 4196468 140734432985712 139656496662512 139657729264258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9515] ppid=9499 vsize=15011656 memory=140546167862912 CPUtime=0.01 cores=0,2,4,6
/proc/9502/task/9515/stat : 9515 (java) S 9499 9502 2271 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 52783377 15371935744 18449 33554432000 4194304 4196468 140734432985712 139656495610224 139657729264258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9516] ppid=9499 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9516/stat : 9516 (java) S 9499 9502 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783377 15371935744 18449 33554432000 4194304 4196468 140734432985712 139655223699936 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9517] ppid=9499 vsize=15011656 memory=140546167862912 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9517/stat : 9517 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783377 15371935744 18449 33554432000 4194304 4196468 140734432985712 139656494558128 139657729264258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73004 KiB
[startup+0.210492 s]*
/proc/loadavg: 2.31 2.10 2.07 3/220 9517
/proc/meminfo: memFree=15988788/32770624 swapFree=67108860/67108860
[pid=9502] ppid=9499 vsize=15011656 memory=85588 CPUtime=0.26 cores=0,2,4,6
/proc/9502/stat : 9502 (java) S 9499 9502 2271 0 -1 1077944320 9860 0 0 0 23 3 0 0 20 0 15 0 52783370 15371935744 21397 33554432000 4194304 4196468 140734432985712 140734432968256 139657729253111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
/proc/9502/statm: 3752914 21397 2916 1 0 3715374 0
[pid=9502/tid=9504] ppid=9499 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/9502/task/9504/stat : 9504 (java) R 9499 9502 2271 0 -1 4202560 7764 0 0 0 18 2 0 0 20 0 15 0 52783371 15371935744 21397 33554432000 4194304 4196468 140734432985712 139657701079504 139657729265046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9505] ppid=9499 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9505/stat : 9505 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783372 15371935744 21397 33554432000 4194304 4196468 140734432985712 139657733495184 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9506] ppid=9499 vsize=15011656 memory=16247516298016408 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9506/stat : 9506 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783372 15371935744 21397 33554432000 4194304 4196468 140734432985712 139657509198096 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9507] ppid=9499 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9507/stat : 9507 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783372 15371935744 21397 33554432000 4194304 4196468 140734432985712 139657508145808 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9508] ppid=9499 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9508/stat : 9508 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783372 15371935744 21397 33554432000 4194304 4196468 140734432985712 139657507093008 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9509] ppid=9499 vsize=15011656 memory=140546167862912 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9509/stat : 9509 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783374 15371935744 21397 33554432000 4194304 4196468 140734432985712 139656498768496 139657729264258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9510] ppid=9499 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9510/stat : 9510 (java) S 9499 9502 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52783374 15371935744 21397 33554432000 4194304 4196468 140734432985712 139656364549408 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9511] ppid=9499 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9511/stat : 9511 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783374 15371935744 21397 33554432000 4194304 4196468 140734432985712 139656096114288 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9512] ppid=9499 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9512/stat : 9512 (java) S 9499 9502 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783377 15371935744 21397 33554432000 4194304 4196468 140734432985712 139655721605712 139657729271707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9513] ppid=9499 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9513/stat : 9513 (java) R 9499 9502 2271 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 52783377 15371935744 21397 33554432000 4194304 4196468 140734432985712 139656497715312 139657729264258 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9514] ppid=9499 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9514/stat : 9514 (java) R 9499 9502 2271 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 15 0 52783377 15371935744 21397 33554432000 4194304 4196468 140734432985712 139656496662512 139657722238153 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9515] ppid=9499 vsize=15011656 memory=140546167862912 CPUtime=0.03 cores=0,2,4,6
/proc/9502/task/9515/stat : 9515 (java) R 9499 9502 2271 0 -1 4202560 295 0 0 0 3 0 0 0 20 0 15 0 52783377 15371935744 21397 33554432000 4194304 4196468 140734432985712 139656495610224 139657708692134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9516] ppid=9499 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9516/stat : 9516 (java) S 9499 9502 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783377 15371935744 21397 33554432000 4194304 4196468 140734432985712 139655223699936 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9517] ppid=9499 vsize=15011656 memory=140546167862912 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9517/stat : 9517 (java) R 9499 9502 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 15 0 52783377 15371935744 21397 33554432000 4194304 4196468 140734432985712 139656494558128 139657729274458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85588 KiB
[startup+0.310723 s]*
/proc/loadavg: 2.31 2.10 2.07 3/220 9517
/proc/meminfo: memFree=15985500/32770624 swapFree=67108860/67108860
[pid=9502] ppid=9499 vsize=15011656 memory=89720 CPUtime=0.41 cores=0,2,4,6
/proc/9502/stat : 9502 (java) S 9499 9502 2271 0 -1 1077944320 10458 0 0 0 38 3 0 0 20 0 15 0 52783370 15371935744 22430 33554432000 4194304 4196468 140734432985712 140734432968256 139657729253111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
/proc/9502/statm: 3752914 22430 2994 1 0 3715374 0
[pid=9502/tid=9504] ppid=9499 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/9502/task/9504/stat : 9504 (java) R 9499 9502 2271 0 -1 4202560 8178 0 0 0 27 2 0 0 20 0 15 0 52783371 15371935744 22430 33554432000 4194304 4196468 140734432985712 139657701044560 139657710818089 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9505] ppid=9499 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9505/stat : 9505 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783372 15371935744 22430 33554432000 4194304 4196468 140734432985712 139657733495184 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9506] ppid=9499 vsize=15011656 memory=16106970130517407 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9506/stat : 9506 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783372 15371935744 22430 33554432000 4194304 4196468 140734432985712 139657509198096 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9507] ppid=9499 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9507/stat : 9507 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783372 15371935744 22430 33554432000 4194304 4196468 140734432985712 139657508145808 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9508] ppid=9499 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9508/stat : 9508 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783372 15371935744 22430 33554432000 4194304 4196468 140734432985712 139657507093008 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9509] ppid=9499 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9509/stat : 9509 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783374 15371935744 22430 33554432000 4194304 4196468 140734432985712 139656498768496 139657729264258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9510] ppid=9499 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9510/stat : 9510 (java) S 9499 9502 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52783374 15371935744 22430 33554432000 4194304 4196468 140734432985712 139656364549408 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9511] ppid=9499 vsize=15011656 memory=140546167862912 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9511/stat : 9511 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783374 15371935744 22430 33554432000 4194304 4196468 140734432985712 139656096114288 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9512] ppid=9499 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9512/stat : 9512 (java) S 9499 9502 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783377 15371935744 22430 33554432000 4194304 4196468 140734432985712 139655721605712 139657729271707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9513] ppid=9499 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9502/task/9513/stat : 9513 (java) S 9499 9502 2271 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 15 0 52783377 15371935744 22430 33554432000 4194304 4196468 140734432985712 139656497715312 139657729264258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9514] ppid=9499 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/9502/task/9514/stat : 9514 (java) S 9499 9502 2271 0 -1 1077944384 249 0 0 0 1 0 0 0 20 0 15 0 52783377 15371935744 22430 33554432000 4194304 4196468 140734432985712 139656496662512 139657729264258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9515] ppid=9499 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9502/task/9515/stat : 9515 (java) S 9499 9502 2271 0 -1 1077944384 337 0 0 0 7 0 0 0 20 0 15 0 52783377 15371935744 22430 33554432000 4194304 4196468 140734432985712 139656495610224 139657729264258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9516] ppid=9499 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9516/stat : 9516 (java) S 9499 9502 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783377 15371935744 22430 33554432000 4194304 4196468 140734432985712 139655223699936 139657729263317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9517] ppid=9499 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9517/stat : 9517 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783377 15371935744 22430 33554432000 4194304 4196468 140734432985712 139656494558128 139657729264258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89720 KiB
[startup+0.70066 s]
/proc/loadavg: 2.31 2.10 2.07 3/220 9517
/proc/meminfo: memFree=15961440/32770624 swapFree=67108860/67108860
[pid=9502] ppid=9499 vsize=15020052 memory=129392 CPUtime=0.99 cores=0,2,4,6
/proc/9502/stat : 9502 (java) S 9499 9502 2271 0 -1 1077944320 17642 0 0 0 93 6 0 0 20 0 15 0 52783370 15380533248 32348 33554432000 4194304 4196468 140734432985712 140734432968256 139657729253111 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
/proc/9502/statm: 3755013 32348 3156 1 0 3716398 0
[pid=9502/tid=9504] ppid=9499 vsize=15020052 memory=796 CPUtime=0.66 cores=0,2,4,6
/proc/9502/task/9504/stat : 9504 (java) R 9499 9502 2271 0 -1 4202560 14930 0 0 0 62 4 0 0 20 0 15 0 52783371 15380533248 32348 33554432000 4194304 4196468 140734432985712 139657701069728 139657729275037 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9505] ppid=9499 vsize=15020052 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9505/stat : 9505 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783372 15380533248 32348 33554432000 4194304 4196468 140734432985712 139657733495184 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9506] ppid=9499 vsize=15020052 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9506/stat : 9506 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783372 15380533248 32348 33554432000 4194304 4196468 140734432985712 139657509198096 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9507] ppid=9499 vsize=15020052 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9507/stat : 9507 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783372 15380533248 32348 33554432000 4194304 4196468 140734432985712 139657508145808 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9508] ppid=9499 vsize=15020052 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9508/stat : 9508 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783372 15380533248 32348 33554432000 4194304 4196468 140734432985712 139657507093008 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9509] ppid=9499 vsize=15020052 memory=281092053837600 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9509/stat : 9509 (java) S 9499 9502 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52783374 15380533248 32348 33554432000 4194304 4196468 140734432985712 139656498768496 139657729264258 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9510] ppid=9499 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9510/stat : 9510 (java) S 9499 9502 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52783374 15380533248 32348 33554432000 4194304 4196468 140734432985712 139656364549408 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9511] ppid=9499 vsize=15020052 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9511/stat : 9511 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783374 15380533248 32348 33554432000 4194304 4196468 140734432985712 139656096114288 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9512] ppid=9499 vsize=15020052 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9512/stat : 9512 (java) S 9499 9502 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783377 15380533248 32348 33554432000 4194304 4196468 140734432985712 139655721605712 139657729271707 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9513] ppid=9499 vsize=15020052 memory=8380 CPUtime=0.07 cores=0,2,4,6
/proc/9502/task/9513/stat : 9513 (java) S 9499 9502 2271 0 -1 1077944384 591 0 0 0 7 0 0 0 20 0 15 0 52783377 15380533248 32348 33554432000 4194304 4196468 140734432985712 139656497715312 139657729264258 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9514] ppid=9499 vsize=15020052 memory=7307210974946176466 CPUtime=0.07 cores=0,2,4,6
/proc/9502/task/9514/stat : 9514 (java) S 9499 9502 2271 0 -1 1077944384 330 0 0 0 7 0 0 0 20 0 15 0 52783377 15380533248 32348 33554432000 4194304 4196468 140734432985712 139656496662512 139657729264258 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9515] ppid=9499 vsize=15020052 memory=7302135314614015847 CPUtime=0.15 cores=0,2,4,6
/proc/9502/task/9515/stat : 9515 (java) R 9499 9502 2271 0 -1 4202560 450 0 0 0 15 0 0 0 20 0 15 0 52783377 15380533248 32348 33554432000 4194304 4196468 140734432985712 139656495610224 139657729265046 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9516] ppid=9499 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9516/stat : 9516 (java) S 9499 9502 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783377 15380533248 32348 33554432000 4194304 4196468 140734432985712 139655223699936 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9517] ppid=9499 vsize=15020052 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9517/stat : 9517 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783377 15380533248 32348 33554432000 4194304 4196468 140734432985712 139656494558128 139657729264258 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129392 KiB
[startup+1.50186 s]
/proc/loadavg: 2.31 2.10 2.07 3/220 9517
/proc/meminfo: memFree=15931424/32770624 swapFree=67108860/67108860
[pid=9502] ppid=9499 vsize=15022100 memory=184240 CPUtime=2.92 cores=0,2,4,6
/proc/9502/stat : 9502 (java) S 9499 9502 2271 0 -1 1077944320 21545 0 0 0 284 8 0 0 20 0 15 0 52783370 15382630400 46060 33554432000 4194304 4196468 140734432985712 140734432968256 139657729253111 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
/proc/9502/statm: 3755525 46060 3203 1 0 3716910 0
[pid=9502/tid=9504] ppid=9499 vsize=15022100 memory=288230377108275491 CPUtime=1.46 cores=0,2,4,6
/proc/9502/task/9504/stat : 9504 (java) R 9499 9502 2271 0 -1 4202560 16040 0 0 0 141 5 0 0 20 0 15 0 52783371 15382630400 46060 33554432000 4194304 4196468 140734432985712 139657701087856 139657193855068 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9505] ppid=9499 vsize=15022100 memory=288293289789228285 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9505/stat : 9505 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783372 15382630400 46060 33554432000 4194304 4196468 140734432985712 139657733495184 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9506] ppid=9499 vsize=15022100 memory=288285580272600099 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9506/stat : 9506 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783372 15382630400 46060 33554432000 4194304 4196468 140734432985712 139657509198096 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9507] ppid=9499 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9507/stat : 9507 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783372 15382630400 46060 33554432000 4194304 4196468 140734432985712 139657508145808 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9508] ppid=9499 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9508/stat : 9508 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783372 15382630400 46060 33554432000 4194304 4196468 140734432985712 139657507093008 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9509] ppid=9499 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9509/stat : 9509 (java) S 9499 9502 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52783374 15382630400 46060 33554432000 4194304 4196468 140734432985712 139656498768496 139657729264258 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9510] ppid=9499 vsize=15022100 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9510/stat : 9510 (java) S 9499 9502 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52783374 15382630400 46060 33554432000 4194304 4196468 140734432985712 139656364549408 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9511] ppid=9499 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9511/stat : 9511 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783374 15382630400 46060 33554432000 4194304 4196468 140734432985712 139656096114288 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9512] ppid=9499 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9512/stat : 9512 (java) S 9499 9502 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783377 15382630400 46060 33554432000 4194304 4196468 140734432985712 139655721605712 139657729271707 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9513] ppid=9499 vsize=15022100 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/9502/task/9513/stat : 9513 (java) S 9499 9502 2271 0 -1 1077944384 957 0 0 0 40 1 0 0 20 0 15 0 52783377 15382630400 46060 33554432000 4194304 4196468 140734432985712 139656497715312 139657729264258 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9514] ppid=9499 vsize=15022100 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/9502/task/9514/stat : 9514 (java) R 9499 9502 2271 0 -1 4202560 755 0 0 0 35 0 0 0 20 0 15 0 52783377 15382630400 46060 33554432000 4194304 4196468 140734432985712 139656496651312 139657710796834 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9515] ppid=9499 vsize=15022100 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/9502/task/9515/stat : 9515 (java) S 9499 9502 2271 0 -1 1077944384 2460 0 0 0 65 0 0 0 20 0 15 0 52783377 15382630400 46060 33554432000 4194304 4196468 140734432985712 139656495610224 139657729264258 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9516] ppid=9499 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9516/stat : 9516 (java) S 9499 9502 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783377 15382630400 46060 33554432000 4194304 4196468 140734432985712 139655223699936 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9517] ppid=9499 vsize=15022100 memory=281092053843008 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9517/stat : 9517 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783377 15382630400 46060 33554432000 4194304 4196468 140734432985712 139656494558128 139657729264258 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 184240 KiB
[startup+2.04262 s]
# the end of solver process 9502 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.37642 s, system=0.11056 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60968 s]
/proc/loadavg: 2.31 2.10 2.07 3/220 9517
/proc/meminfo: memFree=15931424/32770624 swapFree=67108860/67108860
[pid=9502] ppid=9499 vsize=15022100 memory=197288 CPUtime=3.25 cores=0,2,4,6
/proc/9502/stat : 9502 (java) S 9499 9502 2271 0 -1 1077944320 21797 0 0 0 317 8 0 0 20 0 15 0 52783370 15382630400 49322 33554432000 4194304 4196468 140734432985712 140734432968256 139657729253111 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
/proc/9502/statm: 3755525 49322 3204 1 0 3716910 0
[pid=9502/tid=9504] ppid=9499 vsize=15022100 memory=6944656575208382560 CPUtime=1.57 cores=0,2,4,6
/proc/9502/task/9504/stat : 9504 (java) R 9499 9502 2271 0 -1 4202560 16106 0 0 0 152 5 0 0 20 0 15 0 52783371 15382630400 49322 33554432000 4194304 4196468 140734432985712 139657701091616 139657186779038 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9505] ppid=9499 vsize=15022100 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9505/stat : 9505 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783372 15382630400 49322 33554432000 4194304 4196468 140734432985712 139657733495184 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9506] ppid=9499 vsize=15022100 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9506/stat : 9506 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783372 15382630400 49322 33554432000 4194304 4196468 140734432985712 139657509198096 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9507] ppid=9499 vsize=15022100 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9507/stat : 9507 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783372 15382630400 49322 33554432000 4194304 4196468 140734432985712 139657508145808 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9508] ppid=9499 vsize=15022100 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9508/stat : 9508 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783372 15382630400 49322 33554432000 4194304 4196468 140734432985712 139657507093008 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9509] ppid=9499 vsize=15022100 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9509/stat : 9509 (java) S 9499 9502 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52783374 15382630400 49322 33554432000 4194304 4196468 140734432985712 139656498768496 139657729264258 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9510] ppid=9499 vsize=15022100 memory=-6524724634732516766 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9510/stat : 9510 (java) S 9499 9502 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52783374 15382630400 49322 33554432000 4194304 4196468 140734432985712 139656364549408 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9511] ppid=9499 vsize=15022100 memory=7100839887183907176 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9511/stat : 9511 (java) S 9499 9502 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52783374 15382630400 49322 33554432000 4194304 4196468 140734432985712 139656096114288 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9512] ppid=9499 vsize=15022100 memory=-8537799542052713664 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9512/stat : 9512 (java) S 9499 9502 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783377 15382630400 49322 33554432000 4194304 4196468 140734432985712 139655721605712 139657729271707 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9513] ppid=9499 vsize=15022100 memory=-9110648397690680411 CPUtime=0.52 cores=0,2,4,6
/proc/9502/task/9513/stat : 9513 (java) R 9499 9502 2271 0 -1 4202560 979 0 0 0 51 1 0 0 20 0 15 0 52783377 15382630400 49322 33554432000 4194304 4196468 140734432985712 139656497701408 139657713642960 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9514] ppid=9499 vsize=15022100 memory=-6524724634732516766 CPUtime=0.45 cores=0,2,4,6
/proc/9502/task/9514/stat : 9514 (java) R 9499 9502 2271 0 -1 4202560 885 0 0 0 45 0 0 0 20 0 15 0 52783377 15382630400 49322 33554432000 4194304 4196468 140734432985712 139656496652304 139657714162015 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9515] ppid=9499 vsize=15022100 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/9502/task/9515/stat : 9515 (java) R 9499 9502 2271 0 -1 4202560 2485 0 0 0 67 0 0 0 20 0 15 0 52783377 15382630400 49322 33554432000 4194304 4196468 140734432985712 139656495610224 139657729265046 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9516] ppid=9499 vsize=15022100 memory=181386870902148 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9516/stat : 9516 (java) S 9499 9502 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52783377 15382630400 49322 33554432000 4194304 4196468 140734432985712 139655223699936 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9517] ppid=9499 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9502/task/9517/stat : 9517 (java) S 9499 9502 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52783377 15382630400 49322 33554432000 4194304 4196468 140734432985712 139656494558128 139657729264258 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
Current children cumulated CPU time: 3.25 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 197288 KiB
[startup+2.00075 s]*
/proc/loadavg: 2.37 2.12 2.08 3/225 9523
/proc/meminfo: memFree=15823664/32770624 swapFree=67108860/67108860
[pid=9502] ppid=9499 vsize=15681864 memory=249888 CPUtime=4.4 cores=0,2,4,6
/proc/9502/stat : 9502 (java) S 9499 9502 2271 0 -1 1077944320 23697 1040 0 0 416 9 15 0 20 0 18 0 52783370 16058228736 62472 33554432000 4194304 4196468 140734432985712 140734432968256 139657729253111 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
/proc/9502/statm: 3920466 62472 3220 1 0 3881322 0
[pid=9502/tid=9504] ppid=9499 vsize=15681864 memory=591154767701475604 CPUtime=2 cores=0,2,4,6
/proc/9502/task/9504/stat : 9504 (java) S 9499 9502 2271 0 -1 1077944384 16736 1040 0 0 180 5 15 0 20 0 18 0 52783371 16058228736 62472 33554432000 4194304 4196468 140734432985712 139657701092352 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9505] ppid=9499 vsize=15681864 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/9502/task/9505/stat : 9505 (java) S 9499 9502 2271 0 -1 1077944384 2 1040 0 0 0 0 15 0 20 0 18 0 52783372 16058228736 62472 33554432000 4194304 4196468 140734432985712 139657733495184 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9506] ppid=9499 vsize=15681864 memory=140546168228177 CPUtime=0.15 cores=0,2,4,6
/proc/9502/task/9506/stat : 9506 (java) S 9499 9502 2271 0 -1 1077944384 1 1040 0 0 0 0 15 0 20 0 18 0 52783372 16058228736 62472 33554432000 4194304 4196468 140734432985712 139657509198096 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9507] ppid=9499 vsize=15681864 memory=-8412658744800154483 CPUtime=0.15 cores=0,2,4,6
/proc/9502/task/9507/stat : 9507 (java) S 9499 9502 2271 0 -1 1077944384 1 1040 0 0 0 0 15 0 20 0 18 0 52783372 16058228736 62472 33554432000 4194304 4196468 140734432985712 139657508145808 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9508] ppid=9499 vsize=15681864 memory=-8412652161523748723 CPUtime=0.15 cores=0,2,4,6
/proc/9502/task/9508/stat : 9508 (java) S 9499 9502 2271 0 -1 1077944384 2 1040 0 0 0 0 15 0 20 0 18 0 52783372 16058228736 62472 33554432000 4194304 4196468 140734432985712 139657507093008 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9509] ppid=9499 vsize=15681864 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/9502/task/9509/stat : 9509 (java) S 9499 9502 2271 0 -1 1077944384 5 1040 0 0 0 0 15 0 20 0 18 0 52783374 16058228736 62472 33554432000 4194304 4196468 140734432985712 139656498768496 139657729264258 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9510] ppid=9499 vsize=15681864 memory=7023173872967631466 CPUtime=0.15 cores=0,2,4,6
/proc/9502/task/9510/stat : 9510 (java) S 9499 9502 2271 0 -1 1077944384 13 1040 0 0 0 0 15 0 20 0 18 0 52783374 16058228736 62472 33554432000 4194304 4196468 140734432985712 139656364549408 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9511] ppid=9499 vsize=15681864 memory=8110268427993965958 CPUtime=0.15 cores=0,2,4,6
/proc/9502/task/9511/stat : 9511 (java) S 9499 9502 2271 0 -1 1077944384 1 1040 0 0 0 0 15 0 20 0 18 0 52783374 16058228736 62472 33554432000 4194304 4196468 140734432985712 139656096114288 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9512] ppid=9499 vsize=15681864 memory=-8033973737701895300 CPUtime=0.15 cores=0,2,4,6
/proc/9502/task/9512/stat : 9512 (java) S 9499 9502 2271 0 -1 1077944384 3 1040 0 0 0 0 15 0 20 0 18 0 52783377 16058228736 62472 33554432000 4194304 4196468 140734432985712 139655721605712 139657729271707 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9513] ppid=9499 vsize=15681864 memory=0 CPUtime=0.99 cores=0,2,4,6
/proc/9502/task/9513/stat : 9513 (java) R 9499 9502 2271 0 -1 1077944384 1329 1040 0 0 83 1 15 0 20 0 18 0 52783377 16058228736 62472 33554432000 4194304 4196468 140734432985712 139656497715312 139657729264258 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9514] ppid=9499 vsize=15681864 memory=3472328296225127011 CPUtime=0.86 cores=0,2,4,6
/proc/9502/task/9514/stat : 9514 (java) S 9499 9502 2271 0 -1 1077944384 1472 1040 0 0 70 1 15 0 20 0 18 0 52783377 16058228736 62472 33554432000 4194304 4196468 140734432985712 139656496662512 139657729264258 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9515] ppid=9499 vsize=15681864 memory=7236950589576052912 CPUtime=0.96 cores=0,2,4,6
/proc/9502/task/9515/stat : 9515 (java) R 9499 9502 2271 0 -1 4202560 2738 1040 0 0 81 0 15 0 20 0 18 0 52783377 16058228736 62472 33554432000 4194304 4196468 140734432985712 139656495610224 139657708194203 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9516] ppid=9499 vsize=15681864 memory=4207609243482280713 CPUtime=0.15 cores=0,2,4,6
/proc/9502/task/9516/stat : 9516 (java) S 9499 9502 2271 0 -1 1077944384 3 1040 0 0 0 0 15 0 20 0 18 0 52783377 16058228736 62472 33554432000 4194304 4196468 140734432985712 139655223699936 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9517] ppid=9499 vsize=15681864 memory=16100372959728920 CPUtime=0.15 cores=0,2,4,6
/proc/9502/task/9517/stat : 9517 (java) S 9499 9502 2271 0 -1 1077944384 2 1040 0 0 0 0 15 0 20 0 18 0 52783377 16058228736 62472 33554432000 4194304 4196468 140734432985712 139656494558128 139657729264258 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9519] ppid=9499 vsize=15681864 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/9502/task/9519/stat : 9519 (java) S 9499 9502 2271 0 -1 1077944384 24 1040 0 0 0 0 15 0 20 0 18 0 52783556 16058228736 62472 33554432000 4194304 4196468 140734432985712 139657505714832 139657729264258 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9521] ppid=9499 vsize=15681864 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/9502/task/9521/stat : 9521 (java) R 9499 9502 2271 0 -1 4202560 29 1040 0 0 0 0 15 0 20 0 18 0 52783556 16058228736 62472 33554432000 4194304 4196468 140734432985712 139654686814128 139657188287520 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
[pid=9502/tid=9523] ppid=9499 vsize=15681864 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/9502/task/9523/stat : 9523 (java) S 9499 9502 2271 0 -1 1077944384 7 1040 0 0 0 0 15 0 20 0 18 0 52783558 16058228736 62472 33554432000 4194304 4196468 140734432985712 139654418389680 139657729263317 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9576448 140734432994291 140734432994569 140734432994569 140734432997327 0
Current children cumulated CPU time: 4.4 s
Current children cumulated vsize: 15681864 KiB
Current children cumulated memory: 249888 KiB
Child status: 0
Real time (s): 2.04266
CPU time (s): 4.48698
CPU user time (s): 4.37642
CPU system time (s): 0.11056
CPU usage (%): 219.664
Max. virtual memory (cumulated for all children) (KiB): 15681864
Max. memory (cumulated for all children) (KiB): 249888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.37642
system time used= 0.11056
maximum resident set size= 252680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24851
page faults= 0
swaps= 0
block input operations= 0
block output operations= 248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3496
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 9502
# total CPU time (s): 4.48698
# total CPU user time (s): 4.37642
# total CPU system time (s): 0.11056
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040777 second user time and 0.064936 second system time
The end