Trace number 4105477

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)76 1800 1796.94

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-alu2.b.opb
MD5SUMa793af2f16b39bdc1dda733b5326bfb4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark62
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 60
Optimality of the best value was proved NO
Number of variables1266
Total number of constraints2888
Number of constraints which are clauses2888
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint183
Number of terms in the objective function 1266
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1266
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1266
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4105477-1466261154.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.56/0.38	c ... done. Wall clock time 0.266s.
0.56/0.38	c declared #vars     1266
0.56/0.38	c #constraints  2888
0.56/0.38	c constraints type 
0.56/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2690
0.56/0.38	c org.sat4j.specs.Constr$1 => 107
0.56/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 78
0.56/0.38	c org.sat4j.minisat.constraints.cnf.UnitClause => 13
0.56/0.38	c 2888 constraints processed.
0.56/0.38	c objective function length is 1266 literals
0.70/0.40	c SATISFIABLE
0.70/0.40	c OPTIMIZING...
0.70/0.40	c Got one! Elapsed wall clock time (in seconds):0.287
0.70/0.40	o 89
1.39/0.85	c cleaning 2490 clauses out of 5000 with flag 11610/5000
2.62/1.76	c cleaning 4255 clauses out of 8510 with flag 31397/11000
3.23/2.33	c Got one! Elapsed wall clock time (in seconds):2.212
3.23/2.33	o 88
3.52/2.68	c cleaning 5009 clauses out of 10044 with flag 6853/16789
4.43/3.58	c Got one! Elapsed wall clock time (in seconds):3.467
4.43/3.58	o 87
5.44/4.58	c cleaning 7600 clauses out of 15204 with flag 16733/26958
6.64/5.72	c cleaning 6799 clauses out of 13604 with flag 37742/32958
7.94/7.05	c cleaning 6892 clauses out of 13809 with flag 63225/39962
8.94/8.05	c Got one! Elapsed wall clock time (in seconds):7.934
8.94/8.05	o 86
9.96/9.00	c cleaning 8694 clauses out of 17416 with flag 17635/50461
10.97/10.04	c cleaning 7325 clauses out of 14720 with flag 43023/56459
12.07/11.12	c cleaning 7174 clauses out of 14396 with flag 75118/63460
13.46/12.52	c cleaning 7594 clauses out of 15226 with flag 109778/71464
15.16/14.30	c cleaning 8314 clauses out of 16627 with flag 146003/80459
16.86/15.99	c cleaning 9124 clauses out of 18313 with flag 184176/90459
18.76/17.80	c cleaning 10071 clauses out of 20190 with flag 245842/101460
20.77/19.90	c cleaning 11047 clauses out of 22118 with flag 291725/113459
22.97/22.04	c cleaning 12036 clauses out of 24073 with flag 337244/126461
25.76/24.81	c cleaning 12964 clauses out of 26035 with flag 386757/140459
28.96/28.05	c cleaning 14012 clauses out of 28071 with flag 441400/155459
32.47/31.57	c cleaning 15022 clauses out of 30059 with flag 497672/171459
36.07/35.15	c cleaning 16014 clauses out of 32038 with flag 559978/188460
36.28/35.38	c Got one! Elapsed wall clock time (in seconds):35.266
36.28/35.38	o 85
37.19/36.26	c cleaning 10573 clauses out of 21161 with flag 13742/193597
38.40/37.46	c cleaning 8283 clauses out of 16589 with flag 34894/199598
39.69/38.76	c cleaning 7611 clauses out of 15305 with flag 62321/206597
41.19/40.27	c cleaning 7840 clauses out of 15697 with flag 93695/214600
42.59/41.65	c cleaning 8423 clauses out of 16854 with flag 131417/223597
44.29/43.39	c cleaning 9182 clauses out of 18431 with flag 169779/233597
46.10/45.17	c cleaning 10086 clauses out of 20249 with flag 216870/244597
48.49/47.50	c cleaning 11069 clauses out of 22164 with flag 260652/256598
51.19/50.22	c cleaning 11999 clauses out of 24094 with flag 308168/269597
54.19/53.23	c cleaning 13043 clauses out of 26098 with flag 355431/283600
57.50/56.56	c cleaning 14029 clauses out of 28058 with flag 408181/298603
60.80/59.88	c cleaning 14967 clauses out of 30026 with flag 466993/314600
64.20/63.24	c cleaning 16014 clauses out of 32057 with flag 543708/331598
67.80/66.81	c cleaning 17015 clauses out of 34047 with flag 624160/349602
71.90/70.90	c cleaning 17996 clauses out of 36029 with flag 692102/368599
76.09/75.19	c cleaning 19012 clauses out of 38031 with flag 767364/388597
81.30/80.36	c cleaning 20000 clauses out of 40019 with flag 837779/409597
83.52/82.58	c Got one! Elapsed wall clock time (in seconds):82.462
83.52/82.58	o 84
84.53/83.56	c cleaning 17789 clauses out of 35707 with flag 19696/425285
85.63/84.67	c cleaning 11956 clauses out of 23918 with flag 40426/431285
86.84/85.87	c cleaning 9467 clauses out of 18962 with flag 68645/438285
88.13/87.18	c cleaning 8686 clauses out of 17495 with flag 100150/446285
89.53/88.52	c cleaning 8876 clauses out of 17809 with flag 139575/455285
91.03/90.09	c cleaning 9428 clauses out of 18933 with flag 180394/465285
92.73/91.76	c cleaning 10228 clauses out of 20505 with flag 228066/476285
94.64/93.68	c cleaning 11102 clauses out of 22277 with flag 280654/488285
97.03/96.02	c cleaning 12078 clauses out of 24175 with flag 335784/501285
99.33/98.39	c cleaning 12998 clauses out of 26097 with flag 409328/515285
102.13/101.19	c cleaning 14036 clauses out of 28099 with flag 472752/530285
105.33/104.30	c cleaning 14978 clauses out of 30063 with flag 536068/546285
108.93/107.99	c cleaning 16038 clauses out of 32088 with flag 597927/563288
112.93/111.96	c cleaning 17002 clauses out of 34047 with flag 663503/581285
116.93/115.92	c cleaning 18022 clauses out of 36049 with flag 731754/600289
121.13/120.14	c cleaning 18987 clauses out of 38023 with flag 804855/620285
125.82/124.88	c cleaning 20002 clauses out of 40036 with flag 889620/641285
130.52/129.55	c cleaning 21004 clauses out of 42035 with flag 969969/663286
135.76/134.70	c cleaning 21992 clauses out of 44030 with flag 1058482/686285
141.26/140.23	c cleaning 22993 clauses out of 46039 with flag 1144380/710286
144.86/143.90	c Got one! Elapsed wall clock time (in seconds):143.782
144.86/143.90	o 83
145.98/144.92	c cleaning 21592 clauses out of 43236 with flag 18555/730476
147.08/146.04	c cleaning 13784 clauses out of 27648 with flag 41150/736480
148.28/147.25	c cleaning 10422 clauses out of 20860 with flag 71621/743476
149.59/148.51	c cleaning 9157 clauses out of 18450 with flag 103317/751488
150.98/149.96	c cleaning 9139 clauses out of 18286 with flag 139521/760481
152.48/151.49	c cleaning 9571 clauses out of 19146 with flag 178886/770480
154.48/153.42	c cleaning 10268 clauses out of 20571 with flag 223342/781476
156.48/155.44	c cleaning 11112 clauses out of 22303 with flag 271455/793476
158.58/157.59	c cleaning 12074 clauses out of 24191 with flag 324912/806476
161.48/160.47	c cleaning 13038 clauses out of 26118 with flag 373536/820477
164.58/163.58	c cleaning 14030 clauses out of 28079 with flag 429610/835476
168.18/167.12	c cleaning 15012 clauses out of 30050 with flag 490554/851477
171.79/170.78	c cleaning 16002 clauses out of 32037 with flag 555780/868476
175.79/174.75	c cleaning 17007 clauses out of 34035 with flag 615276/886476
180.09/179.03	c cleaning 17989 clauses out of 36028 with flag 682090/905476
184.59/183.55	c cleaning 18998 clauses out of 38039 with flag 748591/925476
190.11/189.02	c cleaning 19996 clauses out of 40041 with flag 821086/946476
195.61/194.51	c cleaning 20998 clauses out of 42047 with flag 901855/968478
201.21/200.14	c cleaning 22009 clauses out of 44047 with flag 982915/991476
201.51/200.48	c Got one! Elapsed wall clock time (in seconds):200.366
201.51/200.48	o 82
202.47/201.33	c cleaning 13824 clauses out of 27659 with flag 16891/997097
203.57/202.49	c cleaning 9878 clauses out of 19834 with flag 40700/1003096
204.67/203.59	c cleaning 8431 clauses out of 16956 with flag 73408/1010096
206.06/204.94	c cleaning 8265 clauses out of 16530 with flag 103997/1018101
207.46/206.36	c cleaning 8608 clauses out of 17260 with flag 134755/1027096
209.07/207.94	c cleaning 9304 clauses out of 18652 with flag 173343/1037096
210.86/209.78	c cleaning 10157 clauses out of 20348 with flag 212878/1048096
212.86/211.76	c cleaning 11074 clauses out of 22191 with flag 262131/1060096
215.06/213.97	c cleaning 12019 clauses out of 24117 with flag 310358/1073096
217.56/216.42	c cleaning 13029 clauses out of 26098 with flag 360314/1087096
220.26/219.14	c cleaning 14003 clauses out of 28072 with flag 418977/1102099
223.26/222.20	c cleaning 15033 clauses out of 30066 with flag 481896/1118096
227.06/225.92	c cleaning 15994 clauses out of 32033 with flag 540570/1135096
230.76/229.67	c cleaning 17022 clauses out of 34044 with flag 612677/1153101
234.96/233.82	c cleaning 17988 clauses out of 36020 with flag 692042/1172099
239.35/238.26	c cleaning 18998 clauses out of 38032 with flag 769692/1192099
244.29/243.13	c cleaning 20013 clauses out of 40031 with flag 852536/1213096
249.69/248.51	c cleaning 20987 clauses out of 42018 with flag 934149/1235096
254.79/253.66	c cleaning 21996 clauses out of 44031 with flag 1033807/1258096
260.39/259.29	c cleaning 22989 clauses out of 46036 with flag 1122064/1282097
266.68/265.57	c cleaning 24009 clauses out of 48046 with flag 1216956/1307096
273.38/272.26	c cleaning 25004 clauses out of 50037 with flag 1308264/1333096
280.88/279.77	c cleaning 26006 clauses out of 52033 with flag 1400967/1360096
288.48/287.31	c cleaning 26988 clauses out of 54029 with flag 1501512/1388098
295.88/294.79	c cleaning 28008 clauses out of 56039 with flag 1605402/1417096
304.58/303.43	c cleaning 29001 clauses out of 58033 with flag 1698097/1447098
313.47/312.32	c cleaning 29998 clauses out of 60032 with flag 1806300/1478098
323.33/322.19	c cleaning 31007 clauses out of 62032 with flag 1914905/1510096
333.23/332.06	c cleaning 31977 clauses out of 64026 with flag 2024302/1543097
344.43/343.21	c cleaning 32996 clauses out of 66049 with flag 2131615/1577097
355.92/354.76	c cleaning 34006 clauses out of 68052 with flag 2252009/1612096
367.83/366.68	c cleaning 35009 clauses out of 70046 with flag 2366353/1648096
379.42/378.28	c cleaning 36012 clauses out of 72037 with flag 2500443/1685096
392.32/391.18	c cleaning 36985 clauses out of 74025 with flag 2626050/1723096
404.82/403.61	c cleaning 38005 clauses out of 76040 with flag 2759540/1762096
417.34/416.18	c cleaning 38989 clauses out of 78035 with flag 2901154/1802096
430.45/429.24	c cleaning 40007 clauses out of 80048 with flag 3041149/1843098
443.85/442.68	c cleaning 40996 clauses out of 82042 with flag 3184315/1885099
457.94/456.75	c cleaning 42008 clauses out of 84043 with flag 3332117/1928096
463.44/462.29	c Got one! Elapsed wall clock time (in seconds):462.174
463.44/462.29	o 81
464.59/463.34	c cleaning 35639 clauses out of 71287 with flag 18620/1957348
465.69/464.45	c cleaning 20807 clauses out of 41650 with flag 40466/1963350
466.89/465.67	c cleaning 13853 clauses out of 27837 with flag 68380/1970344
468.19/466.95	c cleaning 10954 clauses out of 21992 with flag 99636/1978352
469.59/468.38	c cleaning 10003 clauses out of 20037 with flag 131673/1987351
471.29/470.04	c cleaning 9965 clauses out of 20027 with flag 167231/1997344
473.09/471.88	c cleaning 10524 clauses out of 21062 with flag 207620/2008344
475.09/473.88	c cleaning 11233 clauses out of 22543 with flag 248089/2020349
477.63/476.40	c cleaning 12135 clauses out of 24305 with flag 293877/2033344
480.53/479.28	c cleaning 13054 clauses out of 26172 with flag 347124/2047346
483.13/481.89	c cleaning 14030 clauses out of 28116 with flag 407710/2062344
486.23/485.00	c cleaning 15021 clauses out of 30087 with flag 464686/2078345
489.53/488.25	c cleaning 16011 clauses out of 32067 with flag 523728/2095346
492.73/491.45	c cleaning 17020 clauses out of 34056 with flag 592458/2113346
496.93/495.62	c cleaning 17987 clauses out of 36035 with flag 656819/2132345
501.12/499.89	c cleaning 19007 clauses out of 38048 with flag 728941/2152345
505.13/503.84	c cleaning 20014 clauses out of 40042 with flag 817759/2173346
509.63/508.31	c cleaning 20983 clauses out of 42026 with flag 896779/2195344
514.82/513.52	c cleaning 21987 clauses out of 44043 with flag 981153/2218344
520.43/519.11	c cleaning 23008 clauses out of 46058 with flag 1062420/2242346
525.73/524.41	c cleaning 24002 clauses out of 48049 with flag 1154081/2267345
531.30/529.99	c cleaning 25019 clauses out of 50048 with flag 1255979/2293346
537.00/535.60	c cleaning 25984 clauses out of 52027 with flag 1361940/2320344
543.20/541.83	c cleaning 26990 clauses out of 54043 with flag 1461661/2348344
549.39/548.02	c cleaning 27974 clauses out of 56053 with flag 1564686/2377344
555.69/554.40	c cleaning 29013 clauses out of 58079 with flag 1681203/2407344
562.59/561.22	c cleaning 30017 clauses out of 60066 with flag 1806161/2438344
570.69/569.34	c cleaning 31017 clauses out of 62050 with flag 1917604/2470345
579.09/577.72	c cleaning 31961 clauses out of 64032 with flag 2029683/2503344
581.59/580.29	c Got one! Elapsed wall clock time (in seconds):580.178
581.59/580.29	o 80
582.80/581.47	c cleaning 24342 clauses out of 48730 with flag 18096/2520003
584.10/582.79	c cleaning 15174 clauses out of 30389 with flag 40762/2526004
585.51/584.15	c cleaning 11063 clauses out of 22214 with flag 65994/2533003
587.10/585.64	c cleaning 9559 clauses out of 19153 with flag 93179/2541005
588.70/587.28	c cleaning 9298 clauses out of 18595 with flag 125709/2550006
590.70/589.27	c cleaning 9642 clauses out of 19294 with flag 162437/2560003
592.80/591.37	c cleaning 10293 clauses out of 20652 with flag 210201/2571003
595.20/593.72	c cleaning 11168 clauses out of 22360 with flag 251211/2583004
597.90/596.42	c cleaning 12069 clauses out of 24191 with flag 295639/2596003
600.80/599.31	c cleaning 13040 clauses out of 26122 with flag 345804/2610003
603.90/602.47	c cleaning 14015 clauses out of 28082 with flag 398120/2625003
607.10/605.65	c cleaning 15001 clauses out of 30070 with flag 457655/2641006
610.60/609.13	c cleaning 16028 clauses out of 32066 with flag 522227/2658003
614.40/612.91	c cleaning 17001 clauses out of 34038 with flag 590755/2676003
618.20/616.79	c cleaning 17996 clauses out of 36037 with flag 654281/2695003
622.40/620.91	c cleaning 19000 clauses out of 38041 with flag 734928/2715003
627.00/625.53	c cleaning 20013 clauses out of 40042 with flag 819276/2736004
632.30/630.85	c cleaning 20981 clauses out of 42029 with flag 903287/2758004
637.90/636.43	c cleaning 22007 clauses out of 44047 with flag 987772/2781003
642.90/641.40	c cleaning 23003 clauses out of 46042 with flag 1083657/2805005
648.10/646.51	c cleaning 23992 clauses out of 48039 with flag 1189884/2830005
653.90/652.33	c cleaning 25006 clauses out of 50046 with flag 1288085/2856004
659.99/658.43	c cleaning 25961 clauses out of 52040 with flag 1398691/2883004
666.61/665.03	c cleaning 27007 clauses out of 54078 with flag 1510978/2911003
673.40/671.86	c cleaning 28020 clauses out of 56073 with flag 1616338/2940005
680.20/678.70	c cleaning 28997 clauses out of 58052 with flag 1723261/2970004
686.70/685.19	c cleaning 30009 clauses out of 60054 with flag 1852773/3001003
693.30/691.66	c cleaning 31020 clauses out of 62047 with flag 1994131/3033005
701.60/699.99	c cleaning 31999 clauses out of 64025 with flag 2129178/3066003
709.99/708.30	c cleaning 32984 clauses out of 66026 with flag 2258807/3100003
719.00/717.39	c cleaning 33994 clauses out of 68042 with flag 2394264/3135003
728.49/726.86	c cleaning 35012 clauses out of 70048 with flag 2525704/3171003
739.29/737.60	c cleaning 35998 clauses out of 72042 with flag 2662880/3208009
749.09/747.47	c cleaning 37006 clauses out of 74038 with flag 2794471/3246003
760.50/758.76	c cleaning 37998 clauses out of 76032 with flag 2921799/3285003
765.10/763.30	c Got one! Elapsed wall clock time (in seconds):763.189
765.10/763.30	o 79
766.31/764.55	c cleaning 30014 clauses out of 60059 with flag 18009/3307028
767.51/765.73	c cleaning 18001 clauses out of 36048 with flag 40957/3313031
768.70/766.98	c cleaning 12523 clauses out of 25045 with flag 66723/3320029
770.20/768.41	c cleaning 10258 clauses out of 20528 with flag 93799/3328035
771.60/769.89	c cleaning 9592 clauses out of 19263 with flag 124065/3337028
773.20/771.48	c cleaning 9815 clauses out of 19674 with flag 160368/3347031
775.11/773.37	c cleaning 10405 clauses out of 20856 with flag 199778/3358028
777.31/775.51	c cleaning 11183 clauses out of 22451 with flag 239553/3370028
779.61/777.82	c cleaning 12130 clauses out of 24268 with flag 289662/3383028
782.20/780.42	c cleaning 13068 clauses out of 26141 with flag 344963/3397031
785.00/783.28	c cleaning 14019 clauses out of 28072 with flag 397311/3412030
788.10/786.32	c cleaning 14991 clauses out of 30055 with flag 456224/3428032
791.60/789.82	c cleaning 16006 clauses out of 32060 with flag 525357/3445028
795.39/793.65	c cleaning 17028 clauses out of 34057 with flag 595672/3463031
799.49/797.74	c cleaning 18004 clauses out of 36026 with flag 662692/3482028
803.99/802.26	c cleaning 19011 clauses out of 38022 with flag 734149/3502028
808.88/807.01	c cleaning 19995 clauses out of 40016 with flag 809536/3523033
813.79/812.00	c cleaning 20984 clauses out of 42019 with flag 889723/3545031
819.29/817.44	c cleaning 22006 clauses out of 44032 with flag 976713/3568028
824.78/822.96	c cleaning 23011 clauses out of 46026 with flag 1061957/3592028
830.37/828.55	c cleaning 23983 clauses out of 48015 with flag 1152364/3617028
837.17/835.37	c cleaning 24988 clauses out of 50034 with flag 1248273/3643030
845.07/843.25	c cleaning 25988 clauses out of 52044 with flag 1343022/3670028
852.87/851.01	c cleaning 27000 clauses out of 54056 with flag 1438126/3698028
860.17/858.39	c cleaning 28019 clauses out of 56060 with flag 1551397/3727032
869.06/867.17	c cleaning 28985 clauses out of 58037 with flag 1652842/3757028
878.46/876.59	c cleaning 30017 clauses out of 60052 with flag 1756717/3788028
887.57/885.63	c cleaning 31003 clauses out of 62035 with flag 1868006/3820028
897.16/895.20	c cleaning 32008 clauses out of 64032 with flag 1978368/3853028
906.76/904.82	c cleaning 33000 clauses out of 66024 with flag 2097170/3887028
915.66/913.72	c cleaning 33977 clauses out of 68024 with flag 2223050/3922028
925.76/923.90	c cleaning 35020 clauses out of 70048 with flag 2348564/3958029
935.76/933.71	c cleaning 36007 clauses out of 72030 with flag 2474105/3995031
947.16/945.14	c cleaning 37001 clauses out of 74021 with flag 2612651/4033029
958.86/956.89	c cleaning 37991 clauses out of 76019 with flag 2750671/4072028
970.66/968.62	c cleaning 39003 clauses out of 78028 with flag 2890824/4112028
984.65/982.63	c cleaning 40000 clauses out of 80025 with flag 3025073/4153028
998.66/996.68	c cleaning 40995 clauses out of 82026 with flag 3157388/4195029
1011.73/1009.63	c cleaning 42008 clauses out of 84033 with flag 3303989/4238031
1025.13/1023.02	c cleaning 42992 clauses out of 86022 with flag 3458560/4282028
1040.43/1038.35	c cleaning 44004 clauses out of 88031 with flag 3606847/4327029
1055.53/1053.47	c cleaning 44992 clauses out of 90026 with flag 3762344/4373028
1070.13/1068.00	c cleaning 46001 clauses out of 92034 with flag 3926188/4420028
1085.44/1083.28	c cleaning 47002 clauses out of 94033 with flag 4093540/4468028
1100.55/1098.37	c cleaning 47995 clauses out of 96033 with flag 4278628/4517030
1117.15/1114.95	c cleaning 49003 clauses out of 98036 with flag 4455615/4567028
1133.05/1130.83	c cleaning 50017 clauses out of 100038 with flag 4646763/4618033
1146.46/1144.15	c cleaning 51005 clauses out of 102017 with flag 4858869/4670029
1165.25/1162.99	c cleaning 52001 clauses out of 104012 with flag 5038089/4723029
1184.65/1182.37	c cleaning 52986 clauses out of 106014 with flag 5212440/4777032
1204.76/1202.46	c cleaning 54003 clauses out of 108026 with flag 5397274/4832030
1215.85/1213.54	c Got one! Elapsed wall clock time (in seconds):1213.426
1215.85/1213.54	o 78
1217.05/1214.74	c cleaning 46098 clauses out of 92239 with flag 22889/4870246
1218.26/1215.92	c cleaning 26056 clauses out of 52141 with flag 45707/4876246
1219.57/1217.12	c cleaning 16541 clauses out of 33090 with flag 75865/4883251
1220.87/1218.46	c cleaning 12221 clauses out of 24544 with flag 105887/4891246
1222.38/1219.96	c cleaning 10620 clauses out of 21323 with flag 137267/4900246
1224.07/1221.61	c cleaning 10338 clauses out of 20703 with flag 173495/4910246
1226.07/1223.63	c cleaning 10662 clauses out of 21366 with flag 210199/4921247
1228.17/1225.79	c cleaning 11339 clauses out of 22704 with flag 250847/4933247
1230.57/1228.16	c cleaning 12155 clauses out of 24364 with flag 293717/4946246
1232.97/1230.59	c cleaning 13088 clauses out of 26209 with flag 352376/4960246
1235.77/1233.38	c cleaning 14045 clauses out of 28121 with flag 404319/4975246
1238.97/1236.56	c cleaning 15021 clauses out of 30076 with flag 466369/4991246
1242.37/1240.00	c cleaning 16019 clauses out of 32056 with flag 529380/5008247
1246.37/1243.93	c cleaning 17000 clauses out of 34036 with flag 590320/5026246
1250.37/1247.98	c cleaning 17997 clauses out of 36036 with flag 662573/5045246
1255.17/1252.70	c cleaning 19017 clauses out of 38039 with flag 736886/5065246
1259.57/1257.18	c cleaning 20011 clauses out of 40022 with flag 826687/5086246
1264.45/1261.90	c cleaning 20971 clauses out of 42011 with flag 906284/5108246
1269.65/1267.12	c cleaning 21994 clauses out of 44040 with flag 990284/5131246
1275.65/1273.13	c cleaning 23001 clauses out of 46046 with flag 1060090/5155246
1281.95/1279.49	c cleaning 24018 clauses out of 48045 with flag 1143807/5180246
1288.65/1286.19	c cleaning 25006 clauses out of 50027 with flag 1227971/5206246
1296.15/1293.63	c cleaning 25960 clauses out of 52021 with flag 1312109/5233246
1303.55/1301.09	c cleaning 27022 clauses out of 54061 with flag 1402972/5261246
1311.04/1308.58	c cleaning 28002 clauses out of 56039 with flag 1496161/5290246
1319.61/1317.09	c cleaning 28984 clauses out of 58037 with flag 1596165/5320246
1328.61/1326.03	c cleaning 30003 clauses out of 60053 with flag 1696806/5351246
1338.71/1336.11	c cleaning 31015 clauses out of 62055 with flag 1799083/5383251
1348.82/1346.24	c cleaning 32014 clauses out of 64035 with flag 1902688/5416246
1359.02/1356.44	c cleaning 33007 clauses out of 66023 with flag 2007125/5450248
1370.21/1367.69	c cleaning 33990 clauses out of 68014 with flag 2114262/5485246
1381.71/1379.19	c cleaning 34980 clauses out of 70024 with flag 2232522/5521246
1386.38/1383.74	c Got one! Elapsed wall clock time (in seconds):1383.623
1386.38/1383.74	o 77
1387.38/1384.74	c cleaning 29058 clauses out of 58142 with flag 24930/5544344
1388.38/1385.78	c cleaning 17522 clauses out of 35079 with flag 46815/5550339
1389.58/1386.95	c cleaning 12232 clauses out of 24557 with flag 70026/5557339
1390.78/1388.19	c cleaning 10138 clauses out of 20325 with flag 96531/5565339
1392.18/1389.54	c cleaning 9560 clauses out of 19187 with flag 130816/5574339
1393.78/1391.19	c cleaning 9807 clauses out of 19627 with flag 166800/5584339
1395.58/1392.92	c cleaning 10395 clauses out of 20820 with flag 205546/5595339
1397.59/1394.97	c cleaning 11203 clauses out of 22425 with flag 246650/5607339
1399.98/1397.39	c cleaning 12099 clauses out of 24224 with flag 290159/5620341
1402.68/1400.06	c cleaning 13052 clauses out of 26123 with flag 336084/5634339
1405.98/1403.38	c cleaning 14031 clauses out of 28071 with flag 381326/5649339
1409.08/1406.48	c cleaning 14987 clauses out of 30040 with flag 440847/5665339
1412.38/1409.74	c cleaning 16004 clauses out of 32053 with flag 498340/5682339
1416.08/1413.44	c cleaning 17004 clauses out of 34049 with flag 558117/5700339
1419.78/1417.16	c cleaning 18005 clauses out of 36049 with flag 626755/5719343
1423.89/1421.27	c cleaning 19006 clauses out of 38040 with flag 700567/5739339
1428.26/1425.52	c cleaning 19983 clauses out of 40036 with flag 778176/5760341
1432.86/1430.12	c cleaning 21026 clauses out of 42051 with flag 856623/5782339
1437.56/1434.85	c cleaning 22011 clauses out of 44026 with flag 939531/5805340
1442.67/1440.00	c cleaning 22981 clauses out of 46014 with flag 1024611/5829339
1448.27/1445.52	c cleaning 24006 clauses out of 48034 with flag 1113738/5854340
1453.87/1451.16	c cleaning 24984 clauses out of 50027 with flag 1202255/5880339
1460.27/1457.51	c cleaning 26007 clauses out of 52043 with flag 1295171/5907339
1467.26/1464.54	c cleaning 27018 clauses out of 54036 with flag 1384436/5935339
1475.01/1472.21	c cleaning 28008 clauses out of 56020 with flag 1476050/5964341
1481.81/1479.04	c cleaning 28995 clauses out of 58010 with flag 1576842/5994339
1489.81/1487.07	c cleaning 30007 clauses out of 60015 with flag 1683489/6025339
1498.40/1495.66	c cleaning 30971 clauses out of 62008 with flag 1800917/6057339
1507.50/1504.71	c cleaning 32015 clauses out of 64037 with flag 1917659/6090339
1517.69/1514.95	c cleaning 32994 clauses out of 66024 with flag 2032026/6124341
1527.47/1524.65	c cleaning 34004 clauses out of 68028 with flag 2145731/6159339
1537.86/1535.03	c cleaning 35005 clauses out of 70024 with flag 2258964/6195339
1549.36/1546.51	c cleaning 35996 clauses out of 72022 with flag 2379471/6232342
1560.46/1557.67	c cleaning 37006 clauses out of 74023 with flag 2499439/6270339
1572.45/1569.69	c cleaning 38004 clauses out of 76017 with flag 2622628/6309339
1583.54/1580.71	c cleaning 39004 clauses out of 78014 with flag 2752807/6349340
1597.29/1594.48	c cleaning 39966 clauses out of 80009 with flag 2885271/6390339
1610.79/1607.98	c cleaning 41004 clauses out of 82044 with flag 3034042/6432340
1623.90/1621.07	c cleaning 42012 clauses out of 84044 with flag 3187614/6475344
1624.90/1622.09	c Got one! Elapsed wall clock time (in seconds):1621.977
1624.90/1622.09	o 76
1625.10/1622.30	c cleaning 23514 clauses out of 47067 with flag 4346/6480379
1626.10/1623.29	c cleaning 14745 clauses out of 29551 with flag 29688/6486377
1627.20/1624.38	c cleaning 10891 clauses out of 21808 with flag 59206/6493379
1628.50/1625.67	c cleaning 9428 clauses out of 18915 with flag 90585/6501377
1630.00/1627.15	c cleaning 9228 clauses out of 18487 with flag 121782/6510377
1631.70/1628.85	c cleaning 9624 clauses out of 19261 with flag 161017/6520379
1633.50/1630.65	c cleaning 10304 clauses out of 20642 with flag 205271/6531384
1635.50/1632.69	c cleaning 11157 clauses out of 22331 with flag 246682/6543377
1637.74/1634.83	c cleaning 12049 clauses out of 24174 with flag 303020/6556377
1640.44/1637.55	c cleaning 13034 clauses out of 26125 with flag 354618/6570377
1643.34/1640.49	c cleaning 14025 clauses out of 28091 with flag 409170/6585377
1646.35/1643.49	c cleaning 15023 clauses out of 30067 with flag 472047/6601378
1649.75/1646.81	c cleaning 16017 clauses out of 32046 with flag 542318/6618380
1653.45/1650.57	c cleaning 16994 clauses out of 34027 with flag 605918/6636378
1657.75/1654.88	c cleaning 17992 clauses out of 36032 with flag 670334/6655377
1662.25/1659.32	c cleaning 18992 clauses out of 38041 with flag 744713/6675378
1666.65/1663.70	c cleaning 20004 clauses out of 40048 with flag 831042/6696377
1672.25/1669.32	c cleaning 21006 clauses out of 42044 with flag 909809/6718377
1677.80/1674.82	c cleaning 21994 clauses out of 44038 with flag 989887/6741377
1683.70/1680.79	c cleaning 23009 clauses out of 46047 with flag 1081381/6765380
1689.80/1686.85	c cleaning 23997 clauses out of 48035 with flag 1169707/6790377
1696.79/1693.80	c cleaning 25000 clauses out of 50038 with flag 1265908/6816377
1703.29/1700.32	c cleaning 25989 clauses out of 52041 with flag 1371355/6843380
1710.99/1708.00	c cleaning 27021 clauses out of 54049 with flag 1470934/6871377
1719.10/1716.14	c cleaning 28000 clauses out of 56028 with flag 1565650/6900377
1727.43/1724.48	c cleaning 28981 clauses out of 58030 with flag 1663596/6930379
1735.63/1732.64	c cleaning 30017 clauses out of 60047 with flag 1770590/6961377
1745.22/1742.24	c cleaning 31007 clauses out of 62031 with flag 1880203/6993378
1754.52/1751.58	c cleaning 31982 clauses out of 64024 with flag 1988497/7026378
1763.82/1760.83	c cleaning 33003 clauses out of 66041 with flag 2106385/7060377
1774.04/1771.08	c cleaning 34010 clauses out of 68038 with flag 2221367/7095377
1784.70/1781.61	c cleaning 35007 clauses out of 70028 with flag 2344696/7131377
1795.50/1792.44	c cleaning 35958 clauses out of 72021 with flag 2475341/7168377
1800.00/1796.90	c starts		: 3144
1800.00/1796.90	c conflicts		: 7186408
1800.00/1796.90	c decisions		: 57027849
1800.00/1796.90	c propagations		: 2281228248
1800.00/1796.90	c inspects		: 25536623481
1800.00/1796.90	c shortcuts		: 0
1800.00/1796.90	c learnt literals	: 0
1800.00/1796.90	c learnt binary clauses	: 0
1800.00/1796.90	c learnt ternary clauses	: 0
1800.00/1796.90	c learnt constraints	: 7186408
1800.00/1796.90	c ignored constraints	: 0
1800.00/1796.90	c root simplifications	: 0
1800.00/1796.90	c removed literals (reason simplification)	: 0
1800.00/1796.90	c reason swapping (by a shorter reason)	: 0
1800.00/1796.90	c Calls to reduceDB	: 333
1800.00/1796.90	c Number of update (reduction) of LBD	: 3718469
1800.00/1796.90	c Imported unit clauses	: 0
1800.00/1796.90	c number of reductions to clauses (during analyze)	: 0
1800.00/1796.90	c number of learned constraints concerned by reduction	: 0
1800.00/1796.90	c number of learning phase by resolution	: 0
1800.00/1796.90	c number of learning phase by cutting planes	: 0
1800.00/1796.90	c speed (assignments/second)	: 1269806.8082889325
1800.00/1796.90	c non guided choices	0
1800.00/1796.92	c learnt constraints type 
1800.00/1796.92	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 54094
1800.00/1796.92	s SATISFIABLE
1800.00/1796.92	c Found 14 solution(s)
1800.00/1796.93	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 x644 -x645 -x646 -x647 -x648 x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 x1247 x1248 -x1249 -x1250 -x1251 x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 
1800.00/1796.93	c objective function=76
1800.00/1796.93	c Total wall clock time (in seconds): 1796.82

Verifier Data 

OK	76

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

pid=29611
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.24 2.26 2.26 3/194 29614
/proc/meminfo: memFree=29504228/32872528 swapFree=1556504/1720024
[pid=29614] ppid=29611 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/29614/stat : 29614 (java) R 29611 29614 24760 0 -1 4202496 428 0 0 0 0 0 0 0 20 0 1 0 28164067 9445376 96 33554432000 1073741824 1073778376 140733204030512 140733204027640 270320842601 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29614/statm: 2290 86 64 9 0 38 0

[startup+0.10006 s]
/proc/loadavg: 2.24 2.26 2.26 3/194 29614
/proc/meminfo: memFree=29504228/32872528 swapFree=1556504/1720024
[pid=29614] ppid=29611 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29611 29614 24760 0 -1 4202496 4445 0 1 0 8 1 0 0 20 0 18 0 28164067 9787879424 5575 33554432000 1073741824 1073778376 140733204030512 140733204021648 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29614/statm: 2389619 5575 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200219 s]
/proc/loadavg: 2.24 2.26 2.26 3/194 29614
/proc/meminfo: memFree=29504228/32872528 swapFree=1556504/1720024
[pid=29614] ppid=29611 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29611 29614 24760 0 -1 4202496 5008 0 1 0 27 1 0 0 20 0 18 0 28164067 9787879424 6571 33554432000 1073741824 1073778376 140733204030512 140733204021648 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29614/statm: 2389619 6571 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300242 s]
/proc/loadavg: 2.24 2.26 2.26 3/194 29614
/proc/meminfo: memFree=29504228/32872528 swapFree=1556504/1720024
[pid=29614] ppid=29611 vsize=9558476 CPUtime=0.56 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29611 29614 24760 0 -1 4202496 7333 0 1 0 55 1 0 0 20 0 18 0 28164067 9787879424 9854 33554432000 1073741824 1073778376 140733204030512 140733204021648 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29614/statm: 2389619 9854 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558476

[startup+0.700164 s]
/proc/loadavg: 2.24 2.26 2.26 3/194 29614
/proc/meminfo: memFree=29504228/32872528 swapFree=1556504/1720024
[pid=29614] ppid=29611 vsize=9625040 CPUtime=1.26 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29611 29614 24760 0 -1 4202496 7957 0 1 0 124 2 0 0 20 0 19 0 28164067 9856040960 18305 33554432000 1073741824 1073778376 140733204030512 140733204021648 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29614/statm: 2406260 18305 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.22 2.25 2.26 3/213 29633
/proc/meminfo: memFree=29415256/32872528 swapFree=1556504/1720024
[pid=29614] ppid=29611 vsize=9625040 CPUtime=2.39 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29611 29614 24760 0 -1 4202496 16060 0 1 0 235 4 0 0 20 0 19 0 28164067 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 140733204021648 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29614/statm: 2406260 24897 2268 9 0 2396937 0
[pid=29614/tid=29616] ppid=29611 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/29614/task/29616/stat : 29616 (java) R 29611 29614 24760 0 -1 4202560 2492 0 1 0 143 2 0 0 20 0 19 0 28164068 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139657165531672 139657105893472 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29617] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29617/stat : 29617 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139657104263464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29618] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29618/stat : 29618 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139657008068776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29619] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29619/stat : 29619 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139657007016488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29620] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29620/stat : 29620 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139657005963688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29614/tid=29621] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29621/stat : 29621 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139657004911400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29622] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29622/stat : 29622 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139657003858600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29614/tid=29623] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29623/stat : 29623 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139657002806312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29624] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29624/stat : 29624 (java) S 29611 29614 24760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139657001753512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29625] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29625/stat : 29625 (java) S 29611 29614 24760 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 28164070 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139656989554920 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29626] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29626/stat : 29626 (java) S 29611 29614 24760 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28164070 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139656988500984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29627] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29627/stat : 29627 (java) S 29611 29614 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28164070 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139656987448584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29628] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29628/stat : 29628 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164073 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139656986397072 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29629] ppid=29611 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/29614/task/29629/stat : 29629 (java) S 29611 29614 24760 0 -1 4202560 3465 0 0 0 38 0 0 0 20 0 19 0 28164073 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139656985344696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29630] ppid=29611 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/29614/task/29630/stat : 29630 (java) S 29611 29614 24760 0 -1 4202560 8830 0 0 0 50 1 0 0 20 0 19 0 28164073 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139656984291896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29631] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29631/stat : 29631 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164073 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139656983239800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29632] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29632/stat : 29632 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164073 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139656982187208 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29633] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29633/stat : 29633 (java) S 29611 29614 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28164106 9856040960 24897 33554432000 1073741824 1073778376 140733204030512 139656981132200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9625040

[startup+3.10072 s]
/proc/loadavg: 2.22 2.25 2.26 3/213 29633
/proc/meminfo: memFree=29410788/32872528 swapFree=1556504/1720024
[pid=29614] ppid=29611 vsize=9625040 CPUtime=4.03 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29611 29614 24760 0 -1 4202496 16064 0 1 0 399 4 0 0 20 0 19 0 28164067 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 140733204021648 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29614/statm: 2406260 26433 2268 9 0 2396937 0
[pid=29614/tid=29616] ppid=29611 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/29614/task/29616/stat : 29616 (java) R 29611 29614 24760 0 -1 4202560 2496 0 1 0 303 2 0 0 20 0 19 0 28164068 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139657165524688 139657105873373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29617] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29617/stat : 29617 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139657104263464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29618] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29618/stat : 29618 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139657008068776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29619] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29619/stat : 29619 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139657007016488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29620] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29620/stat : 29620 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139657005963688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29614/tid=29621] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29621/stat : 29621 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139657004911400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29622] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29622/stat : 29622 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139657003858600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29614/tid=29623] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29623/stat : 29623 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139657002806312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29624] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29624/stat : 29624 (java) S 29611 29614 24760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139657001753512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29625] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29625/stat : 29625 (java) S 29611 29614 24760 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 28164070 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139656989554920 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29626] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29626/stat : 29626 (java) S 29611 29614 24760 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28164070 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139656988500984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29627] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29627/stat : 29627 (java) S 29611 29614 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28164070 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139656987448584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29628] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29628/stat : 29628 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164073 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139656986397072 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29629] ppid=29611 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/29614/task/29629/stat : 29629 (java) S 29611 29614 24760 0 -1 4202560 3465 0 0 0 40 0 0 0 20 0 19 0 28164073 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139656985344696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29630] ppid=29611 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/29614/task/29630/stat : 29630 (java) S 29611 29614 24760 0 -1 4202560 8830 0 0 0 52 1 0 0 20 0 19 0 28164073 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139656984291896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29631] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29631/stat : 29631 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164073 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139656983239800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29632] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29632/stat : 29632 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164073 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139656982187208 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29633] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29633/stat : 29633 (java) S 29611 29614 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28164106 9856040960 26433 33554432000 1073741824 1073778376 140733204030512 139656981132200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9625040

[startup+6.30073 s]
/proc/loadavg: 2.22 2.25 2.26 4/213 29633
/proc/meminfo: memFree=29402584/32872528 swapFree=1556504/1720024
[pid=29614] ppid=29611 vsize=9625040 CPUtime=7.24 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29611 29614 24760 0 -1 4202496 16072 0 1 0 720 4 0 0 20 0 19 0 28164067 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 140733204021648 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29614/statm: 2406260 27847 2268 9 0 2396937 0
[pid=29614/tid=29616] ppid=29611 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/29614/task/29616/stat : 29616 (java) R 29611 29614 24760 0 -1 4202560 2502 0 1 0 622 2 0 0 20 0 19 0 28164068 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139657165524672 139657105874085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29617] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29617/stat : 29617 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139657104263464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29618] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29618/stat : 29618 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139657008068776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29619] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29619/stat : 29619 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139657007016488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29620] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29620/stat : 29620 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139657005963688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29614/tid=29621] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29621/stat : 29621 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139657004911400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29622] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29622/stat : 29622 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139657003858600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29614/tid=29623] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29623/stat : 29623 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139657002806312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29624] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29624/stat : 29624 (java) S 29611 29614 24760 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28164069 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139657001753512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29625] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29625/stat : 29625 (java) S 29611 29614 24760 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 28164070 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139656989554920 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29626] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29626/stat : 29626 (java) S 29611 29614 24760 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28164070 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139656988500984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29627] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29627/stat : 29627 (java) S 29611 29614 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28164070 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139656987448584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29628] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29628/stat : 29628 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164073 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139656986397072 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29629] ppid=29611 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/29614/task/29629/stat : 29629 (java) S 29611 29614 24760 0 -1 4202560 3465 0 0 0 41 0 0 0 20 0 19 0 28164073 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139656985344696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29630] ppid=29611 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/29614/task/29630/stat : 29630 (java) S 29611 29614 24760 0 -1 4202560 8832 0 0 0 53 1 0 0 20 0 19 0 28164073 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139656984291896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29631] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29631/stat : 29631 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164073 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139656983239800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29632] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29632/stat : 29632 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164073 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139656982187208 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29633] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29633/stat : 29633 (java) S 29611 29614 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28164106 9856040960 27847 33554432000 1073741824 1073778376 140733204030512 139656981132200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 9625040


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

[pid=29614/tid=29633] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29633/stat : 29633 (java) S 29611 29614 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28164106 9856040960 107644 33554432000 1073741824 1073778376 140733204030512 139656981132200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1725.33
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.28 2.27 2.27 3/213 29832
/proc/meminfo: memFree=28972540/32872528 swapFree=1556504/1720024
[pid=29614] ppid=29611 vsize=9625040 CPUtime=1785.4 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29611 29614 24760 0 -1 4202496 17947 0 1 0 178477 63 0 0 20 0 19 0 28164067 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 140733204021648 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29614/statm: 2406260 106734 2291 9 0 2396937 0
[pid=29614/tid=29616] ppid=29611 vsize=9625040 CPUtime=1776.69 cores=1,3,5,7
/proc/29614/task/29616/stat : 29616 (java) R 29611 29614 24760 0 -1 4202560 2569 0 1 0 177639 30 0 0 20 0 19 0 28164068 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657165524688 139657105868486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29617] ppid=29611 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/29614/task/29617/stat : 29617 (java) S 29611 29614 24760 0 -1 4202560 364 0 0 0 31 7 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657104263464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29614/tid=29618] ppid=29611 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/29614/task/29618/stat : 29618 (java) S 29611 29614 24760 0 -1 4202560 128 0 0 0 28 6 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657008068776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29619] ppid=29611 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/29614/task/29619/stat : 29619 (java) S 29611 29614 24760 0 -1 4202560 238 0 0 0 30 6 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657007016488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29620] ppid=29611 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/29614/task/29620/stat : 29620 (java) S 29611 29614 24760 0 -1 4202560 269 0 0 0 24 4 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657005963688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29621] ppid=29611 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/29614/task/29621/stat : 29621 (java) S 29611 29614 24760 0 -1 4202560 214 0 0 0 32 7 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657004911400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29622] ppid=29611 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/29614/task/29622/stat : 29622 (java) S 29611 29614 24760 0 -1 4202560 139 0 0 0 29 6 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657003858600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29623] ppid=29611 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/29614/task/29623/stat : 29623 (java) S 29611 29614 24760 0 -1 4202560 89 0 0 0 29 3 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657002806312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29624] ppid=29611 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/29614/task/29624/stat : 29624 (java) S 29611 29614 24760 0 -1 4202560 123 0 0 0 28 6 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657001753512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29625] ppid=29611 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/29614/task/29625/stat : 29625 (java) S 29611 29614 24760 0 -1 4202560 123 0 0 0 6 2 0 0 20 0 19 0 28164070 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656989554920 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29626] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29626/stat : 29626 (java) S 29611 29614 24760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28164070 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656988500984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29627] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29627/stat : 29627 (java) S 29611 29614 24760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28164070 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656987448584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29628] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29628/stat : 29628 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164073 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656986397072 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29629] ppid=29611 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/29614/task/29629/stat : 29629 (java) S 29611 29614 24760 0 -1 4202560 3495 0 0 0 56 0 0 0 20 0 19 0 28164073 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656985344696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29630] ppid=29611 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/29614/task/29630/stat : 29630 (java) S 29611 29614 24760 0 -1 4202560 8835 0 0 0 59 1 0 0 20 0 19 0 28164073 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656984291896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29631] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29631/stat : 29631 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164073 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656983239800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29632] ppid=29611 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/29614/task/29632/stat : 29632 (java) S 29611 29614 24760 0 -1 4202560 103 0 0 0 11 17 0 0 20 0 19 0 28164073 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656982187208 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29633] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29633/stat : 29633 (java) S 29611 29614 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28164106 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656981132200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1785.4
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.9 s]
/proc/loadavg: 2.28 2.28 2.27 3/213 29832
/proc/meminfo: memFree=28972668/32872528 swapFree=1556504/1720024
[pid=29614] ppid=29611 vsize=9625040 CPUtime=1800 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29611 29614 24760 0 -1 4202496 17949 0 1 0 179937 63 0 0 20 0 19 0 28164067 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 140733204021648 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29614/statm: 2406260 106734 2291 9 0 2396937 0
[pid=29614/tid=29616] ppid=29611 vsize=9625040 CPUtime=1791.25 cores=1,3,5,7
/proc/29614/task/29616/stat : 29616 (java) R 29611 29614 24760 0 -1 4202560 2569 0 1 0 179095 30 0 0 20 0 19 0 28164068 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657165524688 139657105873046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29617] ppid=29611 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/29614/task/29617/stat : 29617 (java) S 29611 29614 24760 0 -1 4202560 364 0 0 0 31 7 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657104263464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29614/tid=29618] ppid=29611 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/29614/task/29618/stat : 29618 (java) S 29611 29614 24760 0 -1 4202560 128 0 0 0 28 6 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657008068776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29619] ppid=29611 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/29614/task/29619/stat : 29619 (java) S 29611 29614 24760 0 -1 4202560 238 0 0 0 30 6 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657007016488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29620] ppid=29611 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/29614/task/29620/stat : 29620 (java) S 29611 29614 24760 0 -1 4202560 269 0 0 0 24 4 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657005963688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29621] ppid=29611 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/29614/task/29621/stat : 29621 (java) S 29611 29614 24760 0 -1 4202560 214 0 0 0 32 7 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657004911400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29622] ppid=29611 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/29614/task/29622/stat : 29622 (java) S 29611 29614 24760 0 -1 4202560 139 0 0 0 29 6 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657003858600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29623] ppid=29611 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/29614/task/29623/stat : 29623 (java) S 29611 29614 24760 0 -1 4202560 89 0 0 0 29 3 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657002806312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29624] ppid=29611 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/29614/task/29624/stat : 29624 (java) S 29611 29614 24760 0 -1 4202560 123 0 0 0 28 6 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657001753512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29625] ppid=29611 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/29614/task/29625/stat : 29625 (java) S 29611 29614 24760 0 -1 4202560 123 0 0 0 6 2 0 0 20 0 19 0 28164070 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656989554920 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29626] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29626/stat : 29626 (java) S 29611 29614 24760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28164070 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656988500984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29627] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29627/stat : 29627 (java) S 29611 29614 24760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28164070 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656987448584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29628] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29628/stat : 29628 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164073 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656986397072 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29629] ppid=29611 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/29614/task/29629/stat : 29629 (java) S 29611 29614 24760 0 -1 4202560 3495 0 0 0 56 0 0 0 20 0 19 0 28164073 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656985344696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29630] ppid=29611 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/29614/task/29630/stat : 29630 (java) S 29611 29614 24760 0 -1 4202560 8835 0 0 0 59 1 0 0 20 0 19 0 28164073 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656984291896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29631] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29631/stat : 29631 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164073 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656983239800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29632] ppid=29611 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/29614/task/29632/stat : 29632 (java) S 29611 29614 24760 0 -1 4202560 105 0 0 0 11 17 0 0 20 0 19 0 28164073 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656982187208 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29633] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29633/stat : 29633 (java) S 29611 29614 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28164106 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656981132200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 29614 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1796.9 s]
/proc/loadavg: 2.28 2.28 2.27 3/213 29832
/proc/meminfo: memFree=28972668/32872528 swapFree=1556504/1720024
[pid=29614] ppid=29611 vsize=9625040 CPUtime=1800 cores=1,3,5,7
/proc/29614/stat : 29614 (java) S 29611 29614 24760 0 -1 4202496 17949 0 1 0 179937 63 0 0 20 0 19 0 28164067 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 140733204021648 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29614/statm: 2406260 106734 2291 9 0 2396937 0
[pid=29614/tid=29616] ppid=29611 vsize=9625040 CPUtime=1791.25 cores=1,3,5,7
/proc/29614/task/29616/stat : 29616 (java) R 29611 29614 24760 0 -1 4202560 2569 0 1 0 179095 30 0 0 20 0 19 0 28164068 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657165524688 139657105873046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29617] ppid=29611 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/29614/task/29617/stat : 29617 (java) S 29611 29614 24760 0 -1 4202560 364 0 0 0 31 7 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657104263464 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29614/tid=29618] ppid=29611 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/29614/task/29618/stat : 29618 (java) S 29611 29614 24760 0 -1 4202560 128 0 0 0 28 6 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657008068776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29619] ppid=29611 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/29614/task/29619/stat : 29619 (java) S 29611 29614 24760 0 -1 4202560 238 0 0 0 30 6 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657007016488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29620] ppid=29611 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/29614/task/29620/stat : 29620 (java) S 29611 29614 24760 0 -1 4202560 269 0 0 0 24 4 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657005963688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29621] ppid=29611 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/29614/task/29621/stat : 29621 (java) S 29611 29614 24760 0 -1 4202560 214 0 0 0 32 7 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657004911400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29622] ppid=29611 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/29614/task/29622/stat : 29622 (java) S 29611 29614 24760 0 -1 4202560 139 0 0 0 29 6 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657003858600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29623] ppid=29611 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/29614/task/29623/stat : 29623 (java) S 29611 29614 24760 0 -1 4202560 89 0 0 0 29 3 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657002806312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29624] ppid=29611 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/29614/task/29624/stat : 29624 (java) S 29611 29614 24760 0 -1 4202560 123 0 0 0 28 6 0 0 20 0 19 0 28164069 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139657001753512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29625] ppid=29611 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/29614/task/29625/stat : 29625 (java) S 29611 29614 24760 0 -1 4202560 123 0 0 0 6 2 0 0 20 0 19 0 28164070 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656989554920 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29626] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29626/stat : 29626 (java) S 29611 29614 24760 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28164070 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656988500984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29627] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29627/stat : 29627 (java) S 29611 29614 24760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28164070 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656987448584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29628] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29628/stat : 29628 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164073 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656986397072 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29629] ppid=29611 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/29614/task/29629/stat : 29629 (java) S 29611 29614 24760 0 -1 4202560 3495 0 0 0 56 0 0 0 20 0 19 0 28164073 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656985344696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29630] ppid=29611 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/29614/task/29630/stat : 29630 (java) S 29611 29614 24760 0 -1 4202560 8835 0 0 0 59 1 0 0 20 0 19 0 28164073 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656984291896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29614/tid=29631] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29631/stat : 29631 (java) S 29611 29614 24760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28164073 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656983239800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29614/tid=29632] ppid=29611 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/29614/task/29632/stat : 29632 (java) S 29611 29614 24760 0 -1 4202560 105 0 0 0 11 17 0 0 20 0 19 0 28164073 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656982187208 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29614/tid=29633] ppid=29611 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29614/task/29633/stat : 29633 (java) S 29611 29614 24760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28164106 9856040960 106734 33554432000 1073741824 1073778376 140733204030512 139656981132200 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29614 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=799149
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=91834
# CPU time returned by wait4() is 1795.89
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.94
CPU time (s): 1800
CPU user time (s): 1799.37
CPU system time (s): 0.63
CPU usage (%): 100.17
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.8
system time used= 1.09183
maximum resident set size= 548168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17994
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38983
involuntary context switches= 22029

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1223 second user time and 11.6022 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-18 16:45:54
IDJOB=4105477
IDBENCH=2876
IDSOLVER=2546
FILE ID=node117/4105477-1466261154
RUNJOBID= node117-1466230712-24777
PBS_JOBID= 19918181
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-alu2.b.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105477-1466261154/watcher-4105477-1466261154 -o /tmp/evaluation-result-4105477-1466261154/solver-4105477-1466261154 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466230712-24777 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4105477-1466261154.opb

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

MD5SUM BENCH= a793af2f16b39bdc1dda733b5326bfb4
RANDOM SEED=490774367

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.912
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.912
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.54
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.912
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.54
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.912
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.912
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:        29504764 kB
Buffers:          127324 kB
Cached:           310632 kB
SwapCached:            0 kB
Active:           549320 kB
Inactive:         342576 kB
Active(anon):     446124 kB
Inactive(anon):    10636 kB
Active(file):     103196 kB
Inactive(file):   331940 kB
Unevictable:     1720024 kB
Mlocked:         1556504 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1232 kB
Writeback:             0 kB
AnonPages:       2235244 kB
Mapped:            21164 kB
Shmem:               204 kB
Slab:             620812 kB
SReclaimable:      64636 kB
SUnreclaim:       556176 kB
KernelStack:        1760 kB
PageTables:         8368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2309908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    649216 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= 71736 MiB
End job on node117 at 2016-06-18 17:15:51