Trace number 4106695

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 Res+CP PB16SAT (TO)-63 1800.04 895.151

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_1.opb
MD5SUM7980660368cd371c40e33d6668082e41
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-65
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -64
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint25
Maximum length of a constraint48
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15716
Sum of products size (including duplicates)31432
Number of different products7858
Sum of products size15716

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.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.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
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 Expensive 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.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
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 phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts 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.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4106695-1466275832.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
1.62/0.75	c ... done. Wall clock time 0.64s.
1.62/0.75	c declared #vars     500
1.62/0.75	c internal #vars     8358
1.62/0.75	c #constraints  16716
1.62/0.75	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.62/0.75	c constraints type 
1.62/0.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7858
1.62/0.75	c org.sat4j.minisat.constraints.cnf.UnitClauses => 449
1.62/0.75	c org.sat4j.specs.Constr$1 => 529
1.62/0.75	c org.sat4j.minisat.constraints.cnf.UnitClause => 22
1.62/0.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7858
1.62/0.75	c 16716 constraints processed.
1.62/0.75	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.62/0.75	c constraints type 
1.62/0.75	c org.sat4j.specs.Constr$1 => 529
1.62/0.75	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7858
1.62/0.75	c org.sat4j.pb.constraints.pb.UnitClausesPB => 449
1.62/0.75	c org.sat4j.pb.constraints.pb.UnitClausePB => 22
1.62/0.75	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7858
1.62/0.75	c 16716 constraints processed.
1.62/0.75	c objective function length is 500 literals
2.37/0.91	c And the winner is solver0
3.01/1.26	c SATISFIABLE
3.01/1.26	c OPTIMIZING...
3.01/1.26	c Got one! Elapsed wall clock time (in seconds):1.145
3.01/1.26	o -54
3.56/1.45	c And the winner is solver1
4.11/1.76	c Got one! Elapsed wall clock time (in seconds):1.648
4.11/1.76	o -55
4.11/1.78	c And the winner is solver1
4.24/2.26	c Got one! Elapsed wall clock time (in seconds):2.15
4.24/2.26	o -56
5.61/2.76	c And the winner is solver1
5.76/3.26	c Got one! Elapsed wall clock time (in seconds):3.153
5.76/3.26	o -57
6.12/3.48	c cleaning 2899 clauses out of 5798 with flag 2301/5798
6.37/3.55	c And the winner is solver1
6.51/3.77	c Got one! Elapsed wall clock time (in seconds):3.655
6.51/3.77	o -58
8.26/4.53	c cleaning 4232 clauses out of 8472 with flag 11356/11371
10.19/5.43	c cleaning 5120 clauses out of 10239 with flag 25938/17370
12.24/6.40	c cleaning 6057 clauses out of 12119 with flag 41939/24370
14.82/7.61	c cleaning 7030 clauses out of 14062 with flag 61171/32370
17.22/8.70	c cleaning 8017 clauses out of 16033 with flag 81690/41371
19.44/9.83	c cleaning 9007 clauses out of 18015 with flag 103737/51370
22.07/11.16	c cleaning 10005 clauses out of 20009 with flag 128335/62371
25.47/12.75	c cleaning 11003 clauses out of 22005 with flag 154990/74372
25.67/12.88	c And the winner is solver1
25.81/13.27	c Got one! Elapsed wall clock time (in seconds):13.158
25.81/13.27	o -59
26.87/13.88	c cleaning 8101 clauses out of 16206 with flag 9456/79576
28.67/14.71	c cleaning 7043 clauses out of 14102 with flag 23273/85573
30.86/15.79	c cleaning 7031 clauses out of 14061 with flag 39878/92575
32.26/16.44	c And the winner is solver1
32.34/16.79	c Got one! Elapsed wall clock time (in seconds):16.682
32.34/16.79	o -60
33.75/17.57	c cleaning 8546 clauses out of 17091 with flag 11713/102636
35.55/18.42	c cleaning 7265 clauses out of 14542 with flag 25672/108633
37.55/19.42	c cleaning 7136 clauses out of 14277 with flag 42187/115633
39.54/20.49	c cleaning 7568 clauses out of 15141 with flag 60500/123633
42.35/21.83	c cleaning 8280 clauses out of 16574 with flag 81490/132634
45.80/23.49	c cleaning 9147 clauses out of 18293 with flag 105138/142633
49.20/25.13	c cleaning 10071 clauses out of 20146 with flag 130668/153633
53.20/27.15	c cleaning 11037 clauses out of 22075 with flag 160043/165633
58.30/29.56	c cleaning 12019 clauses out of 24038 with flag 191642/178633
63.11/31.95	c cleaning 13010 clauses out of 26019 with flag 224654/192633
68.90/34.87	c cleaning 14003 clauses out of 28009 with flag 262089/207633
69.30/35.08	c And the winner is solver1
69.39/35.30	c Got one! Elapsed wall clock time (in seconds):35.186
69.39/35.30	o -61
70.99/36.10	c cleaning 9607 clauses out of 19220 with flag 9564/212847
72.78/37.06	c cleaning 7803 clauses out of 15614 with flag 24395/218848
76.30/39.01	c cleaning 7404 clauses out of 14810 with flag 41993/225847
78.70/40.22	c cleaning 7697 clauses out of 15407 with flag 61460/233848
81.50/41.68	c cleaning 8355 clauses out of 16710 with flag 83844/242848
84.95/43.37	c cleaning 9175 clauses out of 18354 with flag 108516/252847
88.59/45.17	c cleaning 10090 clauses out of 20180 with flag 134749/263848
92.64/47.14	c cleaning 11038 clauses out of 22089 with flag 162852/275847
96.86/49.23	c cleaning 12025 clauses out of 24052 with flag 192723/288848
102.26/51.93	c cleaning 13011 clauses out of 26027 with flag 226268/302848
108.67/55.12	c cleaning 14006 clauses out of 28015 with flag 263001/317847
115.19/58.40	c cleaning 15005 clauses out of 30010 with flag 302234/333848
122.78/62.12	c cleaning 16003 clauses out of 32005 with flag 343927/350848
131.32/66.34	c cleaning 16996 clauses out of 34001 with flag 387690/368847
139.31/70.32	c cleaning 17999 clauses out of 36006 with flag 434615/387848
147.91/74.60	c cleaning 19001 clauses out of 38007 with flag 482195/407848
158.07/79.69	c cleaning 19996 clauses out of 40005 with flag 533885/428847
168.28/84.76	c cleaning 21005 clauses out of 42009 with flag 586573/450847
180.28/90.61	c cleaning 21993 clauses out of 44004 with flag 644383/473847
193.25/97.43	c cleaning 23003 clauses out of 46013 with flag 702373/497849
207.47/104.56	c cleaning 24004 clauses out of 48008 with flag 767832/522847
220.93/111.28	c cleaning 24999 clauses out of 50004 with flag 829325/548847
233.72/117.69	c cleaning 25999 clauses out of 52006 with flag 893401/575848
249.45/125.46	c cleaning 26999 clauses out of 54006 with flag 960467/603847
256.09/128.79	c cleaning 0 clauses out of 6355 with flag 0/6355
271.24/136.03	c cleaning 28004 clauses out of 56007 with flag 1032233/632847
297.83/149.24	c cleaning 28995 clauses out of 58004 with flag 1106810/662848
310.71/155.57	c And the winner is solver1
310.71/155.99	c Got one! Elapsed wall clock time (in seconds):155.88
310.71/155.99	o -62
314.52/157.96	c cleaning 24944 clauses out of 49887 with flag 11639/683726
318.12/159.70	c cleaning 15464 clauses out of 30943 with flag 26697/689726
321.72/161.53	c cleaning 11240 clauses out of 22479 with flag 44023/696726
324.92/163.16	c cleaning 9620 clauses out of 19239 with flag 63633/704726
328.28/164.71	c cleaning 9310 clauses out of 18619 with flag 86110/713726
331.30/166.22	c cleaning 9654 clauses out of 19310 with flag 109468/723727
334.88/168.04	c cleaning 10324 clauses out of 20656 with flag 136253/734727
339.08/170.14	c cleaning 11160 clauses out of 22330 with flag 166508/746725
344.50/172.87	c cleaning 12082 clauses out of 24170 with flag 200246/759725
351.29/176.17	c cleaning 13040 clauses out of 26089 with flag 237772/773726
358.07/179.54	c cleaning 14020 clauses out of 28048 with flag 274645/788725
364.49/182.76	c cleaning 15007 clauses out of 30028 with flag 313487/804725
371.09/185.91	c cleaning 16005 clauses out of 32021 with flag 353835/821725
377.28/189.09	c cleaning 17005 clauses out of 34018 with flag 396533/839727
386.50/193.69	c cleaning 18003 clauses out of 36013 with flag 446071/858727
395.93/198.27	c cleaning 19002 clauses out of 38009 with flag 492688/878726
406.33/203.44	c cleaning 20004 clauses out of 40007 with flag 545348/899726
418.19/209.21	c cleaning 20997 clauses out of 42002 with flag 598893/921725
430.19/215.21	c cleaning 22001 clauses out of 44005 with flag 655219/944725
443.48/221.79	c cleaning 22997 clauses out of 46005 with flag 714249/968726
460.20/229.99	c cleaning 24004 clauses out of 48008 with flag 776324/993726
478.13/238.73	c cleaning 25001 clauses out of 50006 with flag 842325/1019728
500.87/249.90	c cleaning 26000 clauses out of 52003 with flag 911888/1046726
521.01/259.80	c cleaning 27001 clauses out of 54004 with flag 984067/1074727
539.61/268.94	c cleaning 27994 clauses out of 56003 with flag 1056993/1103727
559.96/278.95	c cleaning 29003 clauses out of 58007 with flag 1132414/1133725
583.17/291.16	c cleaning 30002 clauses out of 60005 with flag 1210165/1164726
604.93/301.90	c cleaning 30999 clauses out of 62003 with flag 1290898/1196726
627.86/313.35	c cleaning 31995 clauses out of 64003 with flag 1369788/1229725
650.40/324.56	c cleaning 33001 clauses out of 66008 with flag 1452109/1263725
681.05/339.75	c cleaning 34001 clauses out of 68007 with flag 1539843/1298725
717.63/357.82	c cleaning 35001 clauses out of 70006 with flag 1636189/1334725
757.26/377.41	c cleaning 35996 clauses out of 72005 with flag 1731336/1371725
792.48/394.85	c cleaning 37002 clauses out of 74010 with flag 1827194/1409726
833.01/414.82	c cleaning 38003 clauses out of 76008 with flag 1929154/1448726
877.00/436.54	c cleaning 38999 clauses out of 78004 with flag 2034710/1488725
917.25/456.38	c cleaning 39999 clauses out of 80005 with flag 2139630/1529725
958.68/476.71	c cleaning 40996 clauses out of 82006 with flag 2246320/1571725
988.39/491.42	c cleaning 42006 clauses out of 84011 with flag 2349894/1614726
1026.18/510.00	c cleaning 42995 clauses out of 86004 with flag 2459087/1658725
1054.99/524.21	c cleaning 44002 clauses out of 88011 with flag 2565009/1703727
1066.19/529.88	c cleaning 0 clauses out of 11912 with flag 0/11912
1088.12/541.91	c cleaning 45004 clauses out of 90008 with flag 2675333/1749726
1111.92/553.72	c cleaning 45995 clauses out of 92003 with flag 2784268/1796725
1149.98/572.60	c cleaning 46998 clauses out of 94009 with flag 2900046/1844726
1187.73/591.48	c cleaning 48003 clauses out of 96011 with flag 3020393/1893726
1220.08/607.42	c cleaning 49000 clauses out of 98007 with flag 3139725/1943725
1258.52/626.44	c cleaning 50000 clauses out of 100008 with flag 3268526/1994726
1302.12/647.95	c cleaning 51004 clauses out of 102007 with flag 3395764/2046725
1345.35/669.22	c cleaning 51997 clauses out of 104003 with flag 3527609/2099725
1385.93/689.05	c cleaning 52999 clauses out of 106006 with flag 3659460/2153725
1388.73/690.41	c And the winner is solver1
1388.73/690.65	c Got one! Elapsed wall clock time (in seconds):690.538
1388.73/690.65	o -63
1392.83/692.71	c cleaning 31575 clauses out of 63157 with flag 11382/2163875
1396.03/694.37	c cleaning 18784 clauses out of 37581 with flag 25196/2169874
1398.63/695.66	c cleaning 12891 clauses out of 25796 with flag 41520/2176873
1402.19/697.39	c cleaning 10448 clauses out of 20907 with flag 60933/2184875
1405.19/698.87	c cleaning 9723 clauses out of 19458 with flag 82056/2193874
1408.79/700.61	c cleaning 9865 clauses out of 19734 with flag 106341/2203873
1412.39/702.43	c cleaning 10429 clauses out of 20869 with flag 132264/2214873
1416.39/704.49	c cleaning 11217 clauses out of 22440 with flag 161587/2226873
1421.85/707.01	c cleaning 12110 clauses out of 24224 with flag 193839/2239874
1426.65/709.45	c cleaning 13052 clauses out of 26113 with flag 226670/2253873
1432.65/712.49	c cleaning 14026 clauses out of 28061 with flag 263223/2268873
1439.12/715.51	c cleaning 15013 clauses out of 30035 with flag 300850/2284873
1445.52/718.73	c cleaning 16007 clauses out of 32022 with flag 341833/2301873
1452.95/722.39	c cleaning 17006 clauses out of 34017 with flag 385559/2319875
1459.16/725.49	c cleaning 18000 clauses out of 36010 with flag 430198/2338874
1467.17/729.41	c cleaning 19002 clauses out of 38009 with flag 478964/2358873
1476.18/733.81	c cleaning 20001 clauses out of 40008 with flag 528906/2379874
1485.96/738.79	c cleaning 20999 clauses out of 42006 with flag 581441/2401873
1498.98/746.11	c cleaning 22003 clauses out of 44008 with flag 636684/2424874
1511.06/752.17	c cleaning 23002 clauses out of 46004 with flag 694742/2448873
1523.45/758.38	c cleaning 24000 clauses out of 48002 with flag 757002/2473873
1536.76/764.92	c cleaning 24994 clauses out of 50003 with flag 821673/2499874
1549.65/771.32	c cleaning 26003 clauses out of 52008 with flag 888327/2526873
1566.58/779.76	c cleaning 27001 clauses out of 54006 with flag 957387/2554874
1583.31/788.09	c cleaning 27996 clauses out of 56004 with flag 1027441/2583873
1601.29/796.94	c cleaning 29002 clauses out of 58009 with flag 1100812/2613874
1617.29/804.89	c cleaning 30004 clauses out of 60009 with flag 1176990/2644876
1637.31/814.76	c cleaning 30999 clauses out of 62002 with flag 1260095/2676873
1661.75/826.83	c cleaning 31997 clauses out of 64005 with flag 1341414/2709875
1683.97/837.80	c cleaning 33000 clauses out of 66008 with flag 1426490/2743875
1708.59/850.09	c cleaning 34003 clauses out of 68006 with flag 1519048/2778873
1735.52/863.21	c cleaning 34996 clauses out of 70004 with flag 1611875/2814874
1763.55/877.15	c cleaning 36002 clauses out of 72009 with flag 1705370/2851875
1791.83/891.18	c cleaning 36999 clauses out of 74005 with flag 1802140/2889873
1800.04/895.10	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.04/895.10	c starts		: 56357
1800.04/895.10	c conflicts		: 2904079
1800.04/895.10	c decisions		: 26456948
1800.04/895.10	c propagations		: 41755965
1800.04/895.10	c inspects		: 8333314305
1800.04/895.10	c shortcuts		: 0
1800.04/895.10	c learnt literals	: 0
1800.04/895.10	c learnt binary clauses	: 0
1800.04/895.10	c learnt ternary clauses	: 0
1800.04/895.10	c learnt constraints	: 2904079
1800.04/895.10	c ignored constraints	: 0
1800.04/895.10	c root simplifications	: 0
1800.04/895.10	c removed literals (reason simplification)	: 46338954
1800.04/895.10	c reason swapping (by a shorter reason)	: 0
1800.04/895.10	c Calls to reduceDB	: 133
1800.04/895.10	c Number of update (reduction) of LBD	: 101994
1800.04/895.10	c Imported unit clauses	: 0
1800.04/895.10	c number of reductions to clauses (during analyze)	: 0
1800.04/895.10	c number of learned constraints concerned by reduction	: 0
1800.04/895.10	c number of learning phase by resolution	: 0
1800.04/895.10	c number of learning phase by cutting planes	: 0
1800.04/895.10	c speed (assignments/second)	: 204235.5832721937
1800.04/895.10	c non guided choices	0
1800.04/895.12	c learnt constraints type 
1800.04/895.12	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 51212
1800.04/895.12	c >>>>>>>>>> Solver number 1 (9 answers) <<<<<<<<<<<<<<<<<<
1800.04/895.12	c starts		: 52
1800.04/895.12	c conflicts		: 15191
1800.04/895.12	c decisions		: 23003
1800.04/895.12	c propagations		: 278482
1800.04/895.12	c inspects		: 773241543
1800.04/895.12	c shortcuts		: 0
1800.04/895.12	c learnt literals	: 0
1800.04/895.12	c learnt binary clauses	: 0
1800.04/895.12	c learnt ternary clauses	: 0
1800.04/895.12	c learnt constraints	: 15191
1800.04/895.12	c ignored constraints	: 0
1800.04/895.12	c root simplifications	: 0
1800.04/895.12	c removed literals (reason simplification)	: 0
1800.04/895.12	c reason swapping (by a shorter reason)	: 0
1800.04/895.12	c Calls to reduceDB	: 2
1800.04/895.12	c Number of update (reduction) of LBD	: 0
1800.04/895.12	c Imported unit clauses	: 0
1800.04/895.12	c number of reductions to clauses (during analyze)	: 0
1800.04/895.12	c number of learned constraints concerned by reduction	: 0
1800.04/895.12	c number of learning phase by resolution	: 0
1800.04/895.12	c number of learning phase by cutting planes	: 0
1800.04/895.12	c speed (assignments/second)	: 311.55164987609845
1800.04/895.12	c non guided choices	0
1800.04/895.13	c learnt constraints type 
1800.04/895.13	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 734
1800.04/895.13	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14457
1800.04/895.13	s SATISFIABLE
1800.04/895.13	c Found 10 solution(s)
1800.04/895.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 
1800.04/895.13	c objective function=-63
1800.04/895.13	c Total wall clock time (in seconds): 895.02

Verifier Data 

OK	-63

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-4106695-1466275832/watcher-4106695-1466275832 -o /tmp/evaluation-result-4106695-1466275832/solver-4106695-1466275832 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28302 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106695-1466275832.opb 

pid=4204
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: 4.32 4.27 4.25 4/198 4207
/proc/meminfo: memFree=26916844/32872528 swapFree=1534436/1655032
[pid=4207] ppid=4204 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/4207/stat : 4207 (java) S 4204 4207 28285 0 -1 4202496 1280 0 0 0 0 0 0 0 20 0 2 0 29631658 94019584 913 33554432000 1073741824 1073778376 140736990214992 140736990206128 217413877821 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4207/statm: 22954 915 695 9 0 16769 0
[pid=4207/tid=4208] ppid=4204 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4208/stat : 4208 (java) D 4204 4207 28285 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 29631658 95129600 927 33554432000 1073741824 1073778376 140736990214992 140731910630952 217401355559 0 0 4096 0 18446744072100588836 0 0 -1 1 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 4.32 4.27 4.25 4/198 4207
/proc/meminfo: memFree=26916844/32872528 swapFree=1534436/1655032
[pid=4207] ppid=4204 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/4207/stat : 4207 (java) S 4204 4207 28285 0 -1 4202496 4457 0 1 0 9 1 0 0 20 0 18 0 29631658 9787879424 6082 33554432000 1073741824 1073778376 140736990214992 140736990206128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4207/statm: 2389619 6082 2141 9 0 2380296 0
[pid=4207/tid=4208] ppid=4204 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/4207/task/4208/stat : 4208 (java) R 4204 4207 28285 0 -1 4202560 2388 0 1 0 7 0 0 0 20 0 18 0 29631658 9787879424 6082 33554432000 1073741824 1073778376 140736990214992 140731910634400 217413903629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200391 s]
/proc/loadavg: 4.32 4.27 4.25 4/198 4207
/proc/meminfo: memFree=26916844/32872528 swapFree=1534436/1655032
[pid=4207] ppid=4204 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/4207/stat : 4207 (java) S 4204 4207 28285 0 -1 4202496 4636 0 1 0 22 1 0 0 20 0 18 0 29631658 9787879424 7245 33554432000 1073741824 1073778376 140736990214992 140736990206128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4207/statm: 2389619 7245 2212 9 0 2380296 0
[pid=4207/tid=4208] ppid=4204 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/4207/task/4208/stat : 4208 (java) R 4204 4207 28285 0 -1 4202560 2408 0 1 0 17 0 0 0 20 0 18 0 29631658 9787879424 7245 33554432000 1073741824 1073778376 140736990214992 140731910627120 140731733885375 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300391 s]
/proc/loadavg: 4.32 4.27 4.25 4/198 4207
/proc/meminfo: memFree=26916844/32872528 swapFree=1534436/1655032
[pid=4207] ppid=4204 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/4207/stat : 4207 (java) S 4204 4207 28285 0 -1 4202496 5986 0 1 0 47 1 0 0 20 0 18 0 29631658 9787879424 8963 33554432000 1073741824 1073778376 140736990214992 140736990206128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4207/statm: 2389619 8963 2240 9 0 2380296 0
[pid=4207/tid=4208] ppid=4204 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/4207/task/4208/stat : 4208 (java) R 4204 4207 28285 0 -1 4202560 2412 0 1 0 27 0 0 0 20 0 18 0 29631658 9787879424 8963 33554432000 1073741824 1073778376 140736990214992 140731910633832 140731733879913 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700309 s]
/proc/loadavg: 4.32 4.27 4.25 4/198 4207
/proc/meminfo: memFree=26916844/32872528 swapFree=1534436/1655032
[pid=4207] ppid=4204 vsize=9558476 CPUtime=1.62 cores=1,3,5,7
/proc/4207/stat : 4207 (java) S 4204 4207 28285 0 -1 4202496 22803 0 1 0 157 5 0 0 20 0 18 0 29631658 9787879424 27667 33554432000 1073741824 1073778376 140736990214992 140736990206128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4207/statm: 2389619 27667 2262 9 0 2380296 0
[pid=4207/tid=4208] ppid=4204 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/4207/task/4208/stat : 4208 (java) R 4204 4207 28285 0 -1 4202560 2432 0 1 0 66 1 0 0 20 0 18 0 29631658 9787879424 27667 33554432000 1073741824 1073778376 140736990214992 140731910633832 140731733883492 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9558476

[startup+1.50087 s]
/proc/loadavg: 4.32 4.27 4.25 5/217 4229
/proc/meminfo: memFree=26804248/32872528 swapFree=1534436/1655032
[pid=4207] ppid=4204 vsize=9824732 CPUtime=3.88 cores=1,3,5,7
/proc/4207/stat : 4207 (java) S 4204 4207 28285 0 -1 4202496 28459 0 1 0 378 10 0 0 20 0 19 0 29631658 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140736990206128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4207/statm: 2456183 33503 2276 9 0 2446860 0
[pid=4207/tid=4208] ppid=4204 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/4207/task/4208/stat : 4208 (java) S 4204 4207 28285 0 -1 4202560 2440 0 1 0 72 2 0 0 20 0 19 0 29631658 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731910636408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4210] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4210/stat : 4210 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29631659 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731872127144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4211] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4211/stat : 4211 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29631659 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731871074600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4212] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4212/stat : 4212 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29631659 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731870022056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4213] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4213/stat : 4213 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29631659 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731868969512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4214] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4214/stat : 4214 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29631659 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731867916968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4215] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4215/stat : 4215 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29631659 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731866864424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4216] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4216/stat : 4216 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29631659 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731865811880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4217] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4217/stat : 4217 (java) S 4204 4207 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29631659 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731864759336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4218] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4218/stat : 4218 (java) S 4204 4207 28285 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 29631660 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731852347496 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4219] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4219/stat : 4219 (java) S 4204 4207 28285 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29631661 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731733763192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4220] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4220/stat : 4220 (java) S 4204 4207 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29631661 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731732710536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4221] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4221/stat : 4221 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29631663 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731731659280 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4222] ppid=4204 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/4207/task/4222/stat : 4222 (java) R 4204 4207 28285 0 -1 4202560 12450 0 0 0 116 2 0 0 20 0 19 0 29631663 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731730583424 140731916794097 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4223] ppid=4204 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/4207/task/4223/stat : 4223 (java) R 4204 4207 28285 0 -1 4202560 12221 0 0 0 118 2 0 0 20 0 19 0 29631663 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731729530408 140731914494669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4224] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4224/stat : 4224 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29631663 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731728501752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4225] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4225/stat : 4225 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29631663 10060525568 33503 33554432000 1073741824 1073778376 140736990214992 140731727449416 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 9824732

[startup+3.10092 s]
/proc/loadavg: 4.32 4.27 4.25 3/217 4235
/proc/meminfo: memFree=26782412/32872528 swapFree=1534436/1655032
[pid=4207] ppid=4204 vsize=9824732 CPUtime=5.76 cores=1,3,5,7
/proc/4207/stat : 4207 (java) S 4204 4207 28285 0 -1 4202496 28802 0 1 0 559 17 0 0 20 0 19 0 29631658 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140736990206128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4207/statm: 2456183 57144 2290 9 0 2446860 0
[pid=4207/tid=4208] ppid=4204 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/4207/task/4208/stat : 4208 (java) S 4204 4207 28285 0 -1 4202560 2440 0 1 0 72 2 0 0 20 0 19 0 29631658 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731910636408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4210] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4210/stat : 4210 (java) S 4204 4207 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29631659 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731872127144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4211] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4211/stat : 4211 (java) S 4204 4207 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29631659 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731871074600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4212] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4212/stat : 4212 (java) S 4204 4207 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29631659 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731870022056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4213] ppid=4204 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/4207/task/4213/stat : 4213 (java) S 4204 4207 28285 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 29631659 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731868969512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4214] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4214/stat : 4214 (java) S 4204 4207 28285 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29631659 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731867916968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4215] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4215/stat : 4215 (java) S 4204 4207 28285 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 29631659 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731866864424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4216] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4216/stat : 4216 (java) S 4204 4207 28285 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29631659 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731865811880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4217] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4217/stat : 4217 (java) S 4204 4207 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29631659 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731864759336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4218] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4218/stat : 4218 (java) S 4204 4207 28285 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 29631660 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731852347496 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4219] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4219/stat : 4219 (java) S 4204 4207 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29631661 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731733763192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4220] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4220/stat : 4220 (java) S 4204 4207 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29631661 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731732710536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4221] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4221/stat : 4221 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29631663 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731731659280 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4222] ppid=4204 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/4207/task/4222/stat : 4222 (java) S 4204 4207 28285 0 -1 4202560 12605 0 0 0 148 3 0 0 20 0 19 0 29631663 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731730606648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4223] ppid=4204 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/4207/task/4223/stat : 4223 (java) S 4204 4207 28285 0 -1 4202560 12225 0 0 0 163 3 0 0 20 0 19 0 29631663 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731729554104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4224] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4224/stat : 4224 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29631663 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731728501752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4225] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4225/stat : 4225 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29631663 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731727449416 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4232] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4232/stat : 4232 (java) S 4204 4207 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29631785 10060525568 57144 33554432000 1073741824 1073778376 140736990214992 140731723236904 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 9824732

[startup+6.30104 s]
/proc/loadavg: 4.29 4.26 4.25 5/220 4244
/proc/meminfo: memFree=26456268/32872528 swapFree=1534436/1655032
[pid=4207] ppid=4204 vsize=9824732 CPUtime=12.02 cores=1,3,5,7
/proc/4207/stat : 4207 (java) S 4204 4207 28285 0 -1 4202496 32155 0 1 0 1166 36 0 0 20 0 22 0 29631658 10060525568 130061 33554432000 1073741824 1073778376 140736990214992 140736990206128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4207/statm: 2456183 130061 2294 9 0 2446860 0
[pid=4207/tid=4208] ppid=4204 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/4207/task/4208/stat : 4208 (java) S 4204 4207 28285 0 -1 4202560 2440 0 1 0 72 2 0 0 20 0 22 0 29631658 10060525568 130061 33554432000 1073741824 1073778376 140736990214992 140731910636408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4210] ppid=4204 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/4207/task/4210/stat : 4210 (java) S 4204 4207 28285 0 -1 4202560 64 0 0 0 5 2 0 0 20 0 22 0 29631659 10060525568 130061 33554432000 1073741824 1073778376 140736990214992 140731872127144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4211] ppid=4204 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/4207/task/4211/stat : 4211 (java) S 4204 4207 28285 0 -1 4202560 38 0 0 0 3 1 0 0 20 0 22 0 29631659 10060525568 130061 33554432000 1073741824 1073778376 140736990214992 140731871074600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4212] ppid=4204 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/4207/task/4212/stat : 4212 (java) S 4204 4207 28285 0 -1 4202560 174 0 0 0 5 2 0 0 20 0 22 0 29631659 10060525568 130061 33554432000 1073741824 1073778376 140736990214992 140731870022056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4213] ppid=4204 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/4207/task/4213/stat : 4213 (java) S 4204 4207 28285 0 -1 4202560 121 0 0 0 6 3 0 0 20 0 22 0 29631659 10060525568 130061 33554432000 1073741824 1073778376 140736990214992 140731868969512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4214] ppid=4204 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/4207/task/4214/stat : 4214 (java) S 4204 4207 28285 0 -1 4202560 139 0 0 0 10 3 0 0 20 0 22 0 29631659 10060525568 130061 33554432000 1073741824 1073778376 140736990214992 140731867916968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4215] ppid=4204 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/4207/task/4215/stat : 4215 (java) S 4204 4207 28285 0 -1 4202560 40 0 0 0 3 2 0 0 20 0 22 0 29631659 10060525568 130061 33554432000 1073741824 1073778376 140736990214992 140731866864424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4216] ppid=4204 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/4207/task/4216/stat : 4216 (java) S 4204 4207 28285 0 -1 4202560 36 0 0 0 3 0 0 0 20 0 22 0 29631659 10060525568 130061 33554432000 1073741824 1073778376 140736990214992 140731865811880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4217] ppid=4204 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/4207/task/4217/stat : 4217 (java) S 4204 4207 28285 0 -1 4202560 145 0 0 0 5 2 0 0 20 0 22 0 29631659 10060525568 130061 33554432000 1073741824 1073778376 140736990214992 140731864759336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4218] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4218/stat : 4218 (java) S 4204 4207 28285 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 29631660 10060525568 130061 33554432000 1073741824 1073778376 140736990214992 140731852347496 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4219] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4219/stat : 4219 (java) S 4204 4207 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29631661 10060525568 130061 33554432000 1073741824 1073778376 140736990214992 140731733763192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4220] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4220/stat : 4220 (java) S 4204 4207 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29631661 10060525568 130061 33554432000 1073741824 1073778376 140736990214992 140731732710536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4221] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4221/stat : 4221 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29631663 10060525568 130061 33554432000 1073741824 1073778376 140736990214992 140731731659280 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4222] ppid=4204 vsize=9824732 CPUtime=1.82 cores=1,3,5,7
/proc/4207/task/4222/stat : 4222 (java) S 4204 4207 28285 0 -1 4202560 14871 0 0 0 179 3 0 0 20 0 22 0 29631663 10060525568 130061 33554432000 1073741824 1073778376 140736990214992 140731730606648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4223] ppid=4204 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/4207/task/4223/stat : 4223 (java) S 4204 4207 28285 0 -1 4202560 12226 0 0 0 174 3 0 0 20 0 22 0 29631663 10060525568 130061 33554432000 1073741824 1073778376 140736990214992 140731729554104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4224] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

[pid=4207/tid=4217] ppid=4204 vsize=9824732 CPUtime=5.45 cores=1,3,5,7
/proc/4207/task/4217/stat : 4217 (java) S 4204 4207 28285 0 -1 4202560 2314 0 0 0 516 29 0 0 20 0 22 0 29631659 10060525568 1026205 33554432000 1073741824 1073778376 140736990214992 140731864759336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4218] ppid=4204 vsize=9824732 CPUtime=7.69 cores=1,3,5,7
/proc/4207/task/4218/stat : 4218 (java) S 4204 4207 28285 0 -1 4202560 2959 0 0 0 760 9 0 0 20 0 22 0 29631660 10060525568 1026205 33554432000 1073741824 1073778376 140736990214992 140731852347496 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4219] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4219/stat : 4219 (java) S 4204 4207 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29631661 10060525568 1026205 33554432000 1073741824 1073778376 140736990214992 140731733763192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4220] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4220/stat : 4220 (java) S 4204 4207 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29631661 10060525568 1026205 33554432000 1073741824 1073778376 140736990214992 140731732710536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4221] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4221/stat : 4221 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29631663 10060525568 1026205 33554432000 1073741824 1073778376 140736990214992 140731731659280 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4222] ppid=4204 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/4207/task/4222/stat : 4222 (java) S 4204 4207 28285 0 -1 4202560 14888 0 0 0 202 3 0 0 20 0 22 0 29631663 10060525568 1026205 33554432000 1073741824 1073778376 140736990214992 140731730606648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4223] ppid=4204 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/4207/task/4223/stat : 4223 (java) S 4204 4207 28285 0 -1 4202560 12237 0 0 0 231 3 0 0 20 0 22 0 29631663 10060525568 1026205 33554432000 1073741824 1073778376 140736990214992 140731729554104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4224] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4224/stat : 4224 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29631663 10060525568 1026205 33554432000 1073741824 1073778376 140736990214992 140731728501752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4225] ppid=4204 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/4207/task/4225/stat : 4225 (java) S 4204 4207 28285 0 -1 4202560 50 0 0 0 16 23 0 0 20 0 22 0 29631663 10060525568 1026205 33554432000 1073741824 1073778376 140736990214992 140731727449416 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4232] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4232/stat : 4232 (java) S 4204 4207 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29631785 10060525568 1026205 33554432000 1073741824 1073778376 140736990214992 140731723236904 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4386] ppid=4204 vsize=9824732 CPUtime=186.95 cores=1,3,5,7
/proc/4207/task/4386/stat : 4386 (java) R 4204 4207 28285 0 -1 4202560 10 0 0 0 18693 2 0 0 20 0 22 0 29700723 10060525568 1026205 33554432000 1073741824 1073778376 140736990214992 140731725333008 140731734913083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4387] ppid=4204 vsize=9824732 CPUtime=187.01 cores=1,3,5,7
/proc/4207/task/4387/stat : 4387 (java) R 4204 4207 28285 0 -1 4202560 25 0 0 0 18699 2 0 0 20 0 22 0 29700723 10060525568 1026205 33554432000 1073741824 1073778376 140736990214992 140731724286256 140731735168800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4388] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4388/stat : 4388 (java) S 4204 4207 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29700723 10060525568 1026205 33554432000 1073741824 1073778376 140736990214992 140731726394280 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1770.91
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.101 s]
/proc/loadavg: 4.26 4.20 4.18 5/219 4398
/proc/meminfo: memFree=22443272/32872528 swapFree=1534436/1655032
[pid=4207] ppid=4204 vsize=9824732 CPUtime=1796.99 cores=1,3,5,7
/proc/4207/stat : 4207 (java) S 4204 4207 28285 0 -1 4202496 51277 0 1 0 179406 293 0 0 20 0 22 0 29631658 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140736990206128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4207/statm: 2456183 1026200 2303 9 0 2446860 0
[pid=4207/tid=4208] ppid=4204 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/4207/task/4208/stat : 4208 (java) S 4204 4207 28285 0 -1 4202560 2448 0 1 0 76 3 0 0 20 0 22 0 29631658 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731910636408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4210] ppid=4204 vsize=9824732 CPUtime=5.42 cores=1,3,5,7
/proc/4207/task/4210/stat : 4210 (java) S 4204 4207 28285 0 -1 4202560 1032 0 0 0 517 25 0 0 20 0 22 0 29631659 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731872127144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4211] ppid=4204 vsize=9824732 CPUtime=5.46 cores=1,3,5,7
/proc/4207/task/4211/stat : 4211 (java) S 4204 4207 28285 0 -1 4202560 1117 0 0 0 524 22 0 0 20 0 22 0 29631659 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731871074600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4212] ppid=4204 vsize=9824732 CPUtime=5.35 cores=1,3,5,7
/proc/4207/task/4212/stat : 4212 (java) S 4204 4207 28285 0 -1 4202560 2687 0 0 0 511 24 0 0 20 0 22 0 29631659 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731870022056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4213] ppid=4204 vsize=9824732 CPUtime=5.4 cores=1,3,5,7
/proc/4207/task/4213/stat : 4213 (java) S 4204 4207 28285 0 -1 4202560 1567 0 0 0 515 25 0 0 20 0 22 0 29631659 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731868969512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4214] ppid=4204 vsize=9824732 CPUtime=5.42 cores=1,3,5,7
/proc/4207/task/4214/stat : 4214 (java) S 4204 4207 28285 0 -1 4202560 1218 0 0 0 515 27 0 0 20 0 22 0 29631659 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731867916968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4215] ppid=4204 vsize=9824732 CPUtime=5.63 cores=1,3,5,7
/proc/4207/task/4215/stat : 4215 (java) S 4204 4207 28285 0 -1 4202560 2736 0 0 0 535 28 0 0 20 0 22 0 29631659 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731866864424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4216] ppid=4204 vsize=9824732 CPUtime=5.95 cores=1,3,5,7
/proc/4207/task/4216/stat : 4216 (java) S 4204 4207 28285 0 -1 4202560 2517 0 0 0 573 22 0 0 20 0 22 0 29631659 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731865811880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4217] ppid=4204 vsize=9824732 CPUtime=5.66 cores=1,3,5,7
/proc/4207/task/4217/stat : 4217 (java) S 4204 4207 28285 0 -1 4202560 2314 0 0 0 537 29 0 0 20 0 22 0 29631659 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731864759336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4218] ppid=4204 vsize=9824732 CPUtime=7.69 cores=1,3,5,7
/proc/4207/task/4218/stat : 4218 (java) S 4204 4207 28285 0 -1 4202560 2961 0 0 0 760 9 0 0 20 0 22 0 29631660 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731852347496 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4219] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4219/stat : 4219 (java) S 4204 4207 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29631661 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731733763192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4220] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4220/stat : 4220 (java) S 4204 4207 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29631661 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731732710536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4221] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4221/stat : 4221 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29631663 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731731659280 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4222] ppid=4204 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/4207/task/4222/stat : 4222 (java) S 4204 4207 28285 0 -1 4202560 14888 0 0 0 202 3 0 0 20 0 22 0 29631663 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731730606648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4223] ppid=4204 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/4207/task/4223/stat : 4223 (java) S 4204 4207 28285 0 -1 4202560 12237 0 0 0 231 3 0 0 20 0 22 0 29631663 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731729554104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4224] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4224/stat : 4224 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29631663 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731728501752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4225] ppid=4204 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/4207/task/4225/stat : 4225 (java) S 4204 4207 28285 0 -1 4202560 52 0 0 0 17 23 0 0 20 0 22 0 29631663 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731727449416 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4232] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4232/stat : 4232 (java) S 4204 4207 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29631785 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731723236904 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4386] ppid=4204 vsize=9824732 CPUtime=199.43 cores=1,3,5,7
/proc/4207/task/4386/stat : 4386 (java) R 4204 4207 28285 0 -1 4202560 10 0 0 0 19940 3 0 0 20 0 22 0 29700723 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731725339808 140731734913083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4387] ppid=4204 vsize=9824732 CPUtime=199.5 cores=1,3,5,7
/proc/4207/task/4387/stat : 4387 (java) R 4204 4207 28285 0 -1 4202560 27 0 0 0 19947 3 0 0 20 0 22 0 29700723 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731724287008 140731734941787 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4388] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4388/stat : 4388 (java) S 4204 4207 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29700723 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731726394280 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.99
Current children cumulated vsize (KiB) 9824732

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 4207 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+895.101 s]
/proc/loadavg: 4.26 4.20 4.18 5/219 4398
/proc/meminfo: memFree=22443272/32872528 swapFree=1534436/1655032
[pid=4207] ppid=4204 vsize=9824732 CPUtime=1796.99 cores=1,3,5,7
/proc/4207/stat : 4207 (java) S 4204 4207 28285 0 -1 4202496 51277 0 1 0 179406 293 0 0 20 0 22 0 29631658 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140736990206128 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4207/statm: 2456183 1026200 2303 9 0 2446860 0
[pid=4207/tid=4208] ppid=4204 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/4207/task/4208/stat : 4208 (java) S 4204 4207 28285 0 -1 4202560 2448 0 1 0 76 3 0 0 20 0 22 0 29631658 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731910636408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4210] ppid=4204 vsize=9824732 CPUtime=5.42 cores=1,3,5,7
/proc/4207/task/4210/stat : 4210 (java) S 4204 4207 28285 0 -1 4202560 1032 0 0 0 517 25 0 0 20 0 22 0 29631659 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731872127144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4211] ppid=4204 vsize=9824732 CPUtime=5.46 cores=1,3,5,7
/proc/4207/task/4211/stat : 4211 (java) S 4204 4207 28285 0 -1 4202560 1117 0 0 0 524 22 0 0 20 0 22 0 29631659 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731871074600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4212] ppid=4204 vsize=9824732 CPUtime=5.35 cores=1,3,5,7
/proc/4207/task/4212/stat : 4212 (java) S 4204 4207 28285 0 -1 4202560 2687 0 0 0 511 24 0 0 20 0 22 0 29631659 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731870022056 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4213] ppid=4204 vsize=9824732 CPUtime=5.4 cores=1,3,5,7
/proc/4207/task/4213/stat : 4213 (java) S 4204 4207 28285 0 -1 4202560 1567 0 0 0 515 25 0 0 20 0 22 0 29631659 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731868969512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4214] ppid=4204 vsize=9824732 CPUtime=5.42 cores=1,3,5,7
/proc/4207/task/4214/stat : 4214 (java) S 4204 4207 28285 0 -1 4202560 1218 0 0 0 515 27 0 0 20 0 22 0 29631659 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731867916968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4215] ppid=4204 vsize=9824732 CPUtime=5.63 cores=1,3,5,7
/proc/4207/task/4215/stat : 4215 (java) S 4204 4207 28285 0 -1 4202560 2736 0 0 0 535 28 0 0 20 0 22 0 29631659 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731866864424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4216] ppid=4204 vsize=9824732 CPUtime=5.95 cores=1,3,5,7
/proc/4207/task/4216/stat : 4216 (java) S 4204 4207 28285 0 -1 4202560 2517 0 0 0 573 22 0 0 20 0 22 0 29631659 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731865811880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4217] ppid=4204 vsize=9824732 CPUtime=5.66 cores=1,3,5,7
/proc/4207/task/4217/stat : 4217 (java) S 4204 4207 28285 0 -1 4202560 2314 0 0 0 537 29 0 0 20 0 22 0 29631659 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731864759336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4218] ppid=4204 vsize=9824732 CPUtime=7.69 cores=1,3,5,7
/proc/4207/task/4218/stat : 4218 (java) S 4204 4207 28285 0 -1 4202560 2961 0 0 0 760 9 0 0 20 0 22 0 29631660 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731852347496 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4219] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4219/stat : 4219 (java) S 4204 4207 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29631661 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731733763192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4220] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4220/stat : 4220 (java) S 4204 4207 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29631661 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731732710536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4221] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4221/stat : 4221 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29631663 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731731659280 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4222] ppid=4204 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/4207/task/4222/stat : 4222 (java) S 4204 4207 28285 0 -1 4202560 14888 0 0 0 202 3 0 0 20 0 22 0 29631663 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731730606648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4223] ppid=4204 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/4207/task/4223/stat : 4223 (java) S 4204 4207 28285 0 -1 4202560 12237 0 0 0 231 3 0 0 20 0 22 0 29631663 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731729554104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4224] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4224/stat : 4224 (java) S 4204 4207 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29631663 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731728501752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4207/tid=4225] ppid=4204 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/4207/task/4225/stat : 4225 (java) S 4204 4207 28285 0 -1 4202560 52 0 0 0 17 23 0 0 20 0 22 0 29631663 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731727449416 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4232] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4232/stat : 4232 (java) S 4204 4207 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29631785 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731723236904 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4207/tid=4386] ppid=4204 vsize=9824732 CPUtime=199.43 cores=1,3,5,7
/proc/4207/task/4386/stat : 4386 (java) R 4204 4207 28285 0 -1 4202560 10 0 0 0 19940 3 0 0 20 0 22 0 29700723 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731725339808 140731734913083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4207/tid=4387] ppid=4204 vsize=9824732 CPUtime=199.5 cores=1,3,5,7
/proc/4207/task/4387/stat : 4387 (java) R 4204 4207 28285 0 -1 4202560 27 0 0 0 19947 3 0 0 20 0 22 0 29700723 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731724287008 140731734941787 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4207/tid=4388] ppid=4204 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4207/task/4388/stat : 4388 (java) S 4204 4207 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29700723 10060525568 1026200 33554432000 1073741824 1073778376 140736990214992 140731726394280 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.99
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4207 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=48415
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=263503
# CPU time returned by wait4() is 1796.31
# while last known CPU time is 1796.99
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3.05008
#  lost CPU user time (s): 3.22998
#  lost CPU system time (s): -0.18

Real time (s): 895.151
CPU time (s): 1800.04
CPU user time (s): 1797.29
CPU system time (s): 2.75
CPU usage (%): 201.088
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.05
system time used= 3.2635
maximum resident set size= 4131700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51313
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24546
involuntary context switches= 32038

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.86311 second user time and 7.71383 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-18 20:50:32
IDJOB=4106695
IDBENCH=48191
IDSOLVER=2543
FILE ID=node122/4106695-1466275832
RUNJOBID= node122-1466264503-28302
PBS_JOBID= 19918220
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_1.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106695-1466275832/watcher-4106695-1466275832 -o /tmp/evaluation-result-4106695-1466275832/solver-4106695-1466275832 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28302 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4106695-1466275832.opb

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

MD5SUM BENCH= 7980660368cd371c40e33d6668082e41
RANDOM SEED=1633948075

node122.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.769
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.53
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.769
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.769
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.769
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.769
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.53
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.769
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.769
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.769
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26917488 kB
Buffers:          150336 kB
Cached:           223432 kB
SwapCached:            0 kB
Active:          3277472 kB
Inactive:         272372 kB
Active(anon):    3168712 kB
Inactive(anon):     9916 kB
Active(file):     108760 kB
Inactive(file):   262456 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               660 kB
Writeback:             0 kB
AnonPages:       4765424 kB
Mapped:            21180 kB
Shmem:               204 kB
Slab:             610972 kB
SReclaimable:      54728 kB
SUnreclaim:       556244 kB
KernelStack:        1792 kB
PageTables:        13688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5216796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3168256 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= 71740 MiB
End job on node122 at 2016-06-18 21:05:28