Trace number 4085857

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)-25 1800.06 1797.34

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_2.opb
MD5SUM597624b9879736416e28e0a242fe0005
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-26
Best CPU time to get the best result obtained on this benchmark164.032
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -26
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint10
Maximum length of a constraint20
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1260
Sum of products size (including duplicates)2520
Number of different products630
Sum of products size1260

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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4085857-1465256930.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  objective function found
0.26/0.21	c ... done. Wall clock time 0.108s.
0.26/0.21	c declared #vars     100
0.26/0.21	c internal #vars     730
0.26/0.21	c #constraints  1460
0.26/0.21	c constraints type 
0.26/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 630
0.26/0.21	c org.sat4j.minisat.constraints.cnf.UnitClauses => 74
0.26/0.21	c org.sat4j.specs.Constr$1 => 112
0.26/0.21	c org.sat4j.minisat.constraints.cnf.UnitClause => 14
0.26/0.21	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 630
0.26/0.21	c 1460 constraints processed.
0.26/0.21	c objective function length is 100 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.117
0.26/0.22	o -15
0.26/0.23	c Got one! Elapsed wall clock time (in seconds):0.129
0.26/0.23	o -16
0.26/0.27	c Got one! Elapsed wall clock time (in seconds):0.174
0.26/0.27	o -17
0.51/0.31	c Got one! Elapsed wall clock time (in seconds):0.205
0.51/0.31	o -18
0.51/0.32	c Got one! Elapsed wall clock time (in seconds):0.223
0.51/0.32	o -19
1.03/0.60	c cleaning 2700 clauses out of 5400 with flag 10789/5400
1.23/0.88	c cleaning 4350 clauses out of 8700 with flag 23187/11400
1.67/1.29	c cleaning 5672 clauses out of 11350 with flag 37658/18400
2.17/1.71	c cleaning 6840 clauses out of 13679 with flag 54178/26401
2.70/2.24	c cleaning 7914 clauses out of 15838 with flag 72733/35400
3.39/2.97	c cleaning 8959 clauses out of 17924 with flag 93330/45400
4.29/3.83	c cleaning 9978 clauses out of 19966 with flag 116079/56401
4.49/4.03	c Got one! Elapsed wall clock time (in seconds):3.932
4.49/4.03	o -20
4.70/4.20	c cleaning 7896 clauses out of 15792 with flag 4422/62205
4.91/4.42	c Got one! Elapsed wall clock time (in seconds):4.32
4.91/4.42	o -21
5.10/4.60	c cleaning 6782 clauses out of 13563 with flag 4371/67872
5.50/5.09	c cleaning 6381 clauses out of 12781 with flag 17333/73872
6.11/5.61	c cleaning 6700 clauses out of 13400 with flag 31779/80872
6.70/6.23	c cleaning 7347 clauses out of 14699 with flag 48228/88871
7.40/6.91	c cleaning 8176 clauses out of 16352 with flag 66809/97871
8.21/7.75	c cleaning 9086 clauses out of 18175 with flag 87394/107870
9.10/8.64	c cleaning 10046 clauses out of 20092 with flag 109964/118873
10.11/9.67	c cleaning 11020 clauses out of 22044 with flag 134520/130871
11.41/10.92	c cleaning 12012 clauses out of 24023 with flag 161214/143870
11.41/11.00	c Got one! Elapsed wall clock time (in seconds):10.898
11.41/11.00	o -22
11.91/11.40	c cleaning 8666 clauses out of 17333 with flag 9005/149192
12.31/11.86	c cleaning 7331 clauses out of 14667 with flag 22403/155192
12.81/12.37	c cleaning 7165 clauses out of 14336 with flag 37707/162192
13.51/13.04	c cleaning 7583 clauses out of 15171 with flag 56217/170192
14.31/13.81	c cleaning 8289 clauses out of 16586 with flag 75411/179190
15.01/14.58	c cleaning 9148 clauses out of 18298 with flag 95791/189191
16.02/15.51	c cleaning 10069 clauses out of 20150 with flag 118210/200191
17.12/16.63	c cleaning 11039 clauses out of 22080 with flag 142793/212190
18.22/17.76	c cleaning 12021 clauses out of 24041 with flag 169507/225190
19.91/19.43	c cleaning 13004 clauses out of 26020 with flag 202574/239190
21.81/21.37	c cleaning 14008 clauses out of 28017 with flag 237066/254191
23.90/23.48	c cleaning 15000 clauses out of 30008 with flag 274983/270190
26.20/25.76	c cleaning 16005 clauses out of 32010 with flag 315177/287192
28.71/28.28	c cleaning 17000 clauses out of 34003 with flag 356946/305190
31.51/31.01	c cleaning 18002 clauses out of 36003 with flag 399287/324190
34.24/33.71	c cleaning 18999 clauses out of 38002 with flag 440102/344191
36.74/36.24	c cleaning 20001 clauses out of 40002 with flag 483041/365190
39.54/39.01	c cleaning 20996 clauses out of 42001 with flag 527976/387190
40.44/39.93	c Got one! Elapsed wall clock time (in seconds):39.827
40.44/39.93	o -23
41.25/40.75	c cleaning 18207 clauses out of 36414 with flag 10325/402599
41.84/41.39	c cleaning 12103 clauses out of 24206 with flag 22685/408598
42.45/41.97	c cleaning 9549 clauses out of 19103 with flag 37088/415598
43.04/42.58	c cleaning 8771 clauses out of 17554 with flag 53480/423598
43.64/43.18	c cleaning 8888 clauses out of 17784 with flag 72013/432599
44.44/43.90	c cleaning 9443 clauses out of 18895 with flag 92567/442598
45.24/44.73	c cleaning 10226 clauses out of 20452 with flag 115216/453598
46.24/45.74	c cleaning 11111 clauses out of 22228 with flag 139856/465600
47.44/46.93	c cleaning 12052 clauses out of 24115 with flag 167042/478598
48.95/48.50	c cleaning 13031 clauses out of 26063 with flag 199233/492598
50.74/50.25	c cleaning 14014 clauses out of 28035 with flag 234566/507601
52.74/52.21	c cleaning 15008 clauses out of 30019 with flag 272995/523599
55.34/54.85	c cleaning 16002 clauses out of 32011 with flag 315175/540599
57.85/57.39	c cleaning 17004 clauses out of 34010 with flag 359049/558600
60.84/60.34	c cleaning 17999 clauses out of 36005 with flag 405041/577599
63.94/63.45	c cleaning 18998 clauses out of 38005 with flag 454711/597598
67.24/66.78	c cleaning 20005 clauses out of 40009 with flag 507889/618600
71.16/70.65	c cleaning 20997 clauses out of 42003 with flag 563477/640599
75.26/74.80	c cleaning 22003 clauses out of 44005 with flag 618568/663598
79.96/79.47	c cleaning 23002 clauses out of 46004 with flag 674193/687600
84.77/84.20	c cleaning 24001 clauses out of 48001 with flag 728913/712599
89.08/88.53	c cleaning 25000 clauses out of 49999 with flag 782887/738598
93.28/92.78	c cleaning 26000 clauses out of 51999 with flag 839432/765598
99.09/98.51	c cleaning 26999 clauses out of 54000 with flag 896620/793599
104.89/104.33	c cleaning 27995 clauses out of 56001 with flag 956552/822599
110.70/110.15	c cleaning 29001 clauses out of 58005 with flag 1018548/852598
116.89/116.39	c cleaning 30003 clauses out of 60006 with flag 1082433/883600
124.39/123.87	c cleaning 31000 clauses out of 62002 with flag 1148544/915599
131.90/131.36	c cleaning 32002 clauses out of 64003 with flag 1221230/948600
143.41/142.80	c cleaning 33000 clauses out of 65999 with flag 1318066/982598
154.01/153.40	c cleaning 33995 clauses out of 67999 with flag 1406092/1017598
164.92/164.39	c cleaning 34999 clauses out of 70004 with flag 1498151/1053598
176.99/176.31	c cleaning 36000 clauses out of 72005 with flag 1593348/1090598
188.50/187.80	c cleaning 36999 clauses out of 74005 with flag 1682495/1128598
201.71/201.00	c cleaning 38003 clauses out of 76006 with flag 1779340/1167598
212.91/212.30	c cleaning 38996 clauses out of 78003 with flag 1871554/1207598
226.92/226.23	c cleaning 39993 clauses out of 80008 with flag 1967389/1248599
240.82/240.18	c cleaning 41006 clauses out of 82014 with flag 2065995/1290598
256.43/255.77	c cleaning 41999 clauses out of 84010 with flag 2169996/1333600
270.53/269.82	c cleaning 43002 clauses out of 86010 with flag 2268534/1377599
287.14/286.49	c cleaning 44004 clauses out of 88008 with flag 2370049/1422599
306.80/305.98	c cleaning 45001 clauses out of 90003 with flag 2472730/1468598
322.80/321.97	c cleaning 45999 clauses out of 92002 with flag 2578784/1515598
337.00/336.17	c Got one! Elapsed wall clock time (in seconds):336.074
337.00/336.17	o -24
339.73/338.84	c cleaning 45678 clauses out of 91356 with flag 10682/1560951
341.03/340.18	c cleaning 25838 clauses out of 51680 with flag 24020/1566953
341.94/341.05	c cleaning 16416 clauses out of 32840 with flag 39398/1573951
342.73/341.88	c cleaning 12207 clauses out of 24424 with flag 57336/1581951
343.53/342.62	c cleaning 10606 clauses out of 21217 with flag 76889/1590951
344.33/343.43	c cleaning 10301 clauses out of 20612 with flag 98929/1600952
345.13/344.24	c cleaning 10648 clauses out of 21310 with flag 122948/1611951
346.13/345.20	c cleaning 11330 clauses out of 22662 with flag 148882/1623951
347.13/346.26	c cleaning 12160 clauses out of 24332 with flag 175996/1636951
348.43/347.52	c cleaning 13083 clauses out of 26172 with flag 206690/1650951
350.23/349.37	c cleaning 14045 clauses out of 28090 with flag 243954/1665952
352.33/351.46	c cleaning 15015 clauses out of 30044 with flag 282758/1681951
354.14/353.27	c cleaning 16015 clauses out of 32029 with flag 319318/1698951
356.34/355.45	c cleaning 17005 clauses out of 34014 with flag 358784/1716951
359.13/358.26	c cleaning 18004 clauses out of 36011 with flag 401057/1735953
361.93/361.02	c cleaning 18999 clauses out of 38005 with flag 445453/1755951
364.93/364.08	c cleaning 20000 clauses out of 40008 with flag 491083/1776953
367.93/367.08	c cleaning 21002 clauses out of 42006 with flag 539473/1798951
370.93/370.05	c cleaning 22001 clauses out of 44006 with flag 589058/1821953
374.83/373.81	c cleaning 22999 clauses out of 46004 with flag 642623/1845952
378.23/377.20	c cleaning 23997 clauses out of 48004 with flag 696866/1870951
382.13/381.16	c cleaning 25003 clauses out of 50009 with flag 754713/1896953
386.13/385.11	c cleaning 26002 clauses out of 52006 with flag 814233/1923953
391.13/390.17	c cleaning 26995 clauses out of 54003 with flag 876586/1951952
396.84/395.84	c cleaning 28003 clauses out of 56009 with flag 940368/1980953
402.84/401.82	c cleaning 28998 clauses out of 58005 with flag 1004144/2010952
411.34/410.32	c cleaning 30001 clauses out of 60008 with flag 1069306/2041953
418.05/417.06	c cleaning 31002 clauses out of 62005 with flag 1136374/2073951
425.84/424.81	c cleaning 31993 clauses out of 64003 with flag 1208612/2106951
433.24/432.24	c cleaning 33002 clauses out of 66010 with flag 1282128/2140951
440.54/439.55	c cleaning 34000 clauses out of 68009 with flag 1353769/2175952
449.55/448.58	c cleaning 34999 clauses out of 70008 with flag 1428456/2211951
459.38/458.23	c cleaning 36001 clauses out of 72009 with flag 1504556/2248951
468.18/467.02	c cleaning 37001 clauses out of 74008 with flag 1582425/2286951
478.79/477.64	c cleaning 38002 clauses out of 76007 with flag 1662304/2325951
488.99/487.86	c cleaning 39002 clauses out of 78008 with flag 1745101/2365954
499.29/498.11	c cleaning 39999 clauses out of 80003 with flag 1829372/2406951
513.20/512.04	c cleaning 40999 clauses out of 82004 with flag 1915808/2448951
528.90/527.75	c cleaning 41999 clauses out of 84008 with flag 2004221/2491954
544.01/542.88	c cleaning 43000 clauses out of 86007 with flag 2094980/2535952
558.68/557.32	c cleaning 43997 clauses out of 88006 with flag 2188513/2580951
571.48/570.13	c cleaning 45002 clauses out of 90009 with flag 2282957/2626951
593.99/592.63	c cleaning 45999 clauses out of 92006 with flag 2414663/2673951
616.89/615.59	c cleaning 47002 clauses out of 94007 with flag 2558784/2721951
645.10/643.76	c cleaning 48000 clauses out of 96005 with flag 2705917/2770951
674.40/673.00	c cleaning 49004 clauses out of 98007 with flag 2854724/2820953
705.21/703.84	c cleaning 49996 clauses out of 100001 with flag 3003775/2871951
732.42/731.06	c cleaning 50995 clauses out of 102006 with flag 3145022/2923952
760.52/758.91	c cleaning 51997 clauses out of 104011 with flag 3272089/2976952
789.93/788.39	c cleaning 53004 clauses out of 106013 with flag 3397794/3030951
822.84/821.22	c cleaning 54003 clauses out of 108013 with flag 3532556/3085955
852.54/850.95	c cleaning 55003 clauses out of 110006 with flag 3663772/3141951
880.45/878.87	c cleaning 55999 clauses out of 112003 with flag 3782721/3198951
906.15/904.33	c cleaning 56998 clauses out of 114005 with flag 3905618/3256952
947.36/945.50	c cleaning 57999 clauses out of 116007 with flag 4059045/3315952
992.58/990.70	c cleaning 58998 clauses out of 118007 with flag 4233406/3375951
1028.79/1026.99	c cleaning 60006 clauses out of 120011 with flag 4370265/3436953
1062.41/1060.51	c cleaning 61000 clauses out of 122004 with flag 4497582/3498952
1100.62/1098.50	c cleaning 61997 clauses out of 124004 with flag 4627455/3561952
1139.03/1136.94	c cleaning 62999 clauses out of 126006 with flag 4758341/3625951
1172.85/1170.77	c cleaning 64001 clauses out of 128008 with flag 4892116/3690952
1216.25/1214.15	c cleaning 65004 clauses out of 130007 with flag 5027563/3756952
1258.55/1256.30	c cleaning 65998 clauses out of 132003 with flag 5165039/3823952
1297.84/1295.54	c cleaning 67000 clauses out of 134005 with flag 5303947/3891952
1334.57/1332.29	c cleaning 67998 clauses out of 136004 with flag 5444935/3960951
1371.58/1369.27	c cleaning 69000 clauses out of 138009 with flag 5587902/4030954
1409.71/1407.25	c cleaning 70002 clauses out of 140006 with flag 5732944/4101951
1468.52/1466.06	c cleaning 70995 clauses out of 142003 with flag 5910622/4173951
1523.44/1520.90	c cleaning 72001 clauses out of 144008 with flag 6092326/4246951
1541.85/1539.39	c Got one! Elapsed wall clock time (in seconds):1539.29
1541.85/1539.39	o -25
1546.15/1543.67	c cleaning 60008 clauses out of 120020 with flag 10404/4294964
1548.05/1545.54	c cleaning 33003 clauses out of 66010 with flag 22891/4300962
1549.25/1546.75	c cleaning 19997 clauses out of 40007 with flag 37861/4307962
1550.15/1547.70	c cleaning 14000 clauses out of 28012 with flag 55041/4315964
1551.11/1548.50	c cleaning 11495 clauses out of 23010 with flag 74316/4324962
1551.81/1549.29	c cleaning 10753 clauses out of 21515 with flag 95967/4334962
1552.71/1550.13	c cleaning 10877 clauses out of 21762 with flag 119279/4345962
1553.62/1551.03	c cleaning 11442 clauses out of 22886 with flag 144146/4357963
1554.82/1552.29	c cleaning 12217 clauses out of 24443 with flag 171989/4370962
1556.11/1553.56	c cleaning 13109 clauses out of 26227 with flag 201777/4384963
1557.51/1554.92	c cleaning 14055 clauses out of 28118 with flag 234594/4399963
1559.01/1556.47	c cleaning 15031 clauses out of 30063 with flag 270024/4415963
1560.81/1558.25	c cleaning 16014 clauses out of 32031 with flag 305566/4432962
1562.71/1560.17	c cleaning 17009 clauses out of 34017 with flag 344003/4450962
1564.91/1562.36	c cleaning 18005 clauses out of 36009 with flag 386170/4469963
1567.01/1564.43	c cleaning 19002 clauses out of 38003 with flag 429677/4489962
1569.81/1567.20	c cleaning 20001 clauses out of 40004 with flag 475573/4510965
1572.71/1570.14	c cleaning 20996 clauses out of 42000 with flag 523527/4532962
1575.81/1573.21	c cleaning 21997 clauses out of 44004 with flag 574393/4555962
1578.81/1576.24	c cleaning 23003 clauses out of 46007 with flag 626725/4579962
1581.94/1579.35	c cleaning 23999 clauses out of 48006 with flag 679601/4604964
1585.35/1582.76	c cleaning 25003 clauses out of 50005 with flag 734986/4630962
1589.64/1587.06	c cleaning 25998 clauses out of 52002 with flag 792192/4657962
1594.36/1591.75	c cleaning 27002 clauses out of 54006 with flag 849971/4685964
1599.75/1597.14	c cleaning 27997 clauses out of 56002 with flag 909367/4714962
1605.06/1602.42	c cleaning 29001 clauses out of 58007 with flag 971263/4744964
1609.95/1607.35	c cleaning 29993 clauses out of 60005 with flag 1035551/4775964
1617.75/1615.15	c cleaning 31001 clauses out of 62011 with flag 1119778/4807963
1626.76/1624.15	c cleaning 32002 clauses out of 64010 with flag 1214156/4840963
1637.98/1635.37	c cleaning 33001 clauses out of 66009 with flag 1317550/4874964
1647.37/1644.77	c cleaning 34002 clauses out of 68008 with flag 1404435/4909964
1659.48/1656.81	c cleaning 34999 clauses out of 70004 with flag 1498322/4945962
1670.69/1668.07	c cleaning 36003 clauses out of 72006 with flag 1587712/4982963
1682.08/1679.42	c cleaning 36999 clauses out of 74003 with flag 1674071/5020963
1696.88/1694.28	c cleaning 37993 clauses out of 76003 with flag 1774810/5059962
1710.49/1707.87	c cleaning 39003 clauses out of 78010 with flag 1874522/5099962
1725.04/1722.37	c cleaning 39999 clauses out of 80009 with flag 1971430/5140964
1740.85/1738.16	c cleaning 41003 clauses out of 82009 with flag 2074275/5182963
1758.84/1756.16	c cleaning 41997 clauses out of 84006 with flag 2187911/5225963
1777.06/1774.36	c cleaning 43000 clauses out of 86010 with flag 2306344/5269964
1798.16/1795.45	c cleaning 43998 clauses out of 88008 with flag 2426767/5314962
1800.06/1797.30	c starts		: 33173
1800.06/1797.30	c conflicts		: 5321162
1800.06/1797.30	c decisions		: 7181685
1800.06/1797.30	c propagations		: 31605341
1800.06/1797.30	c inspects		: 28130255025
1800.06/1797.30	c shortcuts		: 0
1800.06/1797.30	c learnt literals	: 3
1800.06/1797.30	c learnt binary clauses	: 0
1800.06/1797.30	c learnt ternary clauses	: 0
1800.06/1797.30	c learnt constraints	: 5321160
1800.06/1797.30	c ignored constraints	: 0
1800.06/1797.30	c root simplifications	: 0
1800.06/1797.30	c removed literals (reason simplification)	: 0
1800.06/1797.30	c reason swapping (by a shorter reason)	: 0
1800.06/1797.30	c Calls to reduceDB	: 188
1800.06/1797.30	c Number of update (reduction) of LBD	: 190233
1800.06/1797.30	c Imported unit clauses	: 0
1800.06/1797.30	c number of reductions to clauses (during analyze)	: 0
1800.06/1797.30	c number of learned constraints concerned by reduction	: 0
1800.06/1797.30	c number of learning phase by resolution	: 0
1800.06/1797.30	c number of learning phase by cutting planes	: 0
1800.06/1797.30	c speed (assignments/second)	: 17586.965364542324
1800.06/1797.30	c non guided choices	0
1800.06/1797.32	c learnt constraints type 
1800.06/1797.32	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 50211
1800.06/1797.32	s SATISFIABLE
1800.06/1797.32	c Found 11 solution(s)
1800.06/1797.32	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 
1800.06/1797.32	c objective function=-25
1800.06/1797.32	c Total wall clock time (in seconds): 1797.224

Verifier Data 

OK	-25

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-4085857-1465256930/watcher-4085857-1465256930 -o /tmp/evaluation-result-4085857-1465256930/solver-4085857-1465256930 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465237111-7011 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085857-1465256930.opb 

pid=9443
running on 4 cores: 1,3,5,7

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.11 2.17 2.18 3/194 9446
/proc/meminfo: memFree=30215428/32872528 swapFree=15272/1656604
[pid=9446] ppid=9443 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/9446/stat : 9446 (java) S 9443 9446 4042 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 107626360 98570240 976 33554432000 1073741824 1073778376 140735671062544 140735671053680 239876472893 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 24065 976 743 9 0 16771 0
[pid=9446/tid=9447] ppid=9443 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9447/stat : 9447 (java) R 9443 9446 4042 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 107626360 98570240 976 33554432000 1073741824 1073778376 140735671062544 140337191644712 239873115520 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.10014 s]
/proc/loadavg: 2.11 2.17 2.18 3/194 9446
/proc/meminfo: memFree=30215428/32872528 swapFree=15272/1656604
[pid=9446] ppid=9443 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/9446/stat : 9446 (java) S 9443 9446 4042 0 -1 4202496 4566 0 1 0 10 1 0 0 20 0 18 0 107626360 9787879424 5678 33554432000 1073741824 1073778376 140735671062544 140735671053680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 2389619 5678 2157 9 0 2380296 0
[pid=9446/tid=9447] ppid=9443 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/9446/task/9447/stat : 9447 (java) R 9443 9446 4042 0 -1 4202560 2427 0 1 0 7 0 0 0 20 0 18 0 107626360 9787879424 5678 33554432000 1073741824 1073778376 140735671062544 140337191648632 239876497845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200283 s]
/proc/loadavg: 2.11 2.17 2.18 3/194 9446
/proc/meminfo: memFree=30215428/32872528 swapFree=15272/1656604
[pid=9446] ppid=9443 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/9446/stat : 9446 (java) S 9443 9446 4042 0 -1 4202496 4782 0 1 0 25 1 0 0 20 0 18 0 107626360 9787879424 6866 33554432000 1073741824 1073778376 140735671062544 140735671053680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 2389619 6866 2213 9 0 2380296 0
[pid=9446/tid=9447] ppid=9443 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/9446/task/9447/stat : 9447 (java) R 9443 9446 4042 0 -1 4202560 2454 0 1 0 17 0 0 0 20 0 18 0 107626360 9787879424 6866 33554432000 1073741824 1073778376 140735671062544 140337191636320 140337063391952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300395 s]
/proc/loadavg: 2.11 2.17 2.18 3/194 9446
/proc/meminfo: memFree=30215428/32872528 swapFree=15272/1656604
[pid=9446] ppid=9443 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/9446/stat : 9446 (java) S 9443 9446 4042 0 -1 4202496 6888 0 1 0 50 1 0 0 20 0 19 0 107626360 9856040960 8304 33554432000 1073741824 1073778376 140735671062544 140735671053680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 2406260 8304 2244 9 0 2396937 0
[pid=9446/tid=9447] ppid=9443 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/9446/task/9447/stat : 9447 (java) R 9443 9446 4042 0 -1 4202560 2465 0 1 0 27 0 0 0 20 0 19 0 107626360 9856040960 8304 33554432000 1073741824 1073778376 140735671062544 140337191647816 140337063345510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625040

[startup+0.700318 s]
/proc/loadavg: 2.11 2.17 2.18 3/194 9446
/proc/meminfo: memFree=30215428/32872528 swapFree=15272/1656604
[pid=9446] ppid=9443 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/9446/stat : 9446 (java) S 9443 9446 4042 0 -1 4202496 7959 0 1 0 111 2 0 0 20 0 19 0 107626360 9856040960 9489 33554432000 1073741824 1073778376 140735671062544 140735671053680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 2406260 9489 2255 9 0 2396937 0
[pid=9446/tid=9447] ppid=9443 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/9446/task/9447/stat : 9447 (java) R 9443 9446 4042 0 -1 4202560 2468 0 1 0 66 1 0 0 20 0 19 0 107626360 9856040960 9489 33554432000 1073741824 1073778376 140735671062544 140337191647816 140337063850901 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 9625040

[startup+1.50085 s]
/proc/loadavg: 2.11 2.17 2.18 3/213 9465
/proc/meminfo: memFree=30183152/32872528 swapFree=15272/1656604
[pid=9446] ppid=9443 vsize=9625040 CPUtime=1.97 cores=1,3,5,7
/proc/9446/stat : 9446 (java) S 9443 9446 4042 0 -1 4202496 7971 0 1 0 195 2 0 0 20 0 19 0 107626360 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140735671053680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 2406260 11033 2257 9 0 2396937 0
[pid=9446/tid=9447] ppid=9443 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/9446/task/9447/stat : 9447 (java) R 9443 9446 4042 0 -1 4202560 2472 0 1 0 146 1 0 0 20 0 19 0 107626360 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337191647648 140337063723044 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9449] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9449/stat : 9449 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337035692328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9450] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9450/stat : 9450 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337034639528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9451] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9451/stat : 9451 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337033587240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9446/tid=9452] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9452/stat : 9452 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337032534440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9453] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9453/stat : 9453 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337031482152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9454] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9454/stat : 9454 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337030429352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9455] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9455/stat : 9455 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337029377064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9456] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9456/stat : 9456 (java) S 9443 9446 4042 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337028324264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9457] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9457/stat : 9457 (java) S 9443 9446 4042 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107626362 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337015912680 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9458] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9458/stat : 9458 (java) S 9443 9446 4042 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107626362 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337014858744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9459] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9459/stat : 9459 (java) S 9443 9446 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107626362 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337013806344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9460] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9460/stat : 9460 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626364 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337012754832 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9461] ppid=9443 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/9446/task/9461/stat : 9461 (java) S 9443 9446 4042 0 -1 4202560 2408 0 0 0 23 0 0 0 20 0 19 0 107626364 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337011702456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9462] ppid=9443 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/9446/task/9462/stat : 9462 (java) S 9443 9446 4042 0 -1 4202560 1820 0 0 0 22 0 0 0 20 0 19 0 107626364 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337010649656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9463] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9463/stat : 9463 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626364 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337009597560 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9464] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9464/stat : 9464 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626364 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337008544968 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9465] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9465/stat : 9465 (java) S 9443 9446 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107626381 9856040960 11033 33554432000 1073741824 1073778376 140735671062544 140337007440808 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 9625040

[startup+3.10074 s]
/proc/loadavg: 2.10 2.17 2.17 3/213 9465
/proc/meminfo: memFree=30174464/32872528 swapFree=15272/1656604
[pid=9446] ppid=9443 vsize=9625040 CPUtime=3.59 cores=1,3,5,7
/proc/9446/stat : 9446 (java) S 9443 9446 4042 0 -1 4202496 7997 0 1 0 357 2 0 0 20 0 19 0 107626360 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140735671053680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 2406260 13599 2257 9 0 2396937 0
[pid=9446/tid=9447] ppid=9443 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/9446/task/9447/stat : 9447 (java) R 9443 9446 4042 0 -1 4202560 2477 0 1 0 306 1 0 0 20 0 19 0 107626360 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337191649560 140337063740802 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9449] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9449/stat : 9449 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337035692328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9450] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9450/stat : 9450 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337034639528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9451] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9451/stat : 9451 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337033587240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9446/tid=9452] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9452/stat : 9452 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337032534440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9453] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9453/stat : 9453 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337031482152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9454] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9454/stat : 9454 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337030429352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9455] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9455/stat : 9455 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337029377064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9456] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9456/stat : 9456 (java) S 9443 9446 4042 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337028324264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9457] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9457/stat : 9457 (java) S 9443 9446 4042 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107626362 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337015912680 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9458] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9458/stat : 9458 (java) S 9443 9446 4042 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107626362 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337014858744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9459] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9459/stat : 9459 (java) S 9443 9446 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107626362 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337013806344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9460] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9460/stat : 9460 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626364 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337012754832 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9461] ppid=9443 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/9446/task/9461/stat : 9461 (java) S 9443 9446 4042 0 -1 4202560 2408 0 0 0 23 0 0 0 20 0 19 0 107626364 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337011702456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9462] ppid=9443 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/9446/task/9462/stat : 9462 (java) S 9443 9446 4042 0 -1 4202560 1841 0 0 0 24 0 0 0 20 0 19 0 107626364 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337010649656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9463] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9463/stat : 9463 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626364 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337009597560 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9464] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9464/stat : 9464 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626364 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337008544968 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9465] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9465/stat : 9465 (java) S 9443 9446 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107626381 9856040960 13599 33554432000 1073741824 1073778376 140735671062544 140337007440808 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 9625040

[startup+6.30073 s]
/proc/loadavg: 2.10 2.17 2.17 3/213 9465
/proc/meminfo: memFree=30156096/32872528 swapFree=15272/1656604
[pid=9446] ppid=9443 vsize=9625040 CPUtime=6.8 cores=1,3,5,7
/proc/9446/stat : 9446 (java) S 9443 9446 4042 0 -1 4202496 8007 0 1 0 678 2 0 0 20 0 19 0 107626360 9856040960 17185 33554432000 1073741824 1073778376 140735671062544 140735671053680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 2406260 17185 2259 9 0 2396937 0
[pid=9446/tid=9447] ppid=9443 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/9446/task/9447/stat : 9447 (java) R 9443 9446 4042 0 -1 4202560 2485 0 1 0 625 1 0 0 20 0 19 0 107626360 9856040960 17185 33554432000 1073741824 1073778376 140735671062544 140337191640768 140337063499294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9449] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9449/stat : 9449 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 17185 33554432000 1073741824 1073778376 140735671062544 140337035692328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9450] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9450/stat : 9450 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 17185 33554432000 1073741824 1073778376 140735671062544 140337034639528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9451] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9451/stat : 9451 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 17185 33554432000 1073741824 1073778376 140735671062544 140337033587240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9446/tid=9452] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9452/stat : 9452 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 17185 33554432000 1073741824 1073778376 140735671062544 140337032534440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9453] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9453/stat : 9453 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 17185 33554432000 1073741824 1073778376 140735671062544 140337031482152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9454] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9454/stat : 9454 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 17185 33554432000 1073741824 1073778376 140735671062544 140337030429352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9455] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9455/stat : 9455 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 17185 33554432000 1073741824 1073778376 140735671062544 140337029377064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9456] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9456/stat : 9456 (java) S 9443 9446 4042 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107626361 9856040960 17185 33554432000 1073741824 1073778376 140735671062544 140337028324264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9457] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9457/stat : 9457 (java) S 9443 9446 4042 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107626362 9856040960 17185 33554432000 1073741824 1073778376 140735671062544 140337015912680 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9458] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9458/stat : 9458 (java) S 9443 9446 4042 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107626362 9856040960 17185 33554432000 1073741824 1073778376 140735671062544 140337014858744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9459] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9459/stat : 9459 (java) S 9443 9446 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107626362 9856040960 17185 33554432000 1073741824 1073778376 140735671062544 140337013806344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9460] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9460/stat : 9460 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626364 9856040960 17185 33554432000 1073741824 1073778376 140735671062544 140337012754832 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9461] ppid=9443 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/9446/task/9461/stat : 9461 (java) S 9443 9446 4042 0 -1 4202560 2408 0 0 0 24 0 0 0 20 0 19 0 107626364 9856040960 17185 33554432000 1073741824 1073778376 140735671062544 140337011702456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9462] ppid=9443 vsize=9625040 CPUtime=0.25 cores=1,3,5,7

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

[pid=9446/tid=9465] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9465/stat : 9465 (java) S 9443 9446 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107626381 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337007440808 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1725.04
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.27 2.24 2.19 4/214 9597
/proc/meminfo: memFree=28921200/32872528 swapFree=15272/1656604
[pid=9446] ppid=9443 vsize=9625040 CPUtime=1785.06 cores=1,3,5,7
/proc/9446/stat : 9446 (java) S 9443 9446 4042 0 -1 4202496 11035 0 1 0 178419 87 0 0 20 0 19 0 107626360 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140735671053680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 2406260 145622 2281 9 0 2396937 0
[pid=9446/tid=9447] ppid=9443 vsize=9625040 CPUtime=1776.96 cores=1,3,5,7
/proc/9446/task/9447/stat : 9447 (java) R 9443 9446 4042 0 -1 4202560 2549 0 1 0 177666 30 0 0 20 0 19 0 107626360 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337191640832 140337063850852 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9449] ppid=9443 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/9446/task/9449/stat : 9449 (java) S 9443 9446 4042 0 -1 4202560 343 0 0 0 21 5 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337035692328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9446/tid=9450] ppid=9443 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/9446/task/9450/stat : 9450 (java) S 9443 9446 4042 0 -1 4202560 110 0 0 0 20 4 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337034639528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9451] ppid=9443 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/9446/task/9451/stat : 9451 (java) S 9443 9446 4042 0 -1 4202560 359 0 0 0 23 6 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337033587240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9452] ppid=9443 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/9446/task/9452/stat : 9452 (java) S 9443 9446 4042 0 -1 4202560 316 0 0 0 23 6 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337032534440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9453] ppid=9443 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/9446/task/9453/stat : 9453 (java) S 9443 9446 4042 0 -1 4202560 395 0 0 0 22 7 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337031482152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9454] ppid=9443 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/9446/task/9454/stat : 9454 (java) S 9443 9446 4042 0 -1 4202560 135 0 0 0 16 4 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337030429352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9455] ppid=9443 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/9446/task/9455/stat : 9455 (java) S 9443 9446 4042 0 -1 4202560 184 0 0 0 25 5 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337029377064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9446/tid=9456] ppid=9443 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/9446/task/9456/stat : 9456 (java) S 9443 9446 4042 0 -1 4202560 335 0 0 0 28 8 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337028324264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9457] ppid=9443 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/9446/task/9457/stat : 9457 (java) S 9443 9446 4042 0 -1 4202560 152 0 0 0 9 2 0 0 20 0 19 0 107626362 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337015912680 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9458] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9458/stat : 9458 (java) S 9443 9446 4042 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107626362 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337014858744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9459] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9459/stat : 9459 (java) S 9443 9446 4042 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107626362 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337013806344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9460] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9460/stat : 9460 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626364 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337012754832 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9461] ppid=9443 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/9446/task/9461/stat : 9461 (java) S 9443 9446 4042 0 -1 4202560 2408 0 0 0 24 0 0 0 20 0 19 0 107626364 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337011702456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9462] ppid=9443 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/9446/task/9462/stat : 9462 (java) S 9443 9446 4042 0 -1 4202560 2388 0 0 0 32 0 0 0 20 0 19 0 107626364 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337010649656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9463] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9463/stat : 9463 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626364 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337009597560 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9464] ppid=9443 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/9446/task/9464/stat : 9464 (java) S 9443 9446 4042 0 -1 4202560 104 0 0 0 36 40 0 0 20 0 19 0 107626364 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337008544968 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9465] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9465/stat : 9465 (java) S 9443 9446 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107626381 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337007440808 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1785.06
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.3 s]
/proc/loadavg: 2.39 2.26 2.20 10/214 9597
/proc/meminfo: memFree=28646524/32872528 swapFree=15272/1656604
[pid=9446] ppid=9443 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/9446/stat : 9446 (java) S 9443 9446 4042 0 -1 4202496 11035 0 1 0 179919 87 0 0 20 0 19 0 107626360 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140735671053680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 2406260 145622 2281 9 0 2396937 0
[pid=9446/tid=9447] ppid=9443 vsize=9625040 CPUtime=1791.92 cores=1,3,5,7
/proc/9446/task/9447/stat : 9447 (java) R 9443 9446 4042 0 -1 4202560 2549 0 1 0 179162 30 0 0 20 0 19 0 107626360 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337191640832 140337063782883 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9449] ppid=9443 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/9446/task/9449/stat : 9449 (java) S 9443 9446 4042 0 -1 4202560 343 0 0 0 21 5 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337035692328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9446/tid=9450] ppid=9443 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/9446/task/9450/stat : 9450 (java) S 9443 9446 4042 0 -1 4202560 110 0 0 0 20 4 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337034639528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9451] ppid=9443 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/9446/task/9451/stat : 9451 (java) S 9443 9446 4042 0 -1 4202560 359 0 0 0 23 6 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337033587240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9452] ppid=9443 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/9446/task/9452/stat : 9452 (java) S 9443 9446 4042 0 -1 4202560 316 0 0 0 23 6 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337032534440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9453] ppid=9443 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/9446/task/9453/stat : 9453 (java) S 9443 9446 4042 0 -1 4202560 395 0 0 0 22 7 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337031482152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9454] ppid=9443 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/9446/task/9454/stat : 9454 (java) S 9443 9446 4042 0 -1 4202560 135 0 0 0 16 4 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337030429352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9455] ppid=9443 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/9446/task/9455/stat : 9455 (java) S 9443 9446 4042 0 -1 4202560 184 0 0 0 25 5 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337029377064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9446/tid=9456] ppid=9443 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/9446/task/9456/stat : 9456 (java) S 9443 9446 4042 0 -1 4202560 335 0 0 0 28 8 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337028324264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9457] ppid=9443 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/9446/task/9457/stat : 9457 (java) S 9443 9446 4042 0 -1 4202560 152 0 0 0 9 2 0 0 20 0 19 0 107626362 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337015912680 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9458] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9458/stat : 9458 (java) S 9443 9446 4042 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107626362 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337014858744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9459] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9459/stat : 9459 (java) S 9443 9446 4042 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107626362 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337013806344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9460] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9460/stat : 9460 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626364 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337012754832 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9461] ppid=9443 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/9446/task/9461/stat : 9461 (java) S 9443 9446 4042 0 -1 4202560 2408 0 0 0 24 0 0 0 20 0 19 0 107626364 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337011702456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9462] ppid=9443 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/9446/task/9462/stat : 9462 (java) S 9443 9446 4042 0 -1 4202560 2388 0 0 0 32 0 0 0 20 0 19 0 107626364 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337010649656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9463] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9463/stat : 9463 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626364 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337009597560 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9464] ppid=9443 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/9446/task/9464/stat : 9464 (java) S 9443 9446 4042 0 -1 4202560 104 0 0 0 37 40 0 0 20 0 19 0 107626364 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337008544968 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9465] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9465/stat : 9465 (java) S 9443 9446 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107626381 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337007440808 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 9446 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.3 s]
/proc/loadavg: 2.39 2.26 2.20 10/214 9597
/proc/meminfo: memFree=28646524/32872528 swapFree=15272/1656604
[pid=9446] ppid=9443 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/9446/stat : 9446 (java) S 9443 9446 4042 0 -1 4202496 11035 0 1 0 179919 87 0 0 20 0 19 0 107626360 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140735671053680 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 2406260 145622 2281 9 0 2396937 0
[pid=9446/tid=9447] ppid=9443 vsize=9625040 CPUtime=1791.92 cores=1,3,5,7
/proc/9446/task/9447/stat : 9447 (java) R 9443 9446 4042 0 -1 4202560 2549 0 1 0 179162 30 0 0 20 0 19 0 107626360 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337191640832 140337063782883 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9449] ppid=9443 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/9446/task/9449/stat : 9449 (java) S 9443 9446 4042 0 -1 4202560 343 0 0 0 21 5 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337035692328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9446/tid=9450] ppid=9443 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/9446/task/9450/stat : 9450 (java) S 9443 9446 4042 0 -1 4202560 110 0 0 0 20 4 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337034639528 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9451] ppid=9443 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/9446/task/9451/stat : 9451 (java) S 9443 9446 4042 0 -1 4202560 359 0 0 0 23 6 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337033587240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9452] ppid=9443 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/9446/task/9452/stat : 9452 (java) S 9443 9446 4042 0 -1 4202560 316 0 0 0 23 6 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337032534440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9453] ppid=9443 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/9446/task/9453/stat : 9453 (java) S 9443 9446 4042 0 -1 4202560 395 0 0 0 22 7 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337031482152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9454] ppid=9443 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/9446/task/9454/stat : 9454 (java) S 9443 9446 4042 0 -1 4202560 135 0 0 0 16 4 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337030429352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9455] ppid=9443 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/9446/task/9455/stat : 9455 (java) S 9443 9446 4042 0 -1 4202560 184 0 0 0 25 5 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337029377064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9446/tid=9456] ppid=9443 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/9446/task/9456/stat : 9456 (java) S 9443 9446 4042 0 -1 4202560 335 0 0 0 28 8 0 0 20 0 19 0 107626361 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337028324264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9446/tid=9457] ppid=9443 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/9446/task/9457/stat : 9457 (java) S 9443 9446 4042 0 -1 4202560 152 0 0 0 9 2 0 0 20 0 19 0 107626362 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337015912680 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9458] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9458/stat : 9458 (java) S 9443 9446 4042 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107626362 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337014858744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9459] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9459/stat : 9459 (java) S 9443 9446 4042 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107626362 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337013806344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9460] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9460/stat : 9460 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626364 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337012754832 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9461] ppid=9443 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/9446/task/9461/stat : 9461 (java) S 9443 9446 4042 0 -1 4202560 2408 0 0 0 24 0 0 0 20 0 19 0 107626364 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337011702456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9462] ppid=9443 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/9446/task/9462/stat : 9462 (java) S 9443 9446 4042 0 -1 4202560 2388 0 0 0 32 0 0 0 20 0 19 0 107626364 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337010649656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9463] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9463/stat : 9463 (java) S 9443 9446 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107626364 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337009597560 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9446/tid=9464] ppid=9443 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/9446/task/9464/stat : 9464 (java) S 9443 9446 4042 0 -1 4202560 104 0 0 0 37 40 0 0 20 0 19 0 107626364 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337008544968 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9446/tid=9465] ppid=9443 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9446/task/9465/stat : 9465 (java) S 9443 9446 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107626381 9856040960 145622 33554432000 1073741824 1073778376 140735671062544 140337007440808 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9446 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=620176
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=312800
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.34
CPU time (s): 1800.06
CPU user time (s): 1799.19
CPU system time (s): 0.87
CPU usage (%): 100.151
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.62
system time used= 1.3128
maximum resident set size= 614676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11084
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38369
involuntary context switches= 4394

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.33004 second user time and 7.50786 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-07 01:48:50
IDJOB=4085857
IDBENCH=48169
IDSOLVER=2546
FILE ID=node136/4085857-1465256930
RUNJOBID= node136-1465237111-7011
PBS_JOBID= 19843227
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085857-1465256930/watcher-4085857-1465256930 -o /tmp/evaluation-result-4085857-1465256930/solver-4085857-1465256930 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465237111-7011 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085857-1465256930.opb

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

MD5SUM BENCH= 597624b9879736416e28e0a242fe0005
RANDOM SEED=1232092479

node136.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.959
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.91
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.959
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.959
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.55
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.959
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.959
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.959
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.59
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.959
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.959
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:        30216312 kB
Buffers:           39700 kB
Cached:           117256 kB
SwapCached:          804 kB
Active:           186612 kB
Inactive:         107012 kB
Active(anon):     137516 kB
Inactive(anon):     1408 kB
Active(file):      49096 kB
Inactive(file):   105604 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099344 kB
Dirty:               472 kB
Writeback:             0 kB
AnonPages:       1796040 kB
Mapped:            15260 kB
Shmem:                 0 kB
Slab:             567584 kB
SReclaimable:      11564 kB
SUnreclaim:       556020 kB
KernelStack:        1664 kB
PageTables:         7628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2345504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1693696 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 node136 at 2016-06-07 02:18:48