Trace number 4104014

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)14336 1800.06 906.623

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-markshare1.opb
MD5SUMe15fa473b46d7e2b0dca2d01a2541ab9
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14336
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20480
Optimality of the best value was proved NO
Number of variables230
Total number of constraints6
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 constraints6
Minimum length of a constraint80
Maximum length of a constraint80
Number of terms in the objective function 180
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 6442450938
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 6442450938
Number of bits of the biggest sum of numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.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.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4104014-1466252409.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.11/0.15	c ... done. Wall clock time 0.043s.
0.11/0.15	c declared #vars     230
0.11/0.15	c #constraints  12
0.11/0.15	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.15	c constraints type 
0.11/0.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.11/0.15	c 12 constraints processed.
0.11/0.15	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.15	c constraints type 
0.11/0.15	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12
0.11/0.15	c 12 constraints processed.
0.11/0.15	c objective function length is 180 literals
2.74/0.81	c cleaning 2494 clauses out of 5001 with flag 10466/5001
2.74/0.87	c And the winner is solver0
3.27/1.15	c SATISFIABLE
3.27/1.15	c OPTIMIZING...
3.27/1.15	c Got one! Elapsed wall clock time (in seconds):1.048
3.27/1.15	o 261120
4.26/1.63	c cleaning 4184 clauses out of 8382 with flag 10480/10876
5.49/2.25	c cleaning 5090 clauses out of 10195 with flag 22929/16873
5.88/2.49	c And the winner is solver0
6.13/2.67	c Got one! Elapsed wall clock time (in seconds):2.564
6.13/2.67	o 260096
6.42/2.86	c And the winner is solver0
6.55/3.17	c Got one! Elapsed wall clock time (in seconds):3.066
6.55/3.17	o 233472
6.60/3.21	c And the winner is solver0
6.65/3.67	c Got one! Elapsed wall clock time (in seconds):3.568
6.65/3.67	o 175104
6.69/3.78	c cleaning 5791 clauses out of 11582 with flag 2185/23350
6.69/3.79	c And the winner is solver0
6.92/4.18	c Got one! Elapsed wall clock time (in seconds):4.071
6.92/4.18	o 144384
7.16/4.32	c And the winner is solver0
7.20/4.68	c Got one! Elapsed wall clock time (in seconds):4.574
7.20/4.68	o 141312
7.23/4.73	c And the winner is solver0
7.31/5.18	c Got one! Elapsed wall clock time (in seconds):5.076
7.31/5.18	o 113664
7.99/5.56	c cleaning 6173 clauses out of 12346 with flag 9867/29905
8.37/5.76	c And the winner is solver0
8.52/6.18	c Got one! Elapsed wall clock time (in seconds):6.078
8.52/6.18	o 106496
8.98/6.48	c cleaning 5646 clauses out of 11298 with flag 4549/35030
9.98/6.94	c cleaning 5827 clauses out of 11653 with flag 21167/41031
9.98/6.96	c And the winner is solver0
10.12/7.19	c Got one! Elapsed wall clock time (in seconds):7.081
10.12/7.19	o 93184
10.95/7.65	c cleaning 5542 clauses out of 11088 with flag 11071/46293
11.17/7.77	c And the winner is solver0
11.41/8.19	c Got one! Elapsed wall clock time (in seconds):8.084
11.41/8.19	o 81920
12.02/8.57	c cleaning 5597 clauses out of 11214 with flag 9398/51961
13.02/9.05	c cleaning 5801 clauses out of 11616 with flag 27948/57960
14.21/9.63	c cleaning 6408 clauses out of 12815 with flag 51115/64960
15.61/10.36	c cleaning 7202 clauses out of 14404 with flag 69379/72957
17.44/11.25	c cleaning 8102 clauses out of 16203 with flag 89414/81958
19.45/12.22	c cleaning 9046 clauses out of 18101 with flag 112092/91958
21.44/13.28	c And the winner is solver0
21.82/13.69	c Got one! Elapsed wall clock time (in seconds):13.587
21.82/13.69	o 74752
23.43/14.55	c cleaning 12289 clauses out of 24579 with flag 12606/107482
24.83/15.22	c cleaning 9142 clauses out of 18291 with flag 26154/113483
26.23/15.92	c cleaning 8070 clauses out of 16148 with flag 42222/120482
27.65/16.64	c cleaning 8036 clauses out of 16078 with flag 60879/128482
29.23/17.48	c cleaning 8522 clauses out of 17046 with flag 81220/137486
30.83/18.22	c And the winner is solver0
31.35/18.80	c Got one! Elapsed wall clock time (in seconds):18.691
31.35/18.80	o 64512
32.61/19.49	c cleaning 10833 clauses out of 21667 with flag 11131/150629
34.01/20.13	c cleaning 8420 clauses out of 16840 with flag 24007/156635
34.61/20.49	c And the winner is solver0
34.97/20.80	c Got one! Elapsed wall clock time (in seconds):20.694
34.97/20.80	o 45056
35.18/20.94	c cleaning 6876 clauses out of 13770 with flag 2137/161985
36.15/21.40	c cleaning 6436 clauses out of 12893 with flag 16752/167984
37.42/22.01	c cleaning 6728 clauses out of 13458 with flag 32280/174985
38.60/22.66	c cleaning 7365 clauses out of 14732 with flag 49620/182987
40.20/23.42	c cleaning 8180 clauses out of 16364 with flag 68784/191984
42.02/24.34	c cleaning 9090 clauses out of 18185 with flag 90026/201985
44.21/25.44	c cleaning 10049 clauses out of 20099 with flag 113598/212989
46.61/26.64	c And the winner is solver0
46.72/26.80	c Got one! Elapsed wall clock time (in seconds):26.698
46.72/26.80	o 36864
48.50/27.77	c cleaning 13270 clauses out of 26544 with flag 10973/229483
49.96/28.47	c cleaning 9633 clauses out of 19274 with flag 23556/235483
51.36/29.12	c cleaning 8320 clauses out of 16641 with flag 38453/242483
52.57/29.79	c cleaning 8158 clauses out of 16322 with flag 55348/250484
54.16/30.54	c cleaning 8581 clauses out of 17163 with flag 74164/259483
55.96/31.41	c cleaning 9291 clauses out of 18584 with flag 95534/269485
58.17/32.58	c cleaning 10146 clauses out of 20293 with flag 118535/280485
60.57/33.78	c cleaning 11073 clauses out of 22145 with flag 143788/292483
63.78/35.32	c cleaning 12036 clauses out of 24072 with flag 171037/305483
67.17/37.03	c cleaning 13014 clauses out of 26039 with flag 200449/319486
71.17/39.04	c cleaning 14011 clauses out of 28024 with flag 232432/334485
75.98/41.46	c cleaning 15004 clauses out of 30011 with flag 266671/350483
81.39/44.17	c cleaning 16002 clauses out of 32008 with flag 302839/367484
86.98/46.92	c cleaning 17003 clauses out of 34006 with flag 340752/385484
93.03/49.94	c cleaning 18000 clauses out of 36002 with flag 380877/404483
99.63/53.20	c cleaning 19000 clauses out of 38003 with flag 422355/424484
106.63/56.78	c cleaning 20003 clauses out of 40005 with flag 466101/445486
114.44/60.61	c cleaning 20999 clauses out of 41999 with flag 513024/467483
122.63/64.76	c cleaning 21997 clauses out of 44002 with flag 562172/490485
131.43/69.19	c cleaning 23000 clauses out of 46006 with flag 613124/514486
142.84/74.90	c cleaning 23999 clauses out of 48004 with flag 664029/539484
154.63/80.78	c cleaning 24998 clauses out of 50004 with flag 716780/565483
167.04/86.98	c cleaning 26001 clauses out of 52008 with flag 772152/592485
180.44/93.61	c cleaning 27002 clauses out of 54005 with flag 829879/620483
193.64/100.26	c cleaning 28001 clauses out of 56003 with flag 889909/649483
209.04/107.91	c cleaning 28998 clauses out of 58003 with flag 952259/679484
224.89/115.87	c cleaning 30000 clauses out of 60004 with flag 1016344/710483
241.49/124.14	c cleaning 30994 clauses out of 62006 with flag 1082596/742485
259.50/133.15	c cleaning 31994 clauses out of 64011 with flag 1150822/775484
277.10/141.90	c cleaning 33008 clauses out of 66019 with flag 1224669/809486
295.89/151.30	c cleaning 33998 clauses out of 68009 with flag 1297652/844484
313.68/160.30	c cleaning 35006 clauses out of 70011 with flag 1372524/880484
332.38/169.56	c cleaning 35996 clauses out of 72004 with flag 1449628/917483
354.18/180.41	c cleaning 36999 clauses out of 74008 with flag 1528315/955483
375.77/191.22	c cleaning 38006 clauses out of 76011 with flag 1613586/994485
398.19/202.47	c cleaning 39002 clauses out of 78004 with flag 1698255/1034484
424.65/215.66	c cleaning 39998 clauses out of 80001 with flag 1784286/1075483
455.72/231.13	c cleaning 40998 clauses out of 82003 with flag 1873767/1117483
482.90/244.77	c cleaning 42003 clauses out of 84009 with flag 1966311/1160487
512.09/259.33	c cleaning 42998 clauses out of 86003 with flag 2058846/1204484
539.91/273.22	c cleaning 43997 clauses out of 88004 with flag 2153373/1249483
574.73/290.61	c cleaning 45000 clauses out of 90007 with flag 2247527/1295483
612.52/309.53	c cleaning 46002 clauses out of 92009 with flag 2343551/1342485
647.37/326.93	c cleaning 46998 clauses out of 94008 with flag 2449341/1390486
682.57/344.52	c cleaning 47998 clauses out of 96007 with flag 2557231/1439483
717.80/362.13	c cleaning 49002 clauses out of 98011 with flag 2661775/1489485
762.23/384.31	c cleaning 50003 clauses out of 100007 with flag 2767711/1540483
805.24/405.80	c cleaning 50998 clauses out of 102005 with flag 2880545/1592484
846.68/426.57	c cleaning 51994 clauses out of 104006 with flag 2993117/1645483
889.56/447.99	c cleaning 52998 clauses out of 106012 with flag 3106200/1699483
940.06/473.26	c cleaning 54005 clauses out of 108016 with flag 3221299/1754485
992.87/499.63	c cleaning 55000 clauses out of 110011 with flag 3340873/1810485
1045.29/525.81	c cleaning 56001 clauses out of 112009 with flag 3464566/1867483
1095.88/551.15	c cleaning 57000 clauses out of 114008 with flag 3588404/1925483
1148.08/577.20	c cleaning 58006 clauses out of 116012 with flag 3717096/1984487
1205.50/605.91	c cleaning 58992 clauses out of 118002 with flag 3847168/2044483
1263.51/634.93	c cleaning 60001 clauses out of 120015 with flag 3981789/2105488
1325.32/665.84	c cleaning 61003 clauses out of 122009 with flag 4114151/2167483
1343.12/674.76	c And the winner is solver0
1343.62/675.35	c Got one! Elapsed wall clock time (in seconds):675.245
1343.62/675.35	o 20480
1350.46/678.82	c cleaning 45617 clauses out of 91255 with flag 10350/2197732
1353.64/680.44	c cleaning 25806 clauses out of 51636 with flag 22815/2203730
1355.84/681.59	c cleaning 16403 clauses out of 32831 with flag 37401/2210731
1358.04/682.62	c cleaning 12208 clauses out of 24431 with flag 53948/2218734
1360.04/683.61	c cleaning 10593 clauses out of 21220 with flag 72402/2227731
1362.04/684.66	c cleaning 10302 clauses out of 20628 with flag 93177/2237732
1364.65/685.91	c cleaning 10663 clauses out of 21325 with flag 115788/2248731
1367.45/687.31	c cleaning 11330 clauses out of 22662 with flag 140540/2260731
1369.05/688.17	c And the winner is solver0
1374.99/694.07	c Got one! Elapsed wall clock time (in seconds):693.961
1374.99/694.07	o 14336
1376.76/694.98	c cleaning 12502 clauses out of 25006 with flag 10504/2274405
1378.35/695.70	c cleaning 9237 clauses out of 18503 with flag 23144/2280404
1379.57/696.38	c cleaning 8126 clauses out of 16265 with flag 37958/2287403
1380.96/697.10	c cleaning 8054 clauses out of 16142 with flag 54505/2295406
1382.96/698.03	c cleaning 8541 clauses out of 17084 with flag 73031/2304402
1384.76/698.98	c cleaning 9262 clauses out of 18543 with flag 93863/2314402
1386.96/700.10	c cleaning 10139 clauses out of 20282 with flag 116613/2325403
1389.56/701.37	c cleaning 11072 clauses out of 22143 with flag 141318/2337403
1392.38/702.80	c cleaning 12032 clauses out of 24071 with flag 168181/2350403
1395.77/704.45	c cleaning 13016 clauses out of 26038 with flag 197088/2364402
1399.39/706.26	c cleaning 14011 clauses out of 28022 with flag 227900/2379402
1403.78/708.47	c cleaning 15004 clauses out of 30012 with flag 260927/2395403
1408.18/710.68	c cleaning 15997 clauses out of 32008 with flag 296061/2412403
1413.37/713.24	c cleaning 17003 clauses out of 34012 with flag 332841/2430404
1419.40/716.23	c cleaning 18002 clauses out of 36007 with flag 371862/2449402
1425.58/719.40	c cleaning 19000 clauses out of 38008 with flag 413332/2469405
1433.18/723.14	c cleaning 20003 clauses out of 40007 with flag 456314/2490404
1440.57/726.88	c cleaning 20998 clauses out of 42003 with flag 501616/2512403
1448.97/731.08	c cleaning 21995 clauses out of 44004 with flag 548699/2535402
1457.76/735.47	c cleaning 23000 clauses out of 46012 with flag 597792/2559405
1466.96/740.01	c cleaning 23997 clauses out of 48009 with flag 649190/2584402
1477.56/745.33	c cleaning 24996 clauses out of 50012 with flag 701958/2610402
1489.16/751.14	c cleaning 26004 clauses out of 52016 with flag 756676/2637402
1501.96/757.52	c cleaning 27006 clauses out of 54013 with flag 813728/2665403
1515.16/764.17	c cleaning 28003 clauses out of 56007 with flag 873185/2694403
1529.57/771.35	c cleaning 29003 clauses out of 58008 with flag 934073/2724407
1544.58/778.82	c cleaning 29991 clauses out of 60001 with flag 996970/2755403
1560.76/786.96	c cleaning 31002 clauses out of 62010 with flag 1061989/2787403
1577.57/795.40	c cleaning 32001 clauses out of 64008 with flag 1129623/2820403
1595.17/804.18	c cleaning 32998 clauses out of 66006 with flag 1199509/2854402
1613.96/813.54	c cleaning 34005 clauses out of 68010 with flag 1271314/2889404
1633.76/823.47	c cleaning 34994 clauses out of 70003 with flag 1345509/2925402
1654.98/834.04	c cleaning 36004 clauses out of 72013 with flag 1421244/2962406
1676.22/844.68	c cleaning 37000 clauses out of 74009 with flag 1498801/3000406
1697.45/855.21	c cleaning 37999 clauses out of 76005 with flag 1578548/3039402
1721.25/867.17	c cleaning 39004 clauses out of 78007 with flag 1660437/3079403
1745.44/879.23	c cleaning 39997 clauses out of 80002 with flag 1744627/3120402
1772.26/892.62	c cleaning 40994 clauses out of 82005 with flag 1830344/3162402
1798.65/905.89	c cleaning 42003 clauses out of 84013 with flag 1919407/3205404
1800.06/906.52	c >>>>>>>>>> Solver number 0 (16 answers) <<<<<<<<<<<<<<<<<<
1800.06/906.52	c starts		: 128
1800.06/906.56	c conflicts		: 3208599
1800.06/906.56	c decisions		: 3337609
1800.06/906.56	c propagations		: 27043994
1800.06/906.56	c inspects		: 18457247265
1800.06/906.56	c shortcuts		: 0
1800.06/906.56	c learnt literals	: 0
1800.06/906.56	c learnt binary clauses	: 0
1800.06/906.56	c learnt ternary clauses	: 0
1800.06/906.56	c learnt constraints	: 3208599
1800.06/906.56	c ignored constraints	: 0
1800.06/906.56	c root simplifications	: 0
1800.06/906.56	c removed literals (reason simplification)	: 24174534
1800.06/906.56	c reason swapping (by a shorter reason)	: 0
1800.06/906.56	c Calls to reduceDB	: 133
1800.06/906.56	c Number of update (reduction) of LBD	: 231845
1800.06/906.56	c Imported unit clauses	: 0
1800.06/906.56	c number of reductions to clauses (during analyze)	: 0
1800.06/906.56	c number of learned constraints concerned by reduction	: 0
1800.06/906.56	c number of learning phase by resolution	: 0
1800.06/906.56	c number of learning phase by cutting planes	: 0
1800.06/906.56	c speed (assignments/second)	: 29836.710061782876
1800.06/906.56	c non guided choices	408
1800.06/906.58	c learnt constraints type 
1800.06/906.58	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 45205
1800.06/906.58	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.06/906.58	c starts		: 17
1800.06/906.58	c conflicts		: 555
1800.06/906.58	c decisions		: 12909
1800.06/906.58	c propagations		: 35285
1800.06/906.58	c inspects		: 3961535
1800.06/906.58	c shortcuts		: 0
1800.06/906.58	c learnt literals	: 0
1800.06/906.58	c learnt binary clauses	: 0
1800.06/906.58	c learnt ternary clauses	: 0
1800.06/906.58	c learnt constraints	: 546
1800.06/906.58	c ignored constraints	: 0
1800.06/906.58	c root simplifications	: 0
1800.06/906.58	c removed literals (reason simplification)	: 0
1800.06/906.58	c reason swapping (by a shorter reason)	: 0
1800.06/906.58	c Calls to reduceDB	: 0
1800.06/906.58	c Number of update (reduction) of LBD	: 0
1800.06/906.58	c Imported unit clauses	: 0
1800.06/906.58	c number of reductions to clauses (during analyze)	: 0
1800.06/906.58	c number of learned constraints concerned by reduction	: 0
1800.06/906.58	c number of learning phase by resolution	: 0
1800.06/906.58	c number of learning phase by cutting planes	: 0
1800.06/906.58	c speed (assignments/second)	: 166.0736306044261
1800.06/906.58	c non guided choices	399
1800.06/906.58	c learnt constraints type 
1800.06/906.58	c org.sat4j.pb.constraints.pb.MaxWatchPb => 546
1800.06/906.58	s SATISFIABLE
1800.06/906.58	c Found 16 solution(s)
1800.06/906.58	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 
1800.06/906.58	c objective function=14336
1800.06/906.58	c Total wall clock time (in seconds): 906.472

Verifier Data 

OK	14336

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-4104014-1466252409/watcher-4104014-1466252409 -o /tmp/evaluation-result-4104014-1466252409/solver-4104014-1466252409 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466241279-6374 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4104014-1466252409.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.93 4.13 4.12 4/198 10074
/proc/meminfo: memFree=27878676/32872528 swapFree=681964/737152
[pid=10074] ppid=10071 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 6358 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 27290173 98570240 977 33554432000 1073741824 1073778376 140736331700480 140736331691616 213869690941 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10074/statm: 24065 977 743 9 0 16771 0
[pid=10074/tid=10075] ppid=10071 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10075/stat : 10075 (java) R 10071 10074 6358 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 27290173 98570240 978 33554432000 1073741824 1073778376 140736331700480 139770348650024 213866333568 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 3.93 4.13 4.12 4/198 10074
/proc/meminfo: memFree=27878676/32872528 swapFree=681964/737152
[pid=10074] ppid=10071 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 6358 0 -1 4202496 4499 0 1 0 10 1 0 0 20 0 18 0 27290173 9787879424 6132 33554432000 1073741824 1073778376 140736331700480 140736331691616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10074/statm: 2389619 6132 2156 9 0 2380296 0
[pid=10074/tid=10075] ppid=10071 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/10074/task/10075/stat : 10075 (java) R 10071 10074 6358 0 -1 4202560 2391 0 1 0 6 1 0 0 20 0 18 0 27290173 9787879424 6132 33554432000 1073741824 1073778376 140736331700480 139770348653256 213869716749 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200272 s]
/proc/loadavg: 3.93 4.13 4.12 4/198 10074
/proc/meminfo: memFree=27878676/32872528 swapFree=681964/737152
[pid=10074] ppid=10071 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 6358 0 -1 4202496 6664 0 1 0 33 1 0 0 20 0 22 0 27290173 10060525568 9050 33554432000 1073741824 1073778376 140736331700480 140736331691616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10074/statm: 2456183 9050 2214 9 0 2446860 0
[pid=10074/tid=10075] ppid=10071 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/10074/task/10075/stat : 10075 (java) S 10071 10074 6358 0 -1 4202560 2424 0 1 0 12 1 0 0 20 0 22 0 27290173 10060525568 9050 33554432000 1073741824 1073778376 140736331700480 139770348655480 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 9824732

[startup+0.300271 s]
/proc/loadavg: 3.93 4.13 4.12 4/198 10074
/proc/meminfo: memFree=27878676/32872528 swapFree=681964/737152
[pid=10074] ppid=10071 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 6358 0 -1 4202496 7990 0 1 0 73 2 0 0 20 0 22 0 27290173 10060525568 10176 33554432000 1073741824 1073778376 140736331700480 140736331691616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10074/statm: 2456183 10176 2236 9 0 2446860 0
[pid=10074/tid=10075] ppid=10071 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/10074/task/10075/stat : 10075 (java) S 10071 10074 6358 0 -1 4202560 2424 0 1 0 12 1 0 0 20 0 22 0 27290173 10060525568 10176 33554432000 1073741824 1073778376 140736331700480 139770348655480 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 9824732

[startup+0.70023 s]
/proc/loadavg: 3.93 4.13 4.12 4/198 10074
/proc/meminfo: memFree=27878676/32872528 swapFree=681964/737152
[pid=10074] ppid=10071 vsize=9824732 CPUtime=2.34 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 6358 0 -1 4202496 15087 0 1 0 230 4 0 0 20 0 22 0 27290173 10060525568 35934 33554432000 1073741824 1073778376 140736331700480 140736331691616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10074/statm: 2456183 35934 2260 9 0 2446860 0
[pid=10074/tid=10075] ppid=10071 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/10074/task/10075/stat : 10075 (java) S 10071 10074 6358 0 -1 4202560 2424 0 1 0 12 1 0 0 20 0 22 0 27290173 10060525568 35934 33554432000 1073741824 1073778376 140736331700480 139770348655480 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9824732

[startup+1.50074 s]
/proc/loadavg: 3.93 4.13 4.12 3/217 10096
/proc/meminfo: memFree=27690088/32872528 swapFree=681964/737152
[pid=10074] ppid=10071 vsize=9824732 CPUtime=4.05 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 6358 0 -1 4202496 22352 0 1 0 396 9 0 0 20 0 22 0 27290173 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 140736331691616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10074/statm: 2456183 52125 2284 9 0 2446860 0
[pid=10074/tid=10075] ppid=10071 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/10074/task/10075/stat : 10075 (java) S 10071 10074 6358 0 -1 4202560 2424 0 1 0 12 1 0 0 20 0 22 0 27290173 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139770348655480 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10077] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10077/stat : 10077 (java) S 10071 10074 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27290174 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139770321107752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10078] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10078/stat : 10078 (java) S 10071 10074 6358 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 27290174 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139770320054952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10079] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10079/stat : 10079 (java) S 10071 10074 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27290174 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139770319002664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10080] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10080/stat : 10080 (java) S 10071 10074 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27290174 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139770317949864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10081] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10081/stat : 10081 (java) S 10071 10074 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27290174 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139770316896552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10082] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10082/stat : 10082 (java) S 10071 10074 6358 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 27290174 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139770186999976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10083] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10083/stat : 10083 (java) S 10071 10074 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27290174 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139770185947688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10084] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10084/stat : 10084 (java) S 10071 10074 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27290174 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139770184894888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10085] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10085/stat : 10085 (java) S 10071 10074 6358 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 27290175 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139769701948136 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10086] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10086/stat : 10086 (java) S 10071 10074 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27290175 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139769700894200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10087] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10087/stat : 10087 (java) S 10071 10074 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27290175 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139769699841800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10088] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10088/stat : 10088 (java) S 10071 10074 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27290177 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139769698790288 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10089] ppid=10071 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/10074/task/10089/stat : 10089 (java) S 10071 10074 6358 0 -1 4202560 11357 0 0 0 78 2 0 0 20 0 22 0 27290177 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139769697736888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10090] ppid=10071 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/10074/task/10090/stat : 10090 (java) S 10071 10074 6358 0 -1 4202560 7022 0 0 0 95 2 0 0 20 0 22 0 27290177 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139769696684088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10091] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10091/stat : 10091 (java) S 10071 10074 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27290177 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139769695631992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10092] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10092/stat : 10092 (java) S 10071 10074 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27290177 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139769694579400 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10095] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10095/stat : 10095 (java) S 10071 10074 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27290189 10060525568 52125 33554432000 1073741824 1073778376 140736331700480 139769691420328 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 9824732

[startup+3.10068 s]
/proc/loadavg: 3.93 4.13 4.12 6/220 10099
/proc/meminfo: memFree=27673316/32872528 swapFree=681964/737152
[pid=10074] ppid=10071 vsize=9824732 CPUtime=6.55 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 6358 0 -1 4202496 22398 0 1 0 639 16 0 0 20 0 19 0 27290173 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 140736331691616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10074/statm: 2456183 57240 2284 9 0 2446860 0
[pid=10074/tid=10075] ppid=10071 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/10074/task/10075/stat : 10075 (java) S 10071 10074 6358 0 -1 4202560 2425 0 1 0 13 1 0 0 20 0 19 0 27290173 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139770348655480 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10077] ppid=10071 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10074/task/10077/stat : 10077 (java) S 10071 10074 6358 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 27290174 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139770321107752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10078] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10078/stat : 10078 (java) S 10071 10074 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27290174 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139770320054952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10079] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10079/stat : 10079 (java) S 10071 10074 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27290174 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139770319002664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10080] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10080/stat : 10080 (java) S 10071 10074 6358 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27290174 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139770317949864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10081] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10081/stat : 10081 (java) S 10071 10074 6358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27290174 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139770316896552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10082] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10082/stat : 10082 (java) S 10071 10074 6358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27290174 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139770186999976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10083] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10083/stat : 10083 (java) S 10071 10074 6358 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 27290174 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139770185947688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10084] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10084/stat : 10084 (java) S 10071 10074 6358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27290174 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139770184894888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10085] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10085/stat : 10085 (java) S 10071 10074 6358 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 27290175 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139769701948136 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10086] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10086/stat : 10086 (java) S 10071 10074 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27290175 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139769700894200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10087] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10087/stat : 10087 (java) S 10071 10074 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27290175 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139769699841800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10088] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10088/stat : 10088 (java) S 10071 10074 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27290177 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139769698790288 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10089] ppid=10071 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/10074/task/10089/stat : 10089 (java) S 10071 10074 6358 0 -1 4202560 11357 0 0 0 83 2 0 0 20 0 19 0 27290177 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139769697736888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10090] ppid=10071 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/10074/task/10090/stat : 10090 (java) S 10071 10074 6358 0 -1 4202560 7022 0 0 0 97 2 0 0 20 0 19 0 27290177 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139769696684088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10091] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10091/stat : 10091 (java) S 10071 10074 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27290177 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139769695631992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10092] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10092/stat : 10092 (java) S 10071 10074 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27290177 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139769694579400 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10095] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10095/stat : 10095 (java) S 10071 10074 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27290189 10060525568 57240 33554432000 1073741824 1073778376 140736331700480 139769691420328 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 9824732

[startup+6.30088 s]
/proc/loadavg: 4.01 4.15 4.12 5/220 10117
/proc/meminfo: memFree=27548596/32872528 swapFree=681964/737152
[pid=10074] ppid=10071 vsize=9824732 CPUtime=8.78 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 6358 0 -1 4202496 23070 0 1 0 848 30 0 0 20 0 22 0 27290173 10060525568 89254 33554432000 1073741824 1073778376 140736331700480 140736331691616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10074/statm: 2456183 89254 2285 9 0 2446860 0
[pid=10074/tid=10075] ppid=10071 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/10074/task/10075/stat : 10075 (java) S 10071 10074 6358 0 -1 4202560 2427 0 1 0 14 1 0 0 20 0 22 0 27290173 10060525568 89254 33554432000 1073741824 1073778376 140736331700480 139770348655480 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10077] ppid=10071 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10074/task/10077/stat : 10077 (java) S 10071 10074 6358 0 -1 4202560 132 0 0 0 2 0 0 0 20 0 22 0 27290174 10060525568 89254 33554432000 1073741824 1073778376 140736331700480 139770321107752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10078] ppid=10071 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10074/task/10078/stat : 10078 (java) S 10071 10074 6358 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 22 0 27290174 10060525568 89254 33554432000 1073741824 1073778376 140736331700480 139770320054952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10079] ppid=10071 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10074/task/10079/stat : 10079 (java) S 10071 10074 6358 0 -1 4202560 93 0 0 0 1 0 0 0 20 0 22 0 27290174 10060525568 89254 33554432000 1073741824 1073778376 140736331700480 139770319002664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10080] ppid=10071 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10074/task/10080/stat : 10080 (java) S 10071 10074 6358 0 -1 4202560 30 0 0 0 0 2 0 0 20 0 22 0 27290174 10060525568 89254 33554432000 1073741824 1073778376 140736331700480 139770317949864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10081] ppid=10071 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10074/task/10081/stat : 10081 (java) S 10071 10074 6358 0 -1 4202560 118 0 0 0 1 1 0 0 20 0 22 0 27290174 10060525568 89254 33554432000 1073741824 1073778376 140736331700480 139770316896552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10082] ppid=10071 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10074/task/10082/stat : 10082 (java) S 10071 10074 6358 0 -1 4202560 90 0 0 0 2 0 0 0 20 0 22 0 27290174 10060525568 89254 33554432000 1073741824 1073778376 140736331700480 139770186999976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10083] ppid=10071 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10074/task/10083/stat : 10083 (java) S 10071 10074 6358 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 27290174 10060525568 89254 33554432000 1073741824 1073778376 140736331700480 139770185947688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10084] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10084/stat : 10084 (java) S 10071 10074 6358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 27290174 10060525568 89254 33554432000 1073741824 1073778376 140736331700480 139770184894888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10085] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10085/stat : 10085 (java) S 10071 10074 6358 0 -1 4202560 201 0 0 0 0 0 0 0 20 0 22 0 27290175 10060525568 89254 33554432000 1073741824 1073778376 140736331700480 139769701948136 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10086] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10086/stat : 10086 (java) S 10071 10074 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27290175 10060525568 89254 33554432000 1073741824 1073778376 140736331700480 139769700894200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10087] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10087/stat : 10087 (java) S 10071 10074 6358 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 27290175 10060525568 89254 33554432000 1073741824 1073778376 140736331700480 139769699841800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10088] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10088/stat : 10088 (java) S 10071 10074 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27290177 10060525568 89254 33554432000 1073741824 1073778376 140736331700480 139769698790288 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10089] ppid=10071 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/10074/task/10089/stat : 10089 (java) S 10071 10074 6358 0 -1 4202560 11358 0 0 0 84 2 0 0 20 0 22 0 27290177 10060525568 89254 33554432000 1073741824 1073778376 140736331700480 139769697736888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10090] ppid=10071 vsize=9824732 CPUtime=1.03 cores=0,2,4,6

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

# Adding the difference (0.219971 s) to the 'lost time'.

[startup+906.508 s]
/proc/loadavg: 4.29 4.23 4.14 5/219 10420
/proc/meminfo: memFree=27003584/32872528 swapFree=681964/737152
[pid=10074] ppid=10071 vsize=9824732 CPUtime=1797.19 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 6358 0 -1 4202496 26623 0 1 0 179582 137 0 0 20 0 22 0 27290173 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 140736331691616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10074/statm: 2456183 215866 2293 9 0 2446860 0
[pid=10074/tid=10075] ppid=10071 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/10074/task/10075/stat : 10075 (java) S 10071 10074 6358 0 -1 4202560 2429 0 1 0 19 3 0 0 20 0 22 0 27290173 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139770348655480 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10077] ppid=10071 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/10074/task/10077/stat : 10077 (java) S 10071 10074 6358 0 -1 4202560 388 0 0 0 37 10 0 0 20 0 22 0 27290174 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139770321107752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10078] ppid=10071 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/10074/task/10078/stat : 10078 (java) S 10071 10074 6358 0 -1 4202560 129 0 0 0 24 5 0 0 20 0 22 0 27290174 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139770320054952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10079] ppid=10071 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/10074/task/10079/stat : 10079 (java) S 10071 10074 6358 0 -1 4202560 248 0 0 0 34 6 0 0 20 0 22 0 27290174 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139770319002664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10080] ppid=10071 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/10074/task/10080/stat : 10080 (java) S 10071 10074 6358 0 -1 4202560 226 0 0 0 32 7 0 0 20 0 22 0 27290174 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139770317949864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10081] ppid=10071 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/10074/task/10081/stat : 10081 (java) S 10071 10074 6358 0 -1 4202560 275 0 0 0 26 7 0 0 20 0 22 0 27290174 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139770316896552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10082] ppid=10071 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/10074/task/10082/stat : 10082 (java) S 10071 10074 6358 0 -1 4202560 285 0 0 0 32 7 0 0 20 0 22 0 27290174 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139770186999976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10083] ppid=10071 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/10074/task/10083/stat : 10083 (java) S 10071 10074 6358 0 -1 4202560 187 0 0 0 29 5 0 0 20 0 22 0 27290174 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139770185947688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10084] ppid=10071 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/10074/task/10084/stat : 10084 (java) S 10071 10074 6358 0 -1 4202560 144 0 0 0 32 5 0 0 20 0 22 0 27290174 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139770184894888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10085] ppid=10071 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/10074/task/10085/stat : 10085 (java) S 10071 10074 6358 0 -1 4202560 587 0 0 0 16 6 0 0 20 0 22 0 27290175 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139769701948136 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10086] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10086/stat : 10086 (java) S 10071 10074 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27290175 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139769700894200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10087] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10087/stat : 10087 (java) S 10071 10074 6358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 27290175 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139769699841800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10088] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10088/stat : 10088 (java) S 10071 10074 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27290177 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139769698790288 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10089] ppid=10071 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/10074/task/10089/stat : 10089 (java) S 10071 10074 6358 0 -1 4202560 12488 0 0 0 101 2 0 0 20 0 22 0 27290177 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139769697736888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10090] ppid=10071 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/10074/task/10090/stat : 10090 (java) S 10071 10074 6358 0 -1 4202560 7035 0 0 0 103 2 0 0 20 0 22 0 27290177 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139769696684088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10091] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10091/stat : 10091 (java) S 10071 10074 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27290177 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139769695631992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10092] ppid=10071 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/10074/task/10092/stat : 10092 (java) S 10071 10074 6358 0 -1 4202560 53 0 0 0 13 14 0 0 20 0 22 0 27290177 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139769694579400 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10095] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10095/stat : 10095 (java) S 10071 10074 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27290189 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139769691420328 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10412] ppid=10071 vsize=9824732 CPUtime=211.7 cores=0,2,4,6
/proc/10074/task/10412/stat : 10412 (java) R 10071 10074 6358 0 -1 4202560 4 0 0 0 21167 3 0 0 20 0 22 0 27359581 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139769693515920 139770198505312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10413] ppid=10071 vsize=9824732 CPUtime=211.62 cores=0,2,4,6
/proc/10074/task/10413/stat : 10413 (java) R 10071 10074 6358 0 -1 4202560 12 0 0 0 21159 3 0 0 20 0 22 0 27359581 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139769692470768 139770198561587 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10414] ppid=10071 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10414/stat : 10414 (java) S 10071 10074 6358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27359584 10060525568 215866 33554432000 1073741824 1073778376 140736331700480 139769690367528 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 9824732

[startup+906.605 s]
/proc/loadavg: 4.29 4.23 4.14 5/219 10420
/proc/meminfo: memFree=27003584/32872528 swapFree=681964/737152
[pid=10074] ppid=10071 vsize=9957860 CPUtime=1796.97 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 6358 0 -1 4202496 26668 0 1 0 179546 151 0 0 20 0 18 0 27290173 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 140736331691616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10074/statm: 2489465 215893 2299 9 0 2480142 0
[pid=10074/tid=10075] ppid=10071 vsize=9957860 CPUtime=0.22 cores=0,2,4,6
/proc/10074/task/10075/stat : 10075 (java) S 10071 10074 6358 0 -1 4202560 2429 0 1 0 19 3 0 0 20 0 18 0 27290173 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770348655480 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10077] ppid=10071 vsize=9957860 CPUtime=0.47 cores=0,2,4,6
/proc/10074/task/10077/stat : 10077 (java) S 10071 10074 6358 0 -1 4202560 388 0 0 0 37 10 0 0 20 0 18 0 27290174 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770321107752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10078] ppid=10071 vsize=9957860 CPUtime=0.29 cores=0,2,4,6
/proc/10074/task/10078/stat : 10078 (java) S 10071 10074 6358 0 -1 4202560 129 0 0 0 24 5 0 0 20 0 18 0 27290174 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770320054952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10079] ppid=10071 vsize=9957860 CPUtime=0.4 cores=0,2,4,6
/proc/10074/task/10079/stat : 10079 (java) S 10071 10074 6358 0 -1 4202560 248 0 0 0 34 6 0 0 20 0 18 0 27290174 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770319002664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10080] ppid=10071 vsize=9957860 CPUtime=0.39 cores=0,2,4,6
/proc/10074/task/10080/stat : 10080 (java) S 10071 10074 6358 0 -1 4202560 226 0 0 0 32 7 0 0 20 0 18 0 27290174 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770317949864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10081] ppid=10071 vsize=9957860 CPUtime=0.33 cores=0,2,4,6
/proc/10074/task/10081/stat : 10081 (java) S 10071 10074 6358 0 -1 4202560 275 0 0 0 26 7 0 0 20 0 18 0 27290174 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770316896552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10082] ppid=10071 vsize=9957860 CPUtime=0.39 cores=0,2,4,6
/proc/10074/task/10082/stat : 10082 (java) S 10071 10074 6358 0 -1 4202560 285 0 0 0 32 7 0 0 20 0 18 0 27290174 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770186999976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10083] ppid=10071 vsize=9957860 CPUtime=0.34 cores=0,2,4,6
/proc/10074/task/10083/stat : 10083 (java) S 10071 10074 6358 0 -1 4202560 187 0 0 0 29 5 0 0 20 0 18 0 27290174 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770185947688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10084] ppid=10071 vsize=9957860 CPUtime=0.37 cores=0,2,4,6
/proc/10074/task/10084/stat : 10084 (java) S 10071 10074 6358 0 -1 4202560 144 0 0 0 32 5 0 0 20 0 18 0 27290174 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770184894888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10085] ppid=10071 vsize=9957860 CPUtime=0.29 cores=0,2,4,6
/proc/10074/task/10085/stat : 10085 (java) R 10071 10074 6358 0 -1 4202560 589 0 0 0 18 11 0 0 20 0 18 0 27290175 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139769701948136 213866286215 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10086] ppid=10071 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10086/stat : 10086 (java) S 10071 10074 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 27290175 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139769700894200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10087] ppid=10071 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10087/stat : 10087 (java) S 10071 10074 6358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 27290175 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139769699841800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10089] ppid=10071 vsize=9957860 CPUtime=1.05 cores=0,2,4,6
/proc/10074/task/10089/stat : 10089 (java) S 10071 10074 6358 0 -1 4202560 12495 0 0 0 103 2 0 0 20 0 18 0 27290177 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139769697722984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10090] ppid=10071 vsize=9957860 CPUtime=1.05 cores=0,2,4,6
/proc/10074/task/10090/stat : 10090 (java) S 10071 10074 6358 0 -1 4202560 7035 0 0 0 103 2 0 0 20 0 18 0 27290177 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139769696684088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10091] ppid=10071 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10091/stat : 10091 (java) S 10071 10074 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 27290177 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139769695631992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10413] ppid=10071 vsize=9957860 CPUtime=211.71 cores=0,2,4,6
/proc/10074/task/10413/stat : 10413 (java) R 10071 10074 6358 0 -1 4202560 12 0 0 0 21168 3 0 0 20 0 18 0 27359581 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139769692470248 139770198561557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1796.97
Current children cumulated vsize (KiB) 9957860
#
############


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

[startup+906.605 s]
/proc/loadavg: 4.29 4.23 4.14 5/219 10420
/proc/meminfo: memFree=27003584/32872528 swapFree=681964/737152
[pid=10074] ppid=10071 vsize=9957860 CPUtime=1796.97 cores=0,2,4,6
/proc/10074/stat : 10074 (java) S 10071 10074 6358 0 -1 4202496 26668 0 1 0 179546 151 0 0 20 0 18 0 27290173 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 140736331691616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10074/statm: 2489465 215893 2299 9 0 2480142 0
[pid=10074/tid=10075] ppid=10071 vsize=9957860 CPUtime=0.22 cores=0,2,4,6
/proc/10074/task/10075/stat : 10075 (java) S 10071 10074 6358 0 -1 4202560 2429 0 1 0 19 3 0 0 20 0 18 0 27290173 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770348655480 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10077] ppid=10071 vsize=9957860 CPUtime=0.47 cores=0,2,4,6
/proc/10074/task/10077/stat : 10077 (java) S 10071 10074 6358 0 -1 4202560 388 0 0 0 37 10 0 0 20 0 18 0 27290174 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770321107752 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10078] ppid=10071 vsize=9957860 CPUtime=0.29 cores=0,2,4,6
/proc/10074/task/10078/stat : 10078 (java) S 10071 10074 6358 0 -1 4202560 129 0 0 0 24 5 0 0 20 0 18 0 27290174 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770320054952 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10079] ppid=10071 vsize=9957860 CPUtime=0.4 cores=0,2,4,6
/proc/10074/task/10079/stat : 10079 (java) S 10071 10074 6358 0 -1 4202560 248 0 0 0 34 6 0 0 20 0 18 0 27290174 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770319002664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10080] ppid=10071 vsize=9957860 CPUtime=0.39 cores=0,2,4,6
/proc/10074/task/10080/stat : 10080 (java) S 10071 10074 6358 0 -1 4202560 226 0 0 0 32 7 0 0 20 0 18 0 27290174 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770317949864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10081] ppid=10071 vsize=9957860 CPUtime=0.33 cores=0,2,4,6
/proc/10074/task/10081/stat : 10081 (java) S 10071 10074 6358 0 -1 4202560 275 0 0 0 26 7 0 0 20 0 18 0 27290174 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770316896552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10082] ppid=10071 vsize=9957860 CPUtime=0.39 cores=0,2,4,6
/proc/10074/task/10082/stat : 10082 (java) S 10071 10074 6358 0 -1 4202560 285 0 0 0 32 7 0 0 20 0 18 0 27290174 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770186999976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10083] ppid=10071 vsize=9957860 CPUtime=0.34 cores=0,2,4,6
/proc/10074/task/10083/stat : 10083 (java) S 10071 10074 6358 0 -1 4202560 187 0 0 0 29 5 0 0 20 0 18 0 27290174 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770185947688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10084] ppid=10071 vsize=9957860 CPUtime=0.37 cores=0,2,4,6
/proc/10074/task/10084/stat : 10084 (java) S 10071 10074 6358 0 -1 4202560 144 0 0 0 32 5 0 0 20 0 18 0 27290174 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139770184894888 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10085] ppid=10071 vsize=9957860 CPUtime=0.29 cores=0,2,4,6
/proc/10074/task/10085/stat : 10085 (java) R 10071 10074 6358 0 -1 4202560 589 0 0 0 18 11 0 0 20 0 18 0 27290175 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139769701948136 213866286215 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10086] ppid=10071 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10086/stat : 10086 (java) S 10071 10074 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 27290175 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139769700894200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10087] ppid=10071 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10087/stat : 10087 (java) S 10071 10074 6358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 27290175 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139769699841800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10074/tid=10089] ppid=10071 vsize=9957860 CPUtime=1.05 cores=0,2,4,6
/proc/10074/task/10089/stat : 10089 (java) S 10071 10074 6358 0 -1 4202560 12495 0 0 0 103 2 0 0 20 0 18 0 27290177 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139769697722984 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10074/tid=10090] ppid=10071 vsize=9957860 CPUtime=1.05 cores=0,2,4,6
/proc/10074/task/10090/stat : 10090 (java) S 10071 10074 6358 0 -1 4202560 7035 0 0 0 103 2 0 0 20 0 18 0 27290177 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139769696684088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10074/tid=10091] ppid=10071 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/10074/task/10091/stat : 10091 (java) S 10071 10074 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 27290177 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139769695631992 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10074/tid=10413] ppid=10071 vsize=9957860 CPUtime=211.71 cores=0,2,4,6
/proc/10074/task/10413/stat : 10413 (java) R 10071 10074 6358 0 -1 4202560 12 0 0 0 21168 3 0 0 20 0 18 0 27359581 10196848640 215893 33554432000 1073741824 1073778376 140736331700480 139769692470248 139770198561557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1796.97
Current children cumulated vsize (KiB) 9957860

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10074 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=859139
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=711739
# CPU time returned by wait4() is 1796.57
# while last known CPU time is 1796.97
#
# 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.08997
#  lost CPU user time (s): 3.41003
#  lost CPU system time (s): -0.32

Real time (s): 906.623
CPU time (s): 1800.06
CPU user time (s): 1798.87
CPU system time (s): 1.19
CPU usage (%): 198.546
Max. virtual memory (cumulated for all children) (KiB): 9957860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.86
system time used= 1.71174
maximum resident set size= 1218796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26668
page faults= 1
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23042
involuntary context switches= 13406

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94194 second user time and 6.00509 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 14:20:09
IDJOB=4104014
IDBENCH=2532
IDSOLVER=2543
FILE ID=node112/4104014-1466252409
RUNJOBID= node112-1466241279-6374
PBS_JOBID= 19918204
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4104014-1466252409/watcher-4104014-1466252409 -o /tmp/evaluation-result-4104014-1466252409/solver-4104014-1466252409 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466241279-6374 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4104014-1466252409.opb

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

MD5SUM BENCH= e15fa473b46d7e2b0dca2d01a2541ab9
RANDOM SEED=1304508532

node112.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.734
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.46
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.734
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.734
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	: 5321.48
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.734
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.734
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.734
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.734
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.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27879584 kB
Buffers:           42412 kB
Cached:           118840 kB
SwapCached:         2028 kB
Active:          3411232 kB
Inactive:          97512 kB
Active(anon):    3348016 kB
Inactive(anon):     2096 kB
Active(file):      63216 kB
Inactive(file):    95416 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:               856 kB
Writeback:             8 kB
AnonPages:       4092380 kB
Mapped:            15336 kB
Shmem:                 0 kB
Slab:             601588 kB
SReclaimable:      44940 kB
SUnreclaim:       556648 kB
KernelStack:        1616 kB
PageTables:        11996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4562388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3328000 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= 71712 MiB
End job on node112 at 2016-06-18 14:35:16