Trace number 4118572

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 linear search 2016-05-01? (TO) 1800.03 1800.3

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-70.lin.opb
MD5SUM59346078211490c68be268d04528cb00
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6348
Best CPU time to get the best result obtained on this benchmark1800
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7455
Total number of constraints14560
Number of constraints which are clauses7245
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints7245
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 7245
Biggest coefficient in the objective function 69
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 171465
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 69
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 171465
Number of bits of the biggest sum of numbers18
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.00	c * #variable= 7455 #constraint= 14560
13.39/13.48	c #Conflicts:       1000 | #Learnt:       1041 | 0.000
13.39/13.48	c total clause space: 48.1602MB
13.39/13.48	c total #watches: 324155
30.28/30.36	c total #propagations: 479378 / total #impl: 4393150 (eff. 0.109)
30.28/30.36	c #Conflicts:       2000 | #Learnt:       2059 | 0.000
30.28/30.36	c total clause space: 127.173MB
30.28/30.36	c total #watches: 454613
44.19/44.27	c total #propagations: 784890 / total #impl: 9492910 (eff. 0.083)
44.19/44.27	c GC COLLECT
44.19/44.27	c #Conflicts:       3000 | #Learnt:       2077 | 0.000
44.19/44.27	c total clause space: 127.173MB
44.19/44.27	c total #watches: 472366
59.49/59.55	c total #propagations: 963530 / total #impl: 17083314 (eff. 0.056)
59.49/59.55	c #Conflicts:       4000 | #Learnt:       3079 | 0.000
59.49/59.55	c total clause space: 127.173MB
59.49/59.55	c total #watches: 490969
74.67/74.76	c total #propagations: 1160222 / total #impl: 24011133 (eff. 0.048)
74.67/74.76	c GC COLLECT
74.67/74.76	c #Conflicts:       5000 | #Learnt:       2450 | 0.000
74.67/74.76	c total clause space: 127.173MB
74.67/74.76	c total #watches: 486602
79.88/79.99	c total #propagations: 1520308 / total #impl: 29338097 (eff. 0.052)
79.88/79.99	c #Conflicts:       6000 | #Learnt:       3450 | 0.000
79.88/79.99	c total clause space: 127.173MB
79.88/79.99	c total #watches: 491739
88.88/88.98	c total #propagations: 1990013 / total #impl: 33954581 (eff. 0.059)
88.88/88.98	c GC COLLECT
88.88/88.98	c #Conflicts:       7000 | #Learnt:       2336 | 0.000
88.88/88.98	c total clause space: 127.173MB
88.88/88.98	c total #watches: 487617
97.98/98.09	c total #propagations: 2318489 / total #impl: 40278650 (eff. 0.058)
97.98/98.09	c #Conflicts:       8000 | #Learnt:       3336 | 0.000
97.98/98.09	c total clause space: 127.173MB
97.98/98.09	c total #watches: 491680
108.98/109.02	c total #propagations: 2637135 / total #impl: 47455264 (eff. 0.056)
108.98/109.02	c #Conflicts:       9000 | #Learnt:       4336 | 0.000
108.98/109.02	c total clause space: 127.173MB
108.98/109.02	c total #watches: 495903
121.57/121.63	c total #propagations: 2956294 / total #impl: 54110851 (eff. 0.055)
121.57/121.63	c GC COLLECT
121.57/121.63	c #Conflicts:      10000 | #Learnt:       2834 | 0.000
121.57/121.63	c total clause space: 206.656MB
121.57/121.63	c total #watches: 509239
136.77/136.83	c total #propagations: 3220771 / total #impl: 60171664 (eff. 0.054)
136.77/136.83	c #Conflicts:      11000 | #Learnt:       3834 | 0.000
136.77/136.83	c total clause space: 206.656MB
136.77/136.83	c total #watches: 513447
150.37/150.41	c total #propagations: 3345246 / total #impl: 65136268 (eff. 0.051)
150.37/150.41	c #Conflicts:      12000 | #Learnt:       4834 | 0.000
150.37/150.41	c total clause space: 206.656MB
150.37/150.41	c total #watches: 518922
166.46/166.56	c total #propagations: 3523770 / total #impl: 69852667 (eff. 0.050)
166.46/166.56	c #Conflicts:      13000 | #Learnt:       5840 | 0.000
166.46/166.56	c total clause space: 206.656MB
166.46/166.56	c total #watches: 568113
187.36/187.40	c total #propagations: 3751444 / total #impl: 75331022 (eff. 0.050)
187.36/187.40	c GC COLLECT
187.36/187.40	c #Conflicts:      14000 | #Learnt:       4001 | 0.000
187.36/187.40	c total clause space: 206.656MB
187.36/187.40	c total #watches: 658215
202.46/202.52	c total #propagations: 4015614 / total #impl: 80171309 (eff. 0.050)
202.46/202.52	c #Conflicts:      15000 | #Learnt:       5003 | 0.000
202.46/202.52	c total clause space: 206.656MB
202.46/202.52	c total #watches: 677378
217.25/217.31	c total #propagations: 4207773 / total #impl: 84642184 (eff. 0.050)
217.25/217.31	c #Conflicts:      16000 | #Learnt:       6003 | 0.000
217.25/217.31	c total clause space: 206.656MB
217.25/217.31	c total #watches: 682722
231.86/231.98	c total #propagations: 4417717 / total #impl: 90697999 (eff. 0.049)
231.86/231.98	c GC COLLECT
231.86/231.98	c #Conflicts:      17000 | #Learnt:       3833 | 0.000
231.86/231.98	c total clause space: 206.656MB
231.86/231.98	c total #watches: 677506
242.85/242.91	c total #propagations: 4620062 / total #impl: 95120078 (eff. 0.049)
242.85/242.91	c #Conflicts:      18000 | #Learnt:       4833 | 0.000
242.85/242.91	c total clause space: 206.656MB
242.85/242.91	c total #watches: 682087
255.85/255.96	c total #propagations: 4854836 / total #impl: 99915170 (eff. 0.049)
255.85/255.96	c #Conflicts:      19000 | #Learnt:       5835 | 0.000
255.85/255.96	c total clause space: 206.656MB
255.85/255.96	c total #watches: 701129
276.16/276.27	c total #propagations: 5061825 / total #impl: 103935579 (eff. 0.049)
276.16/276.27	c #Conflicts:      20000 | #Learnt:       6837 | 0.000
276.16/276.27	c total clause space: 206.656MB
276.16/276.27	c total #watches: 720584
297.34/297.49	c total #propagations: 5276532 / total #impl: 109310335 (eff. 0.048)
297.34/297.49	c GC COLLECT
297.34/297.49	c #Conflicts:      21000 | #Learnt:       4356 | 0.000
297.34/297.49	c total clause space: 206.656MB
297.34/297.49	c total #watches: 708725
317.14/317.28	c total #propagations: 5555885 / total #impl: 115564942 (eff. 0.048)
317.14/317.28	c #Conflicts:      22000 | #Learnt:       5356 | 0.000
317.14/317.28	c total clause space: 206.656MB
317.14/317.28	c total #watches: 713599
333.44/333.52	c total #propagations: 5754506 / total #impl: 120646164 (eff. 0.048)
333.44/333.52	c #Conflicts:      23000 | #Learnt:       6356 | 0.000
333.44/333.52	c total clause space: 206.656MB
333.44/333.52	c total #watches: 719248
350.04/350.18	c total #propagations: 5969478 / total #impl: 124846703 (eff. 0.048)
350.04/350.18	c #Conflicts:      24000 | #Learnt:       7356 | 0.000
350.04/350.18	c total clause space: 206.656MB
350.04/350.18	c total #watches: 724458
367.53/367.60	c total #propagations: 6194237 / total #impl: 128761951 (eff. 0.048)
367.53/367.60	c GC COLLECT
367.53/367.60	c #Conflicts:      25000 | #Learnt:       4571 | 0.000
367.53/367.60	c total clause space: 206.656MB
367.53/367.60	c total #watches: 710165
382.84/382.96	c total #propagations: 6406705 / total #impl: 133160050 (eff. 0.048)
382.84/382.96	c #Conflicts:      26000 | #Learnt:       5571 | 0.000
382.84/382.96	c total clause space: 206.656MB
382.84/382.96	c total #watches: 715426
398.83/398.91	c total #propagations: 6593227 / total #impl: 137453805 (eff. 0.048)
398.83/398.91	c #Conflicts:      27000 | #Learnt:       6571 | 0.000
398.83/398.91	c total clause space: 206.656MB
398.83/398.91	c total #watches: 721133
412.53/412.65	c total #propagations: 6762220 / total #impl: 142388074 (eff. 0.047)
412.53/412.65	c #Conflicts:      28000 | #Learnt:       7571 | 0.000
412.53/412.65	c total clause space: 206.656MB
412.53/412.65	c total #watches: 727028
429.72/429.87	c total #propagations: 7016582 / total #impl: 147740689 (eff. 0.047)
429.72/429.87	c GC COLLECT
429.72/429.87	c #Conflicts:      29000 | #Learnt:       4482 | 0.000
429.72/429.87	c total clause space: 206.656MB
429.72/429.87	c total #watches: 711324
444.72/444.82	c total #propagations: 7311244 / total #impl: 152809097 (eff. 0.048)
444.72/444.82	c #Conflicts:      30000 | #Learnt:       5482 | 0.000
444.72/444.82	c total clause space: 206.656MB
444.72/444.82	c total #watches: 731194
461.32/461.50	c total #propagations: 7541686 / total #impl: 157736431 (eff. 0.048)
461.32/461.50	c #Conflicts:      31000 | #Learnt:       6482 | 0.000
461.32/461.50	c total clause space: 206.656MB
461.32/461.50	c total #watches: 758821
481.82/481.94	c total #propagations: 7764414 / total #impl: 162903778 (eff. 0.048)
481.82/481.94	c #Conflicts:      32000 | #Learnt:       7482 | 0.000
481.82/481.94	c total clause space: 206.656MB
481.82/481.94	c total #watches: 766001
497.41/497.57	c total #propagations: 7946231 / total #impl: 166894326 (eff. 0.048)
497.41/497.57	c #Conflicts:      33000 | #Learnt:       8482 | 0.000
497.41/497.57	c total clause space: 206.656MB
497.41/497.57	c total #watches: 770887
508.51/508.68	c total #propagations: 8323310 / total #impl: 171871118 (eff. 0.048)
508.51/508.68	c GC COLLECT
508.51/508.68	c #Conflicts:      34000 | #Learnt:       5089 | 0.000
508.51/508.68	c total clause space: 206.656MB
508.51/508.68	c total #watches: 751687
521.60/521.75	c total #propagations: 8537222 / total #impl: 176449042 (eff. 0.048)
521.60/521.75	c #Conflicts:      35000 | #Learnt:       6089 | 0.000
521.60/521.75	c total clause space: 206.656MB
521.60/521.75	c total #watches: 756534
540.50/540.62	c total #propagations: 8729693 / total #impl: 180561333 (eff. 0.048)
540.50/540.62	c #Conflicts:      36000 | #Learnt:       7089 | 0.000
540.50/540.62	c total clause space: 206.656MB
540.50/540.62	c total #watches: 760811
562.10/562.25	c total #propagations: 8932436 / total #impl: 186550521 (eff. 0.048)
562.10/562.25	c #Conflicts:      37000 | #Learnt:       8089 | 0.000
562.10/562.25	c total clause space: 206.656MB
562.10/562.25	c total #watches: 766453
584.60/584.70	c total #propagations: 9133865 / total #impl: 192259797 (eff. 0.048)
584.60/584.70	c #Conflicts:      38000 | #Learnt:       9089 | 0.000
584.60/584.70	c total clause space: 335.816MB
584.60/584.70	c total #watches: 770839
601.90/602.08	c total #propagations: 9308339 / total #impl: 197377133 (eff. 0.047)
601.90/602.08	c GC COLLECT
601.90/602.08	c #Conflicts:      39000 | #Learnt:       5389 | 0.000
601.90/602.08	c total clause space: 335.816MB
601.90/602.08	c total #watches: 712710
614.39/614.57	c total #propagations: 9522182 / total #impl: 202646818 (eff. 0.047)
614.39/614.57	c #Conflicts:      40000 | #Learnt:       6389 | 0.000
614.39/614.57	c total clause space: 335.816MB
614.39/614.57	c total #watches: 718035
627.29/627.48	c total #propagations: 9725634 / total #impl: 207217327 (eff. 0.047)
627.29/627.48	c #Conflicts:      41000 | #Learnt:       7389 | 0.000
627.29/627.48	c total clause space: 335.816MB
627.29/627.48	c total #watches: 724429
640.59/640.72	c total #propagations: 9923884 / total #impl: 211396445 (eff. 0.047)
640.59/640.72	c #Conflicts:      42000 | #Learnt:       8389 | 0.000
640.59/640.72	c total clause space: 335.816MB
640.59/640.72	c total #watches: 730373
654.59/654.76	c total #propagations: 10137105 / total #impl: 218255203 (eff. 0.046)
654.59/654.76	c #Conflicts:      43000 | #Learnt:       9389 | 0.000
654.59/654.76	c total clause space: 335.816MB
654.59/654.76	c total #watches: 737035
669.08/669.27	c total #propagations: 10343223 / total #impl: 223565940 (eff. 0.046)
669.08/669.27	c GC COLLECT
669.08/669.27	c #Conflicts:      44000 | #Learnt:       5400 | 0.000
669.08/669.27	c total clause space: 335.816MB
669.08/669.27	c total #watches: 717398
683.58/683.70	c total #propagations: 10571648 / total #impl: 231955485 (eff. 0.046)
683.58/683.70	c #Conflicts:      45000 | #Learnt:       6400 | 0.000
683.58/683.70	c total clause space: 335.816MB
683.58/683.70	c total #watches: 725696
699.68/699.83	c total #propagations: 10804728 / total #impl: 237834123 (eff. 0.045)
699.68/699.83	c #Conflicts:      46000 | #Learnt:       7400 | 0.000
699.68/699.83	c total clause space: 335.816MB
699.68/699.83	c total #watches: 731073
717.87/718.06	c total #propagations: 11036365 / total #impl: 244614223 (eff. 0.045)
717.87/718.06	c #Conflicts:      47000 | #Learnt:       8400 | 0.000
717.87/718.06	c total clause space: 335.816MB
717.87/718.06	c total #watches: 736077
733.68/733.83	c total #propagations: 11259415 / total #impl: 251128109 (eff. 0.045)
733.68/733.83	c #Conflicts:      48000 | #Learnt:       9400 | 0.000
733.68/733.83	c total clause space: 335.816MB
733.68/733.83	c total #watches: 740436
748.57/748.79	c total #propagations: 11467070 / total #impl: 257037271 (eff. 0.045)
748.57/748.79	c #Conflicts:      49000 | #Learnt:      10400 | 0.000
748.57/748.79	c total clause space: 335.816MB
748.57/748.79	c total #watches: 744893
770.37/770.55	c total #propagations: 11723647 / total #impl: 262261482 (eff. 0.045)
770.37/770.55	c GC COLLECT
770.37/770.55	c #Conflicts:      50000 | #Learnt:       6092 | 0.000
770.37/770.55	c total clause space: 335.816MB
770.37/770.55	c total #watches: 717056
787.26/787.48	c total #propagations: 12045143 / total #impl: 268541650 (eff. 0.045)
787.26/787.48	c #Conflicts:      51000 | #Learnt:       7092 | 0.000
787.26/787.48	c total clause space: 335.816MB
787.26/787.48	c total #watches: 721765
804.76/804.94	c total #propagations: 12240166 / total #impl: 275406929 (eff. 0.044)
804.76/804.94	c #Conflicts:      52000 | #Learnt:       8092 | 0.000
804.76/804.94	c total clause space: 335.816MB
804.76/804.94	c total #watches: 730046
825.27/825.48	c total #propagations: 12405165 / total #impl: 280542347 (eff. 0.044)
825.27/825.48	c #Conflicts:      53000 | #Learnt:       9092 | 0.000
825.27/825.48	c total clause space: 335.816MB
825.27/825.48	c total #watches: 734141
846.87/847.05	c total #propagations: 12560433 / total #impl: 286333346 (eff. 0.044)
846.87/847.05	c #Conflicts:      54000 | #Learnt:      10092 | 0.000
846.87/847.05	c total clause space: 335.816MB
846.87/847.05	c total #watches: 738929
866.15/866.38	c total #propagations: 12734781 / total #impl: 291398047 (eff. 0.044)
866.15/866.38	c #Conflicts:      55000 | #Learnt:      11092 | 0.000
866.15/866.38	c total clause space: 335.816MB
866.15/866.38	c total #watches: 744251
881.35/881.58	c total #propagations: 12929128 / total #impl: 296681255 (eff. 0.044)
881.35/881.58	c GC COLLECT
881.35/881.58	c #Conflicts:      56000 | #Learnt:       6492 | 0.000
881.35/881.58	c total clause space: 335.816MB
881.35/881.58	c total #watches: 720291
899.35/899.56	c total #propagations: 13088994 / total #impl: 301162797 (eff. 0.043)
899.35/899.56	c #Conflicts:      57000 | #Learnt:       7492 | 0.000
899.35/899.56	c total clause space: 335.816MB
899.35/899.56	c total #watches: 725865
912.25/912.47	c total #propagations: 13291468 / total #impl: 304974840 (eff. 0.044)
912.25/912.47	c #Conflicts:      58000 | #Learnt:       8492 | 0.000
912.25/912.47	c total clause space: 335.816MB
912.25/912.47	c total #watches: 732048
922.76/922.93	c total #propagations: 13761012 / total #impl: 308987002 (eff. 0.045)
922.76/922.93	c #Conflicts:      59000 | #Learnt:       9492 | 0.000
922.76/922.93	c total clause space: 335.816MB
922.76/922.93	c total #watches: 737625
933.95/934.11	c total #propagations: 14100046 / total #impl: 315348422 (eff. 0.045)
933.95/934.11	c #Conflicts:      60000 | #Learnt:      10492 | 0.000
933.95/934.11	c total clause space: 335.816MB
933.95/934.11	c total #watches: 743448
945.95/946.14	c total #propagations: 14326111 / total #impl: 321402933 (eff. 0.045)
945.95/946.14	c #Conflicts:      61000 | #Learnt:      11492 | 0.000
945.95/946.14	c total clause space: 335.816MB
945.95/946.14	c total #watches: 749222
956.24/956.47	c total #propagations: 14533328 / total #impl: 327252048 (eff. 0.044)
956.24/956.47	c GC COLLECT
956.24/956.47	c #Conflicts:      62000 | #Learnt:       6594 | 0.000
956.24/956.47	c total clause space: 335.816MB
956.24/956.47	c total #watches: 723945
966.75/966.99	c total #propagations: 14803145 / total #impl: 332076087 (eff. 0.045)
966.75/966.99	c #Conflicts:      63000 | #Learnt:       7594 | 0.000
966.75/966.99	c total clause space: 335.816MB
966.75/966.99	c total #watches: 730248
976.34/976.51	c total #propagations: 15055766 / total #impl: 336446372 (eff. 0.045)
976.34/976.51	c #Conflicts:      64000 | #Learnt:       8594 | 0.000
976.34/976.51	c total clause space: 335.816MB
976.34/976.51	c total #watches: 736447
992.64/992.85	c total #propagations: 15318296 / total #impl: 341654241 (eff. 0.045)
992.64/992.85	c #Conflicts:      65000 | #Learnt:       9594 | 0.000
992.64/992.85	c total clause space: 335.816MB
992.64/992.85	c total #watches: 741446
1009.23/1009.44	c total #propagations: 15573448 / total #impl: 347915534 (eff. 0.045)
1009.23/1009.44	c #Conflicts:      66000 | #Learnt:      10594 | 0.000
1009.23/1009.44	c total clause space: 335.816MB
1009.23/1009.44	c total #watches: 747545
1024.63/1024.84	c total #propagations: 15790293 / total #impl: 354180537 (eff. 0.045)
1024.63/1024.84	c #Conflicts:      67000 | #Learnt:      11594 | 0.000
1024.63/1024.84	c total clause space: 335.816MB
1024.63/1024.84	c total #watches: 752445
1041.23/1041.48	c total #propagations: 15972170 / total #impl: 359062405 (eff. 0.044)
1041.23/1041.48	c #Conflicts:      68000 | #Learnt:      12594 | 0.000
1041.23/1041.48	c total clause space: 335.816MB
1041.23/1041.48	c total #watches: 758108
1059.23/1059.48	c total #propagations: 16182276 / total #impl: 363569448 (eff. 0.045)
1059.23/1059.48	c GC COLLECT
1059.23/1059.48	c #Conflicts:      69000 | #Learnt:       7394 | 0.000
1059.23/1059.48	c total clause space: 335.816MB
1059.23/1059.48	c total #watches: 734501
1072.22/1072.49	c total #propagations: 16471584 / total #impl: 368577875 (eff. 0.045)
1072.22/1072.49	c #Conflicts:      70000 | #Learnt:       8394 | 0.000
1072.22/1072.49	c total clause space: 335.816MB
1072.22/1072.49	c total #watches: 740675
1088.32/1088.58	c total #propagations: 16690014 / total #impl: 372034344 (eff. 0.045)
1088.32/1088.58	c #Conflicts:      71000 | #Learnt:       9394 | 0.000
1088.32/1088.58	c total clause space: 335.816MB
1088.32/1088.58	c total #watches: 748370
1102.42/1102.64	c total #propagations: 16839305 / total #impl: 376544699 (eff. 0.045)
1102.42/1102.64	c #Conflicts:      72000 | #Learnt:      10394 | 0.000
1102.42/1102.64	c total clause space: 335.816MB
1102.42/1102.64	c total #watches: 755468
1119.72/1119.97	c total #propagations: 16980164 / total #impl: 380538416 (eff. 0.045)
1119.72/1119.97	c #Conflicts:      73000 | #Learnt:      11394 | 0.000
1119.72/1119.97	c total clause space: 335.816MB
1119.72/1119.97	c total #watches: 765438
1137.81/1138.08	c total #propagations: 17191016 / total #impl: 385618195 (eff. 0.045)
1137.81/1138.08	c #Conflicts:      74000 | #Learnt:      12394 | 0.000
1137.81/1138.08	c total clause space: 335.816MB
1137.81/1138.08	c total #watches: 772501
1160.32/1160.58	c total #propagations: 17386489 / total #impl: 392285316 (eff. 0.044)
1160.32/1160.58	c GC COLLECT
1160.32/1160.58	c #Conflicts:      75000 | #Learnt:       6894 | 0.000
1160.32/1160.58	c total clause space: 335.816MB
1160.32/1160.58	c total #watches: 769562
1176.92/1177.16	c total #propagations: 17555185 / total #impl: 398180322 (eff. 0.044)
1176.92/1177.16	c #Conflicts:      76000 | #Learnt:       7894 | 0.000
1176.92/1177.16	c total clause space: 335.816MB
1176.92/1177.16	c total #watches: 777148
1195.21/1195.46	c total #propagations: 18179317 / total #impl: 404374908 (eff. 0.045)
1195.21/1195.46	c #Conflicts:      77000 | #Learnt:       8894 | 0.000
1195.21/1195.46	c total clause space: 335.816MB
1195.21/1195.46	c total #watches: 783518
1209.01/1209.26	c total #propagations: 18378079 / total #impl: 408499887 (eff. 0.045)
1209.01/1209.26	c #Conflicts:      78000 | #Learnt:       9894 | 0.000
1209.01/1209.26	c total clause space: 335.816MB
1209.01/1209.26	c total #watches: 788332
1220.10/1220.39	c total #propagations: 18695666 / total #impl: 413025441 (eff. 0.045)
1220.10/1220.39	c #Conflicts:      79000 | #Learnt:      10894 | 0.000
1220.10/1220.39	c total clause space: 335.816MB
1220.10/1220.39	c total #watches: 792646
1233.01/1233.28	c total #propagations: 18967631 / total #impl: 416844039 (eff. 0.046)
1233.01/1233.28	c #Conflicts:      80000 | #Learnt:      11894 | 0.000
1233.01/1233.28	c total clause space: 335.816MB
1233.01/1233.28	c total #watches: 798425
1249.51/1249.75	c total #propagations: 19193345 / total #impl: 421996151 (eff. 0.045)
1249.51/1249.75	c #Conflicts:      81000 | #Learnt:      12894 | 0.000
1249.51/1249.75	c total clause space: 335.816MB
1249.51/1249.75	c total #watches: 804991
1265.09/1265.35	c total #propagations: 19392047 / total #impl: 427727354 (eff. 0.045)
1265.09/1265.35	c GC COLLECT
1265.09/1265.35	c #Conflicts:      82000 | #Learnt:       7094 | 0.000
1265.09/1265.35	c total clause space: 335.816MB
1265.09/1265.35	c total #watches: 758294
1279.39/1279.60	c total #propagations: 19591308 / total #impl: 433211756 (eff. 0.045)
1279.39/1279.60	c #Conflicts:      83000 | #Learnt:       8094 | 0.000
1279.39/1279.60	c total clause space: 335.816MB
1279.39/1279.60	c total #watches: 764792
1293.59/1293.88	c total #propagations: 19792994 / total #impl: 438102874 (eff. 0.045)
1293.59/1293.88	c #Conflicts:      84000 | #Learnt:       9094 | 0.000
1293.59/1293.88	c total clause space: 335.816MB
1293.59/1293.88	c total #watches: 771425
1307.99/1308.26	c total #propagations: 19989817 / total #impl: 441766523 (eff. 0.045)
1307.99/1308.26	c #Conflicts:      85000 | #Learnt:      10094 | 0.000
1307.99/1308.26	c total clause space: 335.816MB
1307.99/1308.26	c total #watches: 777787
1322.18/1322.48	c total #propagations: 20177232 / total #impl: 444400754 (eff. 0.045)
1322.18/1322.48	c #Conflicts:      86000 | #Learnt:      11094 | 0.000
1322.18/1322.48	c total clause space: 335.816MB
1322.18/1322.48	c total #watches: 784241
1335.69/1335.93	c total #propagations: 20372442 / total #impl: 449092792 (eff. 0.045)
1335.69/1335.93	c #Conflicts:      87000 | #Learnt:      12094 | 0.000
1335.69/1335.93	c total clause space: 335.816MB
1335.69/1335.93	c total #watches: 791055
1348.69/1348.98	c total #propagations: 20566985 / total #impl: 452042958 (eff. 0.045)
1348.69/1348.98	c #Conflicts:      88000 | #Learnt:      13094 | 0.000
1348.69/1348.98	c total clause space: 335.816MB
1348.69/1348.98	c total #watches: 798340
1364.68/1364.95	c total #propagations: 20748794 / total #impl: 455920383 (eff. 0.046)
1364.68/1364.95	c #Conflicts:      89000 | #Learnt:      14094 | 0.000
1364.68/1364.95	c total clause space: 335.816MB
1364.68/1364.95	c total #watches: 804254
1378.98/1379.21	c total #propagations: 20937149 / total #impl: 460145451 (eff. 0.046)
1378.98/1379.21	c GC COLLECT
1378.98/1379.21	c #Conflicts:      90000 | #Learnt:       8001 | 0.000
1378.98/1379.21	c total clause space: 335.816MB
1378.98/1379.21	c total #watches: 765045
1393.38/1393.60	c total #propagations: 21118543 / total #impl: 463139121 (eff. 0.046)
1393.38/1393.60	c #Conflicts:      91000 | #Learnt:       9001 | 0.000
1393.38/1393.60	c total clause space: 335.816MB
1393.38/1393.60	c total #watches: 773902
1409.18/1409.43	c total #propagations: 21310239 / total #impl: 466304620 (eff. 0.046)
1409.18/1409.43	c #Conflicts:      92000 | #Learnt:      10001 | 0.000
1409.18/1409.43	c total clause space: 335.816MB
1409.18/1409.43	c total #watches: 780738
1426.27/1426.53	c total #propagations: 21513291 / total #impl: 471739310 (eff. 0.046)
1426.27/1426.53	c #Conflicts:      93000 | #Learnt:      11001 | 0.000
1426.27/1426.53	c total clause space: 335.816MB
1426.27/1426.53	c total #watches: 786716
1442.67/1442.97	c total #propagations: 21726589 / total #impl: 477343554 (eff. 0.046)
1442.67/1442.97	c #Conflicts:      94000 | #Learnt:      12001 | 0.000
1442.67/1442.97	c total clause space: 335.816MB
1442.67/1442.97	c total #watches: 792050
1458.67/1458.94	c total #propagations: 21929514 / total #impl: 481957067 (eff. 0.046)
1458.67/1458.94	c #Conflicts:      95000 | #Learnt:      13001 | 0.000
1458.67/1458.94	c total clause space: 335.816MB
1458.67/1458.94	c total #watches: 798829
1473.66/1473.96	c total #propagations: 22112201 / total #impl: 486777875 (eff. 0.045)
1473.66/1473.96	c #Conflicts:      96000 | #Learnt:      14001 | 0.000
1473.66/1473.96	c total clause space: 335.816MB
1473.66/1473.96	c total #watches: 805118
1489.17/1489.43	c total #propagations: 22301572 / total #impl: 490747239 (eff. 0.045)
1489.17/1489.43	c #Conflicts:      97000 | #Learnt:      15001 | 0.000
1489.17/1489.43	c total clause space: 335.816MB
1489.17/1489.43	c total #watches: 810896
1504.26/1504.59	c total #propagations: 22499625 / total #impl: 495780841 (eff. 0.045)
1504.26/1504.59	c GC COLLECT
1504.26/1504.59	c #Conflicts:      98000 | #Learnt:       8599 | 0.000
1504.26/1504.59	c total clause space: 335.816MB
1504.26/1504.59	c total #watches: 769488
1519.65/1519.98	c total #propagations: 22688752 / total #impl: 499820582 (eff. 0.045)
1519.65/1519.98	c #Conflicts:      99000 | #Learnt:       9599 | 0.000
1519.65/1519.98	c total clause space: 335.816MB
1519.65/1519.98	c total #watches: 775988
1535.65/1535.94	c total #propagations: 22893394 / total #impl: 504534025 (eff. 0.045)
1535.65/1535.94	c #Conflicts:     100000 | #Learnt:      10599 | 0.000
1535.65/1535.94	c total clause space: 335.816MB
1535.65/1535.94	c total #watches: 781452
1551.75/1552.04	c total #propagations: 23076688 / total #impl: 508234845 (eff. 0.045)
1551.75/1552.04	c #Conflicts:     101000 | #Learnt:      11599 | 0.000
1551.75/1552.04	c total clause space: 335.816MB
1551.75/1552.04	c total #watches: 788124
1568.35/1568.68	c total #propagations: 23273780 / total #impl: 512544730 (eff. 0.045)
1568.35/1568.68	c #Conflicts:     102000 | #Learnt:      12599 | 0.000
1568.35/1568.68	c total clause space: 335.816MB
1568.35/1568.68	c total #watches: 795584
1584.85/1585.19	c total #propagations: 23467739 / total #impl: 516856188 (eff. 0.045)
1584.85/1585.19	c #Conflicts:     103000 | #Learnt:      13599 | 0.000
1584.85/1585.19	c total clause space: 335.816MB
1584.85/1585.19	c total #watches: 803284
1609.74/1610.03	c total #propagations: 23687830 / total #impl: 521400984 (eff. 0.045)
1609.74/1610.03	c #Conflicts:     104000 | #Learnt:      14599 | 0.000
1609.74/1610.03	c total clause space: 335.816MB
1609.74/1610.03	c total #watches: 808120
1630.04/1630.33	c total #propagations: 24181216 / total #impl: 528300964 (eff. 0.046)
1630.04/1630.33	c #Conflicts:     105000 | #Learnt:      15601 | 0.000
1630.04/1630.33	c total clause space: 335.816MB
1630.04/1630.33	c total #watches: 828450
1652.43/1652.71	c total #propagations: 24403810 / total #impl: 534098721 (eff. 0.046)
1652.43/1652.71	c GC COLLECT
1652.43/1652.71	c #Conflicts:     106000 | #Learnt:       8898 | 0.000
1652.43/1652.71	c total clause space: 335.816MB
1652.43/1652.71	c total #watches: 783942
1668.83/1669.17	c total #propagations: 24601621 / total #impl: 538418341 (eff. 0.046)
1668.83/1669.17	c #Conflicts:     107000 | #Learnt:       9898 | 0.000
1668.83/1669.17	c total clause space: 335.816MB
1668.83/1669.17	c total #watches: 788568
1686.64/1686.92	c total #propagations: 24864561 / total #impl: 544005529 (eff. 0.046)
1686.64/1686.92	c #Conflicts:     108000 | #Learnt:      10898 | 0.000
1686.64/1686.92	c total clause space: 335.816MB
1686.64/1686.92	c total #watches: 793749
1703.64/1704.00	c total #propagations: 25106540 / total #impl: 549887140 (eff. 0.046)
1703.64/1704.00	c #Conflicts:     109000 | #Learnt:      11898 | 0.000
1703.64/1704.00	c total clause space: 335.816MB
1703.64/1704.00	c total #watches: 798551
1719.73/1720.03	c total #propagations: 25353927 / total #impl: 556520139 (eff. 0.046)
1719.73/1720.03	c #Conflicts:     110000 | #Learnt:      12898 | 0.000
1719.73/1720.03	c total clause space: 335.816MB
1719.73/1720.03	c total #watches: 804017
1736.83/1737.17	c total #propagations: 25564697 / total #impl: 561305875 (eff. 0.046)
1736.83/1737.17	c #Conflicts:     111000 | #Learnt:      13898 | 0.000
1736.83/1737.17	c total clause space: 335.816MB
1736.83/1737.17	c total #watches: 809195
1758.82/1759.17	c total #propagations: 25809168 / total #impl: 566349891 (eff. 0.046)
1758.82/1759.17	c #Conflicts:     112000 | #Learnt:      14898 | 0.000
1758.82/1759.17	c total clause space: 335.816MB
1758.82/1759.17	c total #watches: 814952
1779.32/1779.65	c total #propagations: 26067730 / total #impl: 569996760 (eff. 0.046)
1779.32/1779.65	c #Conflicts:     113000 | #Learnt:      15898 | 0.000
1779.32/1779.65	c total clause space: 335.816MB
1779.32/1779.65	c total #watches: 820268
1799.11/1799.43	c total #propagations: 26321848 / total #impl: 575207384 (eff. 0.046)
1799.11/1799.43	c GC COLLECT
1799.11/1799.43	c #Conflicts:     114000 | #Learnt:       8898 | 0.000
1799.11/1799.43	c total clause space: 335.816MB
1799.11/1799.43	c total #watches: 776868

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-4118572-1467223493/watcher-4118572-1467223493 -o /tmp/evaluation-result-4118572-1467223493/solver-4118572-1467223493 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467209076-3808 --watchdog 1960 --input HOME/instance-4118572-1467223493.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=5381
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.32 2.26 2.20 3/176 5384
/proc/meminfo: memFree=26954540/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 3310287 29810688 5268 33554432000 4194304 6201397 140734043525696 140735709950920 4211056 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 7278 5268 130 491 0 6777 0

[startup+0.100171 s]
/proc/loadavg: 2.32 2.26 2.20 3/176 5384
/proc/meminfo: memFree=26954540/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=35052 CPUtime=0.09 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 1051 0 0 0 9 0 0 0 20 0 1 0 3310287 35893248 7406 33554432000 4194304 6201397 140734043525696 140735709950920 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 8763 7406 146 491 0 8262 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35052

[startup+0.200348 s]
/proc/loadavg: 2.32 2.26 2.20 3/176 5384
/proc/meminfo: memFree=26954540/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=35316 CPUtime=0.19 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 1166 0 0 0 19 0 0 0 20 0 1 0 3310287 36163584 7517 33554432000 4194304 6201397 140734043525696 140735709950920 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 8829 7517 146 491 0 8328 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35316

[startup+0.30026 s]
/proc/loadavg: 2.32 2.26 2.20 3/176 5384
/proc/meminfo: memFree=26954540/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=35340 CPUtime=0.29 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 1251 0 0 0 29 0 0 0 20 0 1 0 3310287 36188160 7594 33554432000 4194304 6201397 140734043525696 140735709950920 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 8835 7594 146 491 0 8334 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35340

[startup+0.700284 s]
/proc/loadavg: 2.32 2.26 2.20 3/176 5384
/proc/meminfo: memFree=26954540/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=38556 CPUtime=0.69 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 1445 0 0 0 69 0 0 0 20 0 1 0 3310287 39481344 8280 33554432000 4194304 6201397 140734043525696 140735709950920 4213178 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 9639 8280 147 491 0 9138 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38556

[startup+1.50023 s]
/proc/loadavg: 2.32 2.26 2.20 3/177 5385
/proc/meminfo: memFree=26921248/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=43132 CPUtime=1.49 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 1575 0 0 0 149 0 0 0 20 0 1 0 3310287 44167168 8371 33554432000 4194304 6201397 140734043525696 140734043524504 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 10783 8371 147 491 0 10282 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43132

[startup+3.10023 s]
/proc/loadavg: 2.32 2.26 2.20 3/177 5385
/proc/meminfo: memFree=26913804/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=50972 CPUtime=3.09 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 2043 0 0 0 309 0 0 0 20 0 1 0 3310287 52195328 9300 33554432000 4194304 6201397 140734043525696 140734043524728 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 12743 9300 147 491 0 12242 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50972

[startup+6.30023 s]
/proc/loadavg: 2.29 2.26 2.20 3/177 5385
/proc/meminfo: memFree=26903136/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=64452 CPUtime=6.28 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 2722 0 0 0 628 0 0 0 20 0 1 0 3310287 65998848 11961 33554432000 4194304 6201397 140734043525696 140734043524264 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 16113 11961 147 491 0 15612 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 64452

[startup+12.7003 s]
/proc/loadavg: 2.27 2.25 2.20 4/177 5385
/proc/meminfo: memFree=26878480/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=83580 CPUtime=12.69 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 2987 0 0 0 1268 1 0 0 20 0 1 0 3310287 85585920 17286 33554432000 4194304 6201397 140734043525696 140734043524392 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 20895 17286 147 491 0 20394 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83580

[startup+25.5003 s]
/proc/loadavg: 2.29 2.26 2.20 3/177 5385
/proc/meminfo: memFree=26846528/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=114980 CPUtime=25.48 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 3424 0 0 0 2547 1 0 0 20 0 1 0 3310287 117739520 23775 33554432000 4194304 6201397 140734043525696 140734043524264 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 28745 23775 160 491 0 28244 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 114980

[startup+51.1003 s]
/proc/loadavg: 2.19 2.24 2.19 3/177 5385
/proc/meminfo: memFree=26808060/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=168160 CPUtime=51.08 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 7858 0 0 0 5106 2 0 0 20 0 1 0 3310287 172195840 30404 33554432000 4194304 6201397 140734043525696 140734043524264 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 42040 30404 166 491 0 41539 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 168160

[startup+102.3 s]
/proc/loadavg: 2.23 2.24 2.19 4/177 5386
/proc/meminfo: memFree=26758552/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=168512 CPUtime=102.28 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 8602 0 0 0 10225 3 0 0 20 0 1 0 3310287 172556288 40021 33554432000 4194304 6201397 140734043525696 140734043524648 4213178 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 42128 40021 166 491 0 41627 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 168512

[startup+162.3 s]
/proc/loadavg: 2.18 2.23 2.18 3/177 5387
/proc/meminfo: memFree=26720560/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=250224 CPUtime=162.26 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 9697 0 0 0 16222 4 0 0 20 0 1 0 3310287 256229376 47596 33554432000 4194304 6201397 140734043525696 140734043524392 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 62556 47596 166 491 0 62055 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 250224

[startup+222.307 s]
/proc/loadavg: 2.24 2.23 2.18 3/177 5388
/proc/meminfo: memFree=26674596/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=250620 CPUtime=222.26 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 9975 0 0 0 22221 5 0 0 20 0 1 0 3310287 256634880 54466 33554432000 4194304 6201397 140734043525696 140734043524648 4213168 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 62655 54466 166 491 0 62154 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 250620

[startup+282.3 s]
/proc/loadavg: 2.32 2.26 2.19 4/177 5389
/proc/meminfo: memFree=26652264/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=251096 CPUtime=282.25 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 10334 0 0 0 28220 5 0 0 20 0 1 0 3310287 257122304 58729 33554432000 4194304 6201397 140734043525696 140734043524824 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 62774 58729 166 491 0 62273 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 251096

[startup+342.3 s]
/proc/loadavg: 2.29 2.26 2.19 3/178 5394
/proc/meminfo: memFree=26648392/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=251132 CPUtime=342.24 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 10413 0 0 0 34219 5 0 0 20 0 1 0 3310287 257159168 58768 33554432000 4194304 6201397 140734043525696 140734043524648 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 62783 58768 166 491 0 62282 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 251132

[startup+402.3 s]
/proc/loadavg: 2.26 2.25 2.19 3/177 5395
/proc/meminfo: memFree=26643440/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=251408 CPUtime=402.23 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 10751 0 0 0 40218 5 0 0 20 0 1 0 3310287 257441792 58848 33554432000 4194304 6201397 140734043525696 140734043524648 4213244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 62852 58848 166 491 0 62351 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 251408

[startup+462.3 s]
/proc/loadavg: 2.41 2.29 2.21 4/177 5396
/proc/meminfo: memFree=26638052/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=252076 CPUtime=462.22 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 11138 0 0 0 46217 5 0 0 20 0 1 0 3310287 258125824 59013 33554432000 4194304 6201397 140734043525696 140734043524824 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 63019 59013 166 491 0 62518 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 252076

[startup+522.3 s]
/proc/loadavg: 2.47 2.33 2.22 3/177 5397
/proc/meminfo: memFree=26617028/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=252616 CPUtime=522.2 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 12012 0 0 0 52215 5 0 0 20 0 1 0 3310287 258678784 61895 33554432000 4194304 6201397 140734043525696 140734043524824 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 63154 61895 166 491 0 62653 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 252616

[startup+582.3 s]
/proc/loadavg: 2.31 2.31 2.22 3/177 5398
/proc/meminfo: memFree=26615188/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=252808 CPUtime=582.19 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 12357 0 0 0 58214 5 0 0 20 0 1 0 3310287 258875392 62064 33554432000 4194304 6201397 140734043525696 140734043524648 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 63202 62064 166 491 0 62701 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 252808


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


[startup+942.3 s]
/proc/loadavg: 2.20 2.26 2.22 3/178 5409
/proc/meminfo: memFree=26544992/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=386468 CPUtime=942.15 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 15006 0 0 0 94207 8 0 0 20 0 1 0 3310287 395743232 73887 33554432000 4194304 6201397 140734043525696 140734043524648 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 96617 73887 166 491 0 96116 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 386468

[startup+1002.3 s]
/proc/loadavg: 2.18 2.24 2.21 4/177 5410
/proc/meminfo: memFree=26534204/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=386804 CPUtime=1002.13 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 15539 0 0 0 100205 8 0 0 20 0 1 0 3310287 396087296 76531 33554432000 4194304 6201397 140734043525696 140734043524648 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 96701 76531 166 491 0 96200 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 386804

[startup+1062.3 s]
/proc/loadavg: 2.31 2.27 2.22 3/177 5411
/proc/meminfo: memFree=26533844/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=386916 CPUtime=1062.12 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 15772 0 0 0 106204 8 0 0 20 0 1 0 3310287 396201984 76570 33554432000 4194304 6201397 140734043525696 140734043524648 4213249 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 96729 76570 166 491 0 96228 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 386916

[startup+1122.3 s]
/proc/loadavg: 2.27 2.26 2.22 3/177 5412
/proc/meminfo: memFree=26530944/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=387148 CPUtime=1122.11 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 16040 0 0 0 112203 8 0 0 20 0 1 0 3310287 396439552 76631 33554432000 4194304 6201397 140734043525696 140734043524648 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 96787 76631 166 491 0 96286 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 387148

[startup+1182.3 s]
/proc/loadavg: 2.39 2.30 2.24 4/177 5413
/proc/meminfo: memFree=26501780/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=387436 CPUtime=1182.11 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 16205 0 0 0 118202 9 0 0 20 0 1 0 3310287 396734464 83350 33554432000 4194304 6201397 140734043525696 140734043524824 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 96859 83350 166 491 0 96358 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 387436

[startup+1242.3 s]
/proc/loadavg: 2.37 2.32 2.25 4/177 5415
/proc/meminfo: memFree=26489748/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=387548 CPUtime=1242.1 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 16516 0 0 0 124201 9 0 0 20 0 1 0 3310287 396849152 83390 33554432000 4194304 6201397 140734043525696 140734043524648 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 96887 83390 166 491 0 96386 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 387548

[startup+1302.3 s]
/proc/loadavg: 2.29 2.30 2.24 3/177 5416
/proc/meminfo: memFree=26481008/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=387732 CPUtime=1302.09 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 16857 0 0 0 130200 9 0 0 20 0 1 0 3310287 397037568 85484 33554432000 4194304 6201397 140734043525696 140734043524648 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 96933 85484 166 491 0 96432 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 387732

[startup+1362.3 s]
/proc/loadavg: 2.22 2.28 2.24 4/177 5417
/proc/meminfo: memFree=26480312/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=388056 CPUtime=1362.08 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 17165 0 0 0 136198 10 0 0 20 0 1 0 3310287 397369344 85565 33554432000 4194304 6201397 140734043525696 140734043524648 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 97014 85565 166 491 0 96513 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 388056

[startup+1422.3 s]
/proc/loadavg: 2.18 2.25 2.23 3/177 5418
/proc/meminfo: memFree=26479816/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=388212 CPUtime=1422.08 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 17444 0 0 0 142198 10 0 0 20 0 1 0 3310287 397529088 85604 33554432000 4194304 6201397 140734043525696 140734043524488 4213168 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 97053 85604 166 491 0 96552 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 388212

[startup+1482.3 s]
/proc/loadavg: 2.26 2.26 2.23 3/177 5419
/proc/meminfo: memFree=26477708/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=388452 CPUtime=1482.06 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 17754 0 0 0 148196 10 0 0 20 0 1 0 3310287 397774848 85663 33554432000 4194304 6201397 140734043525696 140734043524648 4214976 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 97113 85663 166 491 0 96612 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 388452

[startup+1542.31 s]
/proc/loadavg: 2.13 2.23 2.22 4/178 5424
/proc/meminfo: memFree=26477364/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=388640 CPUtime=1542.06 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 17993 0 0 0 154196 10 0 0 20 0 1 0 3310287 397967360 85711 33554432000 4194304 6201397 140734043525696 140734043524488 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 97160 85711 166 491 0 96659 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 388640

[startup+1602.3 s]
/proc/loadavg: 2.16 2.22 2.22 3/177 5425
/proc/meminfo: memFree=26477252/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=388824 CPUtime=1602.04 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 18195 0 0 0 160194 10 0 0 20 0 1 0 3310287 398155776 85757 33554432000 4194304 6201397 140734043525696 140734043524488 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 97206 85757 166 491 0 96705 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 388824

[startup+1662.3 s]
/proc/loadavg: 2.14 2.20 2.21 4/177 5426
/proc/meminfo: memFree=26477008/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=389012 CPUtime=1662.03 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 18335 0 0 0 166193 10 0 0 20 0 1 0 3310287 398348288 85796 33554432000 4194304 6201397 140734043525696 140734043524824 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 97253 85796 166 491 0 96752 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 389012

[startup+1722.3 s]
/proc/loadavg: 2.09 2.18 2.20 4/177 5427
/proc/meminfo: memFree=26470368/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=389040 CPUtime=1722.03 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 18348 0 0 0 172192 11 0 0 20 0 1 0 3310287 398376960 85809 33554432000 4194304 6201397 140734043525696 140734043524824 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 97260 85809 166 491 0 96759 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 389040

[startup+1782.3 s]
/proc/loadavg: 2.31 2.22 2.21 3/177 5428
/proc/meminfo: memFree=26453112/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=389192 CPUtime=1782.02 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 18532 0 0 0 178191 11 0 0 20 0 1 0 3310287 398532608 90457 33554432000 4194304 6201397 140734043525696 140734043524648 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 97298 90457 166 491 0 96797 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 389192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.22 2.20 2.20 3/177 5474
/proc/meminfo: memFree=26579900/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=389244 CPUtime=1800.01 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 18590 0 0 0 179990 11 0 0 20 0 1 0 3310287 398585856 90982 33554432000 4194304 6201397 140734043525696 140734043524824 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 97311 90982 166 491 0 96810 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 389244

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

[startup+1800.3 s]
/proc/loadavg: 2.22 2.20 2.20 3/177 5474
/proc/meminfo: memFree=26579900/32872528 swapFree=1427512/1541976
[pid=5384] ppid=5381 vsize=389244 CPUtime=1800.01 cores=1,3,5,7
/proc/5384/stat : 5384 (cdcl-cuttingpla) R 5381 5384 3791 0 -1 4202496 18590 0 0 0 179990 11 0 0 20 0 1 0 3310287 398585856 90982 33554432000 4194304 6201397 140734043525696 140734043524824 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5384/statm: 97311 90982 166 491 0 96810 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 389244

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.91
CPU system time (s): 0.117982
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 389304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.117982
maximum resident set size= 363944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18590
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= 8
involuntary context switches= 1919

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5993 second user time and 6.85996 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-29 20:04:53
IDJOB=4118572
IDBENCH=111508
IDSOLVER=2550
FILE ID=node116/4118572-1467223493
RUNJOBID= node116-1467209076-3808
PBS_JOBID= 19997584
Free space on /tmp= 71720 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-70.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118572-1467223493/watcher-4118572-1467223493 -o /tmp/evaluation-result-4118572-1467223493/solver-4118572-1467223493 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467209076-3808 --watchdog 1960 --input HOME/instance-4118572-1467223493.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 59346078211490c68be268d04528cb00
RANDOM SEED=13402087

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.426
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.426
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.426
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:        26954696 kB
Buffers:          154884 kB
Cached:          3406920 kB
SwapCached:            0 kB
Active:           217912 kB
Inactive:        3410340 kB
Active(anon):      68880 kB
Inactive(anon):        0 kB
Active(file):     149032 kB
Inactive(file):  3410340 kB
Unevictable:     1541976 kB
Mlocked:         1427512 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5528 kB
Writeback:             0 kB
AnonPages:       1608116 kB
Mapped:            14620 kB
Shmem:               204 kB
Slab:             615568 kB
SReclaimable:      59128 kB
SUnreclaim:       556440 kB
KernelStack:        1464 kB
PageTables:         6856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1728028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 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= 71716 MiB
End job on node116 at 2016-06-29 20:34:53