Trace number 4119554

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)2727 1800.02 1772.74

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-edgecross14-117.opb
MD5SUMc1e8e6c4c578f45311f0be56d66355ca
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2552
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables183
Total number of constraints1457
Number of constraints which are clauses1456
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 3892
Biggest coefficient in the objective function 3011
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 12141
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 3011
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 12141
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)3717
Sum of products size (including duplicates)7434
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.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
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 No 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.minisat.core.VoidTracing@7c64dc11
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4119554-1467261373.opb
0.08/0.12	c reading problem ... 
0.08/0.13	c  objective function found
0.73/0.44	c ... done. Wall clock time 0.313s.
0.73/0.44	c declared #vars     183
0.73/0.44	c internal #vars     3900
0.73/0.44	c #constraints  8892
0.73/0.44	c constraints type 
0.73/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5173
0.73/0.44	c org.sat4j.specs.Constr$1 => 1
0.73/0.44	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.73/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3717
0.73/0.44	c 8892 constraints processed.
0.73/0.44	c objective function length is 3892 literals
0.73/0.49	c SATISFIABLE
0.73/0.49	c OPTIMIZING...
0.73/0.49	c Got one! Elapsed wall clock time (in seconds):0.366
0.73/0.49	o 2970
0.98/0.58	c Got one! Elapsed wall clock time (in seconds):0.461
0.98/0.58	o 2965
1.26/0.62	c Got one! Elapsed wall clock time (in seconds):0.501
1.26/0.62	o 2963
1.26/0.65	c Got one! Elapsed wall clock time (in seconds):0.532
1.26/0.65	o 2955
1.26/0.67	c Got one! Elapsed wall clock time (in seconds):0.553
1.26/0.67	o 2941
1.56/0.74	c Got one! Elapsed wall clock time (in seconds):0.619
1.56/0.74	o 2935
1.56/0.79	c Got one! Elapsed wall clock time (in seconds):0.669
1.56/0.79	o 2931
1.84/0.80	c Got one! Elapsed wall clock time (in seconds):0.674
1.84/0.80	o 2919
1.84/0.80	c Got one! Elapsed wall clock time (in seconds):0.68
1.84/0.80	o 2914
1.84/0.81	c Got one! Elapsed wall clock time (in seconds):0.685
1.84/0.81	o 2912
1.84/0.81	c Got one! Elapsed wall clock time (in seconds):0.692
1.84/0.81	o 2909
1.84/0.82	c Got one! Elapsed wall clock time (in seconds):0.697
1.84/0.82	o 2904
1.84/0.83	c Got one! Elapsed wall clock time (in seconds):0.703
1.84/0.83	o 2890
1.84/0.88	c Got one! Elapsed wall clock time (in seconds):0.758
1.84/0.88	o 2886
1.84/0.89	c Got one! Elapsed wall clock time (in seconds):0.766
1.84/0.89	o 2884
2.07/1.02	c Got one! Elapsed wall clock time (in seconds):0.899
2.07/1.02	o 2883
2.07/1.05	c Got one! Elapsed wall clock time (in seconds):0.932
2.07/1.05	o 2880
2.07/1.06	c Got one! Elapsed wall clock time (in seconds):0.937
2.07/1.06	o 2877
2.07/1.07	c Got one! Elapsed wall clock time (in seconds):0.946
2.07/1.07	o 2870
2.17/1.12	c Got one! Elapsed wall clock time (in seconds):0.993
2.17/1.12	o 2868
2.17/1.12	c Got one! Elapsed wall clock time (in seconds):1.002
2.17/1.12	o 2864
3.73/2.61	c cleaning 3117 clauses out of 6233 with flag 10047/6233
5.59/4.39	c cleaning 4555 clauses out of 9115 with flag 22054/12232
6.59/5.38	c Got one! Elapsed wall clock time (in seconds):5.256
6.59/5.38	o 2863
7.27/5.98	c cleaning 5066 clauses out of 10135 with flag 4050/17807
9.29/7.79	c cleaning 5534 clauses out of 11068 with flag 16061/23806
9.79/8.28	c Got one! Elapsed wall clock time (in seconds):8.159
9.79/8.28	o 2859
9.89/8.37	c Got one! Elapsed wall clock time (in seconds):8.243
9.89/8.37	o 2856
9.89/8.39	c Got one! Elapsed wall clock time (in seconds):8.266
9.89/8.39	o 2854
9.99/8.42	c Got one! Elapsed wall clock time (in seconds):8.301
9.99/8.42	o 2850
11.09/9.59	c cleaning 5887 clauses out of 11776 with flag 8095/30048
12.39/10.89	c Got one! Elapsed wall clock time (in seconds):10.771
12.39/10.89	o 2849
12.79/11.20	c cleaning 5734 clauses out of 11475 with flag 2066/35634
14.19/12.60	c Got one! Elapsed wall clock time (in seconds):12.477
14.19/12.60	o 2847
14.19/12.68	c Got one! Elapsed wall clock time (in seconds):12.559
14.19/12.68	o 2845
14.29/12.72	c Got one! Elapsed wall clock time (in seconds):12.599
14.29/12.72	o 2838
14.29/12.76	c Got one! Elapsed wall clock time (in seconds):12.635
14.29/12.76	o 2836
14.59/13.07	c cleaning 6072 clauses out of 12150 with flag 2107/42043
15.29/13.77	c Got one! Elapsed wall clock time (in seconds):13.645
15.29/13.77	o 2835
16.19/14.68	c cleaning 5753 clauses out of 11508 with flag 6409/47473
18.39/16.62	c cleaning 5877 clauses out of 11756 with flag 18429/53474
19.49/17.77	c Got one! Elapsed wall clock time (in seconds):17.653
19.49/17.77	o 2833
20.18/18.42	c cleaning 5812 clauses out of 11635 with flag 4062/59230
21.88/20.12	c Got one! Elapsed wall clock time (in seconds):19.996
21.88/20.12	o 2826
23.48/21.71	c cleaning 8211 clauses out of 16438 with flag 10003/69845
25.28/23.55	c cleaning 7105 clauses out of 14227 with flag 22008/75845
27.80/25.84	c cleaning 7057 clauses out of 14124 with flag 36063/82847
30.20/28.29	c cleaning 7534 clauses out of 15067 with flag 52152/90847
32.10/30.19	c Got one! Elapsed wall clock time (in seconds):30.072
32.10/30.19	o 2821
33.80/31.82	c cleaning 9399 clauses out of 18814 with flag 10232/102128
35.60/33.66	c Got one! Elapsed wall clock time (in seconds):33.543
35.60/33.66	o 2820
35.70/33.74	c Got one! Elapsed wall clock time (in seconds):33.622
35.70/33.74	o 2819
35.70/33.75	c Got one! Elapsed wall clock time (in seconds):33.628
35.70/33.75	o 2818
35.70/33.75	c Got one! Elapsed wall clock time (in seconds):33.633
35.70/33.75	o 2816
35.70/33.78	c Got one! Elapsed wall clock time (in seconds):33.655
35.70/33.78	o 2812
35.70/33.78	c Got one! Elapsed wall clock time (in seconds):33.66
35.70/33.78	o 2810
36.51/34.56	c Got one! Elapsed wall clock time (in seconds):34.435
36.51/34.56	o 2809
37.50/35.57	c cleaning 10538 clauses out of 21077 with flag 6328/113790
37.60/35.62	c Got one! Elapsed wall clock time (in seconds):35.5
37.60/35.62	o 2808
39.11/37.18	c cleaning 7853 clauses out of 15715 with flag 10223/118966
40.11/38.15	c Got one! Elapsed wall clock time (in seconds):38.032
40.11/38.15	o 2807
40.21/38.23	c Got one! Elapsed wall clock time (in seconds):38.112
40.21/38.23	o 2805
40.21/38.27	c Got one! Elapsed wall clock time (in seconds):38.145
40.21/38.27	o 2804
40.21/38.28	c Got one! Elapsed wall clock time (in seconds):38.16
40.21/38.28	o 2800
40.82/38.88	c cleaning 6712 clauses out of 13424 with flag 4125/124528
41.02/39.00	c Got one! Elapsed wall clock time (in seconds):38.881
41.02/39.00	o 2799
42.42/40.49	c cleaning 6080 clauses out of 12170 with flag 10136/129986
44.33/42.28	c cleaning 6039 clauses out of 12090 with flag 22151/135986
46.43/44.31	c cleaning 6524 clauses out of 13051 with flag 36182/142986
47.03/44.94	c Got one! Elapsed wall clock time (in seconds):44.814
47.03/44.94	o 2797
47.93/45.80	c cleaning 5864 clauses out of 11737 with flag 6066/148196
48.73/46.68	c Got one! Elapsed wall clock time (in seconds):46.562
48.73/46.68	o 2796
49.33/47.28	c cleaning 5484 clauses out of 10979 with flag 4006/153302
51.13/49.03	c cleaning 5742 clauses out of 11494 with flag 16006/159301
53.13/51.09	c cleaning 6375 clauses out of 12751 with flag 30006/166300
55.54/53.41	c cleaning 7181 clauses out of 14376 with flag 46012/174300
58.14/56.04	c cleaning 8093 clauses out of 16195 with flag 64022/183300
58.54/56.40	c Got one! Elapsed wall clock time (in seconds):56.279
58.54/56.40	o 2795
59.94/57.69	c cleaning 6703 clauses out of 13425 with flag 8149/188623
61.75/59.47	c cleaning 6349 clauses out of 12721 with flag 20600/194622
63.84/61.55	c cleaning 6684 clauses out of 13373 with flag 35158/201623
65.34/63.07	c Got one! Elapsed wall clock time (in seconds):62.943
65.34/63.07	o 2794
65.54/63.23	c Got one! Elapsed wall clock time (in seconds):63.112
65.54/63.23	o 2793
67.14/64.82	c cleaning 8752 clauses out of 17516 with flag 10540/212450
68.94/66.68	c cleaning 7382 clauses out of 14764 with flag 23245/218450
70.04/67.79	c Got one! Elapsed wall clock time (in seconds):67.667
70.04/67.79	o 2792
70.34/68.01	c Got one! Elapsed wall clock time (in seconds):67.892
70.34/68.01	o 2791
70.95/68.64	c cleaning 6963 clauses out of 13934 with flag 4107/225002
72.76/70.47	c cleaning 6481 clauses out of 12972 with flag 16236/231003
74.85/72.59	c cleaning 6743 clauses out of 13491 with flag 30277/238003
77.35/75.02	c cleaning 7371 clauses out of 14747 with flag 46352/246002
80.16/77.81	c cleaning 8182 clauses out of 16377 with flag 64480/255003
83.16/80.80	c cleaning 9095 clauses out of 18195 with flag 84554/265003
86.45/84.11	c cleaning 10042 clauses out of 20100 with flag 106730/276003
90.71/88.02	c cleaning 11027 clauses out of 22058 with flag 131022/288003
92.40/89.71	c Got one! Elapsed wall clock time (in seconds):89.586
92.40/89.71	o 2790
93.91/91.27	c cleaning 10899 clauses out of 21807 with flag 10065/298779
95.81/93.11	c cleaning 8447 clauses out of 16908 with flag 22140/304779
97.81/95.18	c cleaning 7721 clauses out of 15461 with flag 36201/311779
100.21/97.53	c cleaning 7862 clauses out of 15741 with flag 52300/319780
102.51/99.85	c Got one! Elapsed wall clock time (in seconds):99.733
102.51/99.85	o 2789
104.11/101.40	c cleaning 10442 clauses out of 20893 with flag 10022/332794
105.91/103.21	c cleaning 8221 clauses out of 16455 with flag 22161/338798
107.31/104.67	c Got one! Elapsed wall clock time (in seconds):104.546
107.31/104.67	o 2788
108.81/106.19	c cleaning 9112 clauses out of 18241 with flag 10310/348805
109.81/107.19	c Got one! Elapsed wall clock time (in seconds):107.064
109.81/107.19	o 2786
110.41/107.78	c cleaning 7294 clauses out of 14614 with flag 4070/354290
110.81/108.19	c Got one! Elapsed wall clock time (in seconds):108.065
110.81/108.19	o 2784
110.91/108.25	c Got one! Elapsed wall clock time (in seconds):108.13
110.91/108.25	o 2783
112.11/109.44	c cleaning 6517 clauses out of 13051 with flag 8170/360021
113.81/111.19	c cleaning 6257 clauses out of 12535 with flag 20325/366022
115.60/112.92	c Got one! Elapsed wall clock time (in seconds):112.794
115.60/112.92	o 2781
116.90/114.20	c Got one! Elapsed wall clock time (in seconds):114.077
116.90/114.20	o 2779
117.21/114.51	c cleaning 8877 clauses out of 17758 with flag 2109/377502
119.21/116.37	c cleaning 7436 clauses out of 14881 with flag 14552/383502
120.01/117.15	c Got one! Elapsed wall clock time (in seconds):117.023
120.01/117.15	o 2776
121.01/118.10	c cleaning 6529 clauses out of 13071 with flag 6260/389128
122.82/119.95	c cleaning 6267 clauses out of 12543 with flag 18670/395129
124.51/121.68	c Got one! Elapsed wall clock time (in seconds):121.556
124.51/121.68	o 2773
126.11/123.27	c cleaning 8505 clauses out of 17018 with flag 10155/405871
128.01/125.13	c cleaning 7252 clauses out of 14513 with flag 22432/411871
130.11/127.27	c cleaning 7122 clauses out of 14261 with flag 36714/418871
132.61/129.77	c cleaning 7570 clauses out of 15145 with flag 52997/426877
135.41/132.51	c cleaning 8276 clauses out of 16569 with flag 71169/435871
138.50/135.67	c cleaning 9142 clauses out of 18293 with flag 91332/445871
142.10/139.29	c cleaning 10074 clauses out of 20153 with flag 113593/456873
146.10/143.20	c cleaning 11036 clauses out of 22077 with flag 137962/468871
150.38/147.35	c cleaning 12011 clauses out of 24041 with flag 164319/481871
154.78/151.78	c cleaning 13010 clauses out of 26030 with flag 192948/495871
159.48/156.47	c cleaning 14004 clauses out of 28020 with flag 223566/510871
164.58/161.56	c cleaning 15003 clauses out of 30016 with flag 256280/526871
169.99/166.97	c cleaning 15999 clauses out of 32014 with flag 290990/543872
175.90/172.88	c cleaning 17001 clauses out of 34014 with flag 327699/561871
183.38/179.71	c cleaning 18002 clauses out of 36013 with flag 366515/580871
189.78/186.15	c cleaning 19000 clauses out of 38011 with flag 407523/600871
196.68/193.02	c cleaning 20002 clauses out of 40012 with flag 450346/621872
204.54/200.65	c cleaning 20993 clauses out of 42010 with flag 495295/643872
212.54/208.60	c cleaning 22005 clauses out of 44016 with flag 541958/666871
220.94/217.01	c cleaning 22998 clauses out of 46011 with flag 590974/690871
221.74/217.81	c Got one! Elapsed wall clock time (in seconds):217.686
221.74/217.81	o 2772
222.74/218.83	c cleaning 14309 clauses out of 28632 with flag 6170/696490
224.54/220.68	c cleaning 10155 clauses out of 20324 with flag 18415/702491
227.16/222.97	c cleaning 8580 clauses out of 17168 with flag 32860/709490
229.56/225.31	c cleaning 8292 clauses out of 16588 with flag 49073/717490
232.16/227.99	c cleaning 8642 clauses out of 17295 with flag 67327/726489
235.27/231.02	c cleaning 9320 clauses out of 18654 with flag 87572/736490
238.67/234.43	c cleaning 10158 clauses out of 20333 with flag 110009/747489
242.26/238.09	c cleaning 11079 clauses out of 22176 with flag 134343/759490
246.47/242.15	c cleaning 12040 clauses out of 24096 with flag 160727/772489
251.26/246.93	c cleaning 13024 clauses out of 26057 with flag 189208/786490
252.86/248.59	c Got one! Elapsed wall clock time (in seconds):248.465
252.86/248.59	o 2771
254.66/250.30	c cleaning 11625 clauses out of 23258 with flag 10929/796715
256.56/252.23	c cleaning 8809 clauses out of 17633 with flag 23906/802715
258.57/254.29	c Got one! Elapsed wall clock time (in seconds):254.171
258.57/254.29	o 2770
259.16/254.81	c Got one! Elapsed wall clock time (in seconds):254.69
259.16/254.81	o 2769
260.56/256.21	c cleaning 10588 clauses out of 21177 with flag 8662/815068
262.56/258.22	c cleaning 8295 clauses out of 16591 with flag 21367/821070
264.76/260.48	c cleaning 7639 clauses out of 15294 with flag 35849/828068
267.58/263.18	c cleaning 7824 clauses out of 15655 with flag 52867/836068
270.58/266.15	c cleaning 8408 clauses out of 16833 with flag 71695/845070
273.98/269.54	c cleaning 9204 clauses out of 18424 with flag 93475/855069
277.78/273.34	c cleaning 10107 clauses out of 20220 with flag 116767/866069
281.98/277.54	c cleaning 11053 clauses out of 22113 with flag 142345/878069
286.48/282.03	c cleaning 12026 clauses out of 24060 with flag 170034/891069
291.81/287.21	c cleaning 13009 clauses out of 26033 with flag 199365/905068
297.22/292.62	c cleaning 14006 clauses out of 28024 with flag 230508/920068
302.82/298.26	c cleaning 15005 clauses out of 30019 with flag 263513/936069
308.91/304.39	c cleaning 16001 clauses out of 32013 with flag 298849/953068
315.41/310.78	c cleaning 17003 clauses out of 34012 with flag 336009/971068
322.41/317.71	c cleaning 17999 clauses out of 36011 with flag 375771/990070
329.71/325.07	c cleaning 19002 clauses out of 38011 with flag 417882/1010069
335.78/330.99	c Got one! Elapsed wall clock time (in seconds):330.872
335.78/330.99	o 2768
337.68/332.81	c cleaning 20948 clauses out of 41909 with flag 10456/1032969
339.58/334.72	c cleaning 13472 clauses out of 26961 with flag 22896/1038969
341.78/336.95	c cleaning 10240 clauses out of 20489 with flag 37390/1045969
344.18/339.31	c cleaning 9117 clauses out of 18249 with flag 53854/1053969
346.78/341.98	c cleaning 9059 clauses out of 18133 with flag 72250/1062970
350.10/345.19	c cleaning 9528 clauses out of 19073 with flag 92878/1072969
353.71/348.76	c cleaning 10266 clauses out of 20545 with flag 115948/1083969
355.60/350.63	c Got one! Elapsed wall clock time (in seconds):350.507
355.60/350.63	o 2767
357.20/352.27	c cleaning 10687 clauses out of 21385 with flag 10555/1095075
359.10/354.16	c cleaning 8341 clauses out of 16698 with flag 23375/1101075
361.20/356.29	c cleaning 7672 clauses out of 15360 with flag 38034/1108078
361.80/356.87	c Got one! Elapsed wall clock time (in seconds):356.752
361.80/356.87	o 2766
363.10/358.11	c cleaning 6820 clauses out of 13655 with flag 8358/1114045
364.94/359.96	c cleaning 6406 clauses out of 12833 with flag 20872/1120043
367.06/362.07	c cleaning 6712 clauses out of 13428 with flag 35460/1127044
369.45/364.47	c cleaning 7356 clauses out of 14714 with flag 51959/1135042
372.35/367.30	c cleaning 8174 clauses out of 16358 with flag 70318/1144042
373.05/368.00	c Got one! Elapsed wall clock time (in seconds):367.878
373.05/368.00	o 2765
373.95/368.95	c cleaning 6780 clauses out of 13572 with flag 6501/1149430
375.76/370.79	c cleaning 6391 clauses out of 12796 with flag 19141/1155434
377.85/372.89	c cleaning 6693 clauses out of 13402 with flag 33850/1162431
380.38/375.37	c cleaning 7354 clauses out of 14709 with flag 50748/1170431
383.08/378.07	c cleaning 8171 clauses out of 16354 with flag 69655/1179430
386.18/381.12	c cleaning 9088 clauses out of 18184 with flag 90668/1189431
389.38/384.37	c cleaning 10043 clauses out of 20095 with flag 113734/1200430
393.18/388.16	c cleaning 11019 clauses out of 22052 with flag 139444/1212430
397.65/392.50	c cleaning 12013 clauses out of 24035 with flag 167187/1225432
402.05/396.91	c cleaning 13000 clauses out of 26020 with flag 196931/1239430
406.85/401.77	c cleaning 14008 clauses out of 28021 with flag 229370/1254431
409.45/404.35	c Got one! Elapsed wall clock time (in seconds):404.227
409.45/404.35	o 2763
411.26/406.09	c cleaning 13662 clauses out of 27345 with flag 10734/1267763
413.15/407.91	c cleaning 9830 clauses out of 19683 with flag 23333/1273763
415.25/410.01	c cleaning 8422 clauses out of 16854 with flag 38156/1280764
417.65/412.41	c cleaning 8209 clauses out of 16432 with flag 55623/1288764
420.25/415.04	c cleaning 8603 clauses out of 17222 with flag 75156/1297763
421.65/416.44	c Got one! Elapsed wall clock time (in seconds):416.321
421.65/416.44	o 2762
421.95/416.75	c cleaning 7275 clauses out of 14563 with flag 2140/1303707
423.70/418.49	c cleaning 6637 clauses out of 13289 with flag 14922/1309708
425.70/420.47	c cleaning 6818 clauses out of 13651 with flag 29363/1316707
428.00/422.76	c cleaning 7411 clauses out of 14833 with flag 46091/1324707
430.70/425.44	c cleaning 8207 clauses out of 16422 with flag 65486/1333707
433.70/428.43	c cleaning 9103 clauses out of 18214 with flag 86619/1343706
437.41/432.06	c cleaning 10051 clauses out of 20112 with flag 111146/1354707
441.31/435.94	c cleaning 11027 clauses out of 22062 with flag 137387/1366708
445.61/440.28	c cleaning 12015 clauses out of 24034 with flag 165433/1379707
450.34/444.86	c cleaning 13004 clauses out of 26018 with flag 195602/1393706
455.24/449.77	c cleaning 13999 clauses out of 28014 with flag 227581/1408706
460.44/454.97	c cleaning 15003 clauses out of 30015 with flag 261618/1424706
466.85/461.20	c cleaning 16000 clauses out of 32012 with flag 297641/1441706
473.05/467.43	c cleaning 17003 clauses out of 34012 with flag 336033/1459706
479.81/474.02	c cleaning 18000 clauses out of 36009 with flag 376501/1478706
486.31/480.57	c cleaning 18999 clauses out of 38011 with flag 419840/1498708
493.81/487.91	c cleaning 20000 clauses out of 40012 with flag 466628/1519708
501.71/495.81	c cleaning 21001 clauses out of 42011 with flag 515516/1541707
510.59/504.64	c cleaning 22000 clauses out of 44009 with flag 566291/1564706
519.89/513.79	c cleaning 22997 clauses out of 46010 with flag 618026/1588707
529.78/523.42	c cleaning 24002 clauses out of 48012 with flag 673676/1613706
539.18/532.87	c cleaning 24995 clauses out of 50010 with flag 727677/1639706
550.01/543.45	c cleaning 26001 clauses out of 52015 with flag 784012/1666706
560.94/554.00	c cleaning 27002 clauses out of 54014 with flag 841730/1694706
562.44/555.49	c Got one! Elapsed wall clock time (in seconds):555.366
562.44/555.49	o 2761
563.02/555.91	c cleaning 16249 clauses out of 32509 with flag 2158/1700203
564.93/557.87	c cleaning 11123 clauses out of 22261 with flag 14635/1706204
567.13/560.09	c cleaning 9062 clauses out of 18137 with flag 29039/1713203
569.62/562.55	c cleaning 8527 clauses out of 17076 with flag 45602/1721204
572.62/565.42	c cleaning 8767 clauses out of 17548 with flag 64576/1730203
575.72/568.50	c cleaning 9383 clauses out of 18782 with flag 85496/1740204
579.22/572.03	c cleaning 10192 clauses out of 20400 with flag 108747/1751205
582.85/575.69	c Got one! Elapsed wall clock time (in seconds):575.567
582.85/575.69	o 2760
584.55/577.36	c cleaning 13262 clauses out of 26536 with flag 10663/1767533
586.45/579.24	c cleaning 9630 clauses out of 19273 with flag 23184/1773532
588.69/581.43	c cleaning 8315 clauses out of 16643 with flag 37540/1780532
591.09/583.85	c cleaning 8160 clauses out of 16330 with flag 53835/1788534
593.89/586.60	c cleaning 8576 clauses out of 17169 with flag 73035/1797533
596.93/589.68	c cleaning 9292 clauses out of 18592 with flag 94206/1807532
600.43/593.10	c cleaning 10145 clauses out of 20300 with flag 117461/1818532
601.23/593.95	c Got one! Elapsed wall clock time (in seconds):593.828
601.23/593.95	o 2758
602.27/594.93	c cleaning 8008 clauses out of 16032 with flag 6690/1824409
604.07/596.78	c cleaning 7002 clauses out of 14023 with flag 19661/1830408
606.17/598.89	c cleaning 7000 clauses out of 14024 with flag 34647/1837411
608.67/601.33	c cleaning 7505 clauses out of 15022 with flag 51790/1845409
610.09/602.72	c Got one! Elapsed wall clock time (in seconds):602.603
610.09/602.72	o 2754
610.39/603.05	c cleaning 6543 clauses out of 13104 with flag 2173/1850996
612.19/604.83	c cleaning 6274 clauses out of 12561 with flag 14887/1856996
614.18/606.89	c cleaning 6640 clauses out of 13287 with flag 29354/1863996
614.69/607.39	c Got one! Elapsed wall clock time (in seconds):607.266
614.69/607.39	o 2752
616.03/608.63	c cleaning 6200 clauses out of 12433 with flag 8510/1869782
617.83/610.47	c cleaning 6105 clauses out of 12234 with flag 20982/1875783
619.94/612.58	c cleaning 6559 clauses out of 13129 with flag 35528/1882783
622.50/615.07	c cleaning 7280 clauses out of 14570 with flag 52197/1890783
623.79/616.30	c Got one! Elapsed wall clock time (in seconds):616.183
623.79/616.30	o 2748
624.09/616.63	c cleaning 6227 clauses out of 12461 with flag 2169/1895954
625.89/618.46	c cleaning 6107 clauses out of 12229 with flag 14666/1901949
628.09/620.65	c cleaning 6553 clauses out of 13122 with flag 29675/1908949
630.53/623.09	c cleaning 7280 clauses out of 14570 with flag 46621/1916950
633.33/625.90	c cleaning 8142 clauses out of 16289 with flag 65589/1925949
636.59/629.05	c cleaning 9071 clauses out of 18147 with flag 87185/1935949
639.89/632.31	c cleaning 10035 clauses out of 20077 with flag 110740/1946950
643.45/635.88	c cleaning 11015 clauses out of 22042 with flag 135747/1958950
647.54/639.89	c cleaning 12013 clauses out of 24026 with flag 163120/1971949
652.24/644.56	c cleaning 13003 clauses out of 26013 with flag 193203/1985949
657.49/649.77	c cleaning 13999 clauses out of 28010 with flag 225226/2000949
663.18/655.36	c cleaning 15005 clauses out of 30013 with flag 260892/2016951
665.35/657.42	c Got one! Elapsed wall clock time (in seconds):657.302
665.35/657.42	o 2745
666.95/659.09	c cleaning 13246 clauses out of 26498 with flag 10800/2028441
668.74/660.87	c cleaning 9621 clauses out of 19253 with flag 23678/2034442
670.98/663.00	c cleaning 8309 clauses out of 16630 with flag 39053/2041440
673.28/665.32	c cleaning 8155 clauses out of 16323 with flag 56403/2049442
675.64/667.60	c Got one! Elapsed wall clock time (in seconds):667.482
675.64/667.60	o 2743
677.24/669.24	c cleaning 10441 clauses out of 20885 with flag 10918/2062159
679.04/671.01	c cleaning 8212 clauses out of 16445 with flag 24159/2068160
681.17/673.10	c cleaning 7606 clauses out of 15234 with flag 39314/2075161
683.48/675.43	c cleaning 7802 clauses out of 15627 with flag 56358/2083160
683.87/675.87	c Got one! Elapsed wall clock time (in seconds):675.751
683.87/675.87	o 2742
685.10/677.09	c cleaning 6679 clauses out of 13375 with flag 8356/2088710
686.91/678.87	c cleaning 6341 clauses out of 12696 with flag 21053/2094710
688.90/680.88	c cleaning 6668 clauses out of 13355 with flag 35684/2101710
691.31/683.23	c cleaning 7335 clauses out of 14687 with flag 53035/2109710
694.09/685.97	c cleaning 8171 clauses out of 16352 with flag 72804/2118710
697.19/689.02	c cleaning 9083 clauses out of 18180 with flag 94010/2128709
699.33/691.10	c Got one! Elapsed wall clock time (in seconds):690.982
699.33/691.10	o 2740
700.63/692.40	c Got one! Elapsed wall clock time (in seconds):692.282
700.63/692.40	o 2739
700.93/692.74	c cleaning 10603 clauses out of 21209 with flag 2250/2140821
702.88/694.67	c cleaning 8302 clauses out of 16607 with flag 15618/2146822
705.18/696.90	c cleaning 7646 clauses out of 15303 with flag 30243/2153820
707.85/699.51	c cleaning 7823 clauses out of 15656 with flag 47631/2161819
710.55/702.23	c cleaning 8407 clauses out of 16833 with flag 66677/2170819
713.70/705.36	c cleaning 9208 clauses out of 18428 with flag 88149/2180821
717.24/708.84	c cleaning 10105 clauses out of 20218 with flag 111582/2191819
721.21/712.77	c cleaning 11057 clauses out of 22113 with flag 136814/2203819
725.81/717.25	c cleaning 12018 clauses out of 24056 with flag 165482/2216819
730.69/722.06	c cleaning 13011 clauses out of 26039 with flag 195133/2230820
735.77/727.06	c cleaning 14011 clauses out of 28028 with flag 226179/2245820
741.40/732.59	c cleaning 15008 clauses out of 30016 with flag 260574/2261819
747.78/738.73	c cleaning 15993 clauses out of 32008 with flag 296074/2278819
754.76/745.54	c cleaning 17002 clauses out of 34015 with flag 333031/2296819
762.16/752.74	c cleaning 18006 clauses out of 36013 with flag 372725/2315819
769.85/760.20	c cleaning 18997 clauses out of 38007 with flag 413978/2335819
777.63/767.83	c cleaning 20000 clauses out of 40010 with flag 457362/2356819
785.88/775.93	c cleaning 21004 clauses out of 42011 with flag 502605/2378820
794.70/784.53	c cleaning 21998 clauses out of 44007 with flag 553577/2401820
803.61/793.21	c cleaning 23002 clauses out of 46011 with flag 603192/2425822
812.86/802.29	c cleaning 24002 clauses out of 48009 with flag 657026/2450822
822.59/811.81	c cleaning 24996 clauses out of 50004 with flag 711722/2476819
832.49/821.52	c cleaning 25999 clauses out of 52009 with flag 767775/2503820
843.05/831.95	c cleaning 26997 clauses out of 54009 with flag 827166/2531819
854.60/843.16	c cleaning 28003 clauses out of 56012 with flag 888011/2560819
867.20/855.54	c cleaning 29000 clauses out of 58011 with flag 951943/2590821
879.68/867.90	c cleaning 30001 clauses out of 60010 with flag 1020559/2621820
892.91/880.77	c cleaning 31001 clauses out of 62008 with flag 1090421/2653819
906.06/893.66	c cleaning 31993 clauses out of 64007 with flag 1159458/2686819
920.60/908.06	c cleaning 33001 clauses out of 66015 with flag 1231690/2720820
935.75/922.97	c cleaning 34002 clauses out of 68014 with flag 1308055/2755820
951.28/938.19	c cleaning 35000 clauses out of 70012 with flag 1388554/2791820
966.98/953.69	c cleaning 35995 clauses out of 72011 with flag 1470841/2828819
982.03/968.47	c cleaning 37001 clauses out of 74016 with flag 1555141/2866819
997.64/983.56	c cleaning 37999 clauses out of 76015 with flag 1639275/2905819
1013.88/999.55	c cleaning 39002 clauses out of 78016 with flag 1725234/2945819
1030.73/1016.12	c cleaning 40002 clauses out of 80015 with flag 1813548/2986820
1047.69/1032.87	c cleaning 40994 clauses out of 82013 with flag 1904101/3028820
1065.58/1050.30	c cleaning 42007 clauses out of 84019 with flag 1995643/3071820
1084.73/1069.23	c cleaning 43001 clauses out of 86012 with flag 2089151/3115820
1106.30/1090.26	c cleaning 44002 clauses out of 88010 with flag 2186579/3160819
1128.17/1111.66	c cleaning 44994 clauses out of 90008 with flag 2285805/3206819
1135.52/1118.85	c Got one! Elapsed wall clock time (in seconds):1118.728
1135.52/1118.85	o 2738
1137.72/1121.07	c cleaning 34086 clauses out of 68188 with flag 10454/3229993
1139.82/1123.13	c cleaning 20047 clauses out of 40102 with flag 23291/3235993
1142.02/1125.35	c cleaning 13523 clauses out of 27055 with flag 38099/3242993
1144.55/1127.83	c cleaning 10761 clauses out of 21533 with flag 55339/3250994
1147.25/1130.57	c cleaning 9874 clauses out of 19771 with flag 74153/3259993
1150.53/1133.73	c cleaning 9945 clauses out of 19897 with flag 95023/3269993
1153.93/1137.16	c cleaning 10471 clauses out of 20953 with flag 119426/3280994
1157.80/1140.98	c cleaning 11230 clauses out of 22480 with flag 144389/3292992
1161.90/1145.02	c cleaning 12121 clauses out of 24252 with flag 171834/3305994
1166.58/1149.66	c cleaning 13062 clauses out of 26129 with flag 202468/3319992
1171.47/1154.59	c cleaning 14030 clauses out of 28068 with flag 235810/3334993
1176.81/1159.87	c cleaning 15013 clauses out of 30037 with flag 270560/3350992
1182.58/1165.57	c cleaning 16009 clauses out of 32024 with flag 306788/3367992
1189.00/1171.87	c cleaning 17005 clauses out of 34017 with flag 345606/3385994
1195.82/1178.51	c cleaning 18004 clauses out of 36010 with flag 386855/3404992
1203.45/1186.07	c cleaning 19004 clauses out of 38007 with flag 432194/3424993
1211.47/1193.98	c cleaning 19996 clauses out of 40004 with flag 478411/3445994
1220.00/1202.36	c cleaning 20997 clauses out of 42006 with flag 527161/3467992
1228.59/1210.90	c cleaning 21996 clauses out of 44009 with flag 577478/3490992
1238.25/1220.25	c cleaning 23003 clauses out of 46013 with flag 631024/3514992
1248.07/1229.99	c cleaning 23999 clauses out of 48010 with flag 684447/3539992
1258.54/1240.36	c cleaning 25001 clauses out of 50012 with flag 740206/3565993
1270.27/1251.71	c cleaning 26000 clauses out of 52010 with flag 799167/3592992
1281.77/1263.03	c cleaning 27002 clauses out of 54011 with flag 859163/3620993
1293.07/1274.26	c Got one! Elapsed wall clock time (in seconds):1274.139
1293.07/1274.26	o 2735
1295.60/1276.63	c cleaning 30440 clauses out of 60895 with flag 10430/3654879
1297.70/1278.79	c cleaning 18221 clauses out of 36455 with flag 22951/3660879
1300.10/1281.12	c cleaning 12612 clauses out of 25234 with flag 38226/3667879
1302.60/1283.69	c cleaning 10304 clauses out of 20622 with flag 55423/3675879
1305.60/1286.60	c cleaning 9656 clauses out of 19318 with flag 74820/3684879
1308.70/1289.71	c cleaning 9823 clauses out of 19662 with flag 96385/3694879
1312.25/1293.22	c cleaning 10414 clauses out of 20839 with flag 119415/3705879
1316.05/1297.09	c cleaning 11206 clauses out of 22425 with flag 144165/3717879
1320.39/1301.32	c cleaning 12102 clauses out of 24218 with flag 171002/3730878
1325.15/1306.03	c cleaning 13045 clauses out of 26116 with flag 200454/3744878
1329.84/1310.72	c cleaning 14031 clauses out of 28071 with flag 232109/3759878
1334.77/1315.69	c cleaning 15014 clauses out of 30042 with flag 266277/3775880
1340.52/1321.39	c cleaning 16008 clauses out of 32026 with flag 301548/3792878
1346.81/1327.57	c cleaning 17005 clauses out of 34020 with flag 339069/3810880
1353.51/1334.19	c cleaning 17997 clauses out of 36014 with flag 378803/3829879
1360.93/1341.49	c cleaning 19005 clauses out of 38016 with flag 421268/3849878
1365.84/1346.25	c Got one! Elapsed wall clock time (in seconds):1346.13
1365.84/1346.25	o 2731
1367.84/1348.27	c cleaning 18793 clauses out of 37594 with flag 10548/3868461
1369.94/1350.32	c cleaning 12391 clauses out of 24799 with flag 23625/3874459
1372.06/1352.45	c cleaning 9694 clauses out of 19408 with flag 38144/3881459
1374.36/1354.77	c cleaning 8844 clauses out of 17715 with flag 54502/3889460
1377.10/1357.49	c cleaning 8929 clauses out of 17872 with flag 73249/3898461
1378.59/1358.93	c Got one! Elapsed wall clock time (in seconds):1358.805
1378.59/1358.93	o 2730
1380.09/1360.48	c cleaning 9518 clauses out of 19050 with flag 10375/3908568
1382.01/1362.32	c cleaning 7756 clauses out of 15532 with flag 23243/3914568
1384.01/1364.38	c cleaning 7377 clauses out of 14776 with flag 38420/3921568
1386.45/1366.79	c cleaning 7693 clauses out of 15399 with flag 55366/3929568
1387.25/1367.58	c Got one! Elapsed wall clock time (in seconds):1367.463
1387.25/1367.58	o 2729
1388.16/1368.47	c cleaning 6758 clauses out of 13538 with flag 6185/3935400
1389.26/1369.55	c Got one! Elapsed wall clock time (in seconds):1369.424
1389.26/1369.55	o 2727
1389.85/1370.14	c cleaning 6290 clauses out of 12603 with flag 4180/3941223
1391.68/1371.93	c cleaning 6138 clauses out of 12311 with flag 16563/3947221
1393.79/1374.02	c cleaning 6584 clauses out of 13174 with flag 31444/3954222
1396.43/1376.65	c cleaning 7290 clauses out of 14589 with flag 48476/3962221
1399.34/1379.56	c cleaning 8140 clauses out of 16300 with flag 67991/3971222
1402.78/1382.98	c cleaning 9070 clauses out of 18159 with flag 89604/3981221
1406.57/1386.63	c cleaning 10039 clauses out of 20089 with flag 114209/3992221
1410.48/1390.59	c cleaning 11019 clauses out of 22052 with flag 141207/4004223
1415.12/1395.16	c cleaning 12013 clauses out of 24033 with flag 170415/4017223
1419.88/1399.89	c cleaning 13003 clauses out of 26018 with flag 201342/4031221
1425.17/1405.04	c cleaning 14001 clauses out of 28016 with flag 232532/4046222
1430.94/1410.74	c cleaning 15001 clauses out of 30014 with flag 265692/4062221
1437.20/1416.89	c cleaning 15999 clauses out of 32013 with flag 301006/4079221
1444.00/1423.55	c cleaning 17002 clauses out of 34014 with flag 338227/4097221
1451.06/1430.57	c cleaning 18002 clauses out of 36013 with flag 377695/4116222
1458.80/1438.17	c cleaning 18996 clauses out of 38010 with flag 419391/4136221
1467.09/1446.26	c cleaning 20002 clauses out of 40014 with flag 463982/4157221
1475.71/1454.74	c cleaning 21001 clauses out of 42013 with flag 510472/4179222
1485.13/1464.05	c cleaning 22006 clauses out of 44013 with flag 559698/4202223
1494.75/1473.47	c cleaning 22995 clauses out of 46005 with flag 612341/4226221
1504.95/1483.49	c cleaning 24002 clauses out of 48010 with flag 664827/4251221
1515.54/1493.84	c cleaning 24998 clauses out of 50009 with flag 720067/4277222
1526.38/1504.50	c cleaning 26002 clauses out of 52010 with flag 778212/4304221
1537.71/1515.66	c cleaning 26999 clauses out of 54009 with flag 839273/4332222
1549.31/1526.91	c cleaning 28001 clauses out of 56010 with flag 900677/4361222
1560.82/1538.24	c cleaning 29001 clauses out of 58008 with flag 964132/4391221
1573.13/1550.36	c cleaning 30000 clauses out of 60007 with flag 1029804/4422221
1586.95/1563.95	c cleaning 30998 clauses out of 62007 with flag 1095715/4454221
1600.20/1576.72	c cleaning 31997 clauses out of 64010 with flag 1162506/4487222
1614.32/1590.61	c cleaning 32998 clauses out of 66013 with flag 1231920/4521222
1629.16/1605.17	c cleaning 34002 clauses out of 68015 with flag 1303022/4556222
1644.27/1619.99	c cleaning 34997 clauses out of 70012 with flag 1378205/4592221
1658.93/1634.34	c cleaning 36004 clauses out of 72015 with flag 1454516/4629221
1674.92/1650.04	c cleaning 37002 clauses out of 74012 with flag 1535243/4667222
1690.34/1665.22	c cleaning 37998 clauses out of 76010 with flag 1616932/4706222
1706.72/1681.22	c cleaning 39000 clauses out of 78012 with flag 1699925/4746222
1723.20/1697.49	c cleaning 39999 clauses out of 80012 with flag 1790410/4787222
1740.23/1714.10	c cleaning 41004 clauses out of 82013 with flag 1881945/4829222
1757.16/1730.73	c cleaning 41997 clauses out of 84008 with flag 1974119/4872221
1775.79/1748.98	c cleaning 43004 clauses out of 86013 with flag 2068802/4916223
1794.36/1767.19	c cleaning 43996 clauses out of 88007 with flag 2164706/4961221
1800.02/1772.70	c starts		: 93
1800.02/1772.70	c conflicts		: 4976599
1800.02/1772.70	c decisions		: 4993151
1800.02/1772.70	c propagations		: 260119176
1800.02/1772.70	c inspects		: 6671860141
1800.02/1772.70	c shortcuts		: 0
1800.02/1772.70	c learnt literals	: 0
1800.02/1772.70	c learnt binary clauses	: 0
1800.02/1772.70	c learnt ternary clauses	: 147
1800.02/1772.70	c learnt constraints	: 4976599
1800.02/1772.70	c ignored constraints	: 0
1800.02/1772.70	c root simplifications	: 0
1800.02/1772.70	c removed literals (reason simplification)	: 0
1800.02/1772.70	c reason swapping (by a shorter reason)	: 0
1800.02/1772.70	c Calls to reduceDB	: 341
1800.02/1772.70	c Number of update (reduction) of LBD	: 1713
1800.02/1772.70	c Imported unit clauses	: 0
1800.02/1772.70	c number of reductions to clauses (during analyze)	: 0
1800.02/1772.70	c number of learned constraints concerned by reduction	: 0
1800.02/1772.70	c number of learning phase by resolution	: 0
1800.02/1772.70	c number of learning phase by cutting planes	: 0
1800.02/1772.70	c speed (assignments/second)	: 146773.3272544352
1800.02/1772.70	c non guided choices	10
1800.02/1772.73	c learnt constraints type 
1800.02/1772.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 59389
1800.02/1772.73	s SATISFIABLE
1800.02/1772.73	c Found 92 solution(s)
1800.02/1772.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 
1800.02/1772.73	c objective function=2727
1800.02/1772.73	c Total wall clock time (in seconds): 1772.605

Verifier Data 

OK	2727

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-4119554-1467261373/watcher-4119554-1467261373 -o /tmp/evaluation-result-4119554-1467261373/solver-4119554-1467261373 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467250272-6475 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119554-1467261373.opb 

pid=7847
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: 2.31 2.28 2.23 3/194 7850
/proc/meminfo: memFree=27570108/32872528 swapFree=1555460/1718980
[pid=7850] ppid=7847 vsize=9488 CPUtime=0 cores=0,2,4,6
/proc/7850/stat : 7850 (java) R 7847 7850 5948 0 -1 4202496 274 0 0 0 0 0 0 0 20 0 1 0 5164959 9715712 132 33554432000 1073741824 1073778376 140733645553248 140733645550376 270330094519 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7850/statm: 2323 143 104 9 0 71 0

[startup+0.100058 s]
/proc/loadavg: 2.31 2.28 2.23 3/194 7850
/proc/meminfo: memFree=27570108/32872528 swapFree=1555460/1718980
[pid=7850] ppid=7847 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/7850/stat : 7850 (java) S 7847 7850 5948 0 -1 4202496 4308 0 1 0 7 1 0 0 20 0 18 0 5164959 9787879424 5434 33554432000 1073741824 1073778376 140733401497328 140733401488464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7850/statm: 2389619 5434 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200214 s]
/proc/loadavg: 2.31 2.28 2.23 3/194 7850
/proc/meminfo: memFree=27570108/32872528 swapFree=1555460/1718980
[pid=7850] ppid=7847 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/7850/stat : 7850 (java) S 7847 7850 5948 0 -1 4202496 4595 0 1 0 21 1 0 0 20 0 18 0 5164959 9787879424 6701 33554432000 1073741824 1073778376 140733401497328 140733401488464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7850/statm: 2389619 6701 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300219 s]
/proc/loadavg: 2.31 2.28 2.23 3/194 7850
/proc/meminfo: memFree=27570108/32872528 swapFree=1555460/1718980
[pid=7850] ppid=7847 vsize=9558476 CPUtime=0.44 cores=0,2,4,6
/proc/7850/stat : 7850 (java) S 7847 7850 5948 0 -1 4202496 5968 0 1 0 43 1 0 0 20 0 18 0 5164959 9787879424 8100 33554432000 1073741824 1073778376 140733401497328 140733401488464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7850/statm: 2389619 8100 2243 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476

[startup+0.700174 s]
/proc/loadavg: 2.31 2.28 2.23 3/194 7850
/proc/meminfo: memFree=27570108/32872528 swapFree=1555460/1718980
[pid=7850] ppid=7847 vsize=9625040 CPUtime=1.56 cores=0,2,4,6
/proc/7850/stat : 7850 (java) S 7847 7850 5948 0 -1 4202496 10311 0 1 0 154 2 0 0 20 0 19 0 5164959 9856040960 14350 33554432000 1073741824 1073778376 140733401497328 140733401488464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7850/statm: 2406260 14350 2274 9 0 2396937 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 9625040

[startup+1.50083 s]
/proc/loadavg: 2.44 2.31 2.24 3/213 7869
/proc/meminfo: memFree=27492304/32872528 swapFree=1555460/1718980
[pid=7850] ppid=7847 vsize=9625040 CPUtime=2.56 cores=0,2,4,6
/proc/7850/stat : 7850 (java) S 7847 7850 5948 0 -1 4202496 11332 0 1 0 253 3 0 0 20 0 19 0 5164959 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 140733401488464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7850/statm: 2406260 25113 2274 9 0 2396937 0
[pid=7850/tid=7852] ppid=7847 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/7850/task/7852/stat : 7852 (java) R 7847 7850 5948 0 -1 4202560 2450 0 1 0 143 2 0 0 20 0 19 0 5164961 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139820097593648 139819926334941 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7853] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7853/stat : 7853 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139820059093800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7854] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7854/stat : 7854 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139820058041000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7855] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7855/stat : 7855 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139820056988712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7856] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7856/stat : 7856 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139820055935912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7850/tid=7857] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7857/stat : 7857 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139820054882600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7858] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7858/stat : 7858 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139820053829800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7850/tid=7859] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7859/stat : 7859 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139820052777512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7860] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7860/stat : 7860 (java) S 7847 7850 5948 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139820051724712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7861] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7861/stat : 7861 (java) S 7847 7850 5948 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5164963 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139819921418984 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7862] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7862/stat : 7862 (java) S 7847 7850 5948 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5164964 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139819920365048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7863] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7863/stat : 7863 (java) S 7847 7850 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5164964 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139819919312648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7864] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7864/stat : 7864 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164966 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139819918261136 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7865] ppid=7847 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/7850/task/7865/stat : 7865 (java) S 7847 7850 5948 0 -1 4202560 3353 0 0 0 52 0 0 0 20 0 19 0 5164966 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139819917207736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7866] ppid=7847 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/7850/task/7866/stat : 7866 (java) S 7847 7850 5948 0 -1 4202560 4258 0 0 0 55 0 0 0 20 0 19 0 5164966 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139819916154936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7867] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7867/stat : 7867 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164966 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139819915102840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7868] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7868/stat : 7868 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164966 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139819914050248 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7869] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7869/stat : 7869 (java) S 7847 7850 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5165005 9856040960 25113 33554432000 1073741824 1073778376 140733401497328 139819912996264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 2.44 2.31 2.24 3/213 7869
/proc/meminfo: memFree=27455192/32872528 swapFree=1555460/1718980
[pid=7850] ppid=7847 vsize=9625040 CPUtime=4.27 cores=0,2,4,6
/proc/7850/stat : 7850 (java) S 7847 7850 5948 0 -1 4202496 11732 0 1 0 423 4 0 0 20 0 19 0 5164959 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 140733401488464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7850/statm: 2406260 37952 2279 9 0 2396937 0
[pid=7850/tid=7852] ppid=7847 vsize=9625040 CPUtime=3.04 cores=0,2,4,6
/proc/7850/task/7852/stat : 7852 (java) R 7847 7850 5948 0 -1 4202560 2477 0 1 0 302 2 0 0 20 0 19 0 5164961 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139820097593024 139819926552249 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7853] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7853/stat : 7853 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139820059093800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7854] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7854/stat : 7854 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139820058041000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7855] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7855/stat : 7855 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139820056988712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7856] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7856/stat : 7856 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139820055935912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7850/tid=7857] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7857/stat : 7857 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139820054882600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7858] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7858/stat : 7858 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139820053829800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7850/tid=7859] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7859/stat : 7859 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139820052777512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7860] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7860/stat : 7860 (java) S 7847 7850 5948 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139820051724712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7861] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7861/stat : 7861 (java) S 7847 7850 5948 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 5164963 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139819921418984 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7862] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7862/stat : 7862 (java) S 7847 7850 5948 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5164964 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139819920365048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7863] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7863/stat : 7863 (java) S 7847 7850 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5164964 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139819919312648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7864] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7864/stat : 7864 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164966 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139819918261136 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7865] ppid=7847 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/7850/task/7865/stat : 7865 (java) S 7847 7850 5948 0 -1 4202560 3621 0 0 0 54 0 0 0 20 0 19 0 5164966 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139819917207736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7866] ppid=7847 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/7850/task/7866/stat : 7866 (java) S 7847 7850 5948 0 -1 4202560 4362 0 0 0 63 0 0 0 20 0 19 0 5164966 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139819916154936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7867] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7867/stat : 7867 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164966 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139819915102840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7868] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7868/stat : 7868 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164966 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139819914050248 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7869] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7869/stat : 7869 (java) S 7847 7850 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5165005 9856040960 37952 33554432000 1073741824 1073778376 140733401497328 139819912996264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 9625040

[startup+6.30084 s]
/proc/loadavg: 2.44 2.31 2.24 3/213 7869
/proc/meminfo: memFree=27359940/32872528 swapFree=1555460/1718980
[pid=7850] ppid=7847 vsize=9625040 CPUtime=7.68 cores=0,2,4,6
/proc/7850/stat : 7850 (java) S 7847 7850 5948 0 -1 4202496 13947 0 1 0 758 10 0 0 20 0 19 0 5164959 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 140733401488464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7850/statm: 2406260 57034 2292 9 0 2396937 0
[pid=7850/tid=7852] ppid=7847 vsize=9625040 CPUtime=6.2 cores=0,2,4,6
/proc/7850/task/7852/stat : 7852 (java) R 7847 7850 5948 0 -1 4202560 2487 0 1 0 617 3 0 0 20 0 19 0 5164961 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139820097601848 139819926563483 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7853] ppid=7847 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/7850/task/7853/stat : 7853 (java) S 7847 7850 5948 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 5164962 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139820059093800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7854] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7854/stat : 7854 (java) S 7847 7850 5948 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139820058041000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7855] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7855/stat : 7855 (java) S 7847 7850 5948 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139820056988712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7856] ppid=7847 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/7850/task/7856/stat : 7856 (java) S 7847 7850 5948 0 -1 4202560 36 0 0 0 1 1 0 0 20 0 19 0 5164962 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139820055935912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7850/tid=7857] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7857/stat : 7857 (java) S 7847 7850 5948 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139820054882600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7850/tid=7858] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7858/stat : 7858 (java) S 7847 7850 5948 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139820053829800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7859] ppid=7847 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/7850/task/7859/stat : 7859 (java) S 7847 7850 5948 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 5164962 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139820052777512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7860] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7860/stat : 7860 (java) S 7847 7850 5948 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 5164962 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139820051724712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7850/tid=7861] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7861/stat : 7861 (java) S 7847 7850 5948 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 5164963 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139819921418984 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7862] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7862/stat : 7862 (java) S 7847 7850 5948 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5164964 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139819920365048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7863] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7863/stat : 7863 (java) S 7847 7850 5948 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5164964 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139819919312648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7864] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7864/stat : 7864 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164966 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139819918261136 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7865] ppid=7847 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/7850/task/7865/stat : 7865 (java) S 7847 7850 5948 0 -1 4202560 5623 0 0 0 62 1 0 0 20 0 19 0 5164966 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139819917207736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7866] ppid=7847 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/7850/task/7866/stat : 7866 (java) S 7847 7850 5948 0 -1 4202560 4362 0 0 0 64 0 0 0 20 0 19 0 5164966 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139819916154936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7867] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7867/stat : 7867 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164966 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139819915102840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7868] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7868/stat : 7868 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164966 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139819914050248 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7869] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7869/stat : 7869 (java) S 7847 7850 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5165005 9856040960 57034 33554432000 1073741824 1073778376 140733401497328 139819912996264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.68
Current children cumulated vsize (KiB) 9625040


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

[pid=7850/tid=7869] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7869/stat : 7869 (java) S 7847 7850 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5165005 9856040960 390507 33554432000 1073741824 1073778376 140733401497328 139819912996264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1687.44
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 1.28 1.66 1.98 2/188 7968
/proc/meminfo: memFree=26875184/32872528 swapFree=1555460/1718980
[pid=7850] ppid=7847 vsize=9625040 CPUtime=1748.49 cores=0,2,4,6
/proc/7850/stat : 7850 (java) S 7847 7850 5948 0 -1 4202496 38729 0 1 0 174483 366 0 0 20 0 19 0 5164959 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 140733401488464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7850/statm: 2406260 404787 2301 9 0 2396937 0
[pid=7850/tid=7852] ppid=7847 vsize=9625040 CPUtime=1705.4 cores=0,2,4,6
/proc/7850/task/7852/stat : 7852 (java) R 7847 7850 5948 0 -1 4202560 3736 0 1 0 170500 40 0 0 20 0 19 0 5164961 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139820097600704 139819926347421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7853] ppid=7847 vsize=9625040 CPUtime=4.28 cores=0,2,4,6
/proc/7850/task/7853/stat : 7853 (java) S 7847 7850 5948 0 -1 4202560 1711 0 0 0 386 42 0 0 20 0 19 0 5164962 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139820059093800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7850/tid=7854] ppid=7847 vsize=9625040 CPUtime=4.05 cores=0,2,4,6
/proc/7850/task/7854/stat : 7854 (java) S 7847 7850 5948 0 -1 4202560 2315 0 0 0 368 37 0 0 20 0 19 0 5164962 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139820058041000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7855] ppid=7847 vsize=9625040 CPUtime=3.78 cores=0,2,4,6
/proc/7850/task/7855/stat : 7855 (java) S 7847 7850 5948 0 -1 4202560 1959 0 0 0 348 30 0 0 20 0 19 0 5164962 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139820056988712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7850/tid=7856] ppid=7847 vsize=9625040 CPUtime=4.19 cores=0,2,4,6
/proc/7850/task/7856/stat : 7856 (java) S 7847 7850 5948 0 -1 4202560 3943 0 0 0 379 40 0 0 20 0 19 0 5164962 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139820055935912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7857] ppid=7847 vsize=9625040 CPUtime=4.29 cores=0,2,4,6
/proc/7850/task/7857/stat : 7857 (java) S 7847 7850 5948 0 -1 4202560 3161 0 0 0 382 47 0 0 20 0 19 0 5164962 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139820054882600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7858] ppid=7847 vsize=9625040 CPUtime=4.64 cores=0,2,4,6
/proc/7850/task/7858/stat : 7858 (java) S 7847 7850 5948 0 -1 4202560 2367 0 0 0 413 51 0 0 20 0 19 0 5164962 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139820053829800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7859] ppid=7847 vsize=9625040 CPUtime=4.35 cores=0,2,4,6
/proc/7850/task/7859/stat : 7859 (java) S 7847 7850 5948 0 -1 4202560 2744 0 0 0 388 47 0 0 20 0 19 0 5164962 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139820052777512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7860] ppid=7847 vsize=9625040 CPUtime=4.38 cores=0,2,4,6
/proc/7850/task/7860/stat : 7860 (java) S 7847 7850 5948 0 -1 4202560 1753 0 0 0 401 37 0 0 20 0 19 0 5164962 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139820051724712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7861] ppid=7847 vsize=9625040 CPUtime=3.28 cores=0,2,4,6
/proc/7850/task/7861/stat : 7861 (java) S 7847 7850 5948 0 -1 4202560 3681 0 0 0 323 5 0 0 20 0 19 0 5164963 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139819921418984 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7862] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7862/stat : 7862 (java) S 7847 7850 5948 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5164964 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139819920365048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7863] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7863/stat : 7863 (java) S 7847 7850 5948 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5164964 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139819919312648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7864] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7864/stat : 7864 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164966 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139819918261136 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7865] ppid=7847 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/7850/task/7865/stat : 7865 (java) S 7847 7850 5948 0 -1 4202560 5637 0 0 0 66 1 0 0 20 0 19 0 5164966 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139819917207736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7850/tid=7866] ppid=7847 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/7850/task/7866/stat : 7866 (java) S 7847 7850 5948 0 -1 4202560 4366 0 0 0 66 0 0 0 20 0 19 0 5164966 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139819916154936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7867] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7867/stat : 7867 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164966 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139819915102840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7868] ppid=7847 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/7850/task/7868/stat : 7868 (java) S 7847 7850 5948 0 -1 4202560 99 0 0 0 14 20 0 0 20 0 19 0 5164966 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139819914050248 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7869] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7869/stat : 7869 (java) S 7847 7850 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5165005 9856040960 404787 33554432000 1073741824 1073778376 140733401497328 139819912996264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1748.49
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1772.7 s]
/proc/loadavg: 1.32 1.60 1.94 2/188 7969
/proc/meminfo: memFree=26822272/32872528 swapFree=1555460/1718980
[pid=7850] ppid=7847 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/7850/stat : 7850 (java) S 7847 7850 5948 0 -1 4202496 39209 0 1 0 179630 372 0 0 20 0 19 0 5164959 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 140733401488464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7850/statm: 2406260 417897 2301 9 0 2396937 0
[pid=7850/tid=7852] ppid=7847 vsize=9625040 CPUtime=1755.04 cores=0,2,4,6
/proc/7850/task/7852/stat : 7852 (java) R 7847 7850 5948 0 -1 4202560 3744 0 1 0 175463 41 0 0 20 0 19 0 5164961 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820097600704 139819926104292 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7853] ppid=7847 vsize=9625040 CPUtime=4.48 cores=0,2,4,6
/proc/7850/task/7853/stat : 7853 (java) S 7847 7850 5948 0 -1 4202560 1733 0 0 0 406 42 0 0 20 0 19 0 5164962 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820059093800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7854] ppid=7847 vsize=9625040 CPUtime=4.27 cores=0,2,4,6
/proc/7850/task/7854/stat : 7854 (java) S 7847 7850 5948 0 -1 4202560 2335 0 0 0 390 37 0 0 20 0 19 0 5164962 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820058041000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7855] ppid=7847 vsize=9625040 CPUtime=4.05 cores=0,2,4,6
/proc/7850/task/7855/stat : 7855 (java) S 7847 7850 5948 0 -1 4202560 1983 0 0 0 373 32 0 0 20 0 19 0 5164962 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820056988712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7856] ppid=7847 vsize=9625040 CPUtime=4.36 cores=0,2,4,6
/proc/7850/task/7856/stat : 7856 (java) S 7847 7850 5948 0 -1 4202560 3952 0 0 0 396 40 0 0 20 0 19 0 5164962 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820055935912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7857] ppid=7847 vsize=9625040 CPUtime=4.46 cores=0,2,4,6
/proc/7850/task/7857/stat : 7857 (java) S 7847 7850 5948 0 -1 4202560 3173 0 0 0 399 47 0 0 20 0 19 0 5164962 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820054882600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7858] ppid=7847 vsize=9625040 CPUtime=4.8 cores=0,2,4,6
/proc/7850/task/7858/stat : 7858 (java) S 7847 7850 5948 0 -1 4202560 2404 0 0 0 428 52 0 0 20 0 19 0 5164962 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820053829800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7859] ppid=7847 vsize=9625040 CPUtime=4.54 cores=0,2,4,6
/proc/7850/task/7859/stat : 7859 (java) S 7847 7850 5948 0 -1 4202560 2765 0 0 0 406 48 0 0 20 0 19 0 5164962 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820052777512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7850/tid=7860] ppid=7847 vsize=9625040 CPUtime=4.52 cores=0,2,4,6
/proc/7850/task/7860/stat : 7860 (java) S 7847 7850 5948 0 -1 4202560 1778 0 0 0 414 38 0 0 20 0 19 0 5164962 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820051724712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7850/tid=7861] ppid=7847 vsize=9625040 CPUtime=3.51 cores=0,2,4,6
/proc/7850/task/7861/stat : 7861 (java) S 7847 7850 5948 0 -1 4202560 3979 0 0 0 346 5 0 0 20 0 19 0 5164963 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819921418984 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7862] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7862/stat : 7862 (java) S 7847 7850 5948 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5164964 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819920365048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7863] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7863/stat : 7863 (java) S 7847 7850 5948 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5164964 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819919312648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7864] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7864/stat : 7864 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164966 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819918261136 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7865] ppid=7847 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/7850/task/7865/stat : 7865 (java) S 7847 7850 5948 0 -1 4202560 5637 0 0 0 66 1 0 0 20 0 19 0 5164966 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819917207736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7850/tid=7866] ppid=7847 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/7850/task/7866/stat : 7866 (java) S 7847 7850 5948 0 -1 4202560 4366 0 0 0 66 0 0 0 20 0 19 0 5164966 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819916154936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7867] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7867/stat : 7867 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164966 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819915102840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7868] ppid=7847 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/7850/task/7868/stat : 7868 (java) S 7847 7850 5948 0 -1 4202560 103 0 0 0 15 20 0 0 20 0 19 0 5164966 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819914050248 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7869] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7869/stat : 7869 (java) S 7847 7850 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5165005 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819912996264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1772.7 s]
/proc/loadavg: 1.32 1.60 1.94 2/188 7969
/proc/meminfo: memFree=26822272/32872528 swapFree=1555460/1718980
[pid=7850] ppid=7847 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/7850/stat : 7850 (java) S 7847 7850 5948 0 -1 4202496 39209 0 1 0 179630 372 0 0 20 0 19 0 5164959 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 140733401488464 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7850/statm: 2406260 417897 2301 9 0 2396937 0
[pid=7850/tid=7852] ppid=7847 vsize=9625040 CPUtime=1755.04 cores=0,2,4,6
/proc/7850/task/7852/stat : 7852 (java) R 7847 7850 5948 0 -1 4202560 3744 0 1 0 175463 41 0 0 20 0 19 0 5164961 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820097600704 139819926104292 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7853] ppid=7847 vsize=9625040 CPUtime=4.48 cores=0,2,4,6
/proc/7850/task/7853/stat : 7853 (java) S 7847 7850 5948 0 -1 4202560 1733 0 0 0 406 42 0 0 20 0 19 0 5164962 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820059093800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7854] ppid=7847 vsize=9625040 CPUtime=4.27 cores=0,2,4,6
/proc/7850/task/7854/stat : 7854 (java) S 7847 7850 5948 0 -1 4202560 2335 0 0 0 390 37 0 0 20 0 19 0 5164962 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820058041000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7855] ppid=7847 vsize=9625040 CPUtime=4.05 cores=0,2,4,6
/proc/7850/task/7855/stat : 7855 (java) S 7847 7850 5948 0 -1 4202560 1983 0 0 0 373 32 0 0 20 0 19 0 5164962 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820056988712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7856] ppid=7847 vsize=9625040 CPUtime=4.36 cores=0,2,4,6
/proc/7850/task/7856/stat : 7856 (java) S 7847 7850 5948 0 -1 4202560 3952 0 0 0 396 40 0 0 20 0 19 0 5164962 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820055935912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7857] ppid=7847 vsize=9625040 CPUtime=4.46 cores=0,2,4,6
/proc/7850/task/7857/stat : 7857 (java) S 7847 7850 5948 0 -1 4202560 3173 0 0 0 399 47 0 0 20 0 19 0 5164962 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820054882600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7858] ppid=7847 vsize=9625040 CPUtime=4.8 cores=0,2,4,6
/proc/7850/task/7858/stat : 7858 (java) S 7847 7850 5948 0 -1 4202560 2404 0 0 0 428 52 0 0 20 0 19 0 5164962 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820053829800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7859] ppid=7847 vsize=9625040 CPUtime=4.54 cores=0,2,4,6
/proc/7850/task/7859/stat : 7859 (java) S 7847 7850 5948 0 -1 4202560 2765 0 0 0 406 48 0 0 20 0 19 0 5164962 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820052777512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7850/tid=7860] ppid=7847 vsize=9625040 CPUtime=4.52 cores=0,2,4,6
/proc/7850/task/7860/stat : 7860 (java) S 7847 7850 5948 0 -1 4202560 1778 0 0 0 414 38 0 0 20 0 19 0 5164962 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139820051724712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7850/tid=7861] ppid=7847 vsize=9625040 CPUtime=3.51 cores=0,2,4,6
/proc/7850/task/7861/stat : 7861 (java) S 7847 7850 5948 0 -1 4202560 3979 0 0 0 346 5 0 0 20 0 19 0 5164963 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819921418984 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7862] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7862/stat : 7862 (java) S 7847 7850 5948 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5164964 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819920365048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7863] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7863/stat : 7863 (java) S 7847 7850 5948 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5164964 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819919312648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7850/tid=7864] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7864/stat : 7864 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164966 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819918261136 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7865] ppid=7847 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/7850/task/7865/stat : 7865 (java) S 7847 7850 5948 0 -1 4202560 5637 0 0 0 66 1 0 0 20 0 19 0 5164966 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819917207736 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7850/tid=7866] ppid=7847 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/7850/task/7866/stat : 7866 (java) S 7847 7850 5948 0 -1 4202560 4366 0 0 0 66 0 0 0 20 0 19 0 5164966 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819916154936 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7867] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7867/stat : 7867 (java) S 7847 7850 5948 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5164966 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819915102840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7850/tid=7868] ppid=7847 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/7850/task/7868/stat : 7868 (java) S 7847 7850 5948 0 -1 4202560 103 0 0 0 15 20 0 0 20 0 19 0 5164966 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819914050248 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7850/tid=7869] ppid=7847 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7850/task/7869/stat : 7869 (java) S 7847 7850 5948 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5165005 9856040960 417897 33554432000 1073741824 1073778376 140733401497328 139819912996264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7850 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=869594
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=180364
# CPU time returned by wait4() is 1796.05
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1772.74
CPU time (s): 1800.02
CPU user time (s): 1796.3
CPU system time (s): 3.72
CPU usage (%): 101.539
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.87
system time used= 4.18036
maximum resident set size= 1975596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39246
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45092
involuntary context switches= 35219

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1365 second user time and 12.898 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-30 06:36:13
IDJOB=4119554
IDBENCH=111759
IDSOLVER=2546
FILE ID=node117/4119554-1467261373
RUNJOBID= node117-1467250272-6475
PBS_JOBID= 20004471
Free space on /tmp= 71624 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-edgecross14-117.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119554-1467261373/watcher-4119554-1467261373 -o /tmp/evaluation-result-4119554-1467261373/solver-4119554-1467261373 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467250272-6475 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119554-1467261373.opb

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

MD5SUM BENCH= c1e8e6c4c578f45311f0be56d66355ca
RANDOM SEED=873434225

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
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:        27570844 kB
Buffers:          128656 kB
Cached:          1775368 kB
SwapCached:            0 kB
Active:          1082496 kB
Inactive:        1753172 kB
Active(anon):     934072 kB
Inactive(anon):        4 kB
Active(file):     148424 kB
Inactive(file):  1753168 kB
Unevictable:     1718980 kB
Mlocked:         1555460 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               868 kB
Writeback:             0 kB
AnonPages:       2603212 kB
Mapped:            22240 kB
Shmem:               204 kB
Slab:             611892 kB
SReclaimable:      56000 kB
SUnreclaim:       555892 kB
KernelStack:        1760 kB
PageTables:         9328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2831404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    974848 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= 71624 MiB
End job on node117 at 2016-06-30 07:05:46