Trace number 4118091

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)16178 1801.59 896.772

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-crossdock_15x8.opb
MD5SUMf94cc2f9942410ddc39fc63f8a9e4952
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16087
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables240
Total number of constraints46
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint8
Maximum length of a constraint15
Number of terms in the objective function 3648
Biggest coefficient in the objective function 735
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 1147840
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 735
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1147840
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)3648
Sum of products size (including duplicates)7296
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@1f5a3d6b
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@19c1ea29
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@9f436f5
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@19c1ea29
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4118091-1467220942.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.70/0.42	c ... done. Wall clock time 0.303s.
0.70/0.42	c declared #vars     240
0.70/0.42	c internal #vars     3888
0.70/0.42	c #constraints  7372
0.70/0.42	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.70/0.42	c constraints type 
0.70/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3678
0.70/0.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
0.70/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3664
0.70/0.42	c 7372 constraints processed.
0.70/0.43	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.70/0.43	c constraints type 
0.70/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3678
0.70/0.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 30
0.70/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3664
0.70/0.43	c 7372 constraints processed.
0.70/0.43	c objective function length is 3648 literals
3.06/1.01	c And the winner is solver0
3.29/1.43	c SATISFIABLE
3.29/1.43	c OPTIMIZING...
3.29/1.43	c Got one! Elapsed wall clock time (in seconds):1.309
3.29/1.43	o 16202
5.78/2.33	c cleaning 2545 clauses out of 5108 with flag 17983/5108
7.62/3.17	c cleaning 4268 clauses out of 8562 with flag 39540/11107
9.81/4.11	c cleaning 5641 clauses out of 11293 with flag 70130/18106
11.92/5.18	c cleaning 6817 clauses out of 13652 with flag 106857/26106
14.40/6.35	c cleaning 7917 clauses out of 15837 with flag 145918/35108
17.25/7.71	c cleaning 8954 clauses out of 17918 with flag 188422/45106
20.24/9.27	c cleaning 9975 clauses out of 19965 with flag 236470/56107
23.97/11.10	c cleaning 10991 clauses out of 21989 with flag 289708/68106
27.95/13.09	c cleaning 11997 clauses out of 23998 with flag 354245/81106
32.41/15.24	c cleaning 12998 clauses out of 26002 with flag 419401/95107
37.45/17.67	c cleaning 14000 clauses out of 28003 with flag 484429/110106
42.84/20.36	c cleaning 14999 clauses out of 30004 with flag 555934/126107
48.24/23.00	c cleaning 16000 clauses out of 32007 with flag 626095/143109
54.15/25.92	c cleaning 16996 clauses out of 34006 with flag 706001/161108
60.55/29.14	c cleaning 18000 clauses out of 36009 with flag 800441/180107
67.15/32.45	c cleaning 19005 clauses out of 38009 with flag 888311/200107
74.92/36.23	c cleaning 20002 clauses out of 40003 with flag 985195/221106
83.31/40.41	c cleaning 20999 clauses out of 42001 with flag 1077484/243106
91.51/44.57	c cleaning 21998 clauses out of 44003 with flag 1174043/266107
100.25/48.85	c cleaning 23000 clauses out of 46004 with flag 1274582/290106
109.25/53.35	c cleaning 24002 clauses out of 48004 with flag 1383360/315106
119.05/58.21	c cleaning 24997 clauses out of 50002 with flag 1493182/341106
129.65/63.45	c cleaning 26001 clauses out of 52006 with flag 1606915/368107
140.25/68.79	c cleaning 27000 clauses out of 54004 with flag 1731153/396106
152.41/74.73	c cleaning 28001 clauses out of 56004 with flag 1855521/425106
166.27/81.66	c cleaning 28998 clauses out of 58003 with flag 1989465/455106
179.67/88.36	c cleaning 29997 clauses out of 60005 with flag 2141785/486106
192.97/94.90	c cleaning 31003 clauses out of 62010 with flag 2314474/518108
207.61/102.27	c cleaning 31997 clauses out of 64006 with flag 2501088/551107
222.50/109.69	c cleaning 33003 clauses out of 66009 with flag 2687560/585107
236.95/116.86	c cleaning 33994 clauses out of 68005 with flag 2865975/620106
253.54/125.46	c cleaning 35001 clauses out of 70012 with flag 3020842/656107
268.38/132.86	c cleaning 35996 clauses out of 72011 with flag 3189253/693107
283.98/140.68	c cleaning 36998 clauses out of 74014 with flag 3345229/731106
301.27/149.21	c cleaning 37999 clauses out of 76017 with flag 3501913/770107
322.96/160.04	c cleaning 38997 clauses out of 78017 with flag 3676318/810106
342.07/169.54	c cleaning 40004 clauses out of 80020 with flag 3861518/851106
360.86/178.96	c cleaning 40999 clauses out of 82016 with flag 4061746/893106
381.59/189.30	c cleaning 42008 clauses out of 84020 with flag 4291350/936109
404.19/200.33	c cleaning 42996 clauses out of 86010 with flag 4507184/980107
426.58/211.50	c cleaning 44000 clauses out of 88013 with flag 4719429/1025106
452.32/224.83	c cleaning 45000 clauses out of 90014 with flag 4922757/1071107
476.00/236.69	c cleaning 46005 clauses out of 92013 with flag 5124546/1118106
502.11/249.61	c cleaning 47002 clauses out of 94009 with flag 5345793/1166107
528.31/262.75	c cleaning 47999 clauses out of 96006 with flag 5573022/1215106
552.92/274.91	c cleaning 48996 clauses out of 98008 with flag 5794407/1265107
579.59/288.16	c cleaning 49999 clauses out of 100013 with flag 6032578/1316108
607.18/301.92	c cleaning 51003 clauses out of 102012 with flag 6309783/1368106
639.30/317.77	c cleaning 51998 clauses out of 104009 with flag 6574636/1421106
668.89/332.49	c cleaning 53001 clauses out of 106013 with flag 6813062/1475108
700.23/348.00	c cleaning 53995 clauses out of 108010 with flag 7074586/1530106
731.63/363.76	c cleaning 55004 clauses out of 110016 with flag 7337156/1586107
764.92/380.27	c cleaning 55998 clauses out of 112011 with flag 7603672/1643106
797.72/396.68	c cleaning 56998 clauses out of 114014 with flag 7886994/1701107
842.75/419.80	c cleaning 58000 clauses out of 116015 with flag 8196171/1760106
892.33/444.43	c cleaning 59008 clauses out of 118016 with flag 8500414/1820107
940.97/468.44	c cleaning 59995 clauses out of 120009 with flag 8779950/1881108
979.75/487.76	c cleaning 61001 clauses out of 122012 with flag 9035109/1943106
1019.71/507.66	c cleaning 62002 clauses out of 124012 with flag 9303813/2006107
1061.80/528.59	c cleaning 63000 clauses out of 126010 with flag 9589872/2070107
1101.37/548.17	c cleaning 63998 clauses out of 128009 with flag 9846800/2135106
1139.57/567.23	c cleaning 64998 clauses out of 130011 with flag 10108414/2201106
1167.87/581.14	c And the winner is solver0
1168.28/581.47	c Got one! Elapsed wall clock time (in seconds):581.353
1168.28/581.47	o 16201
1171.94/583.31	c cleaning 58235 clauses out of 116479 with flag 22211/2252572
1175.14/584.90	c cleaning 32117 clauses out of 64244 with flag 49624/2258572
1177.74/586.21	c cleaning 19550 clauses out of 39126 with flag 80158/2265571
1179.94/587.37	c cleaning 13777 clauses out of 27576 with flag 113321/2273571
1182.74/588.71	c cleaning 11392 clauses out of 22799 with flag 155312/2282571
1185.34/590.08	c cleaning 10696 clauses out of 21407 with flag 198567/2292571
1189.05/591.80	c cleaning 10850 clauses out of 21711 with flag 247112/2303571
1192.52/593.45	c cleaning 11424 clauses out of 22861 with flag 299516/2315571
1196.32/595.34	c cleaning 12214 clauses out of 24438 with flag 355398/2328572
1200.53/597.50	c cleaning 13106 clauses out of 26223 with flag 420025/2342571
1205.12/599.79	c cleaning 14057 clauses out of 28118 with flag 488183/2357572
1210.32/602.32	c cleaning 15024 clauses out of 30061 with flag 565642/2373572
1216.12/605.27	c cleaning 16013 clauses out of 32036 with flag 652687/2390571
1222.72/608.56	c cleaning 17007 clauses out of 34023 with flag 738733/2408571
1229.13/611.76	c cleaning 17998 clauses out of 36017 with flag 818749/2427572
1235.92/615.11	c cleaning 19003 clauses out of 38020 with flag 889712/2447573
1243.95/618.99	c cleaning 20001 clauses out of 40015 with flag 961055/2468571
1251.56/622.78	c cleaning 21001 clauses out of 42016 with flag 1037127/2490573
1259.95/626.98	c cleaning 21997 clauses out of 44013 with flag 1119275/2513571
1269.55/631.74	c cleaning 23003 clauses out of 46017 with flag 1223726/2537572
1279.15/636.50	c cleaning 24000 clauses out of 48013 with flag 1315391/2562571
1290.14/642.06	c cleaning 25000 clauses out of 50014 with flag 1421168/2588572
1304.90/649.21	c cleaning 25998 clauses out of 52013 with flag 1548869/2615571
1318.30/655.98	c cleaning 27001 clauses out of 54015 with flag 1677596/2643571
1337.25/666.93	c cleaning 28000 clauses out of 56015 with flag 1809670/2672572
1351.65/674.12	c cleaning 29006 clauses out of 58015 with flag 1939478/2702572
1365.26/681.00	c cleaning 29997 clauses out of 60008 with flag 2060637/2733571
1374.10/685.32	c cleaning 0 clauses out of 5964 with flag 0/5966
1381.16/688.62	c cleaning 30998 clauses out of 62011 with flag 2185560/2765571
1396.98/696.59	c cleaning 31999 clauses out of 64014 with flag 2309813/2798572
1413.33/704.61	c cleaning 33003 clauses out of 66014 with flag 2439395/2832571
1429.33/712.64	c cleaning 34002 clauses out of 68012 with flag 2579306/2867572
1444.93/720.47	c cleaning 34999 clauses out of 70009 with flag 2723729/2903571
1449.54/722.77	c And the winner is solver0
1449.97/723.23	c Got one! Elapsed wall clock time (in seconds):723.106
1449.97/723.23	o 16178
1451.92/724.24	c cleaning 26930 clauses out of 53876 with flag 23530/2922437
1453.92/725.22	c cleaning 16456 clauses out of 32946 with flag 48223/2928437
1456.32/726.39	c cleaning 11728 clauses out of 23491 with flag 77770/2935438
1458.72/727.54	c cleaning 9872 clauses out of 19762 with flag 113878/2943437
1461.32/728.82	c cleaning 9437 clauses out of 18893 with flag 149433/2952440
1464.12/730.25	c cleaning 9722 clauses out of 19453 with flag 188527/2962437
1467.32/731.87	c cleaning 10358 clauses out of 20731 with flag 233286/2973437
1470.92/733.66	c cleaning 11184 clauses out of 22374 with flag 282373/2985438
1474.92/735.61	c cleaning 12095 clauses out of 24190 with flag 334535/2998438
1479.11/737.75	c cleaning 13044 clauses out of 26095 with flag 389341/3012438
1483.91/740.17	c cleaning 14023 clauses out of 28051 with flag 454803/3027438
1490.14/743.11	c cleaning 15011 clauses out of 30028 with flag 516569/3043438
1496.14/746.15	c cleaning 16008 clauses out of 32016 with flag 585037/3060437
1502.74/749.43	c cleaning 17003 clauses out of 34009 with flag 659424/3078438
1509.74/752.98	c cleaning 17995 clauses out of 36006 with flag 731774/3097438
1517.55/756.83	c cleaning 19003 clauses out of 38011 with flag 823922/3117438
1526.61/761.23	c cleaning 20000 clauses out of 40008 with flag 916620/3138438
1535.00/765.48	c cleaning 21001 clauses out of 42009 with flag 1003193/3160439
1543.60/769.75	c cleaning 21998 clauses out of 44006 with flag 1085197/3183437
1553.22/774.51	c cleaning 23000 clauses out of 46012 with flag 1188545/3207441
1562.80/779.38	c cleaning 23999 clauses out of 48008 with flag 1281697/3232437
1573.20/784.51	c cleaning 25000 clauses out of 50010 with flag 1383790/3258438
1584.77/790.15	c cleaning 25996 clauses out of 52009 with flag 1507308/3285437
1597.39/796.46	c cleaning 27004 clauses out of 54013 with flag 1625044/3313437
1610.17/802.87	c cleaning 28000 clauses out of 56013 with flag 1735368/3342441
1624.38/809.74	c cleaning 28999 clauses out of 58009 with flag 1853117/3372437
1638.16/816.69	c cleaning 29997 clauses out of 60010 with flag 1970476/3403437
1653.56/824.37	c cleaning 31002 clauses out of 62013 with flag 2092393/3435437
1668.75/831.92	c cleaning 31999 clauses out of 64012 with flag 2223226/3468438
1685.07/839.89	c cleaning 32999 clauses out of 66012 with flag 2366512/3502437
1702.28/848.43	c cleaning 34000 clauses out of 68014 with flag 2525700/3537438
1719.83/856.92	c cleaning 35001 clauses out of 70015 with flag 2690491/3573439
1736.21/865.12	c cleaning 36002 clauses out of 72013 with flag 2849093/3610438
1754.55/874.07	c cleaning 37003 clauses out of 74010 with flag 3012329/3648437
1777.82/885.31	c cleaning 38000 clauses out of 76007 with flag 3207516/3687437
1799.81/896.36	c cleaning 38996 clauses out of 78008 with flag 3399402/3727438
1801.18/896.72	c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<<
1801.18/896.72	c starts		: 403
1801.18/896.72	c conflicts		: 3727648
1801.18/896.72	c decisions		: 3975101
1801.18/896.72	c propagations		: 142840687
1801.18/896.72	c inspects		: 12395711548
1801.18/896.72	c shortcuts		: 0
1801.18/896.72	c learnt literals	: 0
1801.18/896.72	c learnt binary clauses	: 0
1801.18/896.72	c learnt ternary clauses	: 0
1801.18/896.72	c learnt constraints	: 3727648
1801.18/896.72	c ignored constraints	: 0
1801.18/896.72	c root simplifications	: 0
1801.18/896.72	c removed literals (reason simplification)	: 28183113
1801.18/896.72	c reason swapping (by a shorter reason)	: 0
1801.18/896.72	c Calls to reduceDB	: 130
1801.18/896.72	c Number of update (reduction) of LBD	: 248053
1801.18/896.72	c Imported unit clauses	: 0
1801.18/896.72	c number of reductions to clauses (during analyze)	: 0
1801.18/896.72	c number of learned constraints concerned by reduction	: 0
1801.18/896.72	c number of learning phase by resolution	: 0
1801.18/896.72	c number of learning phase by cutting planes	: 0
1801.18/896.72	c speed (assignments/second)	: 159373.09571042526
1801.18/896.72	c non guided choices	88
1801.18/896.73	c learnt constraints type 
1801.18/896.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 39222
1801.18/896.73	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1801.18/896.73	c starts		: 43
1801.18/896.73	c conflicts		: 8068
1801.18/896.73	c decisions		: 40948
1801.18/896.73	c propagations		: 1217038
1801.18/896.73	c inspects		: 189874829
1801.18/896.73	c shortcuts		: 0
1801.18/896.73	c learnt literals	: 0
1801.18/896.73	c learnt binary clauses	: 0
1801.18/896.73	c learnt ternary clauses	: 0
1801.18/896.73	c learnt constraints	: 8064
1801.18/896.73	c ignored constraints	: 0
1801.18/896.73	c root simplifications	: 0
1801.18/896.73	c removed literals (reason simplification)	: 0
1801.18/896.73	c reason swapping (by a shorter reason)	: 0
1801.18/896.73	c Calls to reduceDB	: 1
1801.18/896.73	c Number of update (reduction) of LBD	: 0
1801.18/896.73	c Imported unit clauses	: 0
1801.18/896.73	c number of reductions to clauses (during analyze)	: 0
1801.18/896.73	c number of learned constraints concerned by reduction	: 0
1801.18/896.73	c number of learning phase by resolution	: 0
1801.18/896.73	c number of learning phase by cutting planes	: 0
1801.18/896.73	c speed (assignments/second)	: 7015.073001746508
1801.18/896.73	c non guided choices	141
1801.18/896.73	c learnt constraints type 
1801.18/896.73	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 127
1801.18/896.73	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7937
1801.18/896.73	s SATISFIABLE
1801.18/896.73	c Found 3 solution(s)
1801.18/896.73	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 
1801.18/896.73	c objective function=16178
1801.18/896.73	c Total wall clock time (in seconds): 896.615

Verifier Data 

OK	16178

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-4118091-1467220942/watcher-4118091-1467220942 -o /tmp/evaluation-result-4118091-1467220942/solver-4118091-1467220942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118091-1467220942.opb 

pid=9198
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.40 3.31 3.43 3/195 9201
/proc/meminfo: memFree=26272128/32872528 swapFree=1499084/1695308
[pid=9201] ppid=9198 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/9201/stat : 9201 (java) R 9198 9201 5962 0 -1 4202496 381 0 0 0 0 0 0 0 20 0 1 0 3045462 3653632 52 33554432000 1073741824 1073778376 140736891938976 140736891936104 225435544820 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9201/statm: 1408 55 43 9 0 30 0

[startup+0.10006 s]
/proc/loadavg: 3.40 3.31 3.43 3/195 9201
/proc/meminfo: memFree=26272128/32872528 swapFree=1499084/1695308
[pid=9201] ppid=9198 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/9201/stat : 9201 (java) S 9198 9201 5962 0 -1 4202496 4418 0 1 0 7 1 0 0 20 0 18 0 3045462 9787879424 6056 33554432000 1073741824 1073778376 140736891938976 140736891930112 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9201/statm: 2389619 6056 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.20022 s]
/proc/loadavg: 3.40 3.31 3.43 3/195 9201
/proc/meminfo: memFree=26272128/32872528 swapFree=1499084/1695308
[pid=9201] ppid=9198 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/9201/stat : 9201 (java) S 9198 9201 5962 0 -1 4202496 4607 0 1 0 21 1 0 0 20 0 18 0 3045462 9787879424 7239 33554432000 1073741824 1073778376 140736891938976 140736891930112 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9201/statm: 2389619 7239 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300235 s]
/proc/loadavg: 3.40 3.31 3.43 3/195 9201
/proc/meminfo: memFree=26272128/32872528 swapFree=1499084/1695308
[pid=9201] ppid=9198 vsize=9558476 CPUtime=0.43 cores=0,2,4,6
/proc/9201/stat : 9201 (java) S 9198 9201 5962 0 -1 4202496 5654 0 1 0 42 1 0 0 20 0 18 0 3045462 9787879424 8967 33554432000 1073741824 1073778376 140736891938976 140736891930112 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9201/statm: 2389619 8967 2238 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558476

[startup+0.700191 s]
/proc/loadavg: 3.40 3.31 3.43 3/195 9201
/proc/meminfo: memFree=26272128/32872528 swapFree=1499084/1695308
[pid=9201] ppid=9198 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/9201/stat : 9201 (java) S 9198 9201 5962 0 -1 4202496 25501 0 1 0 182 5 0 0 20 0 22 0 3045462 10060525568 27884 33554432000 1073741824 1073778376 140736891938976 140736891930112 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9201/statm: 2456183 27884 2260 9 0 2446860 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 9824732

[startup+1.50072 s]
/proc/loadavg: 3.40 3.31 3.43 3/214 9223
/proc/meminfo: memFree=26162360/32872528 swapFree=1499084/1695308
[pid=9201] ppid=9198 vsize=9824732 CPUtime=3.55 cores=0,2,4,6
/proc/9201/stat : 9201 (java) S 9198 9201 5962 0 -1 4202496 25977 0 1 0 348 7 0 0 20 0 22 0 3045462 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140736891930112 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9201/statm: 2456183 32534 2271 9 0 2446860 0
[pid=9201/tid=9203] ppid=9198 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/9201/task/9203/stat : 9203 (java) S 9198 9201 5962 0 -1 4202560 2439 0 1 0 40 1 0 0 20 0 22 0 3045463 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140436095624056 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9204] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9204/stat : 9204 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140436057115560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9205] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9205/stat : 9205 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140436056063016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9206] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9206/stat : 9206 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140436055009960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9207] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9207/stat : 9207 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140436053957416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9208] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9208/stat : 9208 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140436052904360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9209] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9209/stat : 9209 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140436051851816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9210] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9210/stat : 9210 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140436050798760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9211] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9211/stat : 9211 (java) S 9198 9201 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140436049746216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9212] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9212/stat : 9212 (java) S 9198 9201 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 3045465 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140436037335912 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9213] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9213/stat : 9213 (java) S 9198 9201 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 3045466 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140435917891448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9214] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9214/stat : 9214 (java) S 9198 9201 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3045466 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140435916838280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9215] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9215/stat : 9215 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045468 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140435915787024 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9216] ppid=9198 vsize=9824732 CPUtime=0.9 cores=0,2,4,6
/proc/9201/task/9216/stat : 9216 (java) R 9198 9201 5962 0 -1 4202560 10024 0 0 0 88 2 0 0 20 0 22 0 3045468 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140435914733720 140436099713005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9217] ppid=9198 vsize=9824732 CPUtime=0.92 cores=0,2,4,6
/proc/9201/task/9217/stat : 9217 (java) R 9198 9201 5962 0 -1 4202560 12111 0 0 0 90 2 0 0 20 0 22 0 3045468 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140435913681336 140436098099715 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9218] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9218/stat : 9218 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045468 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140435912628472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9219] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9219/stat : 9219 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045468 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140435911576136 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9222] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9222/stat : 9222 (java) S 9198 9201 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3045508 10060525568 32534 33554432000 1073741824 1073778376 140736891938976 140435908416808 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 9824732

[startup+3.10088 s]
/proc/loadavg: 3.53 3.34 3.44 4/217 9226
/proc/meminfo: memFree=26103192/32872528 swapFree=1499084/1695308
[pid=9201] ppid=9198 vsize=9824732 CPUtime=7.62 cores=0,2,4,6
/proc/9201/stat : 9201 (java) S 9198 9201 5962 0 -1 4202496 26130 0 1 0 754 8 0 0 20 0 22 0 3045462 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140736891930112 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9201/statm: 2456183 51081 2281 9 0 2446860 0
[pid=9201/tid=9203] ppid=9198 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/9201/task/9203/stat : 9203 (java) S 9198 9201 5962 0 -1 4202560 2439 0 1 0 40 1 0 0 20 0 22 0 3045463 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140436095624056 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9204] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9204/stat : 9204 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140436057115560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9205] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9205/stat : 9205 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140436056063016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9206] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9206/stat : 9206 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140436055009960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9207] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9207/stat : 9207 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140436053957416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9208] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9208/stat : 9208 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140436052904360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9209] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9209/stat : 9209 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140436051851816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9210] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9210/stat : 9210 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140436050798760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9211] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9211/stat : 9211 (java) S 9198 9201 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140436049746216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9212] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9212/stat : 9212 (java) S 9198 9201 5962 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 3045465 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140436037335912 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9213] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9213/stat : 9213 (java) S 9198 9201 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 3045466 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140435917891448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9214] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9214/stat : 9214 (java) S 9198 9201 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3045466 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140435916838280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9215] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9215/stat : 9215 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045468 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140435915787024 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9216] ppid=9198 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/9201/task/9216/stat : 9216 (java) S 9198 9201 5962 0 -1 4202560 10073 0 0 0 136 2 0 0 20 0 22 0 3045468 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140435914733880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9217] ppid=9198 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/9201/task/9217/stat : 9217 (java) S 9198 9201 5962 0 -1 4202560 12174 0 0 0 132 2 0 0 20 0 22 0 3045468 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140435913681336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9218] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9218/stat : 9218 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045468 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140435912628472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9219] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9219/stat : 9219 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045468 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140435911576136 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9222] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9222/stat : 9222 (java) S 9198 9201 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3045508 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140435908416808 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9224] ppid=9198 vsize=9824732 CPUtime=1.62 cores=0,2,4,6
/proc/9201/task/9224/stat : 9224 (java) R 9198 9201 5962 0 -1 4202560 7 0 0 0 162 0 0 0 20 0 22 0 3045607 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140435909467496 140435918803372 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9225] ppid=9198 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/9201/task/9225/stat : 9225 (java) R 9198 9201 5962 0 -1 4202560 43 0 0 0 162 1 0 0 20 0 22 0 3045607 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140435910518992 140435918910651 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9226] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9226/stat : 9226 (java) S 9198 9201 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3045608 10060525568 51081 33554432000 1073741824 1073778376 140736891938976 140435907363624 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 9824732

[startup+6.30089 s]
/proc/loadavg: 3.53 3.34 3.44 4/217 9226
/proc/meminfo: memFree=26050708/32872528 swapFree=1499084/1695308
[pid=9201] ppid=9198 vsize=9824732 CPUtime=14.4 cores=0,2,4,6
/proc/9201/stat : 9201 (java) S 9198 9201 5962 0 -1 4202496 29565 0 1 0 1430 10 0 0 20 0 22 0 3045462 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140736891930112 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9201/statm: 2456183 56860 2294 9 0 2446860 0
[pid=9201/tid=9203] ppid=9198 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/9201/task/9203/stat : 9203 (java) S 9198 9201 5962 0 -1 4202560 2439 0 1 0 40 1 0 0 20 0 22 0 3045463 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140436095624056 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9204] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9204/stat : 9204 (java) S 9198 9201 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140436057115560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9205] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9205/stat : 9205 (java) S 9198 9201 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140436056063016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9206] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9206/stat : 9206 (java) S 9198 9201 5962 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140436055009960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9207] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9207/stat : 9207 (java) S 9198 9201 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140436053957416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9208] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9208/stat : 9208 (java) S 9198 9201 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140436052904360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9209] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9209/stat : 9209 (java) S 9198 9201 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140436051851816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9210] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9210/stat : 9210 (java) S 9198 9201 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140436050798760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9211] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9211/stat : 9211 (java) S 9198 9201 5962 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 3045464 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140436049746216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9212] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9212/stat : 9212 (java) S 9198 9201 5962 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 3045465 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140436037335912 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9213] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9213/stat : 9213 (java) S 9198 9201 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3045466 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140435917891448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9214] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9214/stat : 9214 (java) S 9198 9201 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3045466 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140435916838280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9215] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9215/stat : 9215 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045468 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140435915787024 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9216] ppid=9198 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/9201/task/9216/stat : 9216 (java) S 9198 9201 5962 0 -1 4202560 13429 0 0 0 164 3 0 0 20 0 22 0 3045468 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140435914733880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9217] ppid=9198 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/9201/task/9217/stat : 9217 (java) S 9198 9201 5962 0 -1 4202560 12197 0 0 0 140 2 0 0 20 0 22 0 3045468 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140435913681336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9218] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9218/stat : 9218 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045468 10060525568 56860 33554432000 1073741824 1073778376 140736891938976 140435912628472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9219] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6

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




Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+896.401 s]
/proc/loadavg: 3.40 3.41 3.43 5/217 9287
/proc/meminfo: memFree=20240472/32872528 swapFree=1499084/1695308
[pid=9201] ppid=9198 vsize=9824732 CPUtime=1800.01 cores=0,2,4,6
/proc/9201/stat : 9201 (java) S 9198 9201 5962 0 -1 4202496 43930 0 1 0 179577 424 0 0 20 0 22 0 3045462 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140736891930112 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9201/statm: 2456183 1018527 2303 9 0 2446860 0
[pid=9201/tid=9203] ppid=9198 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/9201/task/9203/stat : 9203 (java) S 9198 9201 5962 0 -1 4202560 2448 0 1 0 45 3 0 0 20 0 22 0 3045463 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140436095624056 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9204] ppid=9198 vsize=9824732 CPUtime=3.14 cores=0,2,4,6
/proc/9201/task/9204/stat : 9204 (java) S 9198 9201 5962 0 -1 4202560 1290 0 0 0 271 43 0 0 20 0 22 0 3045464 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140436057115560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9205] ppid=9198 vsize=9824732 CPUtime=3.59 cores=0,2,4,6
/proc/9201/task/9205/stat : 9205 (java) S 9198 9201 5962 0 -1 4202560 1276 0 0 0 311 48 0 0 20 0 22 0 3045464 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140436056063016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9206] ppid=9198 vsize=9824732 CPUtime=3.56 cores=0,2,4,6
/proc/9201/task/9206/stat : 9206 (java) S 9198 9201 5962 0 -1 4202560 1452 0 0 0 307 49 0 0 20 0 22 0 3045464 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140436055009960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9207] ppid=9198 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/9201/task/9207/stat : 9207 (java) S 9198 9201 5962 0 -1 4202560 1034 0 0 0 253 36 0 0 20 0 22 0 3045464 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140436053957416 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9208] ppid=9198 vsize=9824732 CPUtime=3.71 cores=0,2,4,6
/proc/9201/task/9208/stat : 9208 (java) S 9198 9201 5962 0 -1 4202560 1258 0 0 0 319 52 0 0 20 0 22 0 3045464 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140436052904360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9209] ppid=9198 vsize=9824732 CPUtime=3.47 cores=0,2,4,6
/proc/9201/task/9209/stat : 9209 (java) S 9198 9201 5962 0 -1 4202560 1068 0 0 0 299 48 0 0 20 0 22 0 3045464 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140436051851816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9210] ppid=9198 vsize=9824732 CPUtime=2.94 cores=0,2,4,6
/proc/9201/task/9210/stat : 9210 (java) S 9198 9201 5962 0 -1 4202560 1131 0 0 0 251 43 0 0 20 0 22 0 3045464 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140436050798760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9211] ppid=9198 vsize=9824732 CPUtime=3.31 cores=0,2,4,6
/proc/9201/task/9211/stat : 9211 (java) S 9198 9201 5962 0 -1 4202560 1262 0 0 0 287 44 0 0 20 0 22 0 3045464 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140436049746216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9212] ppid=9198 vsize=9824732 CPUtime=6.88 cores=0,2,4,6
/proc/9201/task/9212/stat : 9212 (java) S 9198 9201 5962 0 -1 4202560 2917 0 0 0 682 6 0 0 20 0 22 0 3045465 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140436037335912 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9213] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9213/stat : 9213 (java) S 9198 9201 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3045466 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140435917891448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9214] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9214/stat : 9214 (java) S 9198 9201 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3045466 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140435916838280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9215] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9215/stat : 9215 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045468 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140435915787024 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9216] ppid=9198 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/9201/task/9216/stat : 9216 (java) S 9198 9201 5962 0 -1 4202560 13442 0 0 0 178 3 0 0 20 0 22 0 3045468 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140435914733880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9217] ppid=9198 vsize=9824732 CPUtime=2.01 cores=0,2,4,6
/proc/9201/task/9217/stat : 9217 (java) S 9198 9201 5962 0 -1 4202560 12302 0 0 0 199 2 0 0 20 0 22 0 3045468 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140435913681336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9218] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9218/stat : 9218 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045468 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140435912628472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9219] ppid=9198 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/9201/task/9219/stat : 9219 (java) S 9198 9201 5962 0 -1 4202560 51 0 0 0 11 15 0 0 20 0 22 0 3045468 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140435911576136 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9222] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9222/stat : 9222 (java) S 9198 9201 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3045508 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140435908416808 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9274] ppid=9198 vsize=9824732 CPUtime=171.18 cores=0,2,4,6
/proc/9201/task/9274/stat : 9274 (java) R 9198 9201 5962 0 -1 4202560 8 0 0 0 17116 2 0 0 20 0 22 0 3117787 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140435909460112 140435918589661 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9275] ppid=9198 vsize=9824732 CPUtime=171.18 cores=0,2,4,6
/proc/9201/task/9275/stat : 9275 (java) R 9198 9201 5962 0 -1 4202560 8 0 0 0 17116 2 0 0 20 0 22 0 3117787 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140435910520576 140435918854080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9276] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9276/stat : 9276 (java) S 9198 9201 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3117787 10060525568 1018527 33554432000 1073741824 1073778376 140736891938976 140435907363880 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 9201 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+896.608 s]
/proc/loadavg: 3.40 3.41 3.43 10/217 9287
/proc/meminfo: memFree=20232280/32872528 swapFree=1499084/1695308
[pid=9201] ppid=9198 vsize=9824732 CPUtime=1800.81 cores=0,2,4,6
/proc/9201/stat : 9201 (java) S 9198 9201 5962 0 -1 4202496 43984 0 1 0 179654 427 0 0 20 0 22 0 3045462 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140736891930112 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9201/statm: 2456183 1026213 2303 9 0 2446860 0
[pid=9201/tid=9203] ppid=9198 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/9201/task/9203/stat : 9203 (java) S 9198 9201 5962 0 -1 4202560 2448 0 1 0 45 3 0 0 20 0 22 0 3045463 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140436095624056 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9204] ppid=9198 vsize=9824732 CPUtime=3.25 cores=0,2,4,6
/proc/9201/task/9204/stat : 9204 (java) R 9198 9201 5962 0 -1 4202560 1295 0 0 0 281 44 0 0 20 0 22 0 3045464 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140436057115736 140436099785448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9205] ppid=9198 vsize=9824732 CPUtime=3.79 cores=0,2,4,6
/proc/9201/task/9205/stat : 9205 (java) R 9198 9201 5962 0 -1 4202560 1285 0 0 0 331 48 0 0 20 0 22 0 3045464 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140436056063192 140436099799215 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9206] ppid=9198 vsize=9824732 CPUtime=3.66 cores=0,2,4,6
/proc/9201/task/9206/stat : 9206 (java) R 9198 9201 5962 0 -1 4202560 1455 0 0 0 316 50 0 0 20 0 22 0 3045464 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140436055010136 140436099799312 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9207] ppid=9198 vsize=9824732 CPUtime=2.99 cores=0,2,4,6
/proc/9201/task/9207/stat : 9207 (java) R 9198 9201 5962 0 -1 4202560 1041 0 0 0 263 36 0 0 20 0 22 0 3045464 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140436053957592 140436099380421 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9208] ppid=9198 vsize=9824732 CPUtime=3.79 cores=0,2,4,6
/proc/9201/task/9208/stat : 9208 (java) R 9198 9201 5962 0 -1 4202560 1261 0 0 0 326 53 0 0 20 0 22 0 3045464 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140436052904536 140436098094835 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9209] ppid=9198 vsize=9824732 CPUtime=3.52 cores=0,2,4,6
/proc/9201/task/9209/stat : 9209 (java) R 9198 9201 5962 0 -1 4202560 1070 0 0 0 304 48 0 0 20 0 22 0 3045464 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140436051851696 140436102519724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9210] ppid=9198 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/9201/task/9210/stat : 9210 (java) R 9198 9201 5962 0 -1 4202560 1139 0 0 0 257 44 0 0 20 0 22 0 3045464 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140436050798936 140436102522402 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9211] ppid=9198 vsize=9824732 CPUtime=3.39 cores=0,2,4,6
/proc/9201/task/9211/stat : 9211 (java) R 9198 9201 5962 0 -1 4202560 1268 0 0 0 295 44 0 0 20 0 22 0 3045464 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140436049746392 140436102519724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9212] ppid=9198 vsize=9824732 CPUtime=6.88 cores=0,2,4,6
/proc/9201/task/9212/stat : 9212 (java) S 9198 9201 5962 0 -1 4202560 2920 0 0 0 682 6 0 0 20 0 22 0 3045465 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140436037334792 225448080444 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9213] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9213/stat : 9213 (java) S 9198 9201 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3045466 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140435917891448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9214] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9214/stat : 9214 (java) S 9198 9201 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3045466 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140435916838280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9215] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9215/stat : 9215 (java) S 9198 9201 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3045468 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140435915785432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9216] ppid=9198 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/9201/task/9216/stat : 9216 (java) S 9198 9201 5962 0 -1 4202560 13442 0 0 0 178 3 0 0 20 0 22 0 3045468 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140435914733880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9217] ppid=9198 vsize=9824732 CPUtime=2.01 cores=0,2,4,6
/proc/9201/task/9217/stat : 9217 (java) S 9198 9201 5962 0 -1 4202560 12302 0 0 0 199 2 0 0 20 0 22 0 3045468 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140435913681336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9218] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9218/stat : 9218 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045468 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140435912628472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9219] ppid=9198 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/9201/task/9219/stat : 9219 (java) S 9198 9201 5962 0 -1 4202560 52 0 0 0 11 15 0 0 20 0 22 0 3045468 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140435911576136 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9222] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9222/stat : 9222 (java) S 9198 9201 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3045508 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140435908416808 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9274] ppid=9198 vsize=9824732 CPUtime=171.19 cores=0,2,4,6
/proc/9201/task/9274/stat : 9274 (java) S 9198 9201 5962 0 -1 4202560 8 0 0 0 17117 2 0 0 20 0 22 0 3117787 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140435909467096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9275] ppid=9198 vsize=9824732 CPUtime=171.19 cores=0,2,4,6
/proc/9201/task/9275/stat : 9275 (java) S 9198 9201 5962 0 -1 4202560 9 0 0 0 17117 2 0 0 20 0 22 0 3117787 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140435910521688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9276] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9276/stat : 9276 (java) S 9198 9201 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3117787 10060525568 1026213 33554432000 1073741824 1073778376 140736891938976 140435907363880 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (KiB) 9824732

[startup+896.701 s]
/proc/loadavg: 3.40 3.41 3.43 10/217 9287
/proc/meminfo: memFree=20232280/32872528 swapFree=1499084/1695308
[pid=9201] ppid=9198 vsize=9824732 CPUtime=1801.18 cores=0,2,4,6
/proc/9201/stat : 9201 (java) S 9198 9201 5962 0 -1 4202496 44063 0 1 0 179688 430 0 0 20 0 22 0 3045462 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140736891930112 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9201/statm: 2456183 1033920 2303 9 0 2446860 0
[pid=9201/tid=9203] ppid=9198 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/9201/task/9203/stat : 9203 (java) S 9198 9201 5962 0 -1 4202560 2448 0 1 0 45 3 0 0 20 0 22 0 3045463 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140436095624056 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9204] ppid=9198 vsize=9824732 CPUtime=3.29 cores=0,2,4,6
/proc/9201/task/9204/stat : 9204 (java) R 9198 9201 5962 0 -1 4202560 1299 0 0 0 285 44 0 0 20 0 22 0 3045464 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140436057115688 225444662407 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9205] ppid=9198 vsize=9824732 CPUtime=3.87 cores=0,2,4,6
/proc/9201/task/9205/stat : 9205 (java) R 9198 9201 5962 0 -1 4202560 1296 0 0 0 338 49 0 0 20 0 22 0 3045464 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140436056063192 225444662407 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9206] ppid=9198 vsize=9824732 CPUtime=3.71 cores=0,2,4,6
/proc/9201/task/9206/stat : 9206 (java) R 9198 9201 5962 0 -1 4202560 1464 0 0 0 321 50 0 0 20 0 22 0 3045464 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140436055010088 140436103668898 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9207] ppid=9198 vsize=9824732 CPUtime=3.03 cores=0,2,4,6
/proc/9201/task/9207/stat : 9207 (java) R 9198 9201 5962 0 -1 4202560 1055 0 0 0 266 37 0 0 20 0 22 0 3045464 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140436053957544 225444662407 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9208] ppid=9198 vsize=9824732 CPUtime=3.84 cores=0,2,4,6
/proc/9201/task/9208/stat : 9208 (java) R 9198 9201 5962 0 -1 4202560 1268 0 0 0 331 53 0 0 20 0 22 0 3045464 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140436052904488 225444662407 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9209] ppid=9198 vsize=9824732 CPUtime=3.56 cores=0,2,4,6
/proc/9201/task/9209/stat : 9209 (java) R 9198 9201 5962 0 -1 4202560 1074 0 0 0 307 49 0 0 20 0 22 0 3045464 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140436051851696 140436098184384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9210] ppid=9198 vsize=9824732 CPUtime=3.04 cores=0,2,4,6
/proc/9201/task/9210/stat : 9210 (java) R 9198 9201 5962 0 -1 4202560 1162 0 0 0 260 44 0 0 20 0 22 0 3045464 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140436050798936 140436102132128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9211] ppid=9198 vsize=9824732 CPUtime=3.43 cores=0,2,4,6
/proc/9201/task/9211/stat : 9211 (java) R 9198 9201 5962 0 -1 4202560 1275 0 0 0 299 44 0 0 20 0 22 0 3045464 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140436049746344 225444662407 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9212] ppid=9198 vsize=9824732 CPUtime=6.88 cores=0,2,4,6
/proc/9201/task/9212/stat : 9212 (java) S 9198 9201 5962 0 -1 4202560 2920 0 0 0 682 6 0 0 20 0 22 0 3045465 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140436037334792 225448080444 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9213] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9213/stat : 9213 (java) S 9198 9201 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3045466 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140435917891448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9214] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9214/stat : 9214 (java) S 9198 9201 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3045466 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140435916838280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9215] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9215/stat : 9215 (java) S 9198 9201 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3045468 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140435915785432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9216] ppid=9198 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/9201/task/9216/stat : 9216 (java) S 9198 9201 5962 0 -1 4202560 13442 0 0 0 178 3 0 0 20 0 22 0 3045468 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140435914733880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9217] ppid=9198 vsize=9824732 CPUtime=2.01 cores=0,2,4,6
/proc/9201/task/9217/stat : 9217 (java) S 9198 9201 5962 0 -1 4202560 12302 0 0 0 199 2 0 0 20 0 22 0 3045468 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140435913681336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9201/tid=9218] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9218/stat : 9218 (java) S 9198 9201 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3045468 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140435912628472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9219] ppid=9198 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/9201/task/9219/stat : 9219 (java) S 9198 9201 5962 0 -1 4202560 52 0 0 0 11 15 0 0 20 0 22 0 3045468 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140435911576136 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9201/tid=9222] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9222/stat : 9222 (java) S 9198 9201 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3045508 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140435908416808 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9201/tid=9274] ppid=9198 vsize=9824732 CPUtime=171.19 cores=0,2,4,6
/proc/9201/task/9274/stat : 9274 (java) S 9198 9201 5962 0 -1 4202560 8 0 0 0 17117 2 0 0 20 0 22 0 3117787 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140435909467096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9275] ppid=9198 vsize=9824732 CPUtime=171.19 cores=0,2,4,6
/proc/9201/task/9275/stat : 9275 (java) S 9198 9201 5962 0 -1 4202560 9 0 0 0 17117 2 0 0 20 0 22 0 3117787 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140435910521688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9201/tid=9276] ppid=9198 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9201/task/9276/stat : 9276 (java) S 9198 9201 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3117787 10060525568 1033920 33554432000 1073741824 1073778376 140736891938976 140435907363880 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.18
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 896.772
CPU time (s): 1801.59
CPU user time (s): 1796.99
CPU system time (s): 4.6033
CPU usage (%): 200.897
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.99
system time used= 4.6033
maximum resident set size= 4135800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44102
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22929
involuntary context switches= 22447

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.76112 second user time and 7.36788 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-29 19:22:22
IDJOB=4118091
IDBENCH=111448
IDSOLVER=2543
FILE ID=node137/4118091-1467220942
RUNJOBID= node137-1467212962-6646
PBS_JOBID= 19997573
Free space on /tmp= 71688 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-crossdock_15x8.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118091-1467220942/watcher-4118091-1467220942 -o /tmp/evaluation-result-4118091-1467220942/solver-4118091-1467220942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118091-1467220942.opb

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

MD5SUM BENCH= f94cc2f9942410ddc39fc63f8a9e4952
RANDOM SEED=187724568

node137.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.265
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	: 5332.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.265
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.265
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.53
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.265
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.265
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.265
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.265
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.54
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.265
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26272664 kB
Buffers:           96364 kB
Cached:          1792640 kB
SwapCached:            0 kB
Active:          2479648 kB
Inactive:        1679956 kB
Active(anon):    2272216 kB
Inactive(anon):      892 kB
Active(file):     207432 kB
Inactive(file):  1679064 kB
Unevictable:     1695308 kB
Mlocked:         1499084 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               804 kB
Writeback:             0 kB
AnonPages:       4080464 kB
Mapped:            22244 kB
Shmem:               204 kB
Slab:             608420 kB
SReclaimable:      52588 kB
SUnreclaim:       555832 kB
KernelStack:        1792 kB
PageTables:        12184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4489728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2486272 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= 71688 MiB
End job on node137 at 2016-06-29 19:37:19