Trace number 4081333

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)8 1800.75 896.975

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_30.r.opb
MD5SUM80d844acb755df30f8eb4d34a1c5fb81
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark7.18391
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint30
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)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.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.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/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.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4081333-1465230952.opb
0.10/0.12	c reading problem ... 
0.10/0.12	c  objective function found
0.10/0.19	c ... done. Wall clock time 0.069s.
0.10/0.19	c declared #vars     100
0.10/0.19	c #constraints  100
0.10/0.19	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.19	c constraints type 
0.10/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.10/0.19	c 100 constraints processed.
0.10/0.19	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.19	c constraints type 
0.10/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100
0.10/0.19	c 100 constraints processed.
0.10/0.19	c objective function length is 100 literals
0.25/0.20	c And the winner is solver0
0.25/0.69	c SATISFIABLE
0.25/0.69	c OPTIMIZING...
0.25/0.69	c Got one! Elapsed wall clock time (in seconds):0.574
0.25/0.69	o 14
0.25/0.70	c And the winner is solver0
0.26/1.20	c Got one! Elapsed wall clock time (in seconds):1.077
0.26/1.20	o 13
0.26/1.20	c And the winner is solver0
0.26/1.70	c Got one! Elapsed wall clock time (in seconds):1.579
0.26/1.70	o 12
0.63/1.83	c And the winner is solver1
0.93/2.20	c Got one! Elapsed wall clock time (in seconds):2.08
0.93/2.20	o 11
2.10/2.56	c cleaning 2808 clauses out of 5615 with flag 13699/5615
2.90/2.78	c cleaning 4398 clauses out of 8807 with flag 29764/11615
3.69/2.96	c And the winner is solver1
3.98/3.20	c Got one! Elapsed wall clock time (in seconds):3.081
3.98/3.20	o 10
4.20/3.40	c cleaning 7600 clauses out of 15199 with flag 15248/22405
4.94/3.60	c cleaning 6800 clauses out of 13599 with flag 32919/28405
5.40/3.82	c cleaning 6899 clauses out of 13804 with flag 53526/35410
5.81/4.07	c cleaning 7451 clauses out of 14901 with flag 77664/43406
6.42/4.37	c cleaning 8226 clauses out of 16452 with flag 104482/52408
7.24/4.73	c cleaning 9110 clauses out of 18223 with flag 135548/62405
8.07/5.10	c cleaning 10060 clauses out of 20119 with flag 170673/73411
8.90/5.53	c cleaning 11023 clauses out of 22052 with flag 210630/85404
9.88/6.07	c cleaning 12014 clauses out of 24036 with flag 253992/98411
11.12/6.65	c cleaning 13005 clauses out of 26018 with flag 295845/112407
12.50/7.37	c cleaning 14000 clauses out of 28011 with flag 339145/127405
14.14/8.14	c cleaning 15002 clauses out of 30010 with flag 385258/143404
15.76/8.93	c cleaning 15998 clauses out of 32008 with flag 433185/160404
17.76/9.93	c cleaning 17002 clauses out of 34013 with flag 484885/178407
19.79/11.00	c cleaning 18004 clauses out of 36008 with flag 540800/197404
21.99/12.08	c cleaning 18999 clauses out of 38004 with flag 598389/217404
24.66/13.39	c cleaning 20002 clauses out of 40007 with flag 660103/238406
27.44/14.78	c cleaning 20999 clauses out of 42005 with flag 723000/260406
31.06/16.56	c cleaning 22000 clauses out of 44005 with flag 788391/283405
34.70/18.35	c cleaning 23002 clauses out of 46004 with flag 856113/307404
35.71/18.88	c And the winner is solver1
35.88/19.20	c Got one! Elapsed wall clock time (in seconds):19.085
35.88/19.20	o 9
36.46/19.59	c cleaning 19215 clauses out of 38441 with flag 15155/322843
37.07/19.86	c cleaning 12610 clauses out of 25226 with flag 33093/328843
37.46/20.09	c cleaning 9810 clauses out of 19620 with flag 54499/335847
38.06/20.34	c cleaning 8898 clauses out of 17806 with flag 79763/343843
38.66/20.63	c cleaning 8942 clauses out of 17908 with flag 108544/352843
39.27/20.94	c cleaning 9483 clauses out of 18966 with flag 140509/362843
40.06/21.32	c cleaning 10238 clauses out of 20486 with flag 175260/373846
40.86/21.75	c cleaning 11121 clauses out of 22245 with flag 215587/385843
41.86/22.26	c cleaning 12054 clauses out of 24125 with flag 256419/398844
43.06/22.81	c cleaning 13033 clauses out of 26070 with flag 299268/412843
44.30/23.43	c cleaning 14015 clauses out of 28038 with flag 347073/427844
45.69/24.15	c cleaning 15009 clauses out of 30023 with flag 399349/443844
47.49/25.04	c cleaning 16002 clauses out of 32013 with flag 455208/460843
49.29/25.94	c cleaning 16995 clauses out of 34011 with flag 513967/478843
51.49/27.00	c cleaning 18009 clauses out of 36017 with flag 578361/497844
53.48/28.09	c cleaning 19002 clauses out of 38013 with flag 651501/517849
56.11/29.32	c cleaning 20003 clauses out of 40005 with flag 731268/538843
58.71/30.66	c cleaning 20994 clauses out of 42002 with flag 810717/560843
61.94/32.21	c cleaning 22005 clauses out of 44009 with flag 893487/583844
64.93/33.71	c cleaning 23003 clauses out of 46005 with flag 982617/607845
68.15/35.32	c cleaning 23997 clauses out of 48001 with flag 1070432/632844
71.73/37.18	c cleaning 25001 clauses out of 50004 with flag 1162651/658844
75.94/39.29	c cleaning 26001 clauses out of 52003 with flag 1265082/685844
80.21/41.39	c cleaning 26996 clauses out of 54001 with flag 1369690/713843
84.21/43.39	c cleaning 28004 clauses out of 56007 with flag 1478926/742845
85.01/43.73	c cleaning 0 clauses out of 6208 with flag 0/6209
89.42/45.72	c cleaning 29000 clauses out of 58002 with flag 1581718/772844
94.45/48.22	c cleaning 29998 clauses out of 60001 with flag 1700980/803843
99.26/50.61	c cleaning 31000 clauses out of 62004 with flag 1821485/835844
104.45/53.28	c cleaning 32001 clauses out of 64007 with flag 1941794/868847
110.05/56.07	c cleaning 32997 clauses out of 66002 with flag 2066612/902843
116.07/59.08	c cleaning 33996 clauses out of 68006 with flag 2198688/937844
122.67/62.37	c cleaning 35001 clauses out of 70009 with flag 2333896/973843
129.29/65.67	c cleaning 35999 clauses out of 72008 with flag 2474170/1010843
136.10/69.04	c cleaning 36999 clauses out of 74009 with flag 2624925/1048843
143.14/72.59	c cleaning 38005 clauses out of 76012 with flag 2781756/1087845
150.34/76.18	c cleaning 39002 clauses out of 78005 with flag 2923847/1127843
160.18/81.05	c cleaning 40002 clauses out of 80007 with flag 3056298/1168847
169.80/85.86	c cleaning 40994 clauses out of 82001 with flag 3198278/1210843
179.38/90.61	c cleaning 42003 clauses out of 84016 with flag 3347265/1253852
189.61/95.71	c cleaning 42991 clauses out of 86004 with flag 3482004/1297843
200.25/101.08	c cleaning 44008 clauses out of 88016 with flag 3620749/1342846
213.08/107.45	c cleaning 44991 clauses out of 90005 with flag 3757428/1388843
226.14/113.94	c cleaning 45997 clauses out of 92014 with flag 3903989/1435843
240.38/121.02	c cleaning 47009 clauses out of 94017 with flag 4059043/1483843
254.23/127.97	c cleaning 47998 clauses out of 96008 with flag 4207851/1532843
270.89/136.21	c cleaning 49007 clauses out of 98016 with flag 4359009/1582849
285.53/143.55	c cleaning 49992 clauses out of 100003 with flag 4511672/1633843
303.39/152.48	c cleaning 51000 clauses out of 102011 with flag 4679648/1685843
318.84/160.13	c cleaning 52004 clauses out of 104012 with flag 4850702/1738844
335.52/168.43	c cleaning 53003 clauses out of 106009 with flag 5033867/1792845
350.77/176.07	c cleaning 53992 clauses out of 108004 with flag 5210264/1847843
366.02/183.67	c cleaning 0 clauses out of 12210 with flag 0/12211
368.45/184.81	c cleaning 55007 clauses out of 110015 with flag 5384556/1903846
386.68/193.94	c cleaning 56000 clauses out of 112005 with flag 5579249/1960843
405.55/203.32	c cleaning 56992 clauses out of 114007 with flag 5774391/2018845
426.21/213.63	c cleaning 58005 clauses out of 116013 with flag 5968275/2077843
445.90/223.42	c cleaning 59003 clauses out of 118010 with flag 6160088/2137845
465.82/233.31	c cleaning 59996 clauses out of 120005 with flag 6362977/2198843
486.78/243.76	c cleaning 61001 clauses out of 122010 with flag 6571165/2260844
508.09/254.34	c cleaning 62002 clauses out of 124010 with flag 6763155/2323845
528.83/264.62	c cleaning 62997 clauses out of 126007 with flag 6974230/2387844
556.56/278.46	c cleaning 64002 clauses out of 128009 with flag 7209285/2452843
582.67/291.46	c cleaning 64999 clauses out of 130008 with flag 7455505/2518844
609.49/304.76	c cleaning 66005 clauses out of 132011 with flag 7709379/2585846
638.07/318.90	c cleaning 66997 clauses out of 134003 with flag 7969971/2653843
666.61/333.13	c cleaning 68004 clauses out of 136012 with flag 8203577/2722849
694.36/346.96	c cleaning 69001 clauses out of 138004 with flag 8430425/2792845
694.56/347.04	c And the winner is solver0
694.89/347.30	c Got one! Elapsed wall clock time (in seconds):347.179
694.89/347.30	o 8
696.69/348.25	c cleaning 37402 clauses out of 74813 with flag 15296/2798655
697.71/348.76	c cleaning 21698 clauses out of 43408 with flag 33979/2804652
698.49/349.10	c cleaning 14353 clauses out of 28709 with flag 55897/2811651
699.09/349.41	c cleaning 11165 clauses out of 22356 with flag 81173/2819651
699.69/349.71	c cleaning 10096 clauses out of 20191 with flag 109433/2828651
700.30/350.05	c cleaning 10038 clauses out of 20096 with flag 140569/2838652
701.10/350.43	c cleaning 10519 clauses out of 21057 with flag 175389/2849651
701.90/350.87	c cleaning 11266 clauses out of 22538 with flag 214560/2861651
702.90/351.36	c cleaning 12131 clauses out of 24273 with flag 253944/2874652
704.34/352.01	c cleaning 13061 clauses out of 26141 with flag 297168/2888651
705.53/352.65	c cleaning 14039 clauses out of 28080 with flag 345522/2903651
706.94/353.37	c cleaning 15012 clauses out of 30041 with flag 396231/2919651
708.54/354.20	c cleaning 16017 clauses out of 32034 with flag 449029/2936656
710.55/355.14	c cleaning 16996 clauses out of 34012 with flag 507624/2954651
712.75/356.23	c cleaning 18008 clauses out of 36020 with flag 572151/2973655
714.98/357.39	c cleaning 18999 clauses out of 38009 with flag 638227/2993652
717.60/358.65	c cleaning 20004 clauses out of 40009 with flag 702737/3014651
720.60/360.16	c cleaning 21003 clauses out of 42006 with flag 774348/3036652
723.83/361.71	c cleaning 21996 clauses out of 44005 with flag 845225/3059654
727.29/363.49	c cleaning 23002 clauses out of 46006 with flag 923648/3083651
731.53/365.50	c cleaning 24001 clauses out of 48006 with flag 999126/3108653
735.34/367.41	c cleaning 24996 clauses out of 50004 with flag 1078963/3134652
740.17/369.82	c cleaning 25997 clauses out of 52007 with flag 1155022/3161651
745.18/372.34	c cleaning 27001 clauses out of 54010 with flag 1237401/3189651
750.61/375.04	c cleaning 28002 clauses out of 56011 with flag 1325405/3218653
756.42/377.96	c cleaning 29000 clauses out of 58008 with flag 1415803/3248652
762.44/380.91	c cleaning 29997 clauses out of 60008 with flag 1505565/3279652
768.26/383.85	c cleaning 31004 clauses out of 62011 with flag 1595076/3311652
775.29/387.36	c cleaning 31999 clauses out of 64008 with flag 1694041/3344653
782.33/390.83	c cleaning 32998 clauses out of 66009 with flag 1798815/3378653
789.56/394.46	c cleaning 33999 clauses out of 68010 with flag 1910499/3413652
797.25/398.26	c cleaning 35004 clauses out of 70010 with flag 2023840/3449651
805.47/402.33	c cleaning 35997 clauses out of 72006 with flag 2139101/3486651
813.49/406.37	c cleaning 37002 clauses out of 74011 with flag 2258723/3524653
822.34/410.77	c cleaning 38002 clauses out of 76007 with flag 2383057/3563651
831.39/415.28	c cleaning 38995 clauses out of 78007 with flag 2516964/3603653
842.68/420.82	c cleaning 40002 clauses out of 80012 with flag 2653130/3644653
852.55/425.76	c cleaning 40991 clauses out of 82009 with flag 2795213/3686652
863.83/431.35	c cleaning 42012 clauses out of 84024 with flag 2945365/3729658
874.89/436.89	c cleaning 42990 clauses out of 86006 with flag 3083516/3773652
884.52/441.61	c cleaning 44001 clauses out of 88017 with flag 3230609/3818653
894.22/446.47	c cleaning 45007 clauses out of 90014 with flag 3387058/3864651
905.06/451.81	c cleaning 46001 clauses out of 92007 with flag 3546661/3911651
915.94/457.23	c cleaning 46998 clauses out of 94006 with flag 3718316/3959651
919.37/458.98	c cleaning 0 clauses out of 17966 with flag 0/17968
927.22/462.80	c cleaning 48004 clauses out of 96008 with flag 3891494/4008651
939.74/469.08	c cleaning 48988 clauses out of 98004 with flag 4072913/4058651
954.66/476.45	c cleaning 49998 clauses out of 100017 with flag 4220722/4109652
969.39/483.74	c cleaning 51003 clauses out of 102018 with flag 4369943/4161651
984.07/491.01	c cleaning 52001 clauses out of 104015 with flag 4530769/4214651
999.38/498.64	c cleaning 53008 clauses out of 106018 with flag 4691570/4268655
1013.48/505.84	c cleaning 53995 clauses out of 108006 with flag 4856047/4323651
1028.77/513.45	c cleaning 55003 clauses out of 110013 with flag 5034715/4379653
1046.08/522.04	c cleaning 55999 clauses out of 112009 with flag 5213779/4436652
1061.38/529.60	c cleaning 56999 clauses out of 114010 with flag 5399921/4494652
1078.45/538.19	c cleaning 58007 clauses out of 116013 with flag 5583906/4553654
1097.97/547.83	c cleaning 58996 clauses out of 118003 with flag 5778117/4613651
1116.89/557.22	c cleaning 59996 clauses out of 120007 with flag 5977656/4674651
1136.99/567.25	c cleaning 61005 clauses out of 122013 with flag 6172989/4736653
1157.11/577.22	c cleaning 61992 clauses out of 124006 with flag 6381418/4799651
1178.42/587.85	c cleaning 63004 clauses out of 126014 with flag 6594929/4863651
1198.49/597.88	c cleaning 64005 clauses out of 128012 with flag 6800604/4928653
1219.65/608.39	c cleaning 65001 clauses out of 130005 with flag 7018009/4994651
1241.56/619.22	c cleaning 65996 clauses out of 132004 with flag 7226266/5061651
1262.88/629.86	c cleaning 66998 clauses out of 134008 with flag 7446070/5129651
1286.95/641.80	c cleaning 68001 clauses out of 136012 with flag 7668739/5198653
1311.52/654.02	c cleaning 69005 clauses out of 138010 with flag 7883466/5268652
1337.55/666.97	c cleaning 69996 clauses out of 140006 with flag 8102210/5339653
1366.52/681.36	c cleaning 71001 clauses out of 142008 with flag 8306550/5411651
1390.64/693.34	c cleaning 71995 clauses out of 144007 with flag 8533926/5484651
1416.81/706.57	c cleaning 73005 clauses out of 146012 with flag 8763054/5558651
1440.93/718.50	c cleaning 74003 clauses out of 148009 with flag 8998842/5633653
1464.87/730.48	c cleaning 75002 clauses out of 150004 with flag 9236155/5709651
1490.63/743.21	c cleaning 76001 clauses out of 152003 with flag 9481861/5786652
1516.04/755.86	c cleaning 76999 clauses out of 154002 with flag 9733629/5864652
1543.11/769.24	c cleaning 77997 clauses out of 156002 with flag 9975443/5943651
1569.43/782.36	c cleaning 78995 clauses out of 158005 with flag 10231978/6023651
1597.22/796.11	c cleaning 80006 clauses out of 160013 with flag 10498538/6104654
1626.82/810.81	c cleaning 81004 clauses out of 162007 with flag 10782555/6186654
1658.04/826.39	c cleaning 82002 clauses out of 164004 with flag 11038639/6269655
1687.20/840.85	c cleaning 83000 clauses out of 165999 with flag 11285733/6353652
1718.41/856.35	c cleaning 83990 clauses out of 167999 with flag 11549773/6438652
1724.43/859.39	c cleaning 0 clauses out of 23967 with flag 0/23969
1750.64/872.32	c cleaning 85000 clauses out of 170009 with flag 11815083/6524652
1783.40/888.60	c cleaning 86004 clauses out of 172008 with flag 12070544/6611651
1800.07/896.90	c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<<
1800.07/896.90	c starts		: 38027
1800.07/896.90	c conflicts		: 6671505
1800.07/896.90	c decisions		: 14569050
1800.07/896.90	c propagations		: 83668631
1800.07/896.90	c inspects		: 16135848496
1800.07/896.90	c shortcuts		: 0
1800.07/896.90	c learnt literals	: 0
1800.07/896.90	c learnt binary clauses	: 6
1800.07/896.90	c learnt ternary clauses	: 199
1800.07/896.90	c learnt constraints	: 6671505
1800.07/896.90	c ignored constraints	: 0
1800.07/896.90	c root simplifications	: 0
1800.07/896.90	c removed literals (reason simplification)	: 35107592
1800.07/896.90	c reason swapping (by a shorter reason)	: 0
1800.07/896.90	c Calls to reduceDB	: 171
1800.07/896.90	c Number of update (reduction) of LBD	: 2095348
1800.07/896.90	c Imported unit clauses	: 0
1800.07/896.90	c number of reductions to clauses (during analyze)	: 0
1800.07/896.90	c number of learned constraints concerned by reduction	: 0
1800.07/896.90	c number of learning phase by resolution	: 0
1800.07/896.90	c number of learning phase by cutting planes	: 0
1800.07/896.90	c speed (assignments/second)	: 95327.35747375521
1800.07/896.90	c non guided choices	0
1800.07/896.94	c learnt constraints type 
1800.07/896.94	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 6
1800.07/896.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 145852
1800.07/896.94	c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<<
1800.07/896.94	c starts		: 79
1800.07/896.94	c conflicts		: 24493
1800.07/896.94	c decisions		: 65852
1800.07/896.94	c propagations		: 329535
1800.07/896.94	c inspects		: 1004448847
1800.07/896.94	c shortcuts		: 0
1800.07/896.94	c learnt literals	: 0
1800.07/896.94	c learnt binary clauses	: 0
1800.07/896.94	c learnt ternary clauses	: 0
1800.07/896.94	c learnt constraints	: 24491
1800.07/896.94	c ignored constraints	: 0
1800.07/896.94	c root simplifications	: 0
1800.07/896.94	c removed literals (reason simplification)	: 0
1800.07/896.94	c reason swapping (by a shorter reason)	: 0
1800.07/896.94	c Calls to reduceDB	: 4
1800.07/896.94	c Number of update (reduction) of LBD	: 0
1800.07/896.94	c Imported unit clauses	: 0
1800.07/896.94	c number of reductions to clauses (during analyze)	: 0
1800.07/896.94	c number of learned constraints concerned by reduction	: 0
1800.07/896.94	c number of learning phase by resolution	: 0
1800.07/896.94	c number of learning phase by cutting planes	: 0
1800.07/896.94	c speed (assignments/second)	: 599.5502486186338
1800.07/896.94	c non guided choices	0
1800.07/896.95	c learnt constraints type 
1800.07/896.95	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 141
1800.07/896.95	c org.sat4j.pb.constraints.pb.MaxWatchPb => 24350
1800.07/896.95	s SATISFIABLE
1800.07/896.95	c Found 7 solution(s)
1800.07/896.95	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 
1800.07/896.95	c objective function=8
1800.07/896.95	c Total wall clock time (in seconds): 896.831

Verifier Data 

OK	8

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-4081333-1465230952/watcher-4081333-1465230952 -o /tmp/evaluation-result-4081333-1465230952/solver-4081333-1465230952 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465220363-8289 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081333-1465230952.opb 

pid=13181
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: 4.04 4.07 4.18 4/199 13184
/proc/meminfo: memFree=28093544/32872528 swapFree=15540/1663004
[pid=13184] ppid=13181 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/13184/stat : 13184 (java) D 13181 13184 8273 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 105027972 2560000 46 33554432000 1073741824 1073778376 140735935648560 140735935645688 273896533287 0 0 4096 0 18446744072100764964 0 0 17 4 0 0 0 0 0
/proc/13184/statm: 625 46 37 9 0 29 0

[startup+0.100159 s]
/proc/loadavg: 4.04 4.07 4.18 4/199 13184
/proc/meminfo: memFree=28093544/32872528 swapFree=15540/1663004
[pid=13184] ppid=13181 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/13184/stat : 13184 (java) S 13181 13184 8273 0 -1 4202496 4461 0 1 0 8 2 0 0 20 0 18 0 105027972 9787879424 5583 33554432000 1073741824 1073778376 140735935648560 140735935639696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13184/statm: 2389619 5583 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200224 s]
/proc/loadavg: 4.04 4.07 4.18 4/199 13184
/proc/meminfo: memFree=28093544/32872528 swapFree=15540/1663004
[pid=13184] ppid=13181 vsize=9691604 CPUtime=0.25 cores=0,2,4,6
/proc/13184/stat : 13184 (java) S 13181 13184 8273 0 -1 4202496 4833 0 1 0 23 2 0 0 20 0 20 0 105027972 9924202496 7437 33554432000 1073741824 1073778376 140735935648560 140735935639696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13184/statm: 2422901 7437 2210 9 0 2413578 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9691604

[startup+0.300306 s]
/proc/loadavg: 4.04 4.07 4.18 4/199 13184
/proc/meminfo: memFree=28093544/32872528 swapFree=15540/1663004
[pid=13184] ppid=13181 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/13184/stat : 13184 (java) S 13181 13184 8273 0 -1 4202496 4854 0 1 0 23 2 0 0 20 0 19 0 105027972 10060525568 7448 33554432000 1073741824 1073778376 140735935648560 140735935639696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13184/statm: 2456183 7448 2212 9 0 2446860 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9824732

[startup+0.700274 s]
/proc/loadavg: 4.04 4.07 4.18 4/199 13184
/proc/meminfo: memFree=28093544/32872528 swapFree=15540/1663004
[pid=13184] ppid=13181 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/13184/stat : 13184 (java) S 13181 13184 8273 0 -1 4202496 4858 0 1 0 23 2 0 0 20 0 19 0 105027972 10060525568 7452 33554432000 1073741824 1073778376 140735935648560 140735935639696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13184/statm: 2456183 7452 2212 9 0 2446860 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9824732

[startup+1.50078 s]
/proc/loadavg: 3.88 4.04 4.17 3/218 13209
/proc/meminfo: memFree=28067676/32872528 swapFree=15540/1663004
[pid=13184] ppid=13181 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/13184/stat : 13184 (java) S 13181 13184 8273 0 -1 4202496 4917 0 1 0 24 2 0 0 20 0 19 0 105027972 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140735935639696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13184/statm: 2456183 9513 2214 9 0 2446860 0
[pid=13184/tid=13186] ppid=13181 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/13184/task/13186/stat : 13186 (java) S 13181 13184 8273 0 -1 4202560 2470 0 1 0 15 1 0 0 20 0 19 0 105027973 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218408235896 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13187] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13187/stat : 13187 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105027974 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218252217384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13188] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13188/stat : 13188 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105027974 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218251164584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13189] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13189/stat : 13189 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105027974 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218250111784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13190] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13190/stat : 13190 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105027974 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218249058984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13191] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13191/stat : 13191 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105027974 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218248006184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13192] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13192/stat : 13192 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105027974 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218246953384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13193] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13193/stat : 13193 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105027974 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218245900584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13194] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13194/stat : 13194 (java) S 13181 13184 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105027974 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218244847784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13195] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13195/stat : 13195 (java) S 13181 13184 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105027975 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218232437736 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13196] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13196/stat : 13196 (java) S 13181 13184 8273 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105027976 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218231383800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13197] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13197/stat : 13197 (java) S 13181 13184 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105027976 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218230330888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13198] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13198/stat : 13198 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105027978 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218229279376 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13199] ppid=13181 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/13184/task/13199/stat : 13199 (java) S 13181 13184 8273 0 -1 4202560 471 0 0 0 3 0 0 0 20 0 19 0 105027978 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218228226488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13200] ppid=13181 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/13184/task/13200/stat : 13200 (java) S 13181 13184 8273 0 -1 4202560 634 0 0 0 2 0 0 0 20 0 19 0 105027978 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218227173688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13201] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13201/stat : 13201 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105027978 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218226121080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13202] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13202/stat : 13202 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105027978 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218225068488 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13206] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13206/stat : 13206 (java) S 13181 13184 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105027992 10060525568 9513 33554432000 1073741824 1073778376 140735935648560 140218220856616 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9824732

[startup+3.10089 s]
/proc/loadavg: 3.88 4.04 4.17 3/218 13215
/proc/meminfo: memFree=28047504/32872528 swapFree=15540/1663004
[pid=13184] ppid=13181 vsize=9824732 CPUtime=3.98 cores=0,2,4,6
/proc/13184/stat : 13184 (java) S 13181 13184 8273 0 -1 4202496 27801 0 1 0 386 12 0 0 20 0 19 0 105027972 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140735935639696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13184/statm: 2456183 45095 2279 9 0 2446860 0
[pid=13184/tid=13186] ppid=13181 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/13184/task/13186/stat : 13186 (java) S 13181 13184 8273 0 -1 4202560 2471 0 1 0 15 2 0 0 20 0 19 0 105027973 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218408235896 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13187] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13187/stat : 13187 (java) S 13181 13184 8273 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 105027974 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218252217384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13188] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13188/stat : 13188 (java) S 13181 13184 8273 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 105027974 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218251164584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13189] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13189/stat : 13189 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105027974 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218250111784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13190] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13190/stat : 13190 (java) S 13181 13184 8273 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105027974 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218249058984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13191] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13191/stat : 13191 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105027974 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218248006184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13192] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13192/stat : 13192 (java) S 13181 13184 8273 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105027974 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218246953384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13193] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13193/stat : 13193 (java) S 13181 13184 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105027974 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218245900584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13194] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13194/stat : 13194 (java) S 13181 13184 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105027974 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218244847784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13195] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13195/stat : 13195 (java) S 13181 13184 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105027975 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218232437736 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13196] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13196/stat : 13196 (java) S 13181 13184 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105027976 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218231383800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13197] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13197/stat : 13197 (java) S 13181 13184 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105027976 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218230330888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13198] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13198/stat : 13198 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105027978 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218229279376 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13199] ppid=13181 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/13184/task/13199/stat : 13199 (java) S 13181 13184 8273 0 -1 4202560 11991 0 0 0 98 2 0 0 20 0 19 0 105027978 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218228226488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13200] ppid=13181 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/13184/task/13200/stat : 13200 (java) S 13181 13184 8273 0 -1 4202560 11878 0 0 0 94 2 0 0 20 0 19 0 105027978 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218227173688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13201] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13201/stat : 13201 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105027978 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218226121080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13202] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13202/stat : 13202 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105027978 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218225068488 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13215] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13215/stat : 13215 (java) S 13181 13184 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105028142 10060525568 45095 33554432000 1073741824 1073778376 140735935648560 140218224014504 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 9824732

[startup+6.30096 s]
/proc/loadavg: 3.89 4.04 4.17 5/221 13221
/proc/meminfo: memFree=27762272/32872528 swapFree=15540/1663004
[pid=13184] ppid=13181 vsize=9824732 CPUtime=10.49 cores=0,2,4,6
/proc/13184/stat : 13184 (java) S 13181 13184 8273 0 -1 4202496 28256 0 1 0 1026 23 0 0 20 0 22 0 105027972 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140735935639696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13184/statm: 2456183 139842 2279 9 0 2446860 0
[pid=13184/tid=13186] ppid=13181 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/13184/task/13186/stat : 13186 (java) S 13181 13184 8273 0 -1 4202560 2471 0 1 0 15 2 0 0 20 0 22 0 105027973 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218408235896 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13187] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13187/stat : 13187 (java) S 13181 13184 8273 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105027974 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218252217384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13188] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13188/stat : 13188 (java) S 13181 13184 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105027974 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218251164584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13189] ppid=13181 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/13184/task/13189/stat : 13189 (java) S 13181 13184 8273 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 105027974 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218250111784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13190] ppid=13181 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/13184/task/13190/stat : 13190 (java) S 13181 13184 8273 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 105027974 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218249058984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13191] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13191/stat : 13191 (java) S 13181 13184 8273 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 105027974 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218248006184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13192] ppid=13181 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/13184/task/13192/stat : 13192 (java) S 13181 13184 8273 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 105027974 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218246953384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13193] ppid=13181 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/13184/task/13193/stat : 13193 (java) S 13181 13184 8273 0 -1 4202560 20 0 0 0 0 2 0 0 20 0 22 0 105027974 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218245900584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13194] ppid=13181 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/13184/task/13194/stat : 13194 (java) S 13181 13184 8273 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 105027974 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218244847784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13195] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13195/stat : 13195 (java) S 13181 13184 8273 0 -1 4202560 188 0 0 0 0 0 0 0 20 0 22 0 105027975 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218232437736 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13196] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13196/stat : 13196 (java) S 13181 13184 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105027976 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218231383800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13197] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13197/stat : 13197 (java) S 13181 13184 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105027976 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218230330888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13198] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13198/stat : 13198 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105027978 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218229279376 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13199] ppid=13181 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/13184/task/13199/stat : 13199 (java) S 13181 13184 8273 0 -1 4202560 12011 0 0 0 124 2 0 0 20 0 22 0 105027978 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218228226488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13200] ppid=13181 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/13184/task/13200/stat : 13200 (java) S 13181 13184 8273 0 -1 4202560 11879 0 0 0 95 2 0 0 20 0 22 0 105027978 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218227173688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13201] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13201/stat : 13201 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105027978 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218226121080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13202] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13202/stat : 13202 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105027978 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218225068488 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13215] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13215/stat : 13215 (java) S 13181 13184 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105028142 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218224014504 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13219] ppid=13181 vsize=9824732 CPUtime=3.02 cores=0,2,4,6
/proc/13184/task/13219/stat : 13219 (java) R 13181 13184 8273 0 -1 4202560 9 0 0 0 302 0 0 0 20 0 22 0 105028293 10060525568 139842 33554432000 1073741824 1073778376 140735935648560 140218222952944 140218281113990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13220] ppid=13181 vsize=9824732 CPUtime=3.01 cores=0,2,4,6

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


[startup+882.308 s]
/proc/loadavg: 4.16 4.23 4.19 5/222 13366
/proc/meminfo: memFree=24532208/32872528 swapFree=15540/1663004
[pid=13184] ppid=13181 vsize=9824732 CPUtime=1770.75 cores=0,2,4,6
/proc/13184/stat : 13184 (java) S 13181 13184 8273 0 -1 4202496 37503 0 1 0 176925 150 0 0 20 0 22 0 105027972 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140735935639696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13184/statm: 2456183 542430 2288 9 0 2446860 0
[pid=13184/tid=13186] ppid=13181 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/13184/task/13186/stat : 13186 (java) S 13181 13184 8273 0 -1 4202560 2479 0 1 0 18 3 0 0 20 0 22 0 105027973 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218408235896 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13187] ppid=13181 vsize=9824732 CPUtime=2.81 cores=0,2,4,6
/proc/13184/task/13187/stat : 13187 (java) S 13181 13184 8273 0 -1 4202560 342 0 0 0 275 6 0 0 20 0 22 0 105027974 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218252217384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13188] ppid=13181 vsize=9824732 CPUtime=3 cores=0,2,4,6
/proc/13184/task/13188/stat : 13188 (java) S 13181 13184 8273 0 -1 4202560 359 0 0 0 294 6 0 0 20 0 22 0 105027974 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218251164584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13189] ppid=13181 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/13184/task/13189/stat : 13189 (java) S 13181 13184 8273 0 -1 4202560 347 0 0 0 295 6 0 0 20 0 22 0 105027974 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218250111784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13190] ppid=13181 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/13184/task/13190/stat : 13190 (java) S 13181 13184 8273 0 -1 4202560 353 0 0 0 289 6 0 0 20 0 22 0 105027974 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218249058984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13191] ppid=13181 vsize=9824732 CPUtime=2.73 cores=0,2,4,6
/proc/13184/task/13191/stat : 13191 (java) S 13181 13184 8273 0 -1 4202560 330 0 0 0 268 5 0 0 20 0 22 0 105027974 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218248006184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13192] ppid=13181 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/13184/task/13192/stat : 13192 (java) S 13181 13184 8273 0 -1 4202560 334 0 0 0 283 6 0 0 20 0 22 0 105027974 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218246953384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13193] ppid=13181 vsize=9824732 CPUtime=3.1 cores=0,2,4,6
/proc/13184/task/13193/stat : 13193 (java) S 13181 13184 8273 0 -1 4202560 372 0 0 0 303 7 0 0 20 0 22 0 105027974 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218245900584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13194] ppid=13181 vsize=9824732 CPUtime=3.02 cores=0,2,4,6
/proc/13184/task/13194/stat : 13194 (java) S 13181 13184 8273 0 -1 4202560 333 0 0 0 297 5 0 0 20 0 22 0 105027974 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218244847784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13195] ppid=13181 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/13184/task/13195/stat : 13195 (java) S 13181 13184 8273 0 -1 4202560 1318 0 0 0 86 27 0 0 20 0 22 0 105027975 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218232437736 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13196] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13196/stat : 13196 (java) S 13181 13184 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105027976 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218231383800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13197] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13197/stat : 13197 (java) S 13181 13184 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105027976 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218230330888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13198] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13198/stat : 13198 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105027978 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218229279376 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13199] ppid=13181 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/13184/task/13199/stat : 13199 (java) S 13181 13184 8273 0 -1 4202560 16033 0 0 0 169 3 0 0 20 0 22 0 105027978 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218228226488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13200] ppid=13181 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/13184/task/13200/stat : 13200 (java) S 13181 13184 8273 0 -1 4202560 11894 0 0 0 118 3 0 0 20 0 22 0 105027978 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218227173688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13201] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13201/stat : 13201 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105027978 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218226121080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13202] ppid=13181 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/13184/task/13202/stat : 13202 (java) S 13181 13184 8273 0 -1 4202560 50 0 0 0 16 17 0 0 20 0 22 0 105027978 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218225068488 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13224] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13224/stat : 13224 (java) S 13181 13184 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105029893 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218220856360 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13237] ppid=13181 vsize=9824732 CPUtime=529.31 cores=0,2,4,6
/proc/13184/task/13237/stat : 13237 (java) R 13181 13184 8273 0 -1 4202560 136 0 0 0 52921 10 0 0 20 0 22 0 105062702 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218221906528 140218281088695 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13238] ppid=13181 vsize=9824732 CPUtime=529.37 cores=0,2,4,6
/proc/13184/task/13238/stat : 13238 (java) R 13181 13184 8273 0 -1 4202560 86 0 0 0 52929 8 0 0 20 0 22 0 105062702 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218224012400 140218281180381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13239] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13239/stat : 13239 (java) S 13181 13184 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105062702 10060525568 542430 33554432000 1073741824 1073778376 140735935648560 140218222962344 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1770.75
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+896.901 s]
/proc/loadavg: 4.13 4.22 4.19 5/222 13367
/proc/meminfo: memFree=24535424/32872528 swapFree=15540/1663004
[pid=13184] ppid=13181 vsize=9824732 CPUtime=1800.07 cores=0,2,4,6
/proc/13184/stat : 13184 (java) S 13181 13184 8273 0 -1 4202496 37517 0 1 0 179856 151 0 0 20 0 22 0 105027972 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140735935639696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13184/statm: 2456183 541514 2288 9 0 2446860 0
[pid=13184/tid=13186] ppid=13181 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/13184/task/13186/stat : 13186 (java) S 13181 13184 8273 0 -1 4202560 2479 0 1 0 18 3 0 0 20 0 22 0 105027973 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218408235896 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13187] ppid=13181 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/13184/task/13187/stat : 13187 (java) S 13181 13184 8273 0 -1 4202560 344 0 0 0 280 6 0 0 20 0 22 0 105027974 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218252217384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13188] ppid=13181 vsize=9824732 CPUtime=3.05 cores=0,2,4,6
/proc/13184/task/13188/stat : 13188 (java) S 13181 13184 8273 0 -1 4202560 360 0 0 0 299 6 0 0 20 0 22 0 105027974 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218251164584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13189] ppid=13181 vsize=9824732 CPUtime=3.06 cores=0,2,4,6
/proc/13184/task/13189/stat : 13189 (java) S 13181 13184 8273 0 -1 4202560 349 0 0 0 300 6 0 0 20 0 22 0 105027974 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218250111784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13190] ppid=13181 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/13184/task/13190/stat : 13190 (java) S 13181 13184 8273 0 -1 4202560 355 0 0 0 291 7 0 0 20 0 22 0 105027974 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218249058984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13191] ppid=13181 vsize=9824732 CPUtime=2.77 cores=0,2,4,6
/proc/13184/task/13191/stat : 13191 (java) S 13181 13184 8273 0 -1 4202560 330 0 0 0 272 5 0 0 20 0 22 0 105027974 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218248006184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13192] ppid=13181 vsize=9824732 CPUtime=2.93 cores=0,2,4,6
/proc/13184/task/13192/stat : 13192 (java) S 13181 13184 8273 0 -1 4202560 334 0 0 0 287 6 0 0 20 0 22 0 105027974 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218246953384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13193] ppid=13181 vsize=9824732 CPUtime=3.14 cores=0,2,4,6
/proc/13184/task/13193/stat : 13193 (java) S 13181 13184 8273 0 -1 4202560 374 0 0 0 307 7 0 0 20 0 22 0 105027974 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218245900584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13194] ppid=13181 vsize=9824732 CPUtime=3.06 cores=0,2,4,6
/proc/13184/task/13194/stat : 13194 (java) S 13181 13184 8273 0 -1 4202560 334 0 0 0 301 5 0 0 20 0 22 0 105027974 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218244847784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13195] ppid=13181 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/13184/task/13195/stat : 13195 (java) S 13181 13184 8273 0 -1 4202560 1318 0 0 0 86 28 0 0 20 0 22 0 105027975 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218232437736 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13196] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13196/stat : 13196 (java) S 13181 13184 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105027976 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218231383800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13197] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13197/stat : 13197 (java) S 13181 13184 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105027976 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218230330888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13198] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13198/stat : 13198 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105027978 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218229279376 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13199] ppid=13181 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/13184/task/13199/stat : 13199 (java) S 13181 13184 8273 0 -1 4202560 16033 0 0 0 169 3 0 0 20 0 22 0 105027978 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218228226488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13200] ppid=13181 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/13184/task/13200/stat : 13200 (java) S 13181 13184 8273 0 -1 4202560 11894 0 0 0 118 3 0 0 20 0 22 0 105027978 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218227173688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13201] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13201/stat : 13201 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105027978 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218226121080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13202] ppid=13181 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/13184/task/13202/stat : 13202 (java) S 13181 13184 8273 0 -1 4202560 50 0 0 0 16 17 0 0 20 0 22 0 105027978 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218225068488 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13224] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13224/stat : 13224 (java) S 13181 13184 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105029893 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218220856360 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13237] ppid=13181 vsize=9824732 CPUtime=543.81 cores=0,2,4,6
/proc/13184/task/13237/stat : 13237 (java) R 13181 13184 8273 0 -1 4202560 137 0 0 0 54371 10 0 0 20 0 22 0 105062702 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218221907296 140218281129078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13238] ppid=13181 vsize=9824732 CPUtime=543.86 cores=0,2,4,6
/proc/13184/task/13238/stat : 13238 (java) R 13181 13184 8273 0 -1 4202560 89 0 0 0 54378 8 0 0 20 0 22 0 105062702 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218224011648 140218281180483 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13239] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13239/stat : 13239 (java) S 13181 13184 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105062702 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218222962344 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 13184 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+896.901 s]
/proc/loadavg: 4.13 4.22 4.19 5/222 13367
/proc/meminfo: memFree=24535424/32872528 swapFree=15540/1663004
[pid=13184] ppid=13181 vsize=9824732 CPUtime=1800.07 cores=0,2,4,6
/proc/13184/stat : 13184 (java) S 13181 13184 8273 0 -1 4202496 37517 0 1 0 179856 151 0 0 20 0 22 0 105027972 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140735935639696 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13184/statm: 2456183 541514 2288 9 0 2446860 0
[pid=13184/tid=13186] ppid=13181 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/13184/task/13186/stat : 13186 (java) S 13181 13184 8273 0 -1 4202560 2479 0 1 0 18 3 0 0 20 0 22 0 105027973 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218408235896 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13187] ppid=13181 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/13184/task/13187/stat : 13187 (java) S 13181 13184 8273 0 -1 4202560 344 0 0 0 280 6 0 0 20 0 22 0 105027974 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218252217384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13188] ppid=13181 vsize=9824732 CPUtime=3.05 cores=0,2,4,6
/proc/13184/task/13188/stat : 13188 (java) S 13181 13184 8273 0 -1 4202560 360 0 0 0 299 6 0 0 20 0 22 0 105027974 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218251164584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13189] ppid=13181 vsize=9824732 CPUtime=3.06 cores=0,2,4,6
/proc/13184/task/13189/stat : 13189 (java) S 13181 13184 8273 0 -1 4202560 349 0 0 0 300 6 0 0 20 0 22 0 105027974 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218250111784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13190] ppid=13181 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/13184/task/13190/stat : 13190 (java) S 13181 13184 8273 0 -1 4202560 355 0 0 0 291 7 0 0 20 0 22 0 105027974 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218249058984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13191] ppid=13181 vsize=9824732 CPUtime=2.77 cores=0,2,4,6
/proc/13184/task/13191/stat : 13191 (java) S 13181 13184 8273 0 -1 4202560 330 0 0 0 272 5 0 0 20 0 22 0 105027974 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218248006184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13192] ppid=13181 vsize=9824732 CPUtime=2.93 cores=0,2,4,6
/proc/13184/task/13192/stat : 13192 (java) S 13181 13184 8273 0 -1 4202560 334 0 0 0 287 6 0 0 20 0 22 0 105027974 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218246953384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13193] ppid=13181 vsize=9824732 CPUtime=3.14 cores=0,2,4,6
/proc/13184/task/13193/stat : 13193 (java) S 13181 13184 8273 0 -1 4202560 374 0 0 0 307 7 0 0 20 0 22 0 105027974 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218245900584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13194] ppid=13181 vsize=9824732 CPUtime=3.06 cores=0,2,4,6
/proc/13184/task/13194/stat : 13194 (java) S 13181 13184 8273 0 -1 4202560 334 0 0 0 301 5 0 0 20 0 22 0 105027974 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218244847784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13195] ppid=13181 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/13184/task/13195/stat : 13195 (java) S 13181 13184 8273 0 -1 4202560 1318 0 0 0 86 28 0 0 20 0 22 0 105027975 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218232437736 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13196] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13196/stat : 13196 (java) S 13181 13184 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105027976 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218231383800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13197] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13197/stat : 13197 (java) S 13181 13184 8273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105027976 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218230330888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13198] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13198/stat : 13198 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105027978 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218229279376 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13199] ppid=13181 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/13184/task/13199/stat : 13199 (java) S 13181 13184 8273 0 -1 4202560 16033 0 0 0 169 3 0 0 20 0 22 0 105027978 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218228226488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13200] ppid=13181 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/13184/task/13200/stat : 13200 (java) S 13181 13184 8273 0 -1 4202560 11894 0 0 0 118 3 0 0 20 0 22 0 105027978 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218227173688 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13201] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13201/stat : 13201 (java) S 13181 13184 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105027978 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218226121080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13202] ppid=13181 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/13184/task/13202/stat : 13202 (java) S 13181 13184 8273 0 -1 4202560 50 0 0 0 16 17 0 0 20 0 22 0 105027978 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218225068488 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13184/tid=13224] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13224/stat : 13224 (java) S 13181 13184 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105029893 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218220856360 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13184/tid=13237] ppid=13181 vsize=9824732 CPUtime=543.81 cores=0,2,4,6
/proc/13184/task/13237/stat : 13237 (java) R 13181 13184 8273 0 -1 4202560 137 0 0 0 54371 10 0 0 20 0 22 0 105062702 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218221907296 140218281129078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13184/tid=13238] ppid=13181 vsize=9824732 CPUtime=543.86 cores=0,2,4,6
/proc/13184/task/13238/stat : 13238 (java) R 13181 13184 8273 0 -1 4202560 89 0 0 0 54378 8 0 0 20 0 22 0 105062702 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218224011648 140218281180483 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13184/tid=13239] ppid=13181 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13184/task/13239/stat : 13239 (java) S 13181 13184 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105062702 10060525568 541514 33554432000 1073741824 1073778376 140735935648560 140218222962344 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 896.975
CPU time (s): 1800.75
CPU user time (s): 1798.85
CPU system time (s): 1.90371
CPU usage (%): 200.758
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.90371
maximum resident set size= 2753032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37563
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31941
involuntary context switches= 51975

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.75413 second user time and 7.60184 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-06 18:35:52
IDJOB=4081333
IDBENCH=2849
IDSOLVER=2543
FILE ID=node134/4081333-1465230952
RUNJOBID= node134-1465220363-8289
PBS_JOBID= 19843220
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_30.r.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081333-1465230952/watcher-4081333-1465230952 -o /tmp/evaluation-result-4081333-1465230952/solver-4081333-1465230952 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465220363-8289 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081333-1465230952.opb

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

MD5SUM BENCH= 80d844acb755df30f8eb4d34a1c5fb81
RANDOM SEED=253169460

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.403
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.56
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.403
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.403
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.403
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.56
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.403
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:        28094056 kB
Buffers:           24944 kB
Cached:            87152 kB
SwapCached:         1804 kB
Active:          2358884 kB
Inactive:          51356 kB
Active(anon):    2299480 kB
Inactive(anon):     1036 kB
Active(file):      59404 kB
Inactive(file):    50320 kB
Unevictable:     1663004 kB
Mlocked:           15540 kB
SwapTotal:      67108856 kB
SwapFree:       67098292 kB
Dirty:               848 kB
Writeback:            24 kB
AnonPages:       3960624 kB
Mapped:            15216 kB
Shmem:                 0 kB
Slab:             567092 kB
SReclaimable:      10760 kB
SUnreclaim:       556332 kB
KernelStack:        1624 kB
PageTables:        12524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4509020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3901440 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= 71732 MiB
End job on node134 at 2016-06-06 18:50:49