Trace number 4085533

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
Sat4j PB 2.3.6 Resolution PB16SAT (TO)27723 1800.05 1798.14

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/
submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
MD5SUMaa73e48897f9c10e5003e2188d9e7ab9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24890
Best CPU time to get the best result obtained on this benchmark0.085986
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24890
Optimality of the best value was proved YES
Number of variables644
Total number of constraints1034
Number of constraints which are clauses1034
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 353
Biggest coefficient in the objective function 2034
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 561307
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 2034
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 561307
Number of bits of the biggest sum of numbers20
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 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4085533-1465251923.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.26/0.21	c ... done. Wall clock time 0.1s.
0.26/0.21	c declared #vars     644
0.26/0.21	c #constraints  1034
0.26/0.21	c constraints type 
0.26/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 292
0.26/0.21	c org.sat4j.minisat.constraints.cnf.UnitClause => 4
0.26/0.21	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 738
0.26/0.21	c 1034 constraints processed.
0.26/0.21	c objective function length is 353 literals
0.26/0.22	c SATISFIABLE
0.26/0.22	c OPTIMIZING...
0.26/0.22	c Got one! Elapsed wall clock time (in seconds):0.113
0.26/0.23	o 30671
0.26/0.27	c Got one! Elapsed wall clock time (in seconds):0.159
0.26/0.27	o 29485
0.26/0.28	c Got one! Elapsed wall clock time (in seconds):0.168
0.26/0.28	o 29427
1.19/0.85	c cleaning 2544 clauses out of 5088 with flag 15929/5088
1.97/1.44	c cleaning 4271 clauses out of 8544 with flag 35400/11088
2.72/2.12	c cleaning 5637 clauses out of 11273 with flag 55936/18088
3.42/2.84	c cleaning 6815 clauses out of 13636 with flag 78125/26088
4.37/3.72	c cleaning 7908 clauses out of 15822 with flag 104011/35089
5.27/4.67	c cleaning 8953 clauses out of 17913 with flag 132559/45088
6.36/5.73	c cleaning 9965 clauses out of 19960 with flag 166160/56088
7.46/6.83	c cleaning 10991 clauses out of 21995 with flag 199512/68088
8.77/8.14	c cleaning 12002 clauses out of 24005 with flag 235312/81089
10.06/9.46	c cleaning 12998 clauses out of 26002 with flag 275476/95088
11.57/10.90	c cleaning 14003 clauses out of 28005 with flag 320457/110089
13.17/12.59	c cleaning 15001 clauses out of 30005 with flag 366605/126092
14.98/14.36	c cleaning 15989 clauses out of 32000 with flag 416578/143088
16.97/16.37	c cleaning 16990 clauses out of 34011 with flag 471906/161088
19.17/18.50	c cleaning 18009 clauses out of 36022 with flag 529989/180089
21.27/20.64	c cleaning 18983 clauses out of 38012 with flag 595659/200088
23.58/22.91	c cleaning 20002 clauses out of 40029 with flag 678263/221088
25.99/25.33	c cleaning 20995 clauses out of 42027 with flag 773384/243088
28.58/27.98	c cleaning 22002 clauses out of 44032 with flag 869147/266088
31.68/31.01	c cleaning 23012 clauses out of 46030 with flag 991542/290088
34.68/34.05	c cleaning 23989 clauses out of 48019 with flag 1108312/315089
37.78/37.17	c cleaning 25010 clauses out of 50029 with flag 1227943/341088
40.88/40.28	c cleaning 26006 clauses out of 52021 with flag 1355388/368090
44.18/43.55	c cleaning 26996 clauses out of 54013 with flag 1471716/396088
47.47/46.85	c cleaning 28000 clauses out of 56017 with flag 1593993/425088
50.98/50.36	c cleaning 29001 clauses out of 58018 with flag 1719198/455089
54.69/54.09	c cleaning 30000 clauses out of 60016 with flag 1848156/486088
58.68/58.00	c cleaning 30992 clauses out of 62016 with flag 1974746/518088
62.48/61.82	c cleaning 32002 clauses out of 64024 with flag 2115453/551088
66.48/65.84	c cleaning 33007 clauses out of 66022 with flag 2248918/585088
70.78/70.18	c cleaning 33992 clauses out of 68015 with flag 2380318/620088
75.20/74.51	c cleaning 34996 clauses out of 70023 with flag 2544412/656088
79.80/79.15	c cleaning 36011 clauses out of 72027 with flag 2693940/693088
84.60/83.94	c cleaning 36983 clauses out of 74016 with flag 2839619/731088
89.70/89.05	c cleaning 38005 clauses out of 76033 with flag 3003187/770088
95.00/94.39	c cleaning 39005 clauses out of 78028 with flag 3173093/810088
100.50/99.83	c cleaning 40010 clauses out of 80023 with flag 3367772/851088
106.09/105.42	c cleaning 41002 clauses out of 82013 with flag 3552584/893088
111.91/111.26	c cleaning 41984 clauses out of 84011 with flag 3742248/936088
117.90/117.27	c cleaning 43014 clauses out of 86027 with flag 3940047/980088
124.10/123.44	c cleaning 43989 clauses out of 88013 with flag 4132459/1025088
130.61/129.93	c cleaning 45007 clauses out of 90024 with flag 4325820/1071088
137.11/136.44	c cleaning 45983 clauses out of 92017 with flag 4513384/1118088
143.71/143.06	c cleaning 46989 clauses out of 94034 with flag 4732555/1166088
150.50/149.83	c cleaning 47995 clauses out of 96045 with flag 4963818/1215088
157.40/156.73	c cleaning 49012 clauses out of 98052 with flag 5197788/1265090
165.17/164.41	c cleaning 50011 clauses out of 100039 with flag 5400887/1316089
172.47/171.75	c cleaning 50994 clauses out of 102028 with flag 5640100/1368089
180.47/179.76	c cleaning 51999 clauses out of 104033 with flag 5880248/1421088
187.97/187.24	c cleaning 53012 clauses out of 106034 with flag 6133613/1475088
192.97/192.28	c Got one! Elapsed wall clock time (in seconds):192.169
192.97/192.28	o 29259
194.07/193.39	c cleaning 50027 clauses out of 100063 with flag 15550/1522129
194.77/194.08	c cleaning 28011 clauses out of 56036 with flag 33482/1528129
195.57/194.82	c cleaning 17510 clauses out of 35026 with flag 53376/1535130
196.27/195.56	c cleaning 12749 clauses out of 25517 with flag 77235/1543131
197.07/196.37	c cleaning 10853 clauses out of 21766 with flag 107285/1552129
198.07/197.31	c cleaning 10438 clauses out of 20913 with flag 143099/1562129
199.07/198.37	c cleaning 10734 clauses out of 21475 with flag 178471/1573129
200.17/199.48	c cleaning 11348 clauses out of 22741 with flag 223192/1585129
201.49/200.76	c cleaning 12180 clauses out of 24393 with flag 271201/1598129
202.09/201.32	c Got one! Elapsed wall clock time (in seconds):201.204
202.09/201.32	o 29251
202.69/201.81	c cleaning 11551 clauses out of 23131 with flag 17072/1609047
203.19/202.35	c cleaning 8775 clauses out of 17577 with flag 37446/1615044
203.79/202.96	c cleaning 7877 clauses out of 15802 with flag 61408/1622044
204.50/203.68	c cleaning 7956 clauses out of 15925 with flag 87683/1630044
205.29/204.48	c cleaning 8485 clauses out of 16970 with flag 118031/1639045
206.29/205.45	c cleaning 9241 clauses out of 18485 with flag 149829/1649045
207.39/206.51	c cleaning 10116 clauses out of 20243 with flag 184351/1660044
208.49/207.63	c cleaning 11051 clauses out of 22127 with flag 231339/1672044
209.69/208.86	c cleaning 12038 clauses out of 24077 with flag 280887/1685045
211.00/210.15	c cleaning 13003 clauses out of 26039 with flag 329808/1699045
212.39/211.57	c cleaning 14008 clauses out of 28036 with flag 387317/1714045
212.79/211.97	c Got one! Elapsed wall clock time (in seconds):211.857
212.79/211.97	o 29239
212.89/212.08	c cleaning 9804 clauses out of 19627 with flag 3223/1719644
213.49/212.63	c cleaning 7911 clauses out of 15823 with flag 23045/1725644
214.09/213.25	c cleaning 7441 clauses out of 14912 with flag 46377/1732644
214.79/214.00	c cleaning 7721 clauses out of 15470 with flag 74464/1740643
215.69/214.83	c cleaning 8370 clauses out of 16749 with flag 106508/1749643
216.60/215.72	c cleaning 9186 clauses out of 18380 with flag 142280/1759644
217.60/216.78	c cleaning 10086 clauses out of 20193 with flag 180003/1770643
218.80/217.98	c cleaning 11049 clauses out of 22108 with flag 218617/1782644
220.09/219.20	c cleaning 12006 clauses out of 24058 with flag 266980/1795643
221.39/220.53	c cleaning 13016 clauses out of 26052 with flag 321194/1809643
222.79/222.00	c cleaning 14013 clauses out of 28036 with flag 377879/1824643
224.60/223.71	c cleaning 15006 clauses out of 30023 with flag 440875/1840643
226.30/225.42	c cleaning 16006 clauses out of 32017 with flag 502516/1857643
228.20/227.31	c cleaning 17000 clauses out of 34011 with flag 567035/1875643
229.90/229.04	c Got one! Elapsed wall clock time (in seconds):228.928
229.90/229.04	o 29049
230.60/229.71	c cleaning 19695 clauses out of 39404 with flag 16072/1898036
231.20/230.32	c cleaning 12850 clauses out of 25707 with flag 32666/1904034
231.80/230.97	c cleaning 9926 clauses out of 19861 with flag 51983/1911038
232.60/231.71	c cleaning 8958 clauses out of 17931 with flag 75470/1919034
233.40/232.51	c cleaning 8978 clauses out of 17974 with flag 101399/1928035
234.30/233.41	c cleaning 9489 clauses out of 18995 with flag 131024/1938034
235.21/234.38	c cleaning 10248 clauses out of 20507 with flag 163313/1949035
236.31/235.47	c cleaning 11125 clauses out of 22259 with flag 199602/1961035
237.51/236.69	c cleaning 12061 clauses out of 24134 with flag 242290/1974035
238.91/238.03	c cleaning 13037 clauses out of 26074 with flag 288994/1988036
240.31/239.47	c cleaning 14007 clauses out of 28035 with flag 345459/2003034
242.01/241.11	c cleaning 15013 clauses out of 30030 with flag 397058/2019036
243.71/242.84	c cleaning 16004 clauses out of 32015 with flag 448401/2036034
245.61/244.72	c cleaning 17002 clauses out of 34012 with flag 503802/2054035
247.61/246.73	c cleaning 17999 clauses out of 36009 with flag 561991/2073034
249.61/248.76	c cleaning 18998 clauses out of 38010 with flag 636372/2093034
252.11/251.24	c cleaning 19995 clauses out of 40012 with flag 709919/2114034
254.61/253.71	c cleaning 20999 clauses out of 42017 with flag 785577/2136034
257.21/256.36	c cleaning 22009 clauses out of 44021 with flag 863251/2159037
259.90/259.01	c cleaning 23001 clauses out of 46010 with flag 943880/2183035
262.81/261.96	c cleaning 23994 clauses out of 48008 with flag 1021430/2208034
265.70/264.89	c cleaning 24993 clauses out of 50014 with flag 1111885/2234034
268.60/267.75	c cleaning 26002 clauses out of 52021 with flag 1208191/2261034
271.70/270.88	c cleaning 27002 clauses out of 54019 with flag 1303499/2289034
275.20/274.33	c cleaning 28003 clauses out of 56017 with flag 1403864/2318034
275.60/274.78	c Got one! Elapsed wall clock time (in seconds):274.665
275.60/274.78	o 28566
275.81/274.93	c cleaning 16788 clauses out of 33576 with flag 3007/2323596
276.41/275.58	c cleaning 11390 clauses out of 22786 with flag 19905/2329594
277.12/276.24	c cleaning 9194 clauses out of 18396 with flag 40950/2336594
277.81/276.99	c cleaning 8594 clauses out of 17202 with flag 66260/2344594
278.71/277.81	c cleaning 8797 clauses out of 17610 with flag 99896/2353596
279.61/278.71	c cleaning 9400 clauses out of 18811 with flag 144123/2363594
280.61/279.72	c cleaning 10205 clauses out of 20411 with flag 184694/2374594
281.71/280.86	c cleaning 11088 clauses out of 22206 with flag 234660/2386594
283.01/282.18	c cleaning 12058 clauses out of 24119 with flag 287956/2399595
284.41/283.54	c cleaning 13027 clauses out of 26061 with flag 347213/2413595
285.82/285.00	c cleaning 14008 clauses out of 28033 with flag 415238/2428594
287.41/286.54	c cleaning 15009 clauses out of 30025 with flag 487810/2444594
289.12/288.21	c cleaning 15995 clauses out of 32016 with flag 561349/2461594
290.91/290.04	c cleaning 17001 clauses out of 34021 with flag 641905/2479594
292.91/292.02	c cleaning 18007 clauses out of 36020 with flag 718847/2498594
295.01/294.17	c cleaning 18999 clauses out of 38013 with flag 795257/2518594
297.31/296.41	c cleaning 19995 clauses out of 40015 with flag 869173/2539595
299.51/298.61	c cleaning 20996 clauses out of 42019 with flag 947573/2561594
301.91/301.09	c cleaning 21998 clauses out of 44024 with flag 1045475/2584595
304.52/303.62	c cleaning 22989 clauses out of 46025 with flag 1142634/2608594
307.22/306.37	c cleaning 23998 clauses out of 48038 with flag 1246004/2633596
310.22/309.34	c cleaning 24998 clauses out of 50038 with flag 1357572/2659594
313.43/312.53	c cleaning 26017 clauses out of 52041 with flag 1461814/2686595
316.63/315.72	c cleaning 27004 clauses out of 54023 with flag 1571802/2714594
319.93/319.03	c cleaning 27998 clauses out of 56019 with flag 1699051/2743594
323.43/322.50	c cleaning 28990 clauses out of 58021 with flag 1823010/2773594
326.93/326.08	c cleaning 30007 clauses out of 60031 with flag 1951213/2804594
330.53/329.69	c cleaning 30987 clauses out of 62024 with flag 2086509/2836594
334.53/333.68	c cleaning 32004 clauses out of 64038 with flag 2232982/2869595
338.42/337.59	c cleaning 33000 clauses out of 66033 with flag 2376327/2903594
342.62/341.71	c cleaning 34010 clauses out of 68033 with flag 2513287/2938594
346.92/346.00	c cleaning 35003 clauses out of 70023 with flag 2652313/2974594
351.12/350.27	c cleaning 35997 clauses out of 72020 with flag 2796418/3011594
355.62/354.78	c cleaning 37002 clauses out of 74023 with flag 2950353/3049594
360.32/359.41	c cleaning 38009 clauses out of 76021 with flag 3105032/3088594
365.13/364.25	c cleaning 39004 clauses out of 78012 with flag 3284285/3128594
370.12/369.25	c cleaning 39987 clauses out of 80008 with flag 3460457/3169594
375.32/374.43	c cleaning 40990 clauses out of 82021 with flag 3628376/3211594
380.72/379.82	c cleaning 42008 clauses out of 84031 with flag 3802497/3254594
386.12/385.20	c cleaning 43005 clauses out of 86023 with flag 3993868/3298594
391.62/390.74	c cleaning 44006 clauses out of 88021 with flag 4171574/3343597
397.25/396.38	c cleaning 44994 clauses out of 90012 with flag 4343027/3389594
403.25/402.39	c cleaning 46000 clauses out of 92018 with flag 4537255/3436594
409.45/408.53	c cleaning 47001 clauses out of 94018 with flag 4703641/3484594
415.45/414.54	c cleaning 47999 clauses out of 96017 with flag 4893166/3533594
421.94/421.03	c cleaning 48991 clauses out of 98020 with flag 5104825/3583596
428.95/428.09	c cleaning 50009 clauses out of 100027 with flag 5315334/3634594
435.45/434.53	c cleaning 50993 clauses out of 102018 with flag 5541759/3686594
442.54/441.62	c cleaning 52006 clauses out of 104025 with flag 5754739/3739594
449.85/448.95	c cleaning 52982 clauses out of 106019 with flag 5981361/3793594
456.35/455.47	c Got one! Elapsed wall clock time (in seconds):455.36
456.35/455.47	o 28450
456.35/455.48	c Got one! Elapsed wall clock time (in seconds):455.373
456.35/455.48	o 28241
457.46/456.54	c cleaning 55018 clauses out of 110065 with flag 18953/3850622
458.25/457.31	c cleaning 30513 clauses out of 61046 with flag 42488/3856621
458.95/458.03	c cleaning 18748 clauses out of 37533 with flag 65656/3863621
459.76/458.81	c cleaning 13382 clauses out of 26785 with flag 92600/3871621
460.55/459.65	c cleaning 11187 clauses out of 22403 with flag 124298/3880621
461.55/460.64	c cleaning 10607 clauses out of 21218 with flag 158581/3890623
462.65/461.73	c cleaning 10795 clauses out of 21610 with flag 198137/3901622
463.85/462.94	c cleaning 11402 clauses out of 22814 with flag 244347/3913621
465.16/464.25	c cleaning 12196 clauses out of 24412 with flag 294669/3926621
466.55/465.69	c cleaning 13107 clauses out of 26216 with flag 348273/3940621
468.25/467.30	c cleaning 14044 clauses out of 28109 with flag 400233/3955621
469.85/468.95	c cleaning 15015 clauses out of 30065 with flag 461141/3971621
471.55/470.60	c cleaning 16023 clauses out of 32053 with flag 521827/3988624
473.35/472.46	c cleaning 17012 clauses out of 34029 with flag 584524/4006623
475.37/474.43	c cleaning 18000 clauses out of 36015 with flag 647956/4025621
477.57/476.63	c cleaning 19006 clauses out of 38015 with flag 717949/4045621
479.87/478.97	c cleaning 19992 clauses out of 40009 with flag 794968/4066621
482.37/481.45	c cleaning 20994 clauses out of 42017 with flag 876842/4088621
484.98/484.09	c cleaning 21998 clauses out of 44023 with flag 965381/4111621
487.67/486.79	c cleaning 23007 clauses out of 46025 with flag 1065820/4135621
490.58/489.65	c cleaning 23999 clauses out of 48019 with flag 1171520/4160622
493.78/492.87	c cleaning 24979 clauses out of 50019 with flag 1287071/4186621
496.97/496.09	c cleaning 26020 clauses out of 52041 with flag 1394716/4213622
500.17/499.25	c cleaning 26978 clauses out of 54020 with flag 1518292/4241621
503.57/502.69	c cleaning 28012 clauses out of 56042 with flag 1656239/4270621
507.07/506.11	c cleaning 29004 clauses out of 58030 with flag 1779151/4300621
510.77/509.82	c cleaning 30003 clauses out of 60026 with flag 1920524/4331621
514.77/513.82	c cleaning 30989 clauses out of 62023 with flag 2061868/4363621
518.57/517.68	c cleaning 32010 clauses out of 64034 with flag 2206760/4396621
522.66/521.76	c cleaning 33010 clauses out of 66024 with flag 2359144/4430621
526.96/526.03	c cleaning 33988 clauses out of 68014 with flag 2516306/4465621
531.27/530.37	c cleaning 34996 clauses out of 70026 with flag 2671816/4501621
535.76/534.88	c cleaning 36006 clauses out of 72030 with flag 2840915/4538621
540.56/539.62	c cleaning 37005 clauses out of 74024 with flag 2999251/4576621
545.66/544.70	c cleaning 37997 clauses out of 76019 with flag 3154674/4615621
550.86/550.00	c cleaning 38992 clauses out of 78023 with flag 3332641/4655622
556.18/555.25	c cleaning 40002 clauses out of 80030 with flag 3527021/4696621
561.78/560.86	c cleaning 40993 clauses out of 82028 with flag 3686071/4738621
567.99/567.04	c cleaning 42009 clauses out of 84035 with flag 3843273/4781621
573.79/572.83	c cleaning 42999 clauses out of 86026 with flag 4013762/4825621
579.88/578.95	c cleaning 44009 clauses out of 88027 with flag 4186450/4870621
586.29/585.36	c cleaning 44992 clauses out of 90018 with flag 4374894/4916621
592.58/591.61	c cleaning 45993 clauses out of 92026 with flag 4556711/4963621
598.98/598.03	c cleaning 46998 clauses out of 94033 with flag 4750829/5011621
605.77/604.89	c cleaning 48015 clauses out of 96035 with flag 4938780/5060621
612.37/611.42	c cleaning 48971 clauses out of 98020 with flag 5173647/5110621
619.37/618.48	c cleaning 50025 clauses out of 100050 with flag 5402237/5161622
626.68/625.71	c cleaning 51003 clauses out of 102024 with flag 5626744/5213621
633.78/632.84	c cleaning 51993 clauses out of 104021 with flag 5868993/5266621
641.65/640.62	c cleaning 53012 clauses out of 106028 with flag 6074123/5320621
649.25/648.23	c cleaning 54001 clauses out of 108016 with flag 6292993/5375621
657.35/656.32	c cleaning 54996 clauses out of 110015 with flag 6541205/5431621
665.55/664.55	c cleaning 56008 clauses out of 112019 with flag 6784411/5488621
673.84/672.83	c cleaning 56979 clauses out of 114011 with flag 7035760/5546621
682.54/681.50	c cleaning 58010 clauses out of 116035 with flag 7275492/5605624
690.94/689.98	c cleaning 59004 clauses out of 118022 with flag 7509526/5665621
699.54/698.53	c cleaning 60007 clauses out of 120018 with flag 7726389/5726621
708.35/707.35	c cleaning 61003 clauses out of 122012 with flag 7953059/5788622
717.74/716.76	c cleaning 61999 clauses out of 124008 with flag 8176450/5851621
727.33/726.20	c cleaning 62999 clauses out of 126010 with flag 8398500/5915622
737.04/735.91	c cleaning 63991 clauses out of 128010 with flag 8655292/5980621
746.73/745.61	c cleaning 65005 clauses out of 130021 with flag 8912656/6046623
756.62/755.59	c cleaning 65990 clauses out of 132014 with flag 9166890/6113621
767.42/766.36	c cleaning 67006 clauses out of 134025 with flag 9434173/6181622
778.02/776.99	c cleaning 68002 clauses out of 136018 with flag 9735760/6250621
788.53/787.49	c cleaning 68985 clauses out of 138016 with flag 10015414/6320621
799.92/798.80	c cleaning 70003 clauses out of 140031 with flag 10276874/6391621
811.42/810.38	c cleaning 71001 clauses out of 142028 with flag 10557936/6463621
822.80/821.68	c cleaning 72010 clauses out of 144027 with flag 10854796/6536621
834.01/832.85	c cleaning 72987 clauses out of 146017 with flag 11159744/6610621
845.50/844.31	c cleaning 73997 clauses out of 148030 with flag 11464938/6685621
858.00/856.87	c cleaning 75016 clauses out of 150033 with flag 11746673/6761621
870.49/869.32	c cleaning 75999 clauses out of 152018 with flag 12024867/6838622
882.59/881.47	c cleaning 76990 clauses out of 154018 with flag 12325171/6916621
895.09/893.93	c cleaning 78007 clauses out of 156029 with flag 12669608/6995622
908.82/907.53	c cleaning 78996 clauses out of 158021 with flag 13031981/7075621
921.02/919.77	c cleaning 79999 clauses out of 160026 with flag 13378714/7156622
934.31/933.05	c cleaning 80998 clauses out of 162026 with flag 13750611/7238621
947.21/945.97	c cleaning 81992 clauses out of 164028 with flag 14131379/7321621
960.21/958.95	c cleaning 82990 clauses out of 166036 with flag 14500814/7405621
973.61/972.40	c cleaning 84024 clauses out of 168048 with flag 14810993/7490623
981.52/980.23	c Got one! Elapsed wall clock time (in seconds):980.121
981.52/980.23	o 28165
982.94/981.61	c cleaning 72803 clauses out of 145618 with flag 15549/7552217
983.74/982.47	c cleaning 39404 clauses out of 78817 with flag 34409/7558219
984.64/983.30	c cleaning 23199 clauses out of 46411 with flag 55038/7565217
985.44/984.12	c cleaning 15601 clauses out of 31211 with flag 79685/7573216
986.34/985.05	c cleaning 12301 clauses out of 24612 with flag 105022/7582218
987.34/986.08	c cleaning 11153 clauses out of 22309 with flag 131872/7592216
988.54/987.21	c cleaning 11066 clauses out of 22156 with flag 165221/7603216
989.63/988.32	c cleaning 11537 clauses out of 23090 with flag 201123/7615216
991.02/989.62	c cleaning 12275 clauses out of 24553 with flag 243247/7628216
992.32/990.98	c cleaning 13112 clauses out of 26278 with flag 296428/7642216
993.91/992.50	c cleaning 14078 clauses out of 28166 with flag 350954/7657216
995.51/994.11	c cleaning 15042 clauses out of 30089 with flag 412024/7673217
997.21/995.81	c cleaning 16021 clauses out of 32047 with flag 485089/7690217
998.92/997.59	c cleaning 17013 clauses out of 34025 with flag 560983/7708216
1000.91/999.54	c cleaning 17995 clauses out of 36012 with flag 640301/7727216
1003.02/1001.64	c cleaning 18997 clauses out of 38017 with flag 726173/7747216
1005.32/1003.96	c cleaning 20007 clauses out of 40022 with flag 826412/7768218
1007.72/1006.34	c cleaning 21000 clauses out of 42013 with flag 931468/7790216
1010.32/1008.90	c cleaning 22000 clauses out of 44013 with flag 1030491/7813216
1012.82/1011.46	c cleaning 23007 clauses out of 46014 with flag 1129663/7837217
1015.73/1014.34	c cleaning 23978 clauses out of 48006 with flag 1240510/7862216
1018.93/1017.52	c cleaning 24998 clauses out of 50028 with flag 1355279/7888216
1022.12/1020.72	c cleaning 25991 clauses out of 52030 with flag 1467913/7915216
1025.32/1023.95	c cleaning 27017 clauses out of 54040 with flag 1600355/7943217
1028.71/1027.36	c cleaning 27989 clauses out of 56022 with flag 1722416/7972216
1032.22/1030.88	c cleaning 29006 clauses out of 58033 with flag 1855767/8002216
1036.22/1034.80	c cleaning 29987 clauses out of 60027 with flag 1997396/8033216
1040.22/1038.81	c cleaning 31016 clauses out of 62042 with flag 2144627/8065218
1044.42/1043.02	c cleaning 32011 clauses out of 64024 with flag 2285209/8098216
1048.92/1047.52	c cleaning 33004 clauses out of 66013 with flag 2416965/8132216
1053.29/1051.90	c cleaning 34000 clauses out of 68009 with flag 2568771/8167216
1057.99/1056.59	c cleaning 35001 clauses out of 70009 with flag 2721318/8203216
1062.69/1061.22	c cleaning 35999 clauses out of 72008 with flag 2867019/8240216
1067.59/1066.18	c cleaning 36995 clauses out of 74009 with flag 3022984/8278216
1072.59/1071.12	c cleaning 37994 clauses out of 76014 with flag 3185691/8317216
1077.59/1076.19	c cleaning 38984 clauses out of 78020 with flag 3352336/8357216
1083.08/1081.69	c cleaning 39996 clauses out of 80036 with flag 3531268/8398216
1088.58/1087.12	c cleaning 41014 clauses out of 82041 with flag 3703968/8440217
1094.39/1092.97	c cleaning 42003 clauses out of 84026 with flag 3869476/8483216
1100.39/1098.95	c cleaning 42982 clauses out of 86023 with flag 4052170/8527216
1106.69/1105.28	c cleaning 44012 clauses out of 88041 with flag 4233095/8572216
1113.18/1111.77	c cleaning 45011 clauses out of 90030 with flag 4391828/8618217
1119.58/1118.13	c cleaning 46005 clauses out of 92018 with flag 4567376/8665216
1121.39/1119.99	c Got one! Elapsed wall clock time (in seconds):1119.876
1121.39/1119.99	o 28148
1122.29/1120.89	c cleaning 33400 clauses out of 66829 with flag 15494/8686032
1122.99/1121.56	c cleaning 19707 clauses out of 39429 with flag 40088/8692032
1123.79/1122.34	c cleaning 13348 clauses out of 26722 with flag 61671/8699032
1124.49/1123.07	c cleaning 10686 clauses out of 21377 with flag 92064/8707035
1125.39/1123.98	c cleaning 9834 clauses out of 19688 with flag 123816/8716032
1126.39/1124.96	c cleaning 9908 clauses out of 19854 with flag 163122/8726032
1127.49/1126.02	c cleaning 10442 clauses out of 20947 with flag 211656/8737033
1128.59/1127.16	c cleaning 11250 clauses out of 22505 with flag 261678/8749033
1129.89/1128.45	c cleaning 12111 clauses out of 24254 with flag 308523/8762032
1131.31/1129.85	c cleaning 13057 clauses out of 26143 with flag 365567/8776032
1132.80/1131.31	c cleaning 14029 clauses out of 28086 with flag 434773/8791032
1134.30/1132.88	c cleaning 15025 clauses out of 30058 with flag 503912/8807033
1134.40/1132.92	c Got one! Elapsed wall clock time (in seconds):1132.809
1134.40/1132.92	o 27927
1134.90/1133.45	c cleaning 10258 clauses out of 20539 with flag 14238/8812539
1135.50/1134.03	c cleaning 8133 clauses out of 16282 with flag 31168/8818540
1136.20/1134.70	c cleaning 7566 clauses out of 15149 with flag 49852/8825540
1136.90/1135.45	c cleaning 7791 clauses out of 15584 with flag 72678/8833541
1137.81/1136.34	c cleaning 8389 clauses out of 16792 with flag 106841/8842540
1138.80/1137.31	c cleaning 9187 clauses out of 18402 with flag 147456/8852539
1139.80/1138.36	c cleaning 10104 clauses out of 20216 with flag 191518/8863540
1141.00/1139.60	c cleaning 11053 clauses out of 22111 with flag 234906/8875539
1142.40/1140.94	c cleaning 12029 clauses out of 24058 with flag 281081/8888539
1143.90/1142.44	c cleaning 13013 clauses out of 26029 with flag 335373/8902539
1145.40/1143.99	c cleaning 14002 clauses out of 28016 with flag 391868/8917539
1147.00/1145.59	c Got one! Elapsed wall clock time (in seconds):1145.481
1147.00/1145.59	o 27840
1147.71/1146.24	c cleaning 17367 clauses out of 34735 with flag 13829/8938260
1148.30/1146.87	c cleaning 11676 clauses out of 23364 with flag 31421/8944256
1149.00/1147.56	c cleaning 9321 clauses out of 18688 with flag 56331/8951256
1149.80/1148.33	c cleaning 8669 clauses out of 17367 with flag 82991/8959256
1150.70/1149.22	c cleaning 8834 clauses out of 17698 with flag 112289/8968256
1151.60/1150.19	c cleaning 9429 clauses out of 18864 with flag 148172/8978256
1152.70/1151.26	c cleaning 10214 clauses out of 20435 with flag 186973/8989256
1153.90/1152.46	c cleaning 11108 clauses out of 22221 with flag 234293/9001256
1155.20/1153.73	c cleaning 12055 clauses out of 24113 with flag 286917/9014256
1156.51/1155.10	c cleaning 13009 clauses out of 26058 with flag 342719/9028256
1158.00/1156.59	c cleaning 14015 clauses out of 28050 with flag 402978/9043257
1159.70/1158.23	c cleaning 15004 clauses out of 30034 with flag 465556/9059256
1161.40/1159.99	c cleaning 16007 clauses out of 32032 with flag 533230/9076258
1163.30/1161.83	c cleaning 16997 clauses out of 34023 with flag 610306/9094256
1165.20/1163.70	c cleaning 18006 clauses out of 36026 with flag 690163/9113256
1167.20/1165.78	c cleaning 18999 clauses out of 38021 with flag 785223/9133257
1169.50/1168.05	c cleaning 20006 clauses out of 40022 with flag 872373/9154257
1171.91/1170.45	c cleaning 21003 clauses out of 42015 with flag 962148/9176256
1174.40/1172.97	c cleaning 21993 clauses out of 44013 with flag 1055300/9199257
1177.10/1175.68	c cleaning 23006 clauses out of 46021 with flag 1152735/9223258
1179.93/1178.40	c cleaning 23999 clauses out of 48013 with flag 1258295/9248256
1182.73/1181.29	c cleaning 25001 clauses out of 50014 with flag 1361180/9274256
1185.82/1184.33	c cleaning 25990 clauses out of 52013 with flag 1480825/9301256
1189.12/1187.64	c cleaning 27001 clauses out of 54023 with flag 1610481/9329256
1192.62/1191.17	c cleaning 28006 clauses out of 56022 with flag 1738651/9358256
1196.42/1194.92	c cleaning 29005 clauses out of 58018 with flag 1860105/9388258
1200.32/1198.87	c cleaning 30002 clauses out of 60012 with flag 1989159/9419257
1204.42/1202.95	c cleaning 30999 clauses out of 62009 with flag 2122962/9451256
1208.52/1207.06	c cleaning 31981 clauses out of 64010 with flag 2278436/9484256
1212.73/1211.20	c cleaning 33007 clauses out of 66029 with flag 2431113/9518256
1217.14/1215.66	c cleaning 33994 clauses out of 68022 with flag 2588881/9553256
1221.73/1220.29	c cleaning 35011 clauses out of 70028 with flag 2734172/9589256
1226.83/1225.37	c cleaning 35997 clauses out of 72018 with flag 2868940/9626257
1229.24/1227.78	c Got one! Elapsed wall clock time (in seconds):1227.672
1229.24/1227.78	o 27723
1230.13/1228.61	c cleaning 30456 clauses out of 60928 with flag 17043/9651164
1230.83/1229.38	c cleaning 18217 clauses out of 36471 with flag 38291/9657163
1231.73/1230.21	c cleaning 12621 clauses out of 25254 with flag 60328/9664163
1232.53/1231.08	c cleaning 10307 clauses out of 20633 with flag 86925/9672163
1233.43/1231.92	c cleaning 9650 clauses out of 19326 with flag 118529/9681163
1234.43/1232.90	c cleaning 9833 clauses out of 19676 with flag 153463/9691163
1235.43/1233.98	c cleaning 10420 clauses out of 20843 with flag 189318/9702163
1236.63/1235.19	c cleaning 11189 clauses out of 22423 with flag 231283/9714163
1238.03/1236.50	c cleaning 12106 clauses out of 24234 with flag 281373/9727163
1239.45/1237.92	c cleaning 13063 clauses out of 26128 with flag 336601/9741163
1240.95/1239.42	c cleaning 14010 clauses out of 28065 with flag 401730/9756163
1242.55/1241.07	c cleaning 15021 clauses out of 30056 with flag 475707/9772164
1244.35/1242.89	c cleaning 16012 clauses out of 32034 with flag 542339/9789163
1246.25/1244.76	c cleaning 17008 clauses out of 34022 with flag 614490/9807163
1248.25/1246.78	c cleaning 18001 clauses out of 36014 with flag 688014/9826163
1250.35/1248.86	c cleaning 18998 clauses out of 38013 with flag 777498/9846163
1252.65/1251.11	c cleaning 19984 clauses out of 40015 with flag 869922/9867163
1255.05/1253.58	c cleaning 21005 clauses out of 42031 with flag 963460/9889163
1257.65/1256.20	c cleaning 22005 clauses out of 44026 with flag 1065862/9912163
1260.35/1258.85	c cleaning 22999 clauses out of 46021 with flag 1158133/9936163
1263.15/1261.62	c cleaning 24006 clauses out of 48022 with flag 1265417/9961163
1266.05/1264.57	c cleaning 25004 clauses out of 50019 with flag 1372427/9987166
1269.05/1267.52	c cleaning 26000 clauses out of 52012 with flag 1487631/10014163
1272.16/1270.65	c cleaning 26984 clauses out of 54012 with flag 1594022/10042163
1275.65/1274.14	c cleaning 27989 clauses out of 56028 with flag 1706214/10071163
1279.25/1277.71	c cleaning 29018 clauses out of 58039 with flag 1827245/10101163
1282.85/1281.35	c cleaning 29992 clauses out of 60021 with flag 1960110/10132163
1286.55/1285.09	c cleaning 31005 clauses out of 62029 with flag 2088422/10164163
1290.55/1289.04	c cleaning 32004 clauses out of 64024 with flag 2235442/10197163
1294.65/1293.18	c cleaning 33004 clauses out of 66020 with flag 2367677/10231163
1298.98/1297.42	c cleaning 33995 clauses out of 68016 with flag 2513265/10266163
1303.39/1301.88	c cleaning 35011 clauses out of 70021 with flag 2659885/10302163
1307.89/1306.34	c cleaning 35998 clauses out of 72011 with flag 2813902/10339164
1312.69/1311.15	c cleaning 36993 clauses out of 74012 with flag 2975113/10377163
1317.69/1316.11	c cleaning 37986 clauses out of 76020 with flag 3136084/10416164
1322.70/1321.14	c cleaning 39007 clauses out of 78033 with flag 3303393/10456163
1327.79/1326.23	c cleaning 40002 clauses out of 80026 with flag 3443586/10497163
1333.29/1331.77	c cleaning 40997 clauses out of 82024 with flag 3615416/10539163
1339.39/1337.88	c cleaning 42007 clauses out of 84027 with flag 3783212/10582163
1345.48/1343.93	c cleaning 42998 clauses out of 86020 with flag 3961279/10626163
1351.58/1350.06	c cleaning 44009 clauses out of 88026 with flag 4147697/10671167
1357.89/1356.35	c cleaning 44996 clauses out of 90013 with flag 4319121/10717163
1364.21/1362.65	c cleaning 45981 clauses out of 92017 with flag 4485665/10764163
1370.61/1369.05	c cleaning 46999 clauses out of 94036 with flag 4675807/10812163
1377.21/1375.62	c cleaning 48009 clauses out of 96037 with flag 4879289/10861163
1384.01/1382.50	c cleaning 49003 clauses out of 98028 with flag 5089003/10911163
1391.21/1389.61	c cleaning 50005 clauses out of 100025 with flag 5304221/10962163
1398.11/1396.58	c cleaning 51002 clauses out of 102020 with flag 5536838/11014163
1405.81/1404.23	c cleaning 52003 clauses out of 104018 with flag 5743967/11067163
1413.02/1411.41	c cleaning 52991 clauses out of 106015 with flag 5968977/11121163
1420.62/1419.08	c cleaning 54010 clauses out of 108025 with flag 6195485/11176164
1428.42/1426.87	c cleaning 54992 clauses out of 110014 with flag 6426813/11232163
1436.35/1434.70	c cleaning 56011 clauses out of 112023 with flag 6643072/11289164
1444.65/1443.07	c cleaning 56993 clauses out of 114012 with flag 6872027/11347164
1452.46/1450.87	c cleaning 57999 clauses out of 116018 with flag 7122859/11406163
1460.76/1459.13	c cleaning 58991 clauses out of 118020 with flag 7364738/11466164
1469.26/1467.69	c cleaning 60002 clauses out of 120028 with flag 7612058/11527163
1477.46/1475.81	c cleaning 60998 clauses out of 122030 with flag 7866286/11589167
1485.86/1484.26	c cleaning 61993 clauses out of 124028 with flag 8149992/11652163
1494.62/1492.97	c cleaning 62993 clauses out of 126035 with flag 8431258/11716163
1503.42/1501.79	c cleaning 64013 clauses out of 128042 with flag 8691286/11781163
1512.22/1510.50	c cleaning 65010 clauses out of 130031 with flag 8954085/11847165
1521.32/1519.64	c cleaning 66000 clauses out of 132020 with flag 9177311/11914164
1531.02/1529.39	c cleaning 66983 clauses out of 134020 with flag 9400842/11982164
1541.22/1539.55	c cleaning 68012 clauses out of 136036 with flag 9641723/12051163
1551.22/1549.57	c cleaning 69005 clauses out of 138025 with flag 9914369/12121164
1561.78/1560.03	c cleaning 70001 clauses out of 140019 with flag 10195307/12192163
1572.29/1570.52	c cleaning 70992 clauses out of 142018 with flag 10506627/12264163
1582.88/1581.11	c cleaning 72006 clauses out of 144026 with flag 10827329/12337163
1594.28/1592.54	c cleaning 72996 clauses out of 146020 with flag 11145071/12411163
1605.08/1603.31	c cleaning 74007 clauses out of 148025 with flag 11468096/12486164
1616.49/1614.72	c cleaning 75000 clauses out of 150017 with flag 11770879/12562163
1628.36/1626.51	c cleaning 75991 clauses out of 152017 with flag 12090046/12639163
1640.46/1638.61	c cleaning 77001 clauses out of 154026 with flag 12419958/12717163
1652.27/1650.49	c cleaning 78013 clauses out of 156025 with flag 12755758/12796163
1665.36/1663.53	c cleaning 78999 clauses out of 158016 with flag 13091935/12876167
1678.06/1676.20	c cleaning 80007 clauses out of 160013 with flag 13444921/12957163
1690.27/1688.46	c cleaning 80991 clauses out of 162006 with flag 13789210/13039163
1703.51/1701.70	c cleaning 81993 clauses out of 164016 with flag 14146852/13122164
1717.30/1715.43	c cleaning 82999 clauses out of 166023 with flag 14460569/13206164
1731.20/1729.39	c cleaning 83999 clauses out of 168023 with flag 14790713/13291163
1745.69/1743.86	c cleaning 84994 clauses out of 170024 with flag 15133161/13377163
1760.09/1758.27	c cleaning 86008 clauses out of 172030 with flag 15490479/13464163
1775.75/1773.86	c cleaning 87004 clauses out of 174023 with flag 15846546/13552164
1790.45/1788.60	c cleaning 87986 clauses out of 176018 with flag 16222918/13641163
1800.05/1798.10	c starts		: 26555
1800.05/1798.10	c conflicts		: 13706416
1800.05/1798.10	c decisions		: 86847315
1800.05/1798.10	c propagations		: 2943347950
1800.05/1798.10	c inspects		: 17006378618
1800.05/1798.10	c shortcuts		: 0
1800.05/1798.10	c learnt literals	: 0
1800.05/1798.10	c learnt binary clauses	: 0
1800.05/1798.10	c learnt ternary clauses	: 0
1800.05/1798.10	c learnt constraints	: 13706416
1800.05/1798.10	c ignored constraints	: 0
1800.05/1798.10	c root simplifications	: 0
1800.05/1798.10	c removed literals (reason simplification)	: 0
1800.05/1798.10	c reason swapping (by a shorter reason)	: 0
1800.05/1798.10	c Calls to reduceDB	: 424
1800.05/1798.10	c Number of update (reduction) of LBD	: 7059405
1800.05/1798.10	c Imported unit clauses	: 0
1800.05/1798.10	c number of reductions to clauses (during analyze)	: 0
1800.05/1798.10	c number of learned constraints concerned by reduction	: 0
1800.05/1798.10	c number of learning phase by resolution	: 0
1800.05/1798.10	c number of learning phase by cutting planes	: 0
1800.05/1798.10	c speed (assignments/second)	: 1637115.1017833713
1800.05/1798.10	c non guided choices	0
1800.05/1798.13	c learnt constraints type 
1800.05/1798.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 153286
1800.05/1798.13	s SATISFIABLE
1800.05/1798.13	c Found 15 solution(s)
1800.05/1798.13	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 -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 -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 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 x642 -x643 x644 
1800.05/1798.13	c objective function=27723
1800.05/1798.13	c Total wall clock time (in seconds): 1798.021

Verifier Data 

OK	27723

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4085533-1465251923/watcher-4085533-1465251923 -o /tmp/evaluation-result-4085533-1465251923/solver-4085533-1465251923 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465222695-5848 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085533-1465251923.opb 

pid=10347
running on 4 cores: 0,2,4,6

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): 1900 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.22 2.17 2.17 3/194 10350
/proc/meminfo: memFree=30294688/32872528 swapFree=16204/1518544
[pid=10350] ppid=10347 vsize=9216 CPUtime=0 cores=0,2,4,6
/proc/10350/stat : 10350 (java) R 10347 10350 5832 0 -1 4202496 396 0 0 0 0 0 0 0 20 0 1 0 107125132 9437184 66 33554432000 1073741824 1073778376 140733589154912 140733589152040 229346704751 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10350/statm: 2306 81 63 9 0 38 0

[startup+0.10006 s]
/proc/loadavg: 2.22 2.17 2.17 3/194 10350
/proc/meminfo: memFree=30294688/32872528 swapFree=16204/1518544
[pid=10350] ppid=10347 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10347 10350 5832 0 -1 4202496 4392 0 1 0 9 1 0 0 20 0 18 0 107125132 9787879424 6028 33554432000 1073741824 1073778376 140733589154912 140733589146048 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10350/statm: 2389619 6028 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200215 s]
/proc/loadavg: 2.22 2.17 2.17 3/194 10350
/proc/meminfo: memFree=30294688/32872528 swapFree=16204/1518544
[pid=10350] ppid=10347 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10347 10350 5832 0 -1 4202496 4937 0 1 0 25 1 0 0 20 0 18 0 107125132 9787879424 6977 33554432000 1073741824 1073778376 140733589154912 140733589146048 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10350/statm: 2389619 6977 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300219 s]
/proc/loadavg: 2.22 2.17 2.17 3/194 10350
/proc/meminfo: memFree=30294688/32872528 swapFree=16204/1518544
[pid=10350] ppid=10347 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10347 10350 5832 0 -1 4202496 6591 0 1 0 47 1 0 0 20 0 19 0 107125132 9856040960 8449 33554432000 1073741824 1073778376 140733589154912 140733589146048 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10350/statm: 2406260 8449 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625040

[startup+0.700153 s]
/proc/loadavg: 2.22 2.17 2.17 3/194 10350
/proc/meminfo: memFree=30294688/32872528 swapFree=16204/1518544
[pid=10350] ppid=10347 vsize=9625040 CPUtime=1.09 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10347 10350 5832 0 -1 4202496 8182 0 1 0 108 1 0 0 20 0 19 0 107125132 9856040960 9111 33554432000 1073741824 1073778376 140733589154912 140733589146048 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10350/statm: 2406260 9111 2252 9 0 2396937 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.22 2.17 2.17 3/213 10369
/proc/meminfo: memFree=30255344/32872528 swapFree=16204/1518544
[pid=10350] ppid=10347 vsize=9625040 CPUtime=2.12 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10347 10350 5832 0 -1 4202496 12607 0 1 0 210 2 0 0 20 0 19 0 107125132 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140733589146048 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10350/statm: 2406260 12485 2261 9 0 2396937 0
[pid=10350/tid=10352] ppid=10347 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/10350/task/10352/stat : 10352 (java) R 10347 10350 5832 0 -1 4202560 2420 0 1 0 145 0 0 0 20 0 19 0 107125133 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140013627072224 140013468103337 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10353] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10353/stat : 10353 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140013588572456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10354] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10354/stat : 10354 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140013587519656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10355] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10355/stat : 10355 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140013586467368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10356] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10356/stat : 10356 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140013467593128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10350/tid=10357] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10357/stat : 10357 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140013466540840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10358] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10358/stat : 10358 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140013465488040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10350/tid=10359] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10359/stat : 10359 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140013464435752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10360] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10360/stat : 10360 (java) S 10347 10350 5832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140013463382952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10361] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10361/stat : 10361 (java) S 10347 10350 5832 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107125136 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140012981053672 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10362] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10362/stat : 10362 (java) S 10347 10350 5832 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107125136 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140012979999736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10363] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10363/stat : 10363 (java) S 10347 10350 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107125136 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140012978947336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10364] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10364/stat : 10364 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125138 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140012977895824 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10365] ppid=10347 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/10350/task/10365/stat : 10365 (java) S 10347 10350 5832 0 -1 4202560 5405 0 0 0 33 0 0 0 20 0 19 0 107125138 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140012976843448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10366] ppid=10347 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/10350/task/10366/stat : 10366 (java) S 10347 10350 5832 0 -1 4202560 3509 0 0 0 29 0 0 0 20 0 19 0 107125138 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140012975790648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10367] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10367/stat : 10367 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125138 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140012974738552 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10368] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10368/stat : 10368 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125138 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140012973685960 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10369] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10369/stat : 10369 (java) S 10347 10350 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107125155 9856040960 12485 33554432000 1073741824 1073778376 140733589154912 140012972630952 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 9625040

[startup+3.10078 s]
/proc/loadavg: 2.22 2.17 2.17 3/213 10369
/proc/meminfo: memFree=30252916/32872528 swapFree=16204/1518544
[pid=10350] ppid=10347 vsize=9625040 CPUtime=3.77 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10347 10350 5832 0 -1 4202496 12635 0 1 0 375 2 0 0 20 0 19 0 107125132 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140733589146048 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10350/statm: 2406260 13023 2261 9 0 2396937 0
[pid=10350/tid=10352] ppid=10347 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/10350/task/10352/stat : 10352 (java) R 10347 10350 5832 0 -1 4202560 2422 0 1 0 305 0 0 0 20 0 19 0 107125133 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140013627072208 140013468072000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10353] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10353/stat : 10353 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140013588572456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10354] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10354/stat : 10354 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140013587519656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10355] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10355/stat : 10355 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140013586467368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10356] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10356/stat : 10356 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140013467593128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10350/tid=10357] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10357/stat : 10357 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140013466540840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10358] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10358/stat : 10358 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140013465488040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10350/tid=10359] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10359/stat : 10359 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140013464435752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10360] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10360/stat : 10360 (java) S 10347 10350 5832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140013463382952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10361] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10361/stat : 10361 (java) S 10347 10350 5832 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107125136 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140012981053672 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10362] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10362/stat : 10362 (java) S 10347 10350 5832 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107125136 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140012979999736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10363] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10363/stat : 10363 (java) S 10347 10350 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107125136 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140012978947336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10364] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10364/stat : 10364 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125138 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140012977895824 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10365] ppid=10347 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/10350/task/10365/stat : 10365 (java) S 10347 10350 5832 0 -1 4202560 5431 0 0 0 36 0 0 0 20 0 19 0 107125138 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140012976843448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10366] ppid=10347 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/10350/task/10366/stat : 10366 (java) S 10347 10350 5832 0 -1 4202560 3509 0 0 0 31 0 0 0 20 0 19 0 107125138 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140012975790648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10367] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10367/stat : 10367 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125138 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140012974738552 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10368] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10368/stat : 10368 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125138 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140012973685960 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10369] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10369/stat : 10369 (java) S 10347 10350 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107125155 9856040960 13023 33554432000 1073741824 1073778376 140733589154912 140012972630952 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 9625040

[startup+6.30073 s]
/proc/loadavg: 2.20 2.17 2.17 3/213 10369
/proc/meminfo: memFree=30246328/32872528 swapFree=16204/1518544
[pid=10350] ppid=10347 vsize=9625040 CPUtime=6.96 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10347 10350 5832 0 -1 4202496 12640 0 1 0 694 2 0 0 20 0 19 0 107125132 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140733589146048 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10350/statm: 2406260 14521 2262 9 0 2396937 0
[pid=10350/tid=10352] ppid=10347 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/10350/task/10352/stat : 10352 (java) R 10347 10350 5832 0 -1 4202560 2426 0 1 0 624 0 0 0 20 0 19 0 107125133 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140013627072192 140013468072072 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10353] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10353/stat : 10353 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140013588572456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10354] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10354/stat : 10354 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140013587519656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10355] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10355/stat : 10355 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140013586467368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10356] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10356/stat : 10356 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140013467593128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10350/tid=10357] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10357/stat : 10357 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140013466540840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10358] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10358/stat : 10358 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140013465488040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10350/tid=10359] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10359/stat : 10359 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140013464435752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10360] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10360/stat : 10360 (java) S 10347 10350 5832 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107125135 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140013463382952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10361] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10361/stat : 10361 (java) S 10347 10350 5832 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107125136 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140012981053672 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10362] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10362/stat : 10362 (java) S 10347 10350 5832 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107125136 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140012979999736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10363] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10363/stat : 10363 (java) S 10347 10350 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107125136 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140012978947336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10364] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10364/stat : 10364 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125138 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140012977895824 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10365] ppid=10347 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/10350/task/10365/stat : 10365 (java) S 10347 10350 5832 0 -1 4202560 5431 0 0 0 36 0 0 0 20 0 19 0 107125138 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140012976843448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10366] ppid=10347 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/10350/task/10366/stat : 10366 (java) S 10347 10350 5832 0 -1 4202560 3509 0 0 0 31 0 0 0 20 0 19 0 107125138 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140012975790648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10367] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10367/stat : 10367 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125138 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140012974738552 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10368] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10368/stat : 10368 (java) S 10347 10350 5832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107125138 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140012973685960 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10369] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10369/stat : 10369 (java) S 10347 10350 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107125155 9856040960 14521 33554432000 1073741824 1073778376 140733589154912 140012972630952 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.96
Current children cumulated vsize (KiB) 9625040


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

[pid=10350/tid=10369] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10369/stat : 10369 (java) S 10347 10350 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107125155 9856040960 71895 33554432000 1073741824 1073778376 140733589154912 140012972630952 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1724.2
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.16 2.17 2.17 4/213 10479
/proc/meminfo: memFree=30037380/32872528 swapFree=16204/1518544
[pid=10350] ppid=10347 vsize=9625040 CPUtime=1784.25 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10347 10350 5832 0 -1 4202496 16652 0 1 0 178384 41 0 0 20 0 19 0 107125132 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140733589146048 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10350/statm: 2406260 73153 2277 9 0 2396937 0
[pid=10350/tid=10352] ppid=10347 vsize=9625040 CPUtime=1777.02 cores=0,2,4,6
/proc/10350/task/10352/stat : 10352 (java) R 10347 10350 5832 0 -1 4202560 2510 0 1 0 177672 30 0 0 20 0 19 0 107125133 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013627072256 140013468086933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10353] ppid=10347 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/10350/task/10353/stat : 10353 (java) S 10347 10350 5832 0 -1 4202560 199 0 0 0 14 2 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013588572456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10354] ppid=10347 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/10350/task/10354/stat : 10354 (java) S 10347 10350 5832 0 -1 4202560 289 0 0 0 13 2 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013587519656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10355] ppid=10347 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10350/task/10355/stat : 10355 (java) S 10347 10350 5832 0 -1 4202560 192 0 0 0 18 3 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013586467368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10356] ppid=10347 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/10350/task/10356/stat : 10356 (java) S 10347 10350 5832 0 -1 4202560 165 0 0 0 16 3 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013467593128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10357] ppid=10347 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/10350/task/10357/stat : 10357 (java) S 10347 10350 5832 0 -1 4202560 180 0 0 0 15 2 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013466540840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10358] ppid=10347 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/10350/task/10358/stat : 10358 (java) S 10347 10350 5832 0 -1 4202560 279 0 0 0 19 3 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013465488040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10359] ppid=10347 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/10350/task/10359/stat : 10359 (java) S 10347 10350 5832 0 -1 4202560 140 0 0 0 19 3 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013464435752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10360] ppid=10347 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10350/task/10360/stat : 10360 (java) S 10347 10350 5832 0 -1 4202560 140 0 0 0 18 3 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013463382952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10361] ppid=10347 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/10350/task/10361/stat : 10361 (java) S 10347 10350 5832 0 -1 4202560 67 0 0 0 1 1 0 0 20 0 19 0 107125136 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012981053672 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10362] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10362/stat : 10362 (java) S 10347 10350 5832 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107125136 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012979999736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10363] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10363/stat : 10363 (java) S 10347 10350 5832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107125136 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012978947336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10364] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10364/stat : 10364 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125138 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012977895824 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10365] ppid=10347 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/10350/task/10365/stat : 10365 (java) S 10347 10350 5832 0 -1 4202560 5494 0 0 0 42 0 0 0 20 0 19 0 107125138 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012976843448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10366] ppid=10347 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/10350/task/10366/stat : 10366 (java) S 10347 10350 5832 0 -1 4202560 5634 0 0 0 44 1 0 0 20 0 19 0 107125138 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012975790648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10350/tid=10367] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10367/stat : 10367 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125138 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012974738552 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10368] ppid=10347 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/10350/task/10368/stat : 10368 (java) S 10347 10350 5832 0 -1 4202560 104 0 0 0 18 19 0 0 20 0 19 0 107125138 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012973685960 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10369] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10369/stat : 10369 (java) S 10347 10350 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107125155 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012972630952 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1784.25
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.1 s]
/proc/loadavg: 2.19 2.18 2.18 3/213 10479
/proc/meminfo: memFree=30037512/32872528 swapFree=16204/1518544
[pid=10350] ppid=10347 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10347 10350 5832 0 -1 4202496 16652 0 1 0 179964 41 0 0 20 0 19 0 107125132 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140733589146048 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10350/statm: 2406260 73153 2277 9 0 2396937 0
[pid=10350/tid=10352] ppid=10347 vsize=9625040 CPUtime=1792.78 cores=0,2,4,6
/proc/10350/task/10352/stat : 10352 (java) R 10347 10350 5832 0 -1 4202560 2510 0 1 0 179248 30 0 0 20 0 19 0 107125133 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013627072256 140013468103656 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10353] ppid=10347 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/10350/task/10353/stat : 10353 (java) S 10347 10350 5832 0 -1 4202560 199 0 0 0 14 2 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013588572456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10354] ppid=10347 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/10350/task/10354/stat : 10354 (java) S 10347 10350 5832 0 -1 4202560 289 0 0 0 13 2 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013587519656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10355] ppid=10347 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10350/task/10355/stat : 10355 (java) S 10347 10350 5832 0 -1 4202560 192 0 0 0 18 3 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013586467368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10356] ppid=10347 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/10350/task/10356/stat : 10356 (java) S 10347 10350 5832 0 -1 4202560 165 0 0 0 16 3 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013467593128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10357] ppid=10347 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/10350/task/10357/stat : 10357 (java) S 10347 10350 5832 0 -1 4202560 180 0 0 0 15 2 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013466540840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10358] ppid=10347 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/10350/task/10358/stat : 10358 (java) S 10347 10350 5832 0 -1 4202560 279 0 0 0 19 3 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013465488040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10359] ppid=10347 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/10350/task/10359/stat : 10359 (java) S 10347 10350 5832 0 -1 4202560 140 0 0 0 19 3 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013464435752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10360] ppid=10347 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10350/task/10360/stat : 10360 (java) S 10347 10350 5832 0 -1 4202560 140 0 0 0 18 3 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013463382952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10361] ppid=10347 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/10350/task/10361/stat : 10361 (java) S 10347 10350 5832 0 -1 4202560 67 0 0 0 1 1 0 0 20 0 19 0 107125136 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012981053672 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10362] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10362/stat : 10362 (java) S 10347 10350 5832 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107125136 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012979999736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10363] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10363/stat : 10363 (java) S 10347 10350 5832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107125136 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012978947336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10364] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10364/stat : 10364 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125138 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012977895824 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10365] ppid=10347 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/10350/task/10365/stat : 10365 (java) S 10347 10350 5832 0 -1 4202560 5494 0 0 0 42 0 0 0 20 0 19 0 107125138 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012976843448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10366] ppid=10347 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/10350/task/10366/stat : 10366 (java) S 10347 10350 5832 0 -1 4202560 5634 0 0 0 44 1 0 0 20 0 19 0 107125138 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012975790648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10350/tid=10367] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10367/stat : 10367 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125138 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012974738552 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10368] ppid=10347 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/10350/task/10368/stat : 10368 (java) S 10347 10350 5832 0 -1 4202560 104 0 0 0 18 19 0 0 20 0 19 0 107125138 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012973685960 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10369] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10369/stat : 10369 (java) S 10347 10350 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107125155 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012972630952 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10350 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1798.1 s]
/proc/loadavg: 2.19 2.18 2.18 3/213 10479
/proc/meminfo: memFree=30037512/32872528 swapFree=16204/1518544
[pid=10350] ppid=10347 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10347 10350 5832 0 -1 4202496 16652 0 1 0 179964 41 0 0 20 0 19 0 107125132 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140733589146048 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10350/statm: 2406260 73153 2277 9 0 2396937 0
[pid=10350/tid=10352] ppid=10347 vsize=9625040 CPUtime=1792.78 cores=0,2,4,6
/proc/10350/task/10352/stat : 10352 (java) R 10347 10350 5832 0 -1 4202560 2510 0 1 0 179248 30 0 0 20 0 19 0 107125133 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013627072256 140013468103656 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10353] ppid=10347 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/10350/task/10353/stat : 10353 (java) S 10347 10350 5832 0 -1 4202560 199 0 0 0 14 2 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013588572456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10354] ppid=10347 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/10350/task/10354/stat : 10354 (java) S 10347 10350 5832 0 -1 4202560 289 0 0 0 13 2 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013587519656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10355] ppid=10347 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10350/task/10355/stat : 10355 (java) S 10347 10350 5832 0 -1 4202560 192 0 0 0 18 3 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013586467368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10356] ppid=10347 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/10350/task/10356/stat : 10356 (java) S 10347 10350 5832 0 -1 4202560 165 0 0 0 16 3 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013467593128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10357] ppid=10347 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/10350/task/10357/stat : 10357 (java) S 10347 10350 5832 0 -1 4202560 180 0 0 0 15 2 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013466540840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10358] ppid=10347 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/10350/task/10358/stat : 10358 (java) S 10347 10350 5832 0 -1 4202560 279 0 0 0 19 3 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013465488040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10359] ppid=10347 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/10350/task/10359/stat : 10359 (java) S 10347 10350 5832 0 -1 4202560 140 0 0 0 19 3 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013464435752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10360] ppid=10347 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10350/task/10360/stat : 10360 (java) S 10347 10350 5832 0 -1 4202560 140 0 0 0 18 3 0 0 20 0 19 0 107125135 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140013463382952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10350/tid=10361] ppid=10347 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/10350/task/10361/stat : 10361 (java) S 10347 10350 5832 0 -1 4202560 67 0 0 0 1 1 0 0 20 0 19 0 107125136 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012981053672 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10362] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10362/stat : 10362 (java) S 10347 10350 5832 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107125136 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012979999736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10363] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10363/stat : 10363 (java) S 10347 10350 5832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107125136 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012978947336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10364] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10364/stat : 10364 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125138 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012977895824 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10365] ppid=10347 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/10350/task/10365/stat : 10365 (java) S 10347 10350 5832 0 -1 4202560 5494 0 0 0 42 0 0 0 20 0 19 0 107125138 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012976843448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10366] ppid=10347 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/10350/task/10366/stat : 10366 (java) S 10347 10350 5832 0 -1 4202560 5634 0 0 0 44 1 0 0 20 0 19 0 107125138 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012975790648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10350/tid=10367] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10367/stat : 10367 (java) S 10347 10350 5832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107125138 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012974738552 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10350/tid=10368] ppid=10347 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/10350/task/10368/stat : 10368 (java) S 10347 10350 5832 0 -1 4202560 104 0 0 0 18 19 0 0 20 0 19 0 107125138 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012973685960 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10350/tid=10369] ppid=10347 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10369/stat : 10369 (java) S 10347 10350 5832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107125155 9856040960 73153 33554432000 1073741824 1073778376 140733589154912 140012972630952 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10350 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=49111
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=861868
# CPU time returned by wait4() is 1795.91
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.14
CPU time (s): 1800.05
CPU user time (s): 1799.64
CPU system time (s): 0.41
CPU usage (%): 100.106
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.05
system time used= 0.861868
maximum resident set size= 299920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16697
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38715
involuntary context switches= 17910

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1613 second user time and 11.9852 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 00:25:23
IDJOB=4085533
IDBENCH=25022
IDSOLVER=2546
FILE ID=node129/4085533-1465251923
RUNJOBID= node129-1465222695-5848
PBS_JOBID= 19843233
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085533-1465251923/watcher-4085533-1465251923 -o /tmp/evaluation-result-4085533-1465251923/solver-4085533-1465251923 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465222695-5848 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085533-1465251923.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= aa73e48897f9c10e5003e2188d9e7ab9
RANDOM SEED=2077404990

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30295076 kB
Buffers:           44028 kB
Cached:           101060 kB
SwapCached:         1820 kB
Active:           276312 kB
Inactive:          81344 kB
Active(anon):     213832 kB
Inactive(anon):     1112 kB
Active(file):      62480 kB
Inactive(file):    80232 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098612 kB
Dirty:               572 kB
Writeback:             0 kB
AnonPages:       1730900 kB
Mapped:            15448 kB
Shmem:                 0 kB
Slab:             567352 kB
SReclaimable:      11288 kB
SUnreclaim:       556064 kB
KernelStack:        1600 kB
PageTables:         7340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2336128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1685504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node129 at 2016-06-07 00:55:21