Trace number 4087683

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
cdcl-cuttingplanes OPT binary search 2016-05-01? (TO) 1800.08 1800.4

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_002_area_delay.opb
MD5SUMd6135de924aeb400fc0f7d1c419e5860
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.098984
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables6080
Total number of constraints18113
Number of constraints which are clauses18113
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 constraint125
Number of terms in the objective function 2975
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 2975
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2975
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.03	c * #variable= 6080 #constraint= 18113
0.00/0.07	c * #variable= 6080 #constraint= 18113
0.89/0.94	c S1->S2
0.89/0.94	c S1->S2
0.89/0.94	c S1->S2
0.89/0.94	c S1->S2
0.89/0.94	c S1->S2
0.89/0.94	c S2->S1
0.89/0.94	c #Conflicts:       1000 | #Learnt:        873 | 0.000
0.89/0.94	c total clause space: 48.1602MB
0.89/0.94	c total #watches: 1056473
2.09/2.10	c total #propagations: 1198700 / total #impl: 10456236 (eff. 0.115)
2.09/2.10	c #Conflicts:       2000 | #Learnt:       1873 | 0.000
2.09/2.10	c total clause space: 78.2603MB
2.09/2.10	c total #watches: 1522805
5.09/5.15	c total #propagations: 2321504 / total #impl: 28807530 (eff. 0.081)
5.09/5.15	c GC COLLECT
5.09/5.15	c #Conflicts:       3000 | #Learnt:       1941 | 0.000
5.09/5.15	c total clause space: 78.2603MB
5.09/5.15	c total #watches: 1160501
14.29/14.35	c total #propagations: 2733073 / total #impl: 117080814 (eff. 0.023)
14.29/14.35	c #Conflicts:       4000 | #Learnt:       2941 | 0.000
14.29/14.35	c total clause space: 78.2603MB
14.29/14.35	c total #watches: 1639212
28.29/28.34	c total #propagations: 3223775 / total #impl: 276734900 (eff. 0.012)
28.29/28.34	c GC COLLECT
28.29/28.34	c #Conflicts:       5000 | #Learnt:       2328 | 0.000
28.29/28.34	c total clause space: 78.2603MB
28.29/28.34	c total #watches: 1677928
43.69/43.71	c total #propagations: 3819147 / total #impl: 429155702 (eff. 0.009)
43.69/43.71	c #Conflicts:       6000 | #Learnt:       3328 | 0.000
43.69/43.71	c total clause space: 78.2603MB
43.69/43.71	c total #watches: 2012651
67.08/67.11	c total #propagations: 4225330 / total #impl: 714515978 (eff. 0.006)
67.08/67.11	c GC COLLECT
67.08/67.11	c #Conflicts:       7000 | #Learnt:       2212 | 0.000
67.08/67.11	c total clause space: 127.173MB
67.08/67.11	c total #watches: 1540392
84.67/84.79	c total #propagations: 4611350 / total #impl: 1205258091 (eff. 0.004)
84.67/84.79	c #Conflicts:       8000 | #Learnt:       3211 | 0.000
84.67/84.79	c total clause space: 127.173MB
84.67/84.79	c total #watches: 1984798
105.96/106.01	c total #propagations: 4960116 / total #impl: 1493790846 (eff. 0.003)
105.96/106.01	c #Conflicts:       9000 | #Learnt:       4209 | 0.000
105.96/106.01	c total clause space: 127.173MB
105.96/106.01	c total #watches: 2377553
132.95/133.05	c total #propagations: 5455783 / total #impl: 1684528787 (eff. 0.003)
132.95/133.05	c GC COLLECT
132.95/133.05	c #Conflicts:      10000 | #Learnt:       2707 | 0.000
132.95/133.05	c total clause space: 127.173MB
132.95/133.05	c total #watches: 1779741
157.75/157.90	c total #propagations: 5979160 / total #impl: 2091524827 (eff. 0.003)
157.75/157.90	c #Conflicts:      11000 | #Learnt:       3707 | 0.000
157.75/157.90	c total clause space: 127.173MB
157.75/157.90	c total #watches: 2128869
184.24/184.35	c total #propagations: 6696322 / total #impl: 2483858461 (eff. 0.003)
184.24/184.35	c #Conflicts:      12000 | #Learnt:       4705 | 0.000
184.24/184.35	c total clause space: 127.173MB
184.24/184.35	c total #watches: 2386634
214.74/214.80	c total #propagations: 7112386 / total #impl: 3127831567 (eff. 0.002)
214.74/214.80	c #Conflicts:      13000 | #Learnt:       5701 | 0.000
214.74/214.80	c total clause space: 127.173MB
214.74/214.80	c total #watches: 2591033
232.94/233.00	c total #propagations: 7554942 / total #impl: 4060319628 (eff. 0.002)
232.94/233.00	c GC COLLECT
232.94/233.00	c #Conflicts:      14000 | #Learnt:       3850 | 0.000
232.94/233.00	c total clause space: 127.173MB
232.94/233.00	c total #watches: 2001509
251.73/251.89	c total #propagations: 7923793 / total #impl: 4660718054 (eff. 0.002)
251.73/251.89	c #Conflicts:      15000 | #Learnt:       4850 | 0.000
251.73/251.89	c total clause space: 127.173MB
251.73/251.89	c total #watches: 2138263
276.23/276.39	c total #propagations: 8150390 / total #impl: 5288515430 (eff. 0.002)
276.23/276.39	c S2->S1
276.23/276.39	c #Conflicts:      16000 | #Learnt:         66 | 0.000
276.23/276.39	c total clause space: 127.173MB
276.23/276.39	c total #watches: 2411207
277.52/277.65	c total #propagations: 8517663 / total #impl: 5990237955 (eff. 0.001)
277.52/277.65	c GC COLLECT
277.52/277.65	c #Conflicts:      17000 | #Learnt:        787 | 0.000
277.52/277.65	c total clause space: 127.173MB
277.52/277.65	c total #watches: 954914
284.22/284.32	c total #propagations: 9020865 / total #impl: 6004591224 (eff. 0.002)
284.22/284.32	c #Conflicts:      18000 | #Learnt:       1787 | 0.000
284.22/284.32	c total clause space: 127.173MB
284.22/284.32	c total #watches: 1499058
292.63/292.77	c total #propagations: 9701691 / total #impl: 6304283346 (eff. 0.002)
292.63/292.77	c #Conflicts:      19000 | #Learnt:       2787 | 0.000
292.63/292.77	c total clause space: 127.173MB
292.63/292.77	c total #watches: 1845857
308.32/308.49	c total #propagations: 10179383 / total #impl: 6446594566 (eff. 0.002)
308.32/308.49	c #Conflicts:      20000 | #Learnt:       3787 | 0.000
308.32/308.49	c total clause space: 127.173MB
308.32/308.49	c total #watches: 2319372
318.92/319.07	c total #propagations: 10667370 / total #impl: 6724845248 (eff. 0.002)
318.92/319.07	c GC COLLECT
318.92/319.07	c #Conflicts:      21000 | #Learnt:       2746 | 0.000
318.92/319.07	c total clause space: 127.173MB
318.92/319.07	c total #watches: 1766260
331.31/331.47	c total #propagations: 11132123 / total #impl: 6816191297 (eff. 0.002)
331.31/331.47	c #Conflicts:      22000 | #Learnt:       3746 | 0.000
331.31/331.47	c total clause space: 127.173MB
331.31/331.47	c total #watches: 2210727
350.51/350.65	c total #propagations: 11559413 / total #impl: 6918486837 (eff. 0.002)
350.51/350.65	c #Conflicts:      23000 | #Learnt:       4746 | 0.000
350.51/350.65	c total clause space: 127.173MB
350.51/350.65	c total #watches: 2532839
373.91/374.02	c total #propagations: 11919842 / total #impl: 7016240577 (eff. 0.002)
373.91/374.02	c #Conflicts:      24000 | #Learnt:       5746 | 0.000
373.91/374.02	c total clause space: 127.173MB
373.91/374.02	c total #watches: 2719249
390.60/390.77	c total #propagations: 12369995 / total #impl: 7109691326 (eff. 0.002)
390.60/390.77	c GC COLLECT
390.60/390.77	c #Conflicts:      25000 | #Learnt:       3673 | 0.000
390.60/390.77	c total clause space: 127.173MB
390.60/390.77	c total #watches: 2090128
411.41/411.51	c total #propagations: 13144908 / total #impl: 7188843521 (eff. 0.002)
411.41/411.51	c #Conflicts:      26000 | #Learnt:       4673 | 0.000
411.41/411.51	c total clause space: 127.173MB
411.41/411.51	c total #watches: 2261258
425.11/425.23	c total #propagations: 13603574 / total #impl: 7312173776 (eff. 0.002)
425.11/425.23	c #Conflicts:      27000 | #Learnt:       5673 | 0.000
425.11/425.23	c total clause space: 127.173MB
425.11/425.23	c total #watches: 2886077
445.20/445.30	c total #propagations: 13982673 / total #impl: 7385354357 (eff. 0.002)
445.20/445.30	c #Conflicts:      28000 | #Learnt:       6673 | 0.000
445.20/445.30	c total clause space: 206.656MB
445.20/445.30	c total #watches: 3483804
462.80/462.95	c total #propagations: 14621275 / total #impl: 7454494810 (eff. 0.002)
462.80/462.95	c GC COLLECT
462.80/462.95	c #Conflicts:      29000 | #Learnt:       3935 | 0.000
462.80/462.95	c total clause space: 206.656MB
462.80/462.95	c total #watches: 2431974
475.00/475.18	c total #propagations: 15532141 / total #impl: 7572202654 (eff. 0.002)
475.00/475.18	c #Conflicts:      30000 | #Learnt:       4935 | 0.000
475.00/475.18	c total clause space: 206.656MB
475.00/475.18	c total #watches: 3177684
488.30/488.47	c total #propagations: 16161220 / total #impl: 7622998068 (eff. 0.002)
488.30/488.47	c #Conflicts:      31000 | #Learnt:       5935 | 0.000
488.30/488.47	c total clause space: 206.656MB
488.30/488.47	c total #watches: 4071167
506.79/506.92	c total #propagations: 16360209 / total #impl: 7697761423 (eff. 0.002)
506.79/506.92	c #Conflicts:      32000 | #Learnt:       6935 | 0.000
506.79/506.92	c total clause space: 206.656MB
506.79/506.92	c total #watches: 4966291
526.39/526.57	c total #propagations: 16675826 / total #impl: 7825750898 (eff. 0.002)
526.39/526.57	c #Conflicts:      33000 | #Learnt:       7935 | 0.000
526.39/526.57	c total clause space: 206.656MB
526.39/526.57	c total #watches: 5582480
540.59/540.78	c total #propagations: 17175821 / total #impl: 7892322107 (eff. 0.002)
540.59/540.78	c GC COLLECT
540.59/540.78	c #Conflicts:      34000 | #Learnt:       4718 | 0.000
540.59/540.78	c total clause space: 206.656MB
540.59/540.78	c total #watches: 4077239
544.39/544.56	c total #propagations: 17429135 / total #impl: 7924189183 (eff. 0.002)
544.39/544.56	c #Conflicts:      35000 | #Learnt:       5718 | 0.000
544.39/544.56	c total clause space: 206.656MB
544.39/544.56	c total #watches: 4536699
546.88/547.05	c total #propagations: 17821180 / total #impl: 7937268323 (eff. 0.002)
546.88/547.05	c #Conflicts:      36000 | #Learnt:       6718 | 0.001
546.88/547.05	c total clause space: 206.656MB
546.88/547.05	c total #watches: 4836831
554.08/554.26	c total #propagations: 18326641 / total #impl: 7958994034 (eff. 0.002)
554.08/554.26	c #Conflicts:      37000 | #Learnt:       7718 | 0.001
554.08/554.26	c total clause space: 206.656MB
554.08/554.26	c total #watches: 5475003
578.38/578.54	c total #propagations: 18812680 / total #impl: 7978587749 (eff. 0.002)
578.38/578.54	c #Conflicts:      38000 | #Learnt:       8718 | 0.001
578.38/578.54	c total clause space: 335.816MB
578.38/578.54	c total #watches: 6056907
593.38/593.59	c total #propagations: 19262356 / total #impl: 8078878292 (eff. 0.002)
593.38/593.59	c GC COLLECT
593.38/593.59	c #Conflicts:      39000 | #Learnt:       5109 | 0.000
593.38/593.59	c total clause space: 335.816MB
593.38/593.59	c total #watches: 3285771
607.88/608.02	c total #propagations: 19441186 / total #impl: 8159385309 (eff. 0.002)
607.88/608.02	c #Conflicts:      40000 | #Learnt:       6109 | 0.000
607.88/608.02	c total clause space: 335.816MB
607.88/608.02	c total #watches: 3712055
625.38/625.54	c total #propagations: 19783782 / total #impl: 8354610377 (eff. 0.002)
625.38/625.54	c #Conflicts:      41000 | #Learnt:       7109 | 0.000
625.38/625.54	c total clause space: 335.816MB
625.38/625.54	c total #watches: 3995190
651.67/651.80	c total #propagations: 19946406 / total #impl: 8771327616 (eff. 0.002)
651.67/651.80	c #Conflicts:      42000 | #Learnt:       8109 | 0.000
651.67/651.80	c total clause space: 335.816MB
651.67/651.80	c total #watches: 4280887
681.87/682.08	c total #propagations: 20144247 / total #impl: 9531082305 (eff. 0.002)
681.87/682.08	c #Conflicts:      43000 | #Learnt:       9109 | 0.000
681.87/682.08	c total clause space: 335.816MB
681.87/682.08	c total #watches: 4692246
710.16/710.37	c total #propagations: 20335057 / total #impl: 10135167125 (eff. 0.002)
710.16/710.37	c GC COLLECT
710.16/710.37	c #Conflicts:      44000 | #Learnt:       5158 | 0.000
710.16/710.37	c total clause space: 335.816MB
710.16/710.37	c total #watches: 3330348
727.76/727.96	c total #propagations: 20506283 / total #impl: 10815555006 (eff. 0.002)
727.76/727.96	c #Conflicts:      45000 | #Learnt:       6158 | 0.000
727.76/727.96	c total clause space: 335.816MB
727.76/727.96	c total #watches: 3706138
750.75/750.95	c total #propagations: 20741761 / total #impl: 11166052764 (eff. 0.002)
750.75/750.95	c #Conflicts:      46000 | #Learnt:       7158 | 0.000
750.75/750.95	c total clause space: 335.816MB
750.75/750.95	c total #watches: 4056125
786.33/786.58	c total #propagations: 21436896 / total #impl: 11621318948 (eff. 0.002)
786.33/786.58	c #Conflicts:      47000 | #Learnt:       8158 | 0.000
786.33/786.58	c total clause space: 335.816MB
786.33/786.58	c total #watches: 4460874
817.22/817.42	c total #propagations: 22007547 / total #impl: 12333911524 (eff. 0.002)
817.22/817.42	c #Conflicts:      48000 | #Learnt:       9158 | 0.000
817.22/817.42	c total clause space: 335.816MB
817.22/817.42	c total #watches: 4975792
858.31/858.57	c total #propagations: 22404645 / total #impl: 12815596829 (eff. 0.002)
858.31/858.57	c #Conflicts:      49000 | #Learnt:      10158 | 0.000
858.31/858.57	c total clause space: 335.816MB
858.31/858.57	c total #watches: 5415547
874.10/874.40	c total #propagations: 22905189 / total #impl: 13583053271 (eff. 0.002)
874.10/874.40	c GC COLLECT
874.10/874.40	c #Conflicts:      50000 | #Learnt:       5880 | 0.000
874.10/874.40	c total clause space: 335.816MB
874.10/874.40	c total #watches: 3694193
884.50/884.76	c total #propagations: 23417005 / total #impl: 13690690983 (eff. 0.002)
884.50/884.76	c #Conflicts:      51000 | #Learnt:       6880 | 0.000
884.50/884.76	c total clause space: 335.816MB
884.50/884.76	c total #watches: 4040355
899.20/899.43	c total #propagations: 24189321 / total #impl: 13720225259 (eff. 0.002)
899.20/899.43	c #Conflicts:      52000 | #Learnt:       7880 | 0.000
899.20/899.43	c total clause space: 335.816MB
899.20/899.43	c total #watches: 4498133
910.71/910.95	c total #propagations: 25066001 / total #impl: 13782969016 (eff. 0.002)
910.71/910.95	c #Conflicts:      53000 | #Learnt:       8880 | 0.000
910.71/910.95	c total clause space: 335.816MB
910.71/910.95	c total #watches: 4857170
921.10/921.37	c total #propagations: 25360835 / total #impl: 13827974111 (eff. 0.002)
921.10/921.37	c #Conflicts:      54000 | #Learnt:       9880 | 0.000
921.10/921.37	c total clause space: 335.816MB
921.10/921.37	c total #watches: 5136920
933.20/933.40	c total #propagations: 25893087 / total #impl: 13860998912 (eff. 0.002)
933.20/933.40	c #Conflicts:      55000 | #Learnt:      10880 | 0.000
933.20/933.40	c total clause space: 335.816MB
933.20/933.40	c total #watches: 5283144
947.59/947.80	c total #propagations: 26519128 / total #impl: 13917925417 (eff. 0.002)
947.59/947.80	c GC COLLECT
947.59/947.80	c #Conflicts:      56000 | #Learnt:       6294 | 0.000
947.59/947.80	c total clause space: 335.816MB
947.59/947.80	c total #watches: 4132502
967.59/967.83	c total #propagations: 26919732 / total #impl: 13970416274 (eff. 0.002)
967.59/967.83	c #Conflicts:      57000 | #Learnt:       7294 | 0.000
967.59/967.83	c total clause space: 335.816MB
967.59/967.83	c total #watches: 4823843
989.89/990.12	c total #propagations: 27222330 / total #impl: 14067216729 (eff. 0.002)
989.89/990.12	c #Conflicts:      58000 | #Learnt:       8294 | 0.000
989.89/990.12	c total clause space: 335.816MB
989.89/990.12	c total #watches: 5369137
1012.38/1012.67	c total #propagations: 27647724 / total #impl: 14131695277 (eff. 0.002)
1012.38/1012.67	c #Conflicts:      59000 | #Learnt:       9294 | 0.000
1012.38/1012.67	c total clause space: 335.816MB
1012.38/1012.67	c total #watches: 6059189
1049.07/1049.39	c total #propagations: 28108553 / total #impl: 14170530306 (eff. 0.002)
1049.07/1049.39	c #Conflicts:      60000 | #Learnt:      10294 | 0.000
1049.07/1049.39	c total clause space: 335.816MB
1049.07/1049.39	c total #watches: 6615478
1084.17/1084.43	c total #propagations: 28453592 / total #impl: 14341758423 (eff. 0.002)
1084.17/1084.43	c #Conflicts:      61000 | #Learnt:      11294 | 0.000
1084.17/1084.43	c total clause space: 335.816MB
1084.17/1084.43	c total #watches: 7145310
1100.17/1100.49	c total #propagations: 28769354 / total #impl: 14513860098 (eff. 0.002)
1100.17/1100.49	c GC COLLECT
1100.17/1100.49	c #Conflicts:      62000 | #Learnt:       6418 | 0.000
1100.17/1100.49	c total clause space: 335.816MB
1100.17/1100.49	c total #watches: 4093554
1112.57/1112.88	c total #propagations: 29181836 / total #impl: 14564189683 (eff. 0.002)
1112.57/1112.88	c #Conflicts:      63000 | #Learnt:       7418 | 0.000
1112.57/1112.88	c total clause space: 335.816MB
1112.57/1112.88	c total #watches: 4546217
1126.77/1127.04	c total #propagations: 29494881 / total #impl: 14616186874 (eff. 0.002)
1126.77/1127.04	c #Conflicts:      64000 | #Learnt:       8418 | 0.000
1126.77/1127.04	c total clause space: 335.816MB
1126.77/1127.04	c total #watches: 5032267
1148.66/1148.99	c total #propagations: 30029823 / total #impl: 14736483212 (eff. 0.002)
1148.66/1148.99	c #Conflicts:      65000 | #Learnt:       9418 | 0.000
1148.66/1148.99	c total clause space: 335.816MB
1148.66/1148.99	c total #watches: 5539254
1167.26/1167.53	c total #propagations: 30551014 / total #impl: 14863213940 (eff. 0.002)
1167.26/1167.53	c #Conflicts:      66000 | #Learnt:      10418 | 0.000
1167.26/1167.53	c total clause space: 335.816MB
1167.26/1167.53	c total #watches: 6242784
1183.47/1183.76	c total #propagations: 30880417 / total #impl: 14900647135 (eff. 0.002)
1183.47/1183.76	c #Conflicts:      67000 | #Learnt:      11418 | 0.000
1183.47/1183.76	c total clause space: 335.816MB
1183.47/1183.76	c total #watches: 6603875
1203.76/1204.03	c total #propagations: 31636475 / total #impl: 14935660978 (eff. 0.002)
1203.76/1204.03	c #Conflicts:      68000 | #Learnt:      12418 | 0.000
1203.76/1204.03	c total clause space: 335.816MB
1203.76/1204.03	c total #watches: 6948024
1220.55/1220.80	c total #propagations: 32522439 / total #impl: 14973431275 (eff. 0.002)
1220.55/1220.80	c GC COLLECT
1220.55/1220.80	c #Conflicts:      69000 | #Learnt:       7206 | 0.000
1220.55/1220.80	c total clause space: 335.816MB
1220.55/1220.80	c total #watches: 4167955
1236.55/1236.82	c total #propagations: 33886474 / total #impl: 14989250904 (eff. 0.002)
1236.55/1236.82	c #Conflicts:      70000 | #Learnt:       8206 | 0.000
1236.55/1236.82	c total clause space: 335.816MB
1236.55/1236.82	c total #watches: 4611455
1248.36/1248.61	c total #propagations: 34349774 / total #impl: 15028513910 (eff. 0.002)
1248.36/1248.61	c #Conflicts:      71000 | #Learnt:       9206 | 0.000
1248.36/1248.61	c total clause space: 335.816MB
1248.36/1248.61	c total #watches: 4991628
1257.65/1257.92	c total #propagations: 34680433 / total #impl: 15081909213 (eff. 0.002)
1257.65/1257.92	c #Conflicts:      72000 | #Learnt:      10206 | 0.000
1257.65/1257.92	c total clause space: 335.816MB
1257.65/1257.92	c total #watches: 5435787
1275.64/1275.94	c total #propagations: 35134270 / total #impl: 15134623036 (eff. 0.002)
1275.64/1275.94	c #Conflicts:      73000 | #Learnt:      11206 | 0.000
1275.64/1275.94	c total clause space: 335.816MB
1275.64/1275.94	c total #watches: 5987710
1293.45/1293.71	c total #propagations: 35566170 / total #impl: 15191360598 (eff. 0.002)
1293.45/1293.71	c #Conflicts:      74000 | #Learnt:      12206 | 0.000
1293.45/1293.71	c total clause space: 335.816MB
1293.45/1293.71	c total #watches: 6619542
1319.94/1320.25	c total #propagations: 35842361 / total #impl: 15274824215 (eff. 0.002)
1319.94/1320.25	c GC COLLECT
1319.94/1320.25	c #Conflicts:      75000 | #Learnt:       6709 | 0.000
1319.94/1320.25	c total clause space: 335.816MB
1319.94/1320.25	c total #watches: 4271921
1338.44/1338.78	c total #propagations: 36359529 / total #impl: 15394927564 (eff. 0.002)
1338.44/1338.78	c #Conflicts:      76000 | #Learnt:       7709 | 0.000
1338.44/1338.78	c total clause space: 335.816MB
1338.44/1338.78	c total #watches: 4849098
1362.43/1362.74	c total #propagations: 36674445 / total #impl: 15508181670 (eff. 0.002)
1362.43/1362.74	c #Conflicts:      77000 | #Learnt:       8709 | 0.000
1362.43/1362.74	c total clause space: 335.816MB
1362.43/1362.74	c total #watches: 5367742
1377.83/1378.15	c total #propagations: 37352602 / total #impl: 15550330250 (eff. 0.002)
1377.83/1378.15	c #Conflicts:      78000 | #Learnt:       9709 | 0.000
1377.83/1378.15	c total clause space: 335.816MB
1377.83/1378.15	c total #watches: 5384388
1392.23/1392.56	c total #propagations: 38474025 / total #impl: 15569794061 (eff. 0.002)
1392.23/1392.56	c #Conflicts:      79000 | #Learnt:      10709 | 0.000
1392.23/1392.56	c total clause space: 335.816MB
1392.23/1392.56	c total #watches: 5514385
1411.32/1411.66	c total #propagations: 40435548 / total #impl: 15590765707 (eff. 0.003)
1411.32/1411.66	c #Conflicts:      80000 | #Learnt:      11709 | 0.000
1411.32/1411.66	c total clause space: 335.816MB
1411.32/1411.66	c total #watches: 5943759
1436.92/1437.27	c total #propagations: 40654522 / total #impl: 15651803614 (eff. 0.003)
1436.92/1437.27	c #Conflicts:      81000 | #Learnt:      12709 | 0.000
1436.92/1437.27	c total clause space: 335.816MB
1436.92/1437.27	c total #watches: 6321025
1457.32/1457.70	c total #propagations: 41199755 / total #impl: 15707928618 (eff. 0.003)
1457.32/1457.70	c GC COLLECT
1457.32/1457.70	c #Conflicts:      82000 | #Learnt:       6902 | 0.000
1457.32/1457.70	c total clause space: 335.816MB
1457.32/1457.70	c total #watches: 4420796
1472.62/1472.98	c total #propagations: 41901923 / total #impl: 15748081056 (eff. 0.003)
1472.62/1472.98	c #Conflicts:      83000 | #Learnt:       7902 | 0.000
1472.62/1472.98	c total clause space: 335.816MB
1472.62/1472.98	c total #watches: 5192171
1495.41/1495.71	c total #propagations: 42285975 / total #impl: 15806862454 (eff. 0.003)
1495.41/1495.71	c #Conflicts:      84000 | #Learnt:       8902 | 0.000
1495.41/1495.71	c total clause space: 335.816MB
1495.41/1495.71	c total #watches: 5672435
1519.21/1519.51	c total #propagations: 42768232 / total #impl: 15971702412 (eff. 0.003)
1519.21/1519.51	c #Conflicts:      85000 | #Learnt:       9902 | 0.000
1519.21/1519.51	c total clause space: 335.816MB
1519.21/1519.51	c total #watches: 6184959
1544.90/1545.29	c total #propagations: 43168308 / total #impl: 16115527283 (eff. 0.003)
1544.90/1545.29	c #Conflicts:      86000 | #Learnt:      10902 | 0.000
1544.90/1545.29	c total clause space: 335.816MB
1544.90/1545.29	c total #watches: 6733054
1570.61/1570.94	c total #propagations: 43548854 / total #impl: 16256239931 (eff. 0.003)
1570.61/1570.94	c #Conflicts:      87000 | #Learnt:      11902 | 0.000
1570.61/1570.94	c total clause space: 335.816MB
1570.61/1570.94	c total #watches: 7243954
1601.59/1601.91	c total #propagations: 43819916 / total #impl: 16420402151 (eff. 0.003)
1601.59/1601.91	c #Conflicts:      88000 | #Learnt:      12902 | 0.000
1601.59/1601.91	c total clause space: 335.816MB
1601.59/1601.91	c total #watches: 7878634
1624.79/1625.12	c total #propagations: 44033366 / total #impl: 16648379976 (eff. 0.003)
1624.79/1625.12	c #Conflicts:      89000 | #Learnt:      13902 | 0.000
1624.79/1625.12	c total clause space: 335.816MB
1624.79/1625.12	c total #watches: 8410465
1641.39/1641.74	c total #propagations: 44157639 / total #impl: 16778085941 (eff. 0.003)
1641.39/1641.74	c GC COLLECT
1641.39/1641.74	c #Conflicts:      90000 | #Learnt:       7804 | 0.000
1641.39/1641.74	c total clause space: 335.816MB
1641.39/1641.74	c total #watches: 5164563
1663.59/1663.90	c total #propagations: 44276843 / total #impl: 16862904355 (eff. 0.003)
1663.59/1663.90	c #Conflicts:      91000 | #Learnt:       8804 | 0.000
1663.59/1663.90	c total clause space: 335.816MB
1663.59/1663.90	c total #watches: 5686534
1687.69/1688.02	c total #propagations: 44480234 / total #impl: 16970649045 (eff. 0.003)
1687.69/1688.02	c #Conflicts:      92000 | #Learnt:       9804 | 0.000
1687.69/1688.02	c total clause space: 335.816MB
1687.69/1688.02	c total #watches: 6014487
1712.39/1712.76	c total #propagations: 44671256 / total #impl: 17087256786 (eff. 0.003)
1712.39/1712.76	c #Conflicts:      93000 | #Learnt:      10804 | 0.000
1712.39/1712.76	c total clause space: 335.816MB
1712.39/1712.76	c total #watches: 6228578
1747.48/1747.82	c total #propagations: 44875275 / total #impl: 17238594558 (eff. 0.003)
1747.48/1747.82	c #Conflicts:      94000 | #Learnt:      11804 | 0.000
1747.48/1747.82	c total clause space: 335.816MB
1747.48/1747.82	c total #watches: 6572337
1790.67/1791.02	c total #propagations: 45139660 / total #impl: 17541022376 (eff. 0.003)
1790.67/1791.02	c #Conflicts:      95000 | #Learnt:      12804 | 0.000
1790.67/1791.02	c total clause space: 335.816MB
1790.67/1791.02	c total #watches: 6983268

Verifier Data 

ERROR: no interpretation found !

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-4087683-1465432411/watcher-4087683-1465432411 -o /tmp/evaluation-result-4087683-1465432411/solver-4087683-1465432411 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465427004-22004 --watchdog 1960 --input HOME/instance-4087683-1465432411.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.05 2.05 2/171 22451
/proc/meminfo: memFree=30732908/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 125172885 57319424 7292 33554432000 4194304 6211289 140736253600464 140734220087304 4206544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 13994 7292 98 493 0 13491 0

[startup+0.100147 s]
/proc/loadavg: 2.07 2.05 2.05 2/171 22451
/proc/meminfo: memFree=30732908/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=67004 CPUtime=0.09 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 1388 0 0 0 8 1 0 0 20 0 1 0 125172885 68612096 14773 33554432000 4194304 6211289 140736253600464 140734220087304 5161098 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 16751 14773 144 493 0 16248 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67004

[startup+0.200373 s]
/proc/loadavg: 2.07 2.05 2.05 2/171 22451
/proc/meminfo: memFree=30732908/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=76288 CPUtime=0.19 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 2359 0 0 0 18 1 0 0 20 0 1 0 125172885 78118912 15688 33554432000 4194304 6211289 140736253600464 140734220087304 5161098 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 19072 15690 204 493 0 18569 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 76288

[startup+0.300331 s]
/proc/loadavg: 2.07 2.05 2.05 2/171 22451
/proc/meminfo: memFree=30732908/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=86744 CPUtime=0.29 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 3532 0 0 0 28 1 0 0 20 0 1 0 125172885 88825856 18334 33554432000 4194304 6211289 140736253600464 140734220087304 4242752 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 21686 18334 204 493 0 21183 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86744

[startup+0.700272 s]
/proc/loadavg: 2.07 2.05 2.05 2/171 22451
/proc/meminfo: memFree=30732908/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=122344 CPUtime=0.69 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 5213 0 0 0 67 2 0 0 20 0 1 0 125172885 125280256 23499 33554432000 4194304 6211289 140736253600464 140734220087304 4209244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 30586 23499 204 493 0 30083 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 122344

[startup+1.50028 s]
/proc/loadavg: 2.07 2.05 2.05 3/178 22467
/proc/meminfo: memFree=30545072/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=130508 CPUtime=1.49 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 7277 0 0 0 147 2 0 0 20 0 1 0 125172885 133640192 28118 33554432000 4194304 6211289 140736253600464 140736253598696 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 32627 28118 214 493 0 32124 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 130508

[startup+3.10028 s]
/proc/loadavg: 2.07 2.05 2.05 3/178 22467
/proc/meminfo: memFree=30499724/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=161880 CPUtime=3.09 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 9843 0 0 0 307 2 0 0 20 0 1 0 125172885 165765120 31604 33554432000 4194304 6211289 140736253600464 140736253598808 4209484 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 40470 31604 214 493 0 39967 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 161880

[startup+6.30027 s]
/proc/loadavg: 2.07 2.05 2.05 3/178 22467
/proc/meminfo: memFree=30458100/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=161880 CPUtime=6.29 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 9890 0 0 0 627 2 0 0 20 0 1 0 125172885 165765120 31640 33554432000 4194304 6211289 140736253600464 140736253598808 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 40470 31640 219 493 0 39967 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 161880

[startup+12.7003 s]
/proc/loadavg: 2.06 2.05 2.05 3/178 22467
/proc/meminfo: memFree=30433860/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=161880 CPUtime=12.69 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 10012 0 0 0 1267 2 0 0 20 0 1 0 125172885 165765120 32784 33554432000 4194304 6211289 140736253600464 140736253598808 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 40470 32784 219 493 0 39967 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 161880

[startup+25.5004 s]
/proc/loadavg: 2.05 2.05 2.05 3/178 22467
/proc/meminfo: memFree=30420724/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=162016 CPUtime=25.49 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 10410 0 0 0 2546 3 0 0 20 0 1 0 125172885 165904384 35645 33554432000 4194304 6211289 140736253600464 140736253598376 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 40504 35645 219 493 0 40001 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 162016

[startup+51.1004 s]
/proc/loadavg: 2.03 2.04 2.04 3/178 22467
/proc/meminfo: memFree=30382068/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=228476 CPUtime=51.08 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 14107 0 0 0 5104 4 0 0 20 0 1 0 125172885 233959424 42825 33554432000 4194304 6211289 140736253600464 140736253598376 4209244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 57119 42825 219 493 0 56616 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 228476

[startup+102.3 s]
/proc/loadavg: 2.04 2.05 2.04 3/178 22468
/proc/meminfo: memFree=30362128/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=228764 CPUtime=102.27 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 15077 0 0 0 10222 5 0 0 20 0 1 0 125172885 234254336 45526 33554432000 4194304 6211289 140736253600464 140736253598808 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 57191 45526 219 493 0 56688 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 228764

[startup+162.3 s]
/proc/loadavg: 2.06 2.05 2.04 3/178 22469
/proc/meminfo: memFree=30343364/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=228908 CPUtime=162.25 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 15380 0 0 0 16220 5 0 0 20 0 1 0 125172885 234401792 48857 33554432000 4194304 6211289 140736253600464 140736253598808 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 57227 48857 219 493 0 56724 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 228908

[startup+222.307 s]
/proc/loadavg: 2.13 2.07 2.05 3/178 22470
/proc/meminfo: memFree=30329328/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=229052 CPUtime=222.24 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 15400 0 0 0 22219 5 0 0 20 0 1 0 125172885 234549248 48877 33554432000 4194304 6211289 140736253600464 140736253598808 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 57263 48877 219 493 0 56760 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 229052

[startup+282.3 s]
/proc/loadavg: 2.05 2.05 2.04 3/178 22472
/proc/meminfo: memFree=30307840/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=231152 CPUtime=282.22 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 16073 0 0 0 28217 5 0 0 20 0 1 0 125172885 236699648 54148 33554432000 4194304 6211289 140736253600464 140736253598456 4209468 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 57788 54148 219 493 0 57285 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 231152

[startup+342.3 s]
/proc/loadavg: 2.06 2.06 2.04 3/178 22473
/proc/meminfo: memFree=30291956/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=233184 CPUtime=342.21 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 16535 0 0 0 34216 5 0 0 20 0 1 0 125172885 238780416 54610 33554432000 4194304 6211289 140736253600464 140736253598456 4209384 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 58296 54610 219 493 0 57793 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 233184

[startup+402.3 s]
/proc/loadavg: 2.02 2.05 2.04 3/179 22477
/proc/meminfo: memFree=30290808/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=233904 CPUtime=402.2 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 16774 0 0 0 40215 5 0 0 20 0 1 0 125172885 239517696 54849 33554432000 4194304 6211289 140736253600464 140736253598808 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 58476 54849 219 493 0 57973 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 233904

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/178 22478
/proc/meminfo: memFree=30268032/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=316544 CPUtime=462.2 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 17674 0 0 0 46214 6 0 0 20 0 1 0 125172885 324141056 60472 33554432000 4194304 6211289 140736253600464 140736253598376 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 79136 60472 219 493 0 78633 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 316544

[startup+522.3 s]
/proc/loadavg: 2.05 2.04 2.03 3/178 22479
/proc/meminfo: memFree=30190536/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=348912 CPUtime=522.19 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 24219 0 0 0 52211 8 0 0 20 0 1 0 125172885 357285888 79792 33554432000 4194304 6211289 140736253600464 140736253598376 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 87228 79792 219 493 0 86725 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 348912

[startup+582.3 s]
/proc/loadavg: 2.14 2.07 2.04 3/178 22481
/proc/meminfo: memFree=30148408/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=481332 CPUtime=582.18 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 25392 0 0 0 58208 10 0 0 20 0 1 0 125172885 492883968 85989 33554432000 4194304 6211289 140736253600464 140736253598808 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 120333 85989 219 493 0 119830 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 481332


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


[startup+882.307 s]
/proc/loadavg: 2.14 2.09 2.05 3/177 22487
/proc/meminfo: memFree=30138608/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=481492 CPUtime=882.11 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 25995 0 0 0 88201 10 0 0 20 0 1 0 125172885 493047808 88175 33554432000 4194304 6211289 140736253600464 140736253598808 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 120373 88175 219 493 0 119870 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 481492

[startup+942.3 s]
/proc/loadavg: 2.17 2.11 2.05 3/178 22489
/proc/meminfo: memFree=30137380/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=481652 CPUtime=942.09 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 26038 0 0 0 94199 10 0 0 20 0 1 0 125172885 493211648 88218 33554432000 4194304 6211289 140736253600464 140736253598808 4209380 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 120413 88218 219 493 0 119910 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 481652

[startup+1002.3 s]
/proc/loadavg: 2.06 2.08 2.05 3/179 22493
/proc/meminfo: memFree=30131204/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=481812 CPUtime=1002.08 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 26048 0 0 0 100198 10 0 0 20 0 1 0 125172885 493375488 88228 33554432000 4194304 6211289 140736253600464 140736253598808 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 120453 88228 219 493 0 119950 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 481812

[startup+1062.3 s]
/proc/loadavg: 2.02 2.07 2.04 3/178 22494
/proc/meminfo: memFree=30104748/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=484532 CPUtime=1062.08 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 26565 0 0 0 106197 11 0 0 20 0 1 0 125172885 496160768 94877 33554432000 4194304 6211289 140736253600464 140736253598376 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 121133 94877 219 493 0 120630 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 484532

[startup+1122.3 s]
/proc/loadavg: 2.17 2.10 2.05 3/178 22495
/proc/meminfo: memFree=30076508/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=484532 CPUtime=1122.07 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 26654 0 0 0 112196 11 0 0 20 0 1 0 125172885 496160768 101609 33554432000 4194304 6211289 140736253600464 140736253598808 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 121133 101609 219 493 0 120630 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 484532

[startup+1182.3 s]
/proc/loadavg: 2.07 2.08 2.05 3/178 22497
/proc/meminfo: memFree=30075880/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=484532 CPUtime=1182.06 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 26694 0 0 0 118195 11 0 0 20 0 1 0 125172885 496160768 101649 33554432000 4194304 6211289 140736253600464 140736253598808 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 121133 101649 219 493 0 120630 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 484532

[startup+1242.3 s]
/proc/loadavg: 2.06 2.08 2.05 3/178 22498
/proc/meminfo: memFree=30074956/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=484532 CPUtime=1242.05 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 26705 0 0 0 124194 11 0 0 20 0 1 0 125172885 496160768 101660 33554432000 4194304 6211289 140736253600464 140736253598808 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 121133 101660 219 493 0 120630 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 484532

[startup+1302.3 s]
/proc/loadavg: 2.12 2.09 2.05 3/178 22499
/proc/meminfo: memFree=30074576/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=484692 CPUtime=1302.04 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 26765 0 0 0 130193 11 0 0 20 0 1 0 125172885 496324608 101720 33554432000 4194304 6211289 140736253600464 140736253598808 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 121173 101720 219 493 0 120670 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 484692

[startup+1362.3 s]
/proc/loadavg: 2.09 2.08 2.05 3/178 22500
/proc/meminfo: memFree=30073952/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=484692 CPUtime=1362.03 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 26766 0 0 0 136192 11 0 0 20 0 1 0 125172885 496324608 101721 33554432000 4194304 6211289 140736253600464 140736253598808 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 121173 101721 219 493 0 120670 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 484692

[startup+1422.3 s]
/proc/loadavg: 2.07 2.08 2.05 3/178 22501
/proc/meminfo: memFree=30073396/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=484852 CPUtime=1422.03 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 26801 0 0 0 142192 11 0 0 20 0 1 0 125172885 496488448 101756 33554432000 4194304 6211289 140736253600464 140736253598376 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 121213 101756 219 493 0 120710 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 484852

[startup+1482.3 s]
/proc/loadavg: 2.06 2.08 2.05 3/178 22503
/proc/meminfo: memFree=30057700/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=484852 CPUtime=1482.01 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 26812 0 0 0 148190 11 0 0 20 0 1 0 125172885 496488448 101767 33554432000 4194304 6211289 140736253600464 140736253598808 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 121213 101767 219 493 0 120710 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 484852

[startup+1542.31 s]
/proc/loadavg: 2.07 2.08 2.05 3/178 22504
/proc/meminfo: memFree=29927092/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=484852 CPUtime=1542.01 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 26824 0 0 0 154190 11 0 0 20 0 1 0 125172885 496488448 101781 33554432000 4194304 6211289 140736253600464 140736253598808 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 121213 101781 219 493 0 120710 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 484852

[startup+1602.3 s]
/proc/loadavg: 2.03 2.06 2.04 3/179 22508
/proc/meminfo: memFree=29915584/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=485236 CPUtime=1601.99 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 26938 0 0 0 160188 11 0 0 20 0 1 0 125172885 496881664 104450 33554432000 4194304 6211289 140736253600464 140736253598376 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 121309 104450 219 493 0 120806 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 485236

[startup+1662.3 s]
/proc/loadavg: 2.15 2.09 2.05 3/179 22532
/proc/meminfo: memFree=29836832/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=543300 CPUtime=1661.99 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 35570 0 0 0 166186 13 0 0 20 0 1 0 125172885 556339200 119725 33554432000 4194304 6211289 140736253600464 140736253598808 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 135825 119725 219 493 0 135322 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 543300

[startup+1722.3 s]
/proc/loadavg: 2.19 2.11 2.06 3/178 22533
/proc/meminfo: memFree=29837272/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=543300 CPUtime=1721.98 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 35573 0 0 0 172185 13 0 0 20 0 1 0 125172885 556339200 119728 33554432000 4194304 6211289 140736253600464 140736253598808 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 135825 119728 219 493 0 135322 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 543300

[startup+1782.3 s]
/proc/loadavg: 2.10 2.10 2.06 3/178 22535
/proc/meminfo: memFree=29830200/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=543300 CPUtime=1781.97 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 35573 0 0 0 178184 13 0 0 20 0 1 0 125172885 556339200 119728 33554432000 4194304 6211289 140736253600464 140736253598808 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 135825 119728 219 493 0 135322 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 543300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.08 2.09 2.06 3/178 22535
/proc/meminfo: memFree=29828696/32872528 swapFree=11252/530428
[pid=22451] ppid=22448 vsize=543300 CPUtime=1800.07 cores=0,2,4,6
/proc/22451/stat : 22451 (cdcl-cuttingpla) R 22448 22451 21988 0 -1 4202496 35573 0 0 0 179994 13 0 0 20 0 1 0 125172885 556339200 119728 33554432000 4194304 6211289 140736253600464 140736253598808 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22451/statm: 135825 119728 219 493 0 135322 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 543300

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 22451 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.4
CPU time (s): 1800.08
CPU user time (s): 1799.94
CPU system time (s): 0.134979
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 543300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.134979
maximum resident set size= 478912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65929 second user time and 6.83596 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-09 02:33:31
IDJOB=4087683
IDBENCH=24996
IDSOLVER=2549
FILE ID=node141/4087683-1465432411
RUNJOBID= node141-1465427004-22004
PBS_JOBID= 19859775
Free space on /tmp= 71748 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087683-1465432411/watcher-4087683-1465432411 -o /tmp/evaluation-result-4087683-1465432411/solver-4087683-1465432411 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465427004-22004 --watchdog 1960 --input HOME/instance-4087683-1465432411.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860
RANDOM SEED=709968548

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.876
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:        30733552 kB
Buffers:          112784 kB
Cached:           736552 kB
SwapCached:         1832 kB
Active:           339984 kB
Inactive:         513796 kB
Active(anon):       3408 kB
Inactive(anon):     3244 kB
Active(file):     336576 kB
Inactive(file):   510552 kB
Unevictable:      530428 kB
Mlocked:           11252 kB
SwapTotal:      67108856 kB
SwapFree:       67098372 kB
Dirty:              2744 kB
Writeback:             0 kB
AnonPages:        534224 kB
Mapped:             8268 kB
Shmem:                 0 kB
Slab:             622304 kB
SReclaimable:      65760 kB
SUnreclaim:       556544 kB
KernelStack:        1400 kB
PageTables:         5104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     630112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    520192 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= 71744 MiB
End job on node141 at 2016-06-09 03:03:32