0.66/0.52
0.66/0.52 scop both+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Mon Jul 23 12:21:29 CEST 2018
0.66/0.55 c PID: 11225
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.40/0.97 c (0,0) Parsing End
1.40/0.97 c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.40/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.40/0.97 c (0,0) Constraint Name Generate Begin
1.40/0.98 c (0,0) Ctr:HOME/instance-4293215-1532341288.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.40/0.98 c (0,0) Constraint Name Generate End
1.40/0.98 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.40/0.98 c (0,0) CSP to CSPinCNF Begin
1.61/1.06 c (0,0) translated 6 (10%) constraints
1.61/1.06 c (0,0) translated 11 (20%) constraints
1.61/1.07 c (0,0) translated 16 (30%) constraints
1.61/1.07 c (0,0) translated 21 (40%) constraints
1.61/1.08 c (0,0) translated 26 (50%) constraints
1.61/1.08 c (0,0) translated 32 (60%) constraints
1.78/1.18 c (0,0) translated 37 (70%) constraints
1.97/1.23 c (0,0) translated 42 (80%) constraints
1.97/1.28 c (0,0) translated 47 (90%) constraints
2.24/1.32 c (0,0) translated 52 (100%) constraints
2.52/1.46 c (0,0) STATISTICS1:HOME/instance-4293215-1532341288.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,153,425,384,196,4,3,384:4;382:8;380:12;378:16;372:20;368:24;350:28;344:32;334:36;332:40;330:44;322:48;318:52;304:56;274:60;262:64;2:34,196:66;192:66;191:66;190:66;189:66;186:66;184:66;175:66;172:66;167:66;166:66;165:66;161:66;159:66;152:66;137:66;131:66;2:1156,4:136;3:85;2:170;1:34,3:544;2:34;1:578;0:17,
2.52/1.46 c (0,0) ===========================================
2.52/1.46 c (0,0) Both Encoding selects:
2.52/1.46 c (0,0) Order
2.52/1.47 c (0,0) ===========================================
2.52/1.49 c (0,0) translated 43 (10%) constraints
2.52/1.49 c (0,0) translated 85 (20%) constraints
2.52/1.49 c (0,0) translated 128 (30%) constraints
2.52/1.49 c (0,0) translated 170 (40%) constraints
2.52/1.49 c (0,0) translated 213 (50%) constraints
2.87/1.50 c (0,0) translated 255 (60%) constraints
2.87/1.50 c (0,0) translated 298 (70%) constraints
2.87/1.51 c (0,0) translated 340 (80%) constraints
2.87/1.51 c (0,0) translated 383 (90%) constraints
2.87/1.52 c (0,0) translated 425 (100%) constraints
2.87/1.52 c (0,0) CSP to CSPinCNF End
2.87/1.52 c (0,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.87/1.52 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.87/1.52 c (0,0) CSPinCNF Propagation Begin
2.87/1.59 c (1,1) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.87/1.59 c (1,1) CSPinCNF Propagation End
2.87/1.59 c (1,1) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.87/1.59 c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
2.87/1.59 c (1,1) Simplify CSPinCNF Begin
3.21/1.66 c (1,1) Simplify CSPinCNF End
3.21/1.66 c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
3.21/1.66 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.21/1.66 c (1,1) Calculate Precise Domain Begin
3.21/1.66 c (1,1) 0 values are removed by re-calculation
3.21/1.66 c (1,1) Calculate Precise Domain End
3.21/1.66 c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
3.21/1.66 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.21/1.66 c (1,1) CSPinCNF to SatSolver Begin
3.55/1.72 c (1,1) 97 (10 %) CSP clauses are encoded (6455 SAT variables, 5854 SAT clauses)
3.55/1.73 c (1,1) 194 (20 %) CSP clauses are encoded (6455 SAT variables, 5951 SAT clauses)
3.55/1.73 c (1,1) 291 (30 %) CSP clauses are encoded (6455 SAT variables, 6048 SAT clauses)
3.88/1.86 c (1,1) 388 (40 %) CSP clauses are encoded (6455 SAT variables, 24313 SAT clauses)
4.20/1.94 c (1,1) 485 (50 %) CSP clauses are encoded (6455 SAT variables, 45110 SAT clauses)
4.20/1.99 c (1,1) 582 (60 %) CSP clauses are encoded (6455 SAT variables, 60101 SAT clauses)
4.51/2.04 c (1,1) 679 (70 %) CSP clauses are encoded (6455 SAT variables, 80074 SAT clauses)
4.51/2.10 c (1,1) 776 (80 %) CSP clauses are encoded (6455 SAT variables, 102531 SAT clauses)
4.67/2.15 c (1,1) 873 (90 %) CSP clauses are encoded (6455 SAT variables, 124013 SAT clauses)
4.67/2.20 c (1,1) 969 (100 %) CSP clauses are encoded (6455 SAT variables, 141024 SAT clauses)
4.67/2.20 c (1,1) CSPinCNF to SatSolver End
4.67/2.20 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.79/2.22 c (1,1) STATISTICS2:HOME/instance-4293215-1532341288.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,697,969,384,196,4,3,384:4;382:8;380:12;378:16;372:20;368:24;350:28;344:32;334:36;332:40;330:44;322:48;318:52;304:56;274:60;262:64;2:34,196:66;192:66;191:66;190:66;189:66;186:66;184:66;175:66;172:66;167:66;166:66;165:66;161:66;159:66;152:66;137:66;131:66;2:2244,4:136;3:68;2:731;1:34,3:544;2:34;1:1666,
4.79/2.22 c (1,1) SatSolver.solve Begin
4.79/2.22 c (1,1) 6455 bool, 141255 clause
4.79/2.22 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-4293215-1532341288.xml-scop-11225.cnf HOME/instance-4293215-1532341288.xml-scop-11225.cnf.out
1101.00/1097.73 c (1097,0) c This is COMiniSatPS.
1101.00/1097.73 c (1097,0) c WARNING: for repeatability, setting FPU to use double precision
1101.00/1097.73 c (1097,0) c ============================[ Problem Statistics ]=============================
1101.00/1097.73 c (1097,0) c | |
1101.00/1097.73 c (1097,0) c | Number of variables: 6455 |
1101.00/1097.73 c (1097,0) c | Number of clauses: 141255 |
1101.00/1097.73 c (1097,0) c | Parse time: 0.05 s |
1101.00/1097.73 c (1097,0) c | Eliminated clauses: 0.01 Mb |
1101.00/1097.73 c (1097,0) c Reduced to 5929 vars, 140576 cls (grow=0)
1101.00/1097.73 c (1097,0) c No iterative elimination performed. (vars=5929, c/v ratio=23.7)
1101.00/1097.73 c (1097,0) c | Simplification time: 0.25 s |
1101.00/1097.73 c (1097,0) c | |
1101.00/1097.73 c (1097,0) c ============================[ Search Statistics ]==============================
1101.00/1097.73 c (1097,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
1101.00/1097.73 c (1097,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1101.00/1097.73 c (1097,0) c ===============================================================================
1101.00/1097.73 c (1097,0) c ===============================================================================
1101.00/1097.73 c (1097,0) c restarts : 63
1101.00/1097.73 c (1097,0) c conflicts : 5345375 (4880 /sec)
1101.00/1097.73 c (1097,0) c decisions : 9290667 (0.00 % random) (8482 /sec)
1101.00/1097.73 c (1097,0) c propagations : 1896146258 (1731017 /sec)
1101.00/1097.73 c (1097,0) c conflict literals : 207181950 (35.24 % deleted)
1101.00/1097.73 c (1097,0) c CPU time : 1095.39 s
1101.00/1097.73 c (1097,0)
1101.00/1097.73 c (1097,0) s SATISFIABLE
1101.00/1097.74 c (1097,1) SatSolver.solve End
1101.00/1097.74 c (1097,1) Heap : 675 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
1101.00/1097.74 c (1097,1) Show results Begin
1101.00/1097.76 c (1097,1) h[0] = 86
1101.00/1097.76 c (1097,1) h[1] = 54
1101.00/1097.76 c (1097,1) h[2] = 81
1101.00/1097.76 c (1097,1) h[3] = 88
1101.00/1097.76 c (1097,1) h[4] = 117
1101.00/1097.76 c (1097,1) h[5] = 32
1101.00/1097.76 c (1097,1) h[6] = 42
1101.00/1097.76 c (1097,1) h[7] = 15
1101.00/1097.76 c (1097,1) h[8] = 55
1101.00/1097.76 c (1097,1) h[9] = 10
1101.00/1097.76 c (1097,1) h[10] = 78
1101.00/1097.76 c (1097,1) h[11] = 29
1101.00/1097.76 c (1097,1) h[12] = 40
1101.00/1097.76 c (1097,1) h[13] = 49
1101.00/1097.76 c (1097,1) h[14] = 64
1101.00/1097.76 c (1097,1) h[15] = 30
1101.00/1097.76 c (1097,1) h[16] = 34
1101.00/1097.76 c (1097,1) r[0] = 0
1101.00/1097.76 c (1097,1) r[1] = 0
1101.00/1097.76 c (1097,1) r[2] = 0
1101.00/1097.76 c (1097,1) r[3] = 0
1101.00/1097.76 c (1097,1) r[4] = 0
1101.00/1097.76 c (1097,1) r[5] = 0
1101.00/1097.76 c (1097,1) r[6] = 0
1101.00/1097.76 c (1097,1) r[7] = 0
1101.00/1097.76 c (1097,1) r[8] = 0
1101.00/1097.76 c (1097,1) r[9] = 0
1101.00/1097.76 c (1097,1) r[10] = 0
1101.00/1097.76 c (1097,1) r[11] = 0
1101.00/1097.76 c (1097,1) r[12] = 0
1101.00/1097.76 c (1097,1) r[13] = 0
1101.00/1097.76 c (1097,1) r[14] = 0
1101.00/1097.76 c (1097,1) r[15] = 0
1101.00/1097.76 c (1097,1) r[16] = 0
1101.00/1097.76 c (1097,1) w[0] = 35
1101.00/1097.76 c (1097,1) w[1] = 17
1101.00/1097.76 c (1097,1) w[2] = 36
1101.00/1097.76 c (1097,1) w[3] = 70
1101.00/1097.76 c (1097,1) w[4] = 42
1101.00/1097.76 c (1097,1) w[5] = 5
1101.00/1097.76 c (1097,1) w[6] = 12
1101.00/1097.76 c (1097,1) w[7] = 25
1101.00/1097.76 c (1097,1) w[8] = 11
1101.00/1097.76 c (1097,1) w[9] = 40
1101.00/1097.76 c (1097,1) w[10] = 26
1101.00/1097.76 c (1097,1) w[11] = 44
1101.00/1097.76 c (1097,1) w[12] = 77
1101.00/1097.76 c (1097,1) w[13] = 86
1101.00/1097.76 c (1097,1) w[14] = 79
1101.00/1097.76 c (1097,1) w[15] = 9
1101.00/1097.76 c (1097,1) w[16] = 121
1101.00/1097.76 c (1097,1) x[0] = 36
1101.00/1097.76 c (1097,1) x[1] = 71
1101.00/1097.76 c (1097,1) x[2] = 0
1101.00/1097.76 c (1097,1) x[3] = 88
1101.00/1097.76 c (1097,1) x[4] = 158
1101.00/1097.76 c (1097,1) x[5] = 71
1101.00/1097.76 c (1097,1) x[6] = 76
1101.00/1097.76 c (1097,1) x[7] = 11
1101.00/1097.76 c (1097,1) x[8] = 0
1101.00/1097.76 c (1097,1) x[9] = 36
1101.00/1097.76 c (1097,1) x[10] = 88
1101.00/1097.76 c (1097,1) x[11] = 114
1101.00/1097.76 c (1097,1) x[12] = 11
1101.00/1097.76 c (1097,1) x[13] = 114
1101.00/1097.76 c (1097,1) x[14] = 0
1101.00/1097.76 c (1097,1) x[15] = 79
1101.00/1097.76 c (1097,1) x[16] = 79
1101.00/1097.76 c (1097,1) y[0] = 40
1101.00/1097.76 c (1097,1) y[1] = 40
1101.00/1097.76 c (1097,1) y[2] = 55
1101.00/1097.76 c (1097,1) y[3] = 78
1101.00/1097.76 c (1097,1) y[4] = 49
1101.00/1097.76 c (1097,1) y[5] = 94
1101.00/1097.76 c (1097,1) y[6] = 94
1101.00/1097.76 c (1097,1) y[7] = 40
1101.00/1097.76 c (1097,1) y[8] = 0
1101.00/1097.76 c (1097,1) y[9] = 126
1101.00/1097.76 c (1097,1) y[10] = 0
1101.00/1097.76 c (1097,1) y[11] = 49
1101.00/1097.76 c (1097,1) y[12] = 0
1101.00/1097.76 c (1097,1) y[13] = 0
1101.00/1097.76 c (1097,1) y[14] = 136
1101.00/1097.76 c (1097,1) y[15] = 136
1101.00/1097.76 c (1097,1) y[16] = 166
1101.00/1097.76 s SATISFIABLE
1101.00/1097.76 v <instantiation>
1101.00/1097.76 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16]</list>
1101.00/1097.76 v <values>36 71 0 88 158 71 76 11 0 36 88 114 11 114 0 79 79 40 40 55 78 49 94 94 40 0 126 0 49 0 0 136 136 166 35 17 36 70 42 5 12 25 11 40 26 44 77 86 79 9 121 86 54 81 88 117 32 42 15 55 10 78 29 40 49 64 30 34 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
1101.00/1097.76 v </instantiation>
1101.00/1097.76 c (1097,1) Show results End
1101.00/1097.76 c (1097,1) Heap : 675 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
1101.00/1097.76 c (1097,1) 0,0,0,1,1,1,1,1097,1097,STOP-AFTER(ALL)
1101.00/1097.76 c END-Prog: Mon Jul 23 12:39:46 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 (5516 MiB free)
memory of node 1: 16384 MiB (10509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293215-1532341288/watcher-4293215-1532341288 -o /tmp/evaluation-result-4293215-1532341288/solver-4293215-1532341288 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293215-1532341288.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=11225, runsolver pid=11222
[startup+0.100091 s]*
/proc/loadavg: 2.44 2.12 2.08 4/221 11240
/proc/meminfo: memFree=16350592/32770624 swapFree=67108860/67108860
[pid=11225] ppid=11222 vsize=15011656 memory=71920 CPUtime=0.11 cores=1,3,5,7
/proc/11225/stat : 11225 (java) S 11222 11225 8919 0 -1 1077944320 7195 0 0 0 9 2 0 0 20 0 15 0 51692013 15371935744 17980 33554432000 4194304 4196468 140734445915696 140734445898240 139722032942839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
/proc/11225/statm: 3752914 17980 2780 1 0 3715374 0
[pid=11225/tid=11227] ppid=11222 vsize=15011656 memory=-6943317439038143312 CPUtime=0.09 cores=1,3,5,7
/proc/11225/task/11227/stat : 11227 (java) R 11222 11225 8919 0 -1 4202560 5447 0 0 0 8 1 0 0 20 0 15 0 51692013 15371935744 18178 33554432000 4194304 4196468 140734445915696 139722004769168 139722013218667 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11228] ppid=11222 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11228/stat : 11228 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692015 15371935744 18178 33554432000 4194304 4196468 140734445915696 139722037185552 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11229] ppid=11222 vsize=15011656 memory=139988504802944 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11229/stat : 11229 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692015 15371935744 18178 33554432000 4194304 4196468 140734445915696 139721864002704 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11230] ppid=11222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11230/stat : 11230 (java) S 11222 11225 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51692015 15371935744 18178 33554432000 4194304 4196468 140734445915696 139721492921104 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11231] ppid=11222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11231/stat : 11231 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692015 15371935744 18178 33554432000 4194304 4196468 140734445915696 139721491868560 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11232] ppid=11222 vsize=15011656 memory=139988504802944 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11232/stat : 11232 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692016 15371935744 18178 33554432000 4194304 4196468 140734445915696 139721071306992 139722032953986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11233] ppid=11222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11233/stat : 11233 (java) S 11222 11225 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51692017 15371935744 18178 33554432000 4194304 4196468 140734445915696 139720654840992 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11234] ppid=11222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11234/stat : 11234 (java) S 11222 11225 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51692017 15371935744 18178 33554432000 4194304 4196468 140734445915696 139720520618736 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11235] ppid=11222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11235/stat : 11235 (java) S 11222 11225 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51692020 15371935744 18178 33554432000 4194304 4196468 140734445915696 139720146114512 139722032961435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11236] ppid=11222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11236/stat : 11236 (java) S 11222 11225 8919 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 51692020 15371935744 18244 33554432000 4194304 4196468 140734445915696 139721070254832 139722032953986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11237] ppid=11222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11237/stat : 11237 (java) S 11222 11225 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51692020 15371935744 18244 33554432000 4194304 4196468 140734445915696 139721069202288 139722032953986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11238] ppid=11222 vsize=15011656 memory=139988504802944 CPUtime=0.01 cores=1,3,5,7
/proc/11225/task/11238/stat : 11238 (java) S 11222 11225 8919 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 51692020 15371935744 18244 33554432000 4194304 4196468 140734445915696 139721068149232 139722032953986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11239] ppid=11222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11239/stat : 11239 (java) S 11222 11225 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51692020 15371935744 18244 33554432000 4194304 4196468 140734445915696 139719648209760 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11240] ppid=11222 vsize=15011656 memory=139988504802944 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11240/stat : 11240 (java) S 11222 11225 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51692020 15371935744 18244 33554432000 4194304 4196468 140734445915696 139721067096624 139722032953986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71920 KiB
[startup+0.210651 s]*
/proc/loadavg: 2.44 2.12 2.08 3/221 11240
/proc/meminfo: memFree=16337136/32770624 swapFree=67108860/67108860
[pid=11225] ppid=11222 vsize=15011656 memory=84456 CPUtime=0.26 cores=1,3,5,7
/proc/11225/stat : 11225 (java) S 11222 11225 8919 0 -1 1077944320 10571 0 0 0 23 3 0 0 20 0 15 0 51692013 15371935744 21114 33554432000 4194304 4196468 140734445915696 140734445898240 139722032942839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
/proc/11225/statm: 3752914 21114 2914 1 0 3715374 0
[pid=11225/tid=11227] ppid=11222 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/11225/task/11227/stat : 11227 (java) R 11222 11225 8919 0 -1 4202560 8458 0 0 0 18 2 0 0 20 0 15 0 51692013 15371935744 21114 33554432000 4194304 4196468 140734445915696 139722004769232 139722032954774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11228] ppid=11222 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11228/stat : 11228 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692015 15371935744 21114 33554432000 4194304 4196468 140734445915696 139722037185552 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11229] ppid=11222 vsize=15011656 memory=139988504814422 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11229/stat : 11229 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692015 15371935744 21114 33554432000 4194304 4196468 140734445915696 139721864002704 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11230] ppid=11222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11230/stat : 11230 (java) S 11222 11225 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51692015 15371935744 21114 33554432000 4194304 4196468 140734445915696 139721492921104 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11231] ppid=11222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11231/stat : 11231 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692015 15371935744 21114 33554432000 4194304 4196468 140734445915696 139721491868560 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11232] ppid=11222 vsize=15011656 memory=139988504802944 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11232/stat : 11232 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692016 15371935744 21114 33554432000 4194304 4196468 140734445915696 139721071306992 139722032953986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11233] ppid=11222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11233/stat : 11233 (java) S 11222 11225 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51692017 15371935744 21114 33554432000 4194304 4196468 140734445915696 139720654840992 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11234] ppid=11222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11234/stat : 11234 (java) S 11222 11225 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51692017 15371935744 21114 33554432000 4194304 4196468 140734445915696 139720520618736 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11235] ppid=11222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11235/stat : 11235 (java) S 11222 11225 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51692020 15371935744 21114 33554432000 4194304 4196468 140734445915696 139720146114512 139722032961435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11236] ppid=11222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11236/stat : 11236 (java) R 11222 11225 8919 0 -1 4202560 300 0 0 0 0 0 0 0 20 0 15 0 51692020 15371935744 21114 33554432000 4194304 4196468 140734445915696 139721070254832 139722017842155 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11237] ppid=11222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11237/stat : 11237 (java) R 11222 11225 8919 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 51692020 15371935744 21114 33554432000 4194304 4196468 140734445915696 139721069202288 139722032953986 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11238] ppid=11222 vsize=15011656 memory=139988504802944 CPUtime=0.03 cores=1,3,5,7
/proc/11225/task/11238/stat : 11238 (java) R 11222 11225 8919 0 -1 4202560 298 0 0 0 3 0 0 0 20 0 15 0 51692020 15371935744 21114 33554432000 4194304 4196468 140734445915696 139721068149232 139722026048566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11239] ppid=11222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11239/stat : 11239 (java) S 11222 11225 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51692020 15371935744 21114 33554432000 4194304 4196468 140734445915696 139719648209760 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11240] ppid=11222 vsize=15011656 memory=139988504802944 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11240/stat : 11240 (java) R 11222 11225 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51692020 15371935744 21114 33554432000 4194304 4196468 140734445915696 139721067096624 139722032953986 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84456 KiB
[startup+0.310503 s]*
/proc/loadavg: 2.44 2.12 2.08 4/221 11240
/proc/meminfo: memFree=16333584/32770624 swapFree=67108860/67108860
[pid=11225] ppid=11222 vsize=15011656 memory=87928 CPUtime=0.43 cores=1,3,5,7
/proc/11225/stat : 11225 (java) S 11222 11225 8919 0 -1 1077944320 11085 0 0 0 40 3 0 0 20 0 15 0 51692013 15371935744 21982 33554432000 4194304 4196468 140734445915696 140734445898240 139722032942839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
/proc/11225/statm: 3752914 21982 2993 1 0 3715374 0
[pid=11225/tid=11227] ppid=11222 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/11225/task/11227/stat : 11227 (java) R 11222 11225 8919 0 -1 4202560 8827 0 0 0 27 2 0 0 20 0 15 0 51692013 15371935744 21982 33554432000 4194304 4196468 140734445915696 139722004746992 139721535388804 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11228] ppid=11222 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11228/stat : 11228 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692015 15371935744 21982 33554432000 4194304 4196468 140734445915696 139722037185552 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11229] ppid=11222 vsize=15011656 memory=139988504814363 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11229/stat : 11229 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692015 15371935744 21982 33554432000 4194304 4196468 140734445915696 139721864002704 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11230] ppid=11222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11230/stat : 11230 (java) S 11222 11225 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51692015 15371935744 21982 33554432000 4194304 4196468 140734445915696 139721492921104 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11231] ppid=11222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11231/stat : 11231 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692015 15371935744 21982 33554432000 4194304 4196468 140734445915696 139721491868560 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11232] ppid=11222 vsize=15011656 memory=139988504802944 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11232/stat : 11232 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692016 15371935744 21982 33554432000 4194304 4196468 140734445915696 139721071306992 139722032953986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11233] ppid=11222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11233/stat : 11233 (java) S 11222 11225 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51692017 15371935744 21982 33554432000 4194304 4196468 140734445915696 139720654840992 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11234] ppid=11222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11234/stat : 11234 (java) S 11222 11225 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51692017 15371935744 21982 33554432000 4194304 4196468 140734445915696 139720520618736 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11235] ppid=11222 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11235/stat : 11235 (java) S 11222 11225 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51692020 15371935744 21982 33554432000 4194304 4196468 140734445915696 139720146114512 139722032961435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11236] ppid=11222 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11225/task/11236/stat : 11236 (java) R 11222 11225 8919 0 -1 4202560 415 0 0 0 3 0 0 0 20 0 15 0 51692020 15371935744 21982 33554432000 4194304 4196468 140734445915696 139721070254832 139722014463904 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11237] ppid=11222 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/11225/task/11237/stat : 11237 (java) R 11222 11225 8919 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 15 0 51692020 15371935744 21982 33554432000 4194304 4196468 140734445915696 139721069202288 139722032953986 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11238] ppid=11222 vsize=15011656 memory=139988504802944 CPUtime=0.07 cores=1,3,5,7
/proc/11225/task/11238/stat : 11238 (java) R 11222 11225 8919 0 -1 4202560 317 0 0 0 7 0 0 0 20 0 15 0 51692020 15371935744 21982 33554432000 4194304 4196468 140734445915696 139721068149232 139722011555382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11239] ppid=11222 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11239/stat : 11239 (java) S 11222 11225 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51692020 15371935744 21982 33554432000 4194304 4196468 140734445915696 139719648209760 139722032953045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11240] ppid=11222 vsize=15011656 memory=139988504802944 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11240/stat : 11240 (java) S 11222 11225 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51692020 15371935744 21982 33554432000 4194304 4196468 140734445915696 139721067096624 139722032953986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87928 KiB
[startup+0.70777 s]
/proc/loadavg: 2.44 2.12 2.08 3/221 11240
/proc/meminfo: memFree=16309524/32770624 swapFree=67108860/67108860
[pid=11225] ppid=11222 vsize=15020052 memory=127964 CPUtime=1.03 cores=1,3,5,7
/proc/11225/stat : 11225 (java) S 11222 11225 8919 0 -1 1077944320 18218 0 0 0 98 5 0 0 20 0 15 0 51692013 15380533248 31991 33554432000 4194304 4196468 140734445915696 140734445898240 139722032942839 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
/proc/11225/statm: 3755013 31991 3159 1 0 3716398 0
[pid=11225/tid=11227] ppid=11222 vsize=15020052 memory=188229424791359 CPUtime=0.68 cores=1,3,5,7
/proc/11225/task/11227/stat : 11227 (java) R 11222 11225 8919 0 -1 4202560 15550 0 0 0 64 4 0 0 20 0 15 0 51692013 15380533248 31991 33554432000 4194304 4196468 140734445915696 139722004780848 139721535388800 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11228] ppid=11222 vsize=15020052 memory=268934 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11228/stat : 11228 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692015 15380533248 31991 33554432000 4194304 4196468 140734445915696 139722037185552 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11229] ppid=11222 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11229/stat : 11229 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692015 15380533248 31991 33554432000 4194304 4196468 140734445915696 139721864002704 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11230] ppid=11222 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11230/stat : 11230 (java) S 11222 11225 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51692015 15380533248 31991 33554432000 4194304 4196468 140734445915696 139721492921104 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11231] ppid=11222 vsize=15020052 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11231/stat : 11231 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692015 15380533248 31991 33554432000 4194304 4196468 140734445915696 139721491868560 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11232] ppid=11222 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11232/stat : 11232 (java) S 11222 11225 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51692016 15380533248 31991 33554432000 4194304 4196468 140734445915696 139721071306992 139722032953986 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11233] ppid=11222 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11233/stat : 11233 (java) S 11222 11225 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51692017 15380533248 31991 33554432000 4194304 4196468 140734445915696 139720654840992 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11234] ppid=11222 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11234/stat : 11234 (java) S 11222 11225 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51692017 15380533248 31991 33554432000 4194304 4196468 140734445915696 139720520618736 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11235] ppid=11222 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11235/stat : 11235 (java) S 11222 11225 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51692020 15380533248 31991 33554432000 4194304 4196468 140734445915696 139720146114512 139722032961435 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11236] ppid=11222 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11225/task/11236/stat : 11236 (java) R 11222 11225 8919 0 -1 4202560 467 0 0 0 7 0 0 0 20 0 15 0 51692020 15380533248 31991 33554432000 4194304 4196468 140734445915696 139721070241336 139722011358667 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11237] ppid=11222 vsize=15020052 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11225/task/11237/stat : 11237 (java) R 11222 11225 8919 0 -1 4202560 419 0 0 0 8 0 0 0 20 0 15 0 51692020 15380533248 31991 33554432000 4194304 4196468 140734445915696 139721069192672 139722012659975 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11238] ppid=11222 vsize=15020052 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/11225/task/11238/stat : 11238 (java) R 11222 11225 8919 0 -1 4202560 423 0 0 0 17 0 0 0 20 0 15 0 51692020 15380533248 31991 33554432000 4194304 4196468 140734445915696 139721068149232 139722012657636 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11239] ppid=11222 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11239/stat : 11239 (java) S 11222 11225 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51692020 15380533248 31991 33554432000 4194304 4196468 140734445915696 139719648209760 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11240] ppid=11222 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11240/stat : 11240 (java) S 11222 11225 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51692020 15380533248 31991 33554432000 4194304 4196468 140734445915696 139721067096624 139722032953986 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 127964 KiB
[startup+1.50099 s]
/proc/loadavg: 2.44 2.12 2.08 3/221 11240
/proc/meminfo: memFree=16280748/32770624 swapFree=67108860/67108860
[pid=11225] ppid=11222 vsize=15024148 memory=173076 CPUtime=2.87 cores=1,3,5,7
/proc/11225/stat : 11225 (java) S 11222 11225 8919 0 -1 1077944320 22309 0 0 0 280 7 0 0 20 0 15 0 51692013 15384727552 43269 33554432000 4194304 4196468 140734445915696 140734445898240 139722032942839 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
/proc/11225/statm: 3756037 43269 3201 1 0 3717422 0
[pid=11225/tid=11227] ppid=11222 vsize=15024148 memory=5794836780235445602 CPUtime=1.46 cores=1,3,5,7
/proc/11225/task/11227/stat : 11227 (java) R 11222 11225 8919 0 -1 4202560 16953 0 0 0 141 5 0 0 20 0 15 0 51692013 15384727552 43269 33554432000 4194304 4196468 140734445915696 139722004771824 139721540391932 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11228] ppid=11222 vsize=15024148 memory=6298673690012636514 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11228/stat : 11228 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692015 15384727552 43269 33554432000 4194304 4196468 140734445915696 139722037185552 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11229] ppid=11222 vsize=15024148 memory=7517463620576895600 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11229/stat : 11229 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692015 15384727552 43269 33554432000 4194304 4196468 140734445915696 139721864002704 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11230] ppid=11222 vsize=15024148 memory=7233453251640451929 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11230/stat : 11230 (java) S 11222 11225 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51692015 15384727552 43269 33554432000 4194304 4196468 140734445915696 139721492921104 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11231] ppid=11222 vsize=15024148 memory=4638778419807604048 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11231/stat : 11231 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51692015 15384727552 43269 33554432000 4194304 4196468 140734445915696 139721491868560 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11232] ppid=11222 vsize=15024148 memory=7595435569097565780 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11232/stat : 11232 (java) S 11222 11225 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51692016 15384727552 43269 33554432000 4194304 4196468 140734445915696 139721071306992 139722032953986 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
################
# More data... #
################
/proc/11225/task/11240/stat : 11240 (java) S 11222 11225 8919 0 -1 1077944384 77 0 0 0 22 35 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721067096624 139722032953986 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11242] ppid=11222 vsize=15683912 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11242/stat : 11242 (java) S 11222 11225 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51692237 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721059288384 139722032967449 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11244] ppid=11222 vsize=15683912 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11244/stat : 11244 (java) S 11222 11225 8919 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 51692237 16060325888 134115 33554432000 4194304 4196468 140734445915696 139719111322928 139722032964765 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11245] ppid=11222 vsize=15683912 memory=16105853321218399 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11245/stat : 11245 (java) S 11222 11225 8919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 51692237 16060325888 134115 33554432000 4194304 4196468 140734445915696 139719245545392 139722032964765 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11246] ppid=11222 vsize=15683912 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11246/stat : 11246 (java) S 11222 11225 8919 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 51692239 16060325888 134115 33554432000 4194304 4196468 140734445915696 139718842900256 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
Current children cumulated CPU time: 1100.1 s
Current children cumulated vsize: 15767920 KiB
Current children cumulated memory: 599716 KiB
[startup+1097.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/225 11596
/proc/meminfo: memFree=15396048/32770624 swapFree=67108860/67108860
[pid=11225] ppid=11222 vsize=15683912 memory=536460 CPUtime=5.55 cores=1,3,5,7
/proc/11225/stat : 11225 (java) S 11222 11225 8919 0 -1 1077944320 24385 0 0 0 512 43 0 0 20 0 19 0 51692013 16060325888 134115 33554432000 4194304 4196468 140734445915696 140734445898240 139722032942839 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
/proc/11225/statm: 3920978 134115 3225 1 0 3881834 0
[pid=11241] ppid=11225 vsize=84008 memory=63256 CPUtime=1094.95 cores=1,3,5,7
/proc/11241/stat : 11241 (minisat_release) R 11225 11225 8919 0 -1 4202496 110002 0 0 0 109486 9 0 0 20 0 1 0 51692237 86024192 15814 33554432000 4194304 4308513 140737442973568 140737442970568 4275941 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 12517376 140737442980527 140737442981038 140737442981038 140737442983877 0
/proc/11241/statm: 21002 15814 354 28 0 17242 0
[pid=11225/tid=11227] ppid=11222 vsize=15683912 memory=832 CPUtime=2.24 cores=1,3,5,7
/proc/11225/task/11227/stat : 11227 (java) S 11222 11225 8919 0 -1 1077944384 17761 0 0 0 214 10 0 0 20 0 19 0 51692013 16060325888 134115 33554432000 4194304 4196468 140734445915696 139722004782080 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11228] ppid=11222 vsize=15683912 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11228/stat : 11228 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51692015 16060325888 134115 33554432000 4194304 4196468 140734445915696 139722037185552 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11229] ppid=11222 vsize=15683912 memory=920 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11229/stat : 11229 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51692015 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721864002704 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11230] ppid=11222 vsize=15683912 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11230/stat : 11230 (java) S 11222 11225 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51692015 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721492921104 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11231] ppid=11222 vsize=15683912 memory=-7824251494390782054 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11231/stat : 11231 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51692015 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721491868560 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11232] ppid=11222 vsize=15683912 memory=4126316290023845779 CPUtime=0.01 cores=1,3,5,7
/proc/11225/task/11232/stat : 11232 (java) S 11222 11225 8919 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 19 0 51692016 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721071306992 139722032953986 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11233] ppid=11222 vsize=15683912 memory=796 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11233/stat : 11233 (java) S 11222 11225 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51692017 16060325888 134115 33554432000 4194304 4196468 140734445915696 139720654840992 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11234] ppid=11222 vsize=15683912 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11234/stat : 11234 (java) S 11222 11225 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 51692017 16060325888 134115 33554432000 4194304 4196468 140734445915696 139720520618736 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11235] ppid=11222 vsize=15683912 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11235/stat : 11235 (java) S 11222 11225 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139720146114512 139722032961435 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11236] ppid=11222 vsize=15683912 memory=4048 CPUtime=0.84 cores=1,3,5,7
/proc/11225/task/11236/stat : 11236 (java) S 11222 11225 8919 0 -1 1077944384 1183 0 0 0 83 1 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721070254832 139722032953986 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11237] ppid=11222 vsize=15683912 memory=10740 CPUtime=0.88 cores=1,3,5,7
/proc/11225/task/11237/stat : 11237 (java) S 11222 11225 8919 0 -1 1077944384 950 0 0 0 88 0 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721069202288 139722032953986 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11238] ppid=11222 vsize=15683912 memory=16444 CPUtime=0.94 cores=1,3,5,7
/proc/11225/task/11238/stat : 11238 (java) S 11222 11225 8919 0 -1 1077944384 2982 0 0 0 93 1 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721068149232 139722032953986 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11239] ppid=11222 vsize=15683912 memory=928 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11239/stat : 11239 (java) S 11222 11225 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139719648209760 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11240] ppid=11222 vsize=15683912 memory=1572 CPUtime=0.57 cores=1,3,5,7
/proc/11225/task/11240/stat : 11240 (java) S 11222 11225 8919 0 -1 1077944384 77 0 0 0 22 35 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721067096624 139722032953986 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11242] ppid=11222 vsize=15683912 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11242/stat : 11242 (java) S 11222 11225 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51692237 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721059288384 139722032967449 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11244] ppid=11222 vsize=15683912 memory=6768 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11244/stat : 11244 (java) S 11222 11225 8919 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 51692237 16060325888 134115 33554432000 4194304 4196468 140734445915696 139719111322928 139722032964765 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11245] ppid=11222 vsize=15683912 memory=832 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11245/stat : 11245 (java) S 11222 11225 8919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 51692237 16060325888 134115 33554432000 4194304 4196468 140734445915696 139719245545392 139722032964765 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11246] ppid=11222 vsize=15683912 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11246/stat : 11246 (java) S 11222 11225 8919 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 51692239 16060325888 134115 33554432000 4194304 4196468 140734445915696 139718842900256 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
Current children cumulated CPU time: 1100.5 s
Current children cumulated vsize: 15767920 KiB
Current children cumulated memory: 599716 KiB
[startup+1097.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/225 11596
/proc/meminfo: memFree=15396048/32770624 swapFree=67108860/67108860
[pid=11225] ppid=11222 vsize=15683912 memory=536460 CPUtime=5.55 cores=1,3,5,7
/proc/11225/stat : 11225 (java) S 11222 11225 8919 0 -1 1077944320 24385 0 0 0 512 43 0 0 20 0 19 0 51692013 16060325888 134115 33554432000 4194304 4196468 140734445915696 140734445898240 139722032942839 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
/proc/11225/statm: 3920978 134115 3225 1 0 3881834 0
[pid=11241] ppid=11225 vsize=84008 memory=63256 CPUtime=1095.35 cores=1,3,5,7
/proc/11241/stat : 11241 (minisat_release) R 11225 11225 8919 0 -1 4202496 110002 0 0 0 109526 9 0 0 20 0 1 0 51692237 86024192 15814 33554432000 4194304 4308513 140737442973568 140737442970568 4275822 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 12517376 140737442980527 140737442981038 140737442981038 140737442983877 0
/proc/11241/statm: 21002 15814 354 28 0 17242 0
[pid=11225/tid=11227] ppid=11222 vsize=15683912 memory=1440 CPUtime=2.24 cores=1,3,5,7
/proc/11225/task/11227/stat : 11227 (java) S 11222 11225 8919 0 -1 1077944384 17761 0 0 0 214 10 0 0 20 0 19 0 51692013 16060325888 134115 33554432000 4194304 4196468 140734445915696 139722004782080 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11228] ppid=11222 vsize=15683912 memory=536460 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11228/stat : 11228 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51692015 16060325888 134115 33554432000 4194304 4196468 140734445915696 139722037185552 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11229] ppid=11222 vsize=15683912 memory=536460 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11229/stat : 11229 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51692015 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721864002704 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11230] ppid=11222 vsize=15683912 memory=63256 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11230/stat : 11230 (java) S 11222 11225 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51692015 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721492921104 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11231] ppid=11222 vsize=15683912 memory=640 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11231/stat : 11231 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51692015 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721491868560 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11232] ppid=11222 vsize=15683912 memory=1796 CPUtime=0.01 cores=1,3,5,7
/proc/11225/task/11232/stat : 11232 (java) S 11222 11225 8919 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 19 0 51692016 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721071306992 139722032953986 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11233] ppid=11222 vsize=15683912 memory=960 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11233/stat : 11233 (java) S 11222 11225 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51692017 16060325888 134115 33554432000 4194304 4196468 140734445915696 139720654840992 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11234] ppid=11222 vsize=15683912 memory=-7824251494390717289 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11234/stat : 11234 (java) S 11222 11225 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 51692017 16060325888 134115 33554432000 4194304 4196468 140734445915696 139720520618736 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11235] ppid=11222 vsize=15683912 memory=63256 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11235/stat : 11235 (java) S 11222 11225 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139720146114512 139722032961435 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11236] ppid=11222 vsize=15683912 memory=1224 CPUtime=0.84 cores=1,3,5,7
/proc/11225/task/11236/stat : 11236 (java) S 11222 11225 8919 0 -1 1077944384 1183 0 0 0 83 1 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721070254832 139722032953986 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11237] ppid=11222 vsize=15683912 memory=15872 CPUtime=0.88 cores=1,3,5,7
/proc/11225/task/11237/stat : 11237 (java) S 11222 11225 8919 0 -1 1077944384 950 0 0 0 88 0 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721069202288 139722032953986 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11238] ppid=11222 vsize=15683912 memory=1728 CPUtime=0.94 cores=1,3,5,7
/proc/11225/task/11238/stat : 11238 (java) S 11222 11225 8919 0 -1 1077944384 2982 0 0 0 93 1 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721068149232 139722032953986 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11239] ppid=11222 vsize=15683912 memory=1928 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11239/stat : 11239 (java) S 11222 11225 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139719648209760 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11240] ppid=11222 vsize=15683912 memory=1008 CPUtime=0.58 cores=1,3,5,7
/proc/11225/task/11240/stat : 11240 (java) S 11222 11225 8919 0 -1 1077944384 77 0 0 0 23 35 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721067096624 139722032953986 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11242] ppid=11222 vsize=15683912 memory=8384 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11242/stat : 11242 (java) S 11222 11225 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51692237 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721059288384 139722032967449 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11244] ppid=11222 vsize=15683912 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11244/stat : 11244 (java) S 11222 11225 8919 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 51692237 16060325888 134115 33554432000 4194304 4196468 140734445915696 139719111322928 139722032964765 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11245] ppid=11222 vsize=15683912 memory=-7824251494390717289 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11245/stat : 11245 (java) S 11222 11225 8919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 51692237 16060325888 134115 33554432000 4194304 4196468 140734445915696 139719245545392 139722032964765 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11246] ppid=11222 vsize=15683912 memory=63256 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11246/stat : 11246 (java) S 11222 11225 8919 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 51692239 16060325888 134115 33554432000 4194304 4196468 140734445915696 139718842900256 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
Current children cumulated CPU time: 1100.9 s
Current children cumulated vsize: 15767920 KiB
Current children cumulated memory: 599716 KiB
[startup+1097.7 s]
/proc/loadavg: 2.00 2.02 2.05 3/225 11596
/proc/meminfo: memFree=15396048/32770624 swapFree=67108860/67108860
[pid=11225] ppid=11222 vsize=15683912 memory=536460 CPUtime=5.55 cores=1,3,5,7
/proc/11225/stat : 11225 (java) S 11222 11225 8919 0 -1 1077944320 24385 0 0 0 512 43 0 0 20 0 19 0 51692013 16060325888 134115 33554432000 4194304 4196468 140734445915696 140734445898240 139722032942839 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
/proc/11225/statm: 3920978 134115 3225 1 0 3881834 0
[pid=11241] ppid=11225 vsize=84008 memory=63256 CPUtime=1095.45 cores=1,3,5,7
/proc/11241/stat : 11241 (minisat_release) R 11225 11225 8919 0 -1 4202496 110002 0 0 0 109536 9 0 0 20 0 1 0 51692237 86024192 15814 33554432000 4194304 4308513 140737442973568 140737442970568 4276036 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 12517376 140737442980527 140737442981038 140737442981038 140737442983877 0
/proc/11241/statm: 21002 15814 354 28 0 17242 0
[pid=11225/tid=11227] ppid=11222 vsize=15683912 memory=536460 CPUtime=2.24 cores=1,3,5,7
/proc/11225/task/11227/stat : 11227 (java) S 11222 11225 8919 0 -1 1077944384 17761 0 0 0 214 10 0 0 20 0 19 0 51692013 16060325888 134115 33554432000 4194304 4196468 140734445915696 139722004782080 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11228] ppid=11222 vsize=15683912 memory=536460 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11228/stat : 11228 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51692015 16060325888 134115 33554432000 4194304 4196468 140734445915696 139722037185552 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11229] ppid=11222 vsize=15683912 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11229/stat : 11229 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51692015 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721864002704 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11230] ppid=11222 vsize=15683912 memory=536460 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11230/stat : 11230 (java) S 11222 11225 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51692015 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721492921104 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11231] ppid=11222 vsize=15683912 memory=536460 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11231/stat : 11231 (java) S 11222 11225 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51692015 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721491868560 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11232] ppid=11222 vsize=15683912 memory=279976705288864 CPUtime=0.01 cores=1,3,5,7
/proc/11225/task/11232/stat : 11232 (java) S 11222 11225 8919 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 19 0 51692016 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721071306992 139722032953986 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11233] ppid=11222 vsize=15683912 memory=536460 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11233/stat : 11233 (java) S 11222 11225 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51692017 16060325888 134115 33554432000 4194304 4196468 140734445915696 139720654840992 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11234] ppid=11222 vsize=15683912 memory=536460 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11234/stat : 11234 (java) S 11222 11225 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 51692017 16060325888 134115 33554432000 4194304 4196468 140734445915696 139720520618736 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11235] ppid=11222 vsize=15683912 memory=536460 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11235/stat : 11235 (java) S 11222 11225 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139720146114512 139722032961435 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11236] ppid=11222 vsize=15683912 memory=536460 CPUtime=0.84 cores=1,3,5,7
/proc/11225/task/11236/stat : 11236 (java) S 11222 11225 8919 0 -1 1077944384 1183 0 0 0 83 1 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721070254832 139722032953986 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11237] ppid=11222 vsize=15683912 memory=63256 CPUtime=0.88 cores=1,3,5,7
/proc/11225/task/11237/stat : 11237 (java) S 11222 11225 8919 0 -1 1077944384 950 0 0 0 88 0 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721069202288 139722032953986 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11238] ppid=11222 vsize=15683912 memory=536460 CPUtime=0.94 cores=1,3,5,7
/proc/11225/task/11238/stat : 11238 (java) S 11222 11225 8919 0 -1 1077944384 2982 0 0 0 93 1 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721068149232 139722032953986 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11239] ppid=11222 vsize=15683912 memory=536460 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11239/stat : 11239 (java) S 11222 11225 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139719648209760 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11240] ppid=11222 vsize=15683912 memory=63256 CPUtime=0.58 cores=1,3,5,7
/proc/11225/task/11240/stat : 11240 (java) S 11222 11225 8919 0 -1 1077944384 77 0 0 0 23 35 0 0 20 0 19 0 51692020 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721067096624 139722032953986 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11242] ppid=11222 vsize=15683912 memory=536460 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11242/stat : 11242 (java) S 11222 11225 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51692237 16060325888 134115 33554432000 4194304 4196468 140734445915696 139721059288384 139722032967449 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11244] ppid=11222 vsize=15683912 memory=536460 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11244/stat : 11244 (java) S 11222 11225 8919 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 51692237 16060325888 134115 33554432000 4194304 4196468 140734445915696 139719111322928 139722032964765 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11245] ppid=11222 vsize=15683912 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11245/stat : 11245 (java) S 11222 11225 8919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 51692237 16060325888 134115 33554432000 4194304 4196468 140734445915696 139719245545392 139722032964765 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
[pid=11225/tid=11246] ppid=11222 vsize=15683912 memory=832 CPUtime=0 cores=1,3,5,7
/proc/11225/task/11246/stat : 11246 (java) S 11222 11225 8919 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 51692239 16060325888 134115 33554432000 4194304 4196468 140734445915696 139718842900256 139722032953045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11988992 140734445921268 140734445921545 140734445921545 140734445924303 0
Current children cumulated CPU time: 1101 s
Current children cumulated vsize: 15767920 KiB
Current children cumulated memory: 599716 KiB
Child status: 0
Real time (s): 1097.78
CPU time (s): 1101.16
CPU user time (s): 1100.61
CPU system time (s): 0.54458
CPU usage (%): 100.308
Max. virtual memory (cumulated for all children) (KiB): 15767920
Max. memory (cumulated for all children) (KiB): 599716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1100.61
system time used= 0.54458
maximum resident set size= 543544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134609
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27976
involuntary context switches= 468
# summary of solver processes directly reported to runsolver:
# pid: 11225
# total CPU time (s): 1101.16
# total CPU user time (s): 1100.61
# total CPU system time (s): 0.54458
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16507 second user time and 11.7169 second system time
The end