Trace number 354378

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23SAT (TO)1470471039630 1800.21 1787.12

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb
MD5SUM34e6501168eba14fba603ee8987209fc
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1470471039630
Best CPU time to get the best result obtained on this benchmark1800.21
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1470471039630
Optimality of the best value was proved NO
Number of variables780
Total number of constraints405
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints369
Minimum length of a constraint6
Maximum length of a constraint101
Number of terms in the objective function 478
Biggest coefficient in the objective function 536870912000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 1073761158741413
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 71583145981965762560
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 303620978593259231065
Number of bits of the biggest sum of numbers69
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.15	c no version file found!!!
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version	1.6.0
0.08/0.15	c os.name	Linux
0.08/0.15	c os.version	2.6.9-22.EL.rootsmp
0.08/0.15	c os.arch	i386
0.08/0.15	c Free memory 1651659224
0.08/0.15	c Max memory 1654456320
0.08/0.15	c Total memory 1654456320
0.08/0.15	c Number of processors 2
0.20/0.20	--- Begin Solver configuration ---
0.20/0.20	c Stops conflict analysis at the first Unique Implication Point
0.20/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.20	c Learn all clauses as in MiniSAT
0.20/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.20/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.20	c No reason simplification
0.20/0.20	c --- End Solver configuration ---
0.20/0.20	c solving /tmp/evaluation/354378-1176707146/instance-354378-1176707146.opb
0.20/0.20	c reading problem ... 
2.08/1.20	c ... done. Wall clock time 1.003s.
2.08/1.20	c CPU time (experimental) 0.72s.
2.08/1.20	c #vars     780
2.08/1.21	c #constraints  441
2.82/1.62	c SATISFIABLE
2.82/1.62	c OPTIMIZING...
2.82/1.62	c Got one! Elapsed wall clock time (in seconds):1.415
2.82/1.63	o 1072965096401624
3.09/1.80	c Got one! Elapsed wall clock time (in seconds):1.601
3.09/1.80	o 1072834124159704
3.39/2.18	c Got one! Elapsed wall clock time (in seconds):1.982
3.39/2.18	o 1072834123407688
3.68/2.35	c Got one! Elapsed wall clock time (in seconds):2.15
3.68/2.35	o 5169197859808
3.80/2.48	c Got one! Elapsed wall clock time (in seconds):2.277
3.80/2.48	o 4923435169854
4.02/2.63	c Got one! Elapsed wall clock time (in seconds):2.432
4.02/2.63	o 4915238169479
4.23/2.80	c Got one! Elapsed wall clock time (in seconds):2.601
4.23/2.80	o 4718621031043
4.35/2.92	c Got one! Elapsed wall clock time (in seconds):2.72
4.35/2.92	o 4718518298510
4.55/3.12	c Got one! Elapsed wall clock time (in seconds):2.924
4.55/3.13	o 3670075006850
4.68/3.25	c Got one! Elapsed wall clock time (in seconds):3.053
4.68/3.25	o 3670066983809
4.97/3.45	c Got one! Elapsed wall clock time (in seconds):3.248
4.97/3.45	o 3670051927299
5.48/3.90	c Got one! Elapsed wall clock time (in seconds):3.699
5.48/3.90	o 3670051126504
6.89/5.33	c Got one! Elapsed wall clock time (in seconds):5.128
6.89/5.33	o 2617393786275
7.11/5.55	c Got one! Elapsed wall clock time (in seconds):5.349
7.11/5.55	o 2605074338677
7.32/5.75	c Got one! Elapsed wall clock time (in seconds):5.551
7.32/5.75	o 2605072420308
7.52/5.90	c Got one! Elapsed wall clock time (in seconds):5.699
7.52/5.90	o 2605060531702
7.62/6.05	c Got one! Elapsed wall clock time (in seconds):5.845
7.62/6.05	o 2605038017967
7.82/6.21	c Got one! Elapsed wall clock time (in seconds):6.012
7.82/6.21	o 2604047656435
7.92/6.34	c Got one! Elapsed wall clock time (in seconds):6.143
7.92/6.34	o 2603985341708
8.04/6.45	c Got one! Elapsed wall clock time (in seconds):6.251
8.04/6.45	o 2600976627227
8.18/6.57	c Got one! Elapsed wall clock time (in seconds):6.373
8.18/6.57	o 2588691757952
8.32/6.68	c Got one! Elapsed wall clock time (in seconds):6.481
8.32/6.68	o 2588688261311
8.42/6.79	c Got one! Elapsed wall clock time (in seconds):6.588
8.42/6.79	o 2551824134110
9.32/7.67	c Got one! Elapsed wall clock time (in seconds):7.469
9.32/7.67	o 2551820972057
9.63/7.91	c Got one! Elapsed wall clock time (in seconds):7.707
9.63/7.91	o 2537493259262
9.73/8.05	c Got one! Elapsed wall clock time (in seconds):7.845
9.73/8.05	o 2523154833862
9.93/8.21	c Got one! Elapsed wall clock time (in seconds):8.004
9.93/8.21	o 2498574462408
10.56/8.84	c Got one! Elapsed wall clock time (in seconds):8.643
10.56/8.84	o 2498551084702
10.77/9.07	c Got one! Elapsed wall clock time (in seconds):8.873
10.77/9.07	o 2484942646785
10.87/9.20	c Got one! Elapsed wall clock time (in seconds):8.996
10.87/9.20	o 2473998886639
11.17/9.49	c Got one! Elapsed wall clock time (in seconds):9.29
11.17/9.49	o 2465824180183
11.37/9.68	c Got one! Elapsed wall clock time (in seconds):9.481
11.37/9.68	o 2359305132992
11.68/9.92	c Got one! Elapsed wall clock time (in seconds):9.722
11.68/9.92	o 2031629150665
11.77/10.08	c Got one! Elapsed wall clock time (in seconds):9.884
11.77/10.09	o 2031607613369
12.81/11.08	c Got one! Elapsed wall clock time (in seconds):10.878
12.81/11.08	o 2027554975193
13.41/11.60	c Got one! Elapsed wall clock time (in seconds):11.401
13.41/11.60	o 2027551510149
14.02/12.21	c Got one! Elapsed wall clock time (in seconds):12.006
14.02/12.21	o 2023436444185
14.21/12.44	c Got one! Elapsed wall clock time (in seconds):12.238
14.21/12.44	o 2023435343085
14.61/12.81	c Got one! Elapsed wall clock time (in seconds):12.612
14.61/12.81	o 2015245310658
15.73/13.98	c Got one! Elapsed wall clock time (in seconds):13.783
15.73/13.98	o 2015243319936
16.52/14.76	c Got one! Elapsed wall clock time (in seconds):14.557
16.52/14.76	o 2013203308100
17.64/15.80	c Got one! Elapsed wall clock time (in seconds):15.603
17.64/15.80	o 1965840228455
19.25/17.41	c Got one! Elapsed wall clock time (in seconds):17.212
19.25/17.41	o 1964045263181
20.35/18.57	c Got one! Elapsed wall clock time (in seconds):18.364
20.35/18.57	o 1963792536993
21.45/19.63	c Got one! Elapsed wall clock time (in seconds):19.426
21.45/19.63	o 1945608727669
21.86/20.00	c Got one! Elapsed wall clock time (in seconds):19.803
21.86/20.00	o 1941521622723
25.47/23.60	c Got one! Elapsed wall clock time (in seconds):23.396
25.47/23.60	o 1941516481254
26.48/24.60	c Got one! Elapsed wall clock time (in seconds):24.404
26.48/24.61	o 1872393625846
27.48/25.67	c Got one! Elapsed wall clock time (in seconds):25.473
27.48/25.67	o 1871891111354
28.99/27.14	c Got one! Elapsed wall clock time (in seconds):26.94
28.99/27.14	o 1871882125952
36.42/34.56	c Got one! Elapsed wall clock time (in seconds):34.362
36.42/34.56	o 1867649211701
40.93/39.07	c Got one! Elapsed wall clock time (in seconds):38.867
40.93/39.07	o 1867533832310
43.45/41.58	c Got one! Elapsed wall clock time (in seconds):41.378
43.45/41.58	o 1867532663216
45.26/43.35	c Got one! Elapsed wall clock time (in seconds):43.143
45.26/43.35	o 1867531420361
47.76/45.83	c Got one! Elapsed wall clock time (in seconds):45.629
47.76/45.83	o 1867528451282
49.97/48.05	c Got one! Elapsed wall clock time (in seconds):47.849
49.97/48.05	o 1867022512842
55.29/53.31	c Got one! Elapsed wall clock time (in seconds):53.109
55.29/53.31	o 1867019901640
58.51/56.54	c Got one! Elapsed wall clock time (in seconds):56.333
58.51/56.54	o 1866766070655
60.41/58.47	c Got one! Elapsed wall clock time (in seconds):58.27
60.41/58.47	o 1854477387743
62.32/60.34	c Got one! Elapsed wall clock time (in seconds):60.141
62.32/60.34	o 1853457419933
63.63/61.62	c Got one! Elapsed wall clock time (in seconds):61.419
63.63/61.62	o 1853455780933
67.15/65.16	c Got one! Elapsed wall clock time (in seconds):64.956
67.15/65.16	o 1851408421080
78.10/76.04	c Got one! Elapsed wall clock time (in seconds):75.842
78.10/76.04	o 1851407959080
80.41/78.34	c Got one! Elapsed wall clock time (in seconds):78.136
80.41/78.34	o 1851407253092
82.12/80.08	c Got one! Elapsed wall clock time (in seconds):79.883
82.12/80.08	o 1851406311266
83.02/80.98	c Got one! Elapsed wall clock time (in seconds):80.777
83.02/80.98	o 1851404398008
87.76/85.69	c Got one! Elapsed wall clock time (in seconds):85.488
87.76/85.69	o 1835021623737
99.43/97.20	c Got one! Elapsed wall clock time (in seconds):97.001
99.43/97.20	o 1835021352876
101.85/99.67	c Got one! Elapsed wall clock time (in seconds):99.467
101.85/99.67	o 1835019915016
102.36/100.17	c Got one! Elapsed wall clock time (in seconds):99.964
102.36/100.17	o 1830670258000
102.86/100.64	c Got one! Elapsed wall clock time (in seconds):100.438
102.86/100.64	o 1830507906501
109.92/107.65	c Got one! Elapsed wall clock time (in seconds):107.444
109.92/107.65	o 1827338470858
110.52/108.20	c Got one! Elapsed wall clock time (in seconds):107.997
110.52/108.20	o 1797644770179
115.46/113.17	c Got one! Elapsed wall clock time (in seconds):112.965
115.46/113.17	o 1796891948764
123.66/121.29	c Got one! Elapsed wall clock time (in seconds):121.088
123.66/121.29	o 1795867024738
125.87/123.48	c Got one! Elapsed wall clock time (in seconds):123.279
125.87/123.48	o 1795320466923
126.78/124.30	c Got one! Elapsed wall clock time (in seconds):124.102
126.78/124.30	o 1794829251456
127.18/124.70	c Got one! Elapsed wall clock time (in seconds):124.504
127.18/124.71	o 1767949282174
130.91/128.40	c Got one! Elapsed wall clock time (in seconds):128.2
130.91/128.40	o 1764811014936
137.67/135.13	c Got one! Elapsed wall clock time (in seconds):134.93
137.67/135.13	o 1764809380797
148.96/146.37	c Got one! Elapsed wall clock time (in seconds):146.167
148.96/146.37	o 1764436532162
163.46/160.76	c Got one! Elapsed wall clock time (in seconds):160.558
163.46/160.76	o 1764435281260
170.84/168.04	c Got one! Elapsed wall clock time (in seconds):167.837
170.84/168.04	o 1764434647510
171.44/168.64	c Got one! Elapsed wall clock time (in seconds):168.442
171.44/168.64	o 1760773629062
174.96/172.14	c Got one! Elapsed wall clock time (in seconds):171.942
174.96/172.14	o 1760267043921
177.79/174.92	c Got one! Elapsed wall clock time (in seconds):174.718
177.79/174.92	o 1566734502521
186.76/183.81	c Got one! Elapsed wall clock time (in seconds):183.609
186.76/183.81	o 1564433606467
194.64/191.62	c Got one! Elapsed wall clock time (in seconds):191.416
194.64/191.62	o 1564433203052
199.89/196.90	c Got one! Elapsed wall clock time (in seconds):196.7
199.99/196.90	o 1563652644894
206.65/203.58	c Got one! Elapsed wall clock time (in seconds):203.382
206.65/203.58	o 1563544040101
222.67/219.41	c Got one! Elapsed wall clock time (in seconds):219.202
222.67/219.41	o 1554540070772
320.66/316.70	c Got one! Elapsed wall clock time (in seconds):316.495
320.66/316.70	o 1554347572686
331.84/327.79	c Got one! Elapsed wall clock time (in seconds):327.589
331.84/327.79	o 1553929860217
392.44/387.87	c Got one! Elapsed wall clock time (in seconds):387.668
392.44/387.87	o 1553928999730
418.83/414.07	c Got one! Elapsed wall clock time (in seconds):413.871
418.83/414.07	o 1553928798491
443.03/438.04	c Got one! Elapsed wall clock time (in seconds):437.842
443.03/438.04	o 1553927099664
465.27/460.14	c Got one! Elapsed wall clock time (in seconds):459.938
465.27/460.14	o 1553411626783
481.01/475.74	c Got one! Elapsed wall clock time (in seconds):475.535
481.01/475.74	o 1552411031375
517.08/511.60	c Got one! Elapsed wall clock time (in seconds):511.395
517.18/511.60	o 1540107315337
598.17/592.03	c Got one! Elapsed wall clock time (in seconds):591.829
598.17/592.03	o 1540107227123
643.00/636.52	c Got one! Elapsed wall clock time (in seconds):636.323
643.00/636.52	o 1540107227096
660.75/654.19	c Got one! Elapsed wall clock time (in seconds):653.991
660.75/654.19	o 1531918433646
702.45/695.51	c Got one! Elapsed wall clock time (in seconds):695.309
702.45/695.51	o 1531917787276
720.69/713.60	c Got one! Elapsed wall clock time (in seconds):713.396
720.69/713.60	o 1531917363388
765.92/758.52	c Got one! Elapsed wall clock time (in seconds):758.317
765.92/758.52	o 1531917043662
869.41/861.40	c Got one! Elapsed wall clock time (in seconds):861.194
869.41/861.40	o 1507338364138
1205.79/1195.97	c Got one! Elapsed wall clock time (in seconds):1195.772
1205.79/1195.97	o 1498052050316
1284.14/1273.84	c Got one! Elapsed wall clock time (in seconds):1273.641
1284.14/1273.84	o 1494916318835
1364.09/1353.37	c Got one! Elapsed wall clock time (in seconds):1353.173
1364.09/1353.37	o 1494770776758
1521.10/1509.50	c Got one! Elapsed wall clock time (in seconds):1509.303
1521.10/1509.50	o 1494760484779
1533.58/1521.93	c Got one! Elapsed wall clock time (in seconds):1521.731
1533.58/1521.93	o 1494536423849
1535.18/1523.58	c Got one! Elapsed wall clock time (in seconds):1523.382
1535.18/1523.58	o 1490953624495
1577.80/1565.87	c Got one! Elapsed wall clock time (in seconds):1565.668
1577.80/1565.87	o 1482765117149
1727.63/1714.98	c Got one! Elapsed wall clock time (in seconds):1714.78
1727.63/1714.98	o 1470475951227
1778.46/1765.53	c Got one! Elapsed wall clock time (in seconds):1765.333
1778.46/1765.53	o 1470471039630
1800.09/1787.01	c starts		: 712
1800.09/1787.01	c conflicts		: 607887
1800.09/1787.01	c decisions		: 980416
1800.09/1787.01	c propagations		: 16706422
1800.09/1787.01	c inspects		: 2933621638
1800.09/1787.01	c learnt literals	: 8
1800.09/1787.01	c learnt binary clauses	: 43
1800.09/1787.01	c learnt ternary clauses	: 44
1800.09/1787.01	c learnt clauses	: 607879
1800.09/1787.01	c root simplifications	: 0
1800.09/1787.01	c removed literals (reason simplification)	: 0
1800.09/1787.01	c reason swapping (by a shorter reason)	: 0
1800.09/1787.01	c Calls to reduceDB	: 0
1800.09/1787.01	c speed (decisions/second)	: 45658.08224281656
1800.09/1787.01	c non guided choices	5338
1800.09/1787.01	s SATISFIABLE
1800.09/1787.02	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.09/1787.02	v -x29 -x30 -x31 -x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 -x43 x44 x45 -x46 -x47 x48 x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57
1800.09/1787.02	v -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83
1800.09/1787.02	v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107
1800.09/1787.02	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128
1800.09/1787.02	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 x145 x146 x147 x148 x149 -x150
1800.09/1787.02	v -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 x164 x165 x166 x167 -x168 x169 x170 x171 x172 x173
1800.09/1787.02	v -x174 -x175 x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194
1800.09/1787.02	v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 x208 x209 -x210 x211 -x212 x213 -x214 -x215 -x216
1800.09/1787.02	v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 x234 -x235 x236 -x237
1800.09/1787.02	v -x238 x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258
1800.09/1787.02	v -x259 -x260 -x261 x262 x263 -x264 x265 -x266 -x267 x268 -x269 -x270 -x271 x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 x280
1800.09/1787.02	v -x281 -x282 -x283 -x284 -x285 -x286 x287 x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 x296 -x297 x298 -x299 x300 -x301 -x302
1800.09/1787.02	v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323
1800.09/1787.02	v -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 x342 x343 x344 x345
1800.09/1787.02	v x346 x347 x348 x349 x350 x351 -x352 -x353 x354 -x355 x356 x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368
1800.09/1787.02	v -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389
1800.09/1787.02	v -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410
1800.09/1787.02	v -x411 x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 x431
1800.09/1787.02	v -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452
1800.09/1787.02	v -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473
1800.09/1787.02	v -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 x493 x494
1800.09/1787.02	v x495 x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515
1800.09/1787.02	v -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536
1800.09/1787.02	v -x537 -x538 -x539 -x540 x541 x542 x543 x544 x545 x546 x547 -x548 -x549 x550 x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 x559
1800.09/1787.02	v x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
1800.09/1787.02	v -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 x594 -x595 x596 -x597 -x598 x599 -x600 -x601 -x602
1800.09/1787.02	v -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 -x623
1800.09/1787.02	v -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644
1800.09/1787.02	v -x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665
1800.09/1787.02	v -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686
1800.09/1787.02	v -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707
1800.09/1787.02	v -x708 x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728
1800.09/1787.02	v -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749
1800.09/1787.02	v -x750 -x751 -x752 x753 x754 x755 x756 -x757 x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771
1800.09/1787.02	v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780
1800.09/1787.02	c objective function=1470471039630
1800.09/1787.02	c Total wall clock time (ms): 1786.815

Verifier Data (download as text)

OK	1470471039630

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node51/watcher-354378-1176707146 -o ROOT/results/node51/solver-354378-1176707146 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354378-1176707146/sat4jPseudoResolution.jar /tmp/evaluation/354378-1176707146/instance-354378-1176707146.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 24616
/proc/meminfo: memFree=1930616/2055920 swapFree=4183752/4192956
[pid=24616] ppid=24614 vsize=152 CPUtime=0
/proc/24616/stat : 24616 (java) D 24614 24616 24216 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 25559750 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 2618148 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/24616/statm: 38 26 19 9 0 4 0

[startup+0.0724701 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 24616
/proc/meminfo: memFree=1930616/2055920 swapFree=4183752/4192956
[pid=24616] ppid=24614 vsize=1777708 CPUtime=0.05
/proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 3710 0 1 0 4 1 0 0 18 0 7 0 25559750 1820372992 3452 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/24616/statm: 444427 3452 1082 9 0 442063 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1777708

[startup+0.10145 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 24616
/proc/meminfo: memFree=1930616/2055920 swapFree=4183752/4192956
[pid=24616] ppid=24614 vsize=1780108 CPUtime=0.08
/proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 3971 0 1 0 6 2 0 0 18 0 12 0 25559750 1822830592 3712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24616/statm: 445027 3712 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301468 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 24616
/proc/meminfo: memFree=1930616/2055920 swapFree=4183752/4192956
[pid=24616] ppid=24614 vsize=1781932 CPUtime=0.33
/proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 5120 0 1 0 30 3 0 0 18 0 12 0 25559750 1824698368 4858 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24616/statm: 445483 4858 1263 9 0 443095 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1781932

[startup+0.701503 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 24616
/proc/meminfo: memFree=1930616/2055920 swapFree=4183752/4192956
[pid=24616] ppid=24614 vsize=1789008 CPUtime=1.09
/proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 9014 0 1 0 105 4 0 0 18 0 12 0 25559750 1831944192 8297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24616/statm: 447252 8297 1310 9 0 444864 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 1789008

[startup+1.50257 s]
/proc/loadavg: 1.16 1.04 1.01 4/76 24628
/proc/meminfo: memFree=1896920/2055920 swapFree=4183752/4192956
[pid=24616] ppid=24614 vsize=1793012 CPUtime=2.65
/proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 19155 0 1 0 257 8 0 0 18 0 13 0 25559750 1836044288 13530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24616/statm: 448253 13530 1322 9 0 445865 0
[pid=24616/tid=24618] ppid=24614 vsize=1793012 CPUtime=0.82
/proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 9884 0 1 0 78 4 0 0 19 0 13 0 25559751 1836044288 13530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109213882 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24619] ppid=24614 vsize=1793012 CPUtime=0
/proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 25559753 1836044288 13530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24620] ppid=24614 vsize=1793012 CPUtime=0
/proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 25559753 1836044288 13530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24621] ppid=24614 vsize=1793012 CPUtime=0
/proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 25559755 1836044288 13531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24622] ppid=24614 vsize=1793012 CPUtime=0
/proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 25559756 1836044288 13532 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24623] ppid=24614 vsize=1793012 CPUtime=0
/proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 25559756 1836044288 13532 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24624] ppid=24614 vsize=1793012 CPUtime=0
/proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1836044288 13533 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24625] ppid=24614 vsize=1793012 CPUtime=0.93
/proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4510 0 0 0 92 1 0 0 17 0 13 0 25559760 1836044288 13534 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24626] ppid=24614 vsize=1793012 CPUtime=0.86
/proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4037 0 0 0 85 1 0 0 17 0 13 0 25559760 1836044288 13534 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24627] ppid=24614 vsize=1793012 CPUtime=0
/proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1836044288 13534 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24628] ppid=24614 vsize=1793012 CPUtime=0
/proc/24616/task/24628/stat : 24628 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1836044288 13534 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 1793012

[startup+3.10271 s]
/proc/loadavg: 1.16 1.04 1.01 2/77 24631
/proc/meminfo: memFree=1834192/2055920 swapFree=4183752/4192956
[pid=24616] ppid=24614 vsize=1793012 CPUtime=4.55
/proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 48118 0 1 0 435 20 0 0 18 0 13 0 25559750 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24616/statm: 448253 42235 1334 9 0 445865 0
[pid=24616/tid=24618] ppid=24614 vsize=1793012 CPUtime=2.34
/proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 37714 0 1 0 218 16 0 0 25 0 13 0 25559751 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109762096 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24619] ppid=24614 vsize=1793012 CPUtime=0.01
/proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 478 0 0 0 1 0 0 0 16 0 13 0 25559753 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24620] ppid=24614 vsize=1793012 CPUtime=0.01
/proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 370 0 0 0 1 0 0 0 16 0 13 0 25559753 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24621] ppid=24614 vsize=1793012 CPUtime=0
/proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 25559755 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24622] ppid=24614 vsize=1793012 CPUtime=0
/proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24623] ppid=24614 vsize=1793012 CPUtime=0
/proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25559756 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24624] ppid=24614 vsize=1793012 CPUtime=0
/proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24625] ppid=24614 vsize=1793012 CPUtime=1.09
/proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4766 0 0 0 108 1 0 0 16 0 13 0 25559760 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24626] ppid=24614 vsize=1793012 CPUtime=1.06
/proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4058 0 0 0 105 1 0 0 16 0 13 0 25559760 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24627] ppid=24614 vsize=1793012 CPUtime=0
/proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24628] ppid=24614 vsize=1793012 CPUtime=0
/proc/24616/task/24628/stat : 24628 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1836044288 42235 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 1793012

[startup+6.302 s]
/proc/loadavg: 1.16 1.04 1.01 2/77 24642
/proc/meminfo: memFree=1760760/2055920 swapFree=4183752/4192956
[pid=24616] ppid=24614 vsize=1792916 CPUtime=7.92
/proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 49475 0 1 0 771 21 0 0 18 0 13 0 25559750 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24616/statm: 448229 43500 1335 9 0 445841 0
[pid=24616/tid=24618] ppid=24614 vsize=1792916 CPUtime=5.46
/proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 37725 0 1 0 530 16 0 0 17 0 13 0 25559751 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109762058 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24619] ppid=24614 vsize=1792916 CPUtime=0.03
/proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 1060 0 0 0 3 0 0 0 16 0 13 0 25559753 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24620] ppid=24614 vsize=1792916 CPUtime=0.03
/proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 1080 0 0 0 3 0 0 0 16 0 13 0 25559753 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24621] ppid=24614 vsize=1792916 CPUtime=0
/proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 25559755 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24622] ppid=24614 vsize=1792916 CPUtime=0
/proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24623] ppid=24614 vsize=1792916 CPUtime=0
/proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 25559756 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24624] ppid=24614 vsize=1792916 CPUtime=0
/proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24625] ppid=24614 vsize=1792916 CPUtime=1.16
/proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4802 0 0 0 115 1 0 0 16 0 13 0 25559760 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24626] ppid=24614 vsize=1792916 CPUtime=1.18
/proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4066 0 0 0 117 1 0 0 16 0 13 0 25559760 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24627] ppid=24614 vsize=1792916 CPUtime=0
/proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24628] ppid=24614 vsize=1792916 CPUtime=0
/proc/24616/task/24628/stat : 24628 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1835945984 43500 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.92
Current children cumulated vsize (KiB) 1792916

[startup+12.7026 s]
/proc/loadavg: 1.13 1.04 1.01 2/77 24665
/proc/meminfo: memFree=1742344/2055920 swapFree=4183752/4192956
[pid=24616] ppid=24614 vsize=1792916 CPUtime=14.51
/proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 55564 0 1 0 1427 24 0 0 18 0 13 0 25559750 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24616/statm: 448229 48090 1335 9 0 445841 0
[pid=24616/tid=24618] ppid=24614 vsize=1792916 CPUtime=11.71
/proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 38607 0 1 0 1155 16 0 0 18 0 13 0 25559751 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109764285 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24619] ppid=24614 vsize=1792916 CPUtime=0.12
/proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 3676 0 0 0 11 1 0 0 16 0 13 0 25559753 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24620] ppid=24614 vsize=1792916 CPUtime=0.12
/proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 3588 0 0 0 11 1 0 0 16 0 13 0 25559753 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24621] ppid=24614 vsize=1792916 CPUtime=0
/proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 36 0 0 0 0 0 0 0 16 0 13 0 25559755 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24622] ppid=24614 vsize=1792916 CPUtime=0
/proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24623] ppid=24614 vsize=1792916 CPUtime=0
/proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 26 0 0 0 0 0 0 0 17 0 13 0 25559756 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24624] ppid=24614 vsize=1792916 CPUtime=0
/proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24625] ppid=24614 vsize=1792916 CPUtime=1.26
/proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4812 0 0 0 125 1 0 0 16 0 13 0 25559760 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24626] ppid=24614 vsize=1792916 CPUtime=1.22
/proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4069 0 0 0 121 1 0 0 16 0 13 0 25559760 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24627] ppid=24614 vsize=1792916 CPUtime=0
/proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24628] ppid=24614 vsize=1792916 CPUtime=0
/proc/24616/task/24628/stat : 24628 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1835945984 48090 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.51
Current children cumulated vsize (KiB) 1792916

[startup+25.5017 s]
/proc/loadavg: 1.11 1.04 1.01 2/77 24677
/proc/meminfo: memFree=1734968/2055920 swapFree=4183752/4192956
[pid=24616] ppid=24614 vsize=1792916 CPUtime=27.38
/proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 62004 0 1 0 2711 27 0 0 18 0 13 0 25559750 1835945984 49876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24616/statm: 448229 49876 1335 9 0 445841 0
[pid=24616/tid=24618] ppid=24614 vsize=1792916 CPUtime=24.43
/proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 41652 0 1 0 2425 18 0 0 24 0 13 0 25559751 1835945984 49876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109762226 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24619] ppid=24614 vsize=1792916 CPUtime=0.2
/proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 5334 0 0 0 18 2 0 0 16 0 13 0 25559753 1835945984 49876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24620] ppid=24614 vsize=1792916 CPUtime=0.19
/proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 5304 0 0 0 17 2 0 0 16 0 13 0 25559753 1835945984 49876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24621] ppid=24614 vsize=1792916 CPUtime=0.01
/proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 37 0 0 0 1 0 0 0 15 0 13 0 25559755 1835945984 49876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24622] ppid=24614 vsize=1792916 CPUtime=0
/proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1835945984 49876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24623] ppid=24614 vsize=1792916 CPUtime=0
/proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 31 0 0 0 0 0 0 0 17 0 13 0 25559756 1835945984 49876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24624] ppid=24614 vsize=1792916 CPUtime=0
/proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1835945984 49876 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

################
# More data... #
################

[pid=24616/tid=24621] ppid=24614 vsize=1793240 CPUtime=0.29
/proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 215 0 0 0 15 14 0 0 16 0 13 0 25559755 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24622] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24623] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24624] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24625] ppid=24614 vsize=1793240 CPUtime=1.29
/proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4815 0 0 0 128 1 0 0 17 0 13 0 25559760 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24626] ppid=24614 vsize=1793240 CPUtime=1.25
/proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4069 0 0 0 124 1 0 0 16 0 13 0 25559760 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24627] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24628] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24628/stat : 24628 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24744] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24744/stat : 24744 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 25716338 1836277760 99743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1614.46
Current children cumulated vsize (KiB) 1793240

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 24744
/proc/meminfo: memFree=1507392/2055920 swapFree=4183752/4192956
[pid=24616] ppid=24614 vsize=1793240 CPUtime=1674.83
/proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 177178 0 1 0 167363 120 0 0 18 0 13 0 25559750 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24616/statm: 448310 106342 1335 9 0 445922 0
[pid=24616/tid=24618] ppid=24614 vsize=1793240 CPUtime=1648.22
/proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 97604 0 1 0 164776 46 0 0 25 0 13 0 25559751 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109835283 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24619] ppid=24614 vsize=1793240 CPUtime=11.78
/proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 34475 0 0 0 1153 25 0 0 17 0 13 0 25559753 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24620] ppid=24614 vsize=1793240 CPUtime=11.89
/proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 35089 0 0 0 1162 27 0 0 16 0 13 0 25559753 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24621] ppid=24614 vsize=1793240 CPUtime=0.3
/proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 227 0 0 0 16 14 0 0 16 0 13 0 25559755 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24622] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24623] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24624] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24625] ppid=24614 vsize=1793240 CPUtime=1.29
/proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4815 0 0 0 128 1 0 0 17 0 13 0 25559760 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24626] ppid=24614 vsize=1793240 CPUtime=1.25
/proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4069 0 0 0 124 1 0 0 16 0 13 0 25559760 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24627] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24628] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24628/stat : 24628 (java) R 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24744] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24744/stat : 24744 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 25716338 1836277760 106342 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1674.83
Current children cumulated vsize (KiB) 1793240

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 24745
/proc/meminfo: memFree=1505976/2055920 swapFree=4183752/4192956
[pid=24616] ppid=24614 vsize=1793240 CPUtime=1735.04
/proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 178085 0 1 0 173383 121 0 0 18 0 13 0 25559750 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24616/statm: 448310 106640 1335 9 0 445922 0
[pid=24616/tid=24618] ppid=24614 vsize=1793240 CPUtime=1707.94
/proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 97615 0 1 0 170747 47 0 0 25 0 13 0 25559751 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109835841 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24619] ppid=24614 vsize=1793240 CPUtime=12.04
/proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 34881 0 0 0 1178 26 0 0 17 0 13 0 25559753 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24620] ppid=24614 vsize=1793240 CPUtime=12.14
/proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 35578 0 0 0 1186 28 0 0 16 0 13 0 25559753 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24621] ppid=24614 vsize=1793240 CPUtime=0.3
/proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 227 0 0 0 16 14 0 0 16 0 13 0 25559755 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24622] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24623] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24624] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24625] ppid=24614 vsize=1793240 CPUtime=1.29
/proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4815 0 0 0 128 1 0 0 17 0 13 0 25559760 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24626] ppid=24614 vsize=1793240 CPUtime=1.25
/proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4069 0 0 0 124 1 0 0 16 0 13 0 25559760 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24627] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24628] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24628/stat : 24628 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24745] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24745/stat : 24745 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 25731249 1836277760 106640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1735.04
Current children cumulated vsize (KiB) 1793240

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 24746
/proc/meminfo: memFree=1505968/2055920 swapFree=4183752/4192956
[pid=24616] ppid=24614 vsize=1793240 CPUtime=1795.32
/proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 178800 0 1 0 179409 123 0 0 18 0 13 0 25559750 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24616/statm: 448310 106635 1335 9 0 445922 0
[pid=24616/tid=24618] ppid=24614 vsize=1793240 CPUtime=1767.58
/proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 97629 0 1 0 176711 47 0 0 25 0 13 0 25559751 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109670288 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24619] ppid=24614 vsize=1793240 CPUtime=12.36
/proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 35331 0 0 0 1209 27 0 0 16 0 13 0 25559753 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24620] ppid=24614 vsize=1793240 CPUtime=12.45
/proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 35828 0 0 0 1217 28 0 0 16 0 13 0 25559753 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24621] ppid=24614 vsize=1793240 CPUtime=0.3
/proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 227 0 0 0 16 14 0 0 16 0 13 0 25559755 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24622] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24623] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24624] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24625] ppid=24614 vsize=1793240 CPUtime=1.29
/proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4815 0 0 0 128 1 0 0 17 0 13 0 25559760 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24626] ppid=24614 vsize=1793240 CPUtime=1.25
/proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4069 0 0 0 124 1 0 0 16 0 13 0 25559760 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24627] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24628] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24628/stat : 24628 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24746] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24746/stat : 24746 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 25736304 1836277760 106635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1795.32
Current children cumulated vsize (KiB) 1793240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 24746
/proc/meminfo: memFree=1506160/2055920 swapFree=4183752/4192956
[pid=24616] ppid=24614 vsize=1793240 CPUtime=1800.09
/proc/24616/stat : 24616 (java) S 24614 24616 24216 0 -1 0 178903 0 1 0 179885 124 0 0 18 0 13 0 25559750 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24616/statm: 448310 106590 1335 9 0 445922 0
[pid=24616/tid=24618] ppid=24614 vsize=1793240 CPUtime=1772.2
/proc/24616/task/24618/stat : 24618 (java) R 24614 24616 24216 0 -1 64 97632 0 1 0 177173 47 0 0 25 0 13 0 25559751 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109670288 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24619] ppid=24614 vsize=1793240 CPUtime=12.43
/proc/24616/task/24619/stat : 24619 (java) S 24614 24616 24216 0 -1 64 35370 0 0 0 1216 27 0 0 16 0 13 0 25559753 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24616/tid=24620] ppid=24614 vsize=1793240 CPUtime=12.52
/proc/24616/task/24620/stat : 24620 (java) S 24614 24616 24216 0 -1 64 35889 0 0 0 1223 29 0 0 16 0 13 0 25559753 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24621] ppid=24614 vsize=1793240 CPUtime=0.3
/proc/24616/task/24621/stat : 24621 (java) S 24614 24616 24216 0 -1 64 227 0 0 0 16 14 0 0 16 0 13 0 25559755 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24622] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24622/stat : 24622 (java) S 24614 24616 24216 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24623] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24623/stat : 24623 (java) S 24614 24616 24216 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 25559756 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24624] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24624/stat : 24624 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 25559760 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24625] ppid=24614 vsize=1793240 CPUtime=1.29
/proc/24616/task/24625/stat : 24625 (java) S 24614 24616 24216 0 -1 64 4815 0 0 0 128 1 0 0 17 0 13 0 25559760 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24626] ppid=24614 vsize=1793240 CPUtime=1.25
/proc/24616/task/24626/stat : 24626 (java) S 24614 24616 24216 0 -1 64 4069 0 0 0 124 1 0 0 16 0 13 0 25559760 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24627] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24627/stat : 24627 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 25559760 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24628] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24628/stat : 24628 (java) S 24614 24616 24216 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 25559760 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24616/tid=24746] ppid=24614 vsize=1793240 CPUtime=0
/proc/24616/task/24746/stat : 24746 (java) S 24614 24616 24216 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 25736304 1836277760 106590 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1793240

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1787.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 24746
/proc/meminfo: memFree=1506160/2055920 swapFree=4183752/4192956
[pid=24616] ppid=24614 vsize=0 CPUtime=1800.2
/proc/24616/stat : 24616 (java) Z 24614 24616 24216 0 -1 1036 178916 0 1 0 179890 130 0 0 16 0 2 0 25559750 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24616/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1787.12
CPU time (s): 1800.21
CPU user time (s): 1798.91
CPU system time (s): 1.3048
CPU usage (%): 100.733
Max. virtual memory (cumulated for all children) (KiB): 1794844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.3048
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178916
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48776
involuntary context switches= 16736

runsolver used 1.80073 second user time and 4.77127 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Mon Apr 16 07:05:46 UTC 2007

IDJOB= 354378
IDBENCH= 2505
IDSOLVER= 159
FILE ID= node51/354378-1176707146

PBS_JOBID= 4560047

Free space on /tmp= 66535 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354378-1176707146/sat4jPseudoResolution.jar /tmp/evaluation/354378-1176707146/instance-354378-1176707146.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-354378-1176707146 -o ROOT/results/node51/solver-354378-1176707146 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354378-1176707146/sat4jPseudoResolution.jar /tmp/evaluation/354378-1176707146/instance-354378-1176707146.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  34e6501168eba14fba603ee8987209fc

RANDOM SEED= 695124755

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1931088 kB
Buffers:          8012 kB
Cached:          69228 kB
SwapCached:       3408 kB
Active:          44988 kB
Inactive:        42648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1931088 kB
SwapTotal:     4192956 kB
SwapFree:      4183752 kB
Dirty:            3936 kB
Writeback:           0 kB
Mapped:          15804 kB
Slab:            23284 kB
Committed_AS:  2529916 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66535 MiB

End job on node51 on Mon Apr 16 07:35:35 UTC 2007