Trace number 4101807

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.01 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-gesa2-o.opb
MD5SUM2ee0b4368a56ab3fadfc3737456bcd30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark756
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 799
Optimality of the best value was proved NO
Number of variables16224
Total number of constraints1488
Number of constraints which are clauses192
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1296
Minimum length of a constraint2
Maximum length of a constraint309
Number of terms in the objective function 10368
Biggest coefficient in the objective function 1219
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 532440
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 532440
Number of bits of the biggest sum of numbers20
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= 16224 #constraint= 1488
0.00/0.06	c * #variable= 16224 #constraint= 1488
2.19/2.20	c S1->S2
2.19/2.20	c S1->S2
2.19/2.20	c S1->S2
2.19/2.20	c S1->S2
2.19/2.20	c S1->S2
2.19/2.20	c #Conflicts:       1000 | #Learnt:        988 | 3.596
2.19/2.20	c total clause space: 29.637MB
2.19/2.20	c total #watches: 232092
5.50/5.55	c total #propagations: 2625314 / total #impl: 12874242 (eff. 0.204)
5.50/5.55	c #Conflicts:       2000 | #Learnt:       1987 | 3.885
5.50/5.55	c total clause space: 48.1602MB
5.50/5.55	c total #watches: 360867
10.28/10.31	c total #propagations: 4819346 / total #impl: 24836310 (eff. 0.194)
10.28/10.31	c GC COLLECT
10.28/10.31	c #Conflicts:       3000 | #Learnt:       1999 | 6.079
10.28/10.31	c total clause space: 48.1602MB
10.28/10.31	c total #watches: 418666
14.49/14.58	c total #propagations: 7697485 / total #impl: 53369544 (eff. 0.144)
14.49/14.58	c #Conflicts:       4000 | #Learnt:       2999 | 5.013
14.49/14.58	c total clause space: 78.2603MB
14.49/14.58	c total #watches: 510900
19.49/19.59	c total #propagations: 11809929 / total #impl: 71261335 (eff. 0.166)
19.49/19.59	c GC COLLECT
19.49/19.59	c #Conflicts:       5000 | #Learnt:       2355 | 4.075
19.49/19.59	c total clause space: 78.2603MB
19.49/19.59	c total #watches: 537929
26.49/26.59	c total #propagations: 14848523 / total #impl: 83265624 (eff. 0.178)
26.49/26.59	c #Conflicts:       6000 | #Learnt:       3355 | 3.432
26.49/26.59	c total clause space: 78.2603MB
26.49/26.59	c total #watches: 636767
36.19/36.24	c total #propagations: 17445124 / total #impl: 92576300 (eff. 0.188)
36.19/36.24	c GC COLLECT
36.19/36.24	c #Conflicts:       7000 | #Learnt:       2238 | 3.186
36.19/36.24	c total clause space: 127.173MB
36.19/36.24	c total #watches: 620613
41.29/41.36	c total #propagations: 21206106 / total #impl: 103833525 (eff. 0.204)
41.29/41.36	c #Conflicts:       8000 | #Learnt:       3238 | 2.850
41.29/41.36	c total clause space: 127.173MB
41.29/41.37	c total #watches: 688257
46.58/46.65	c total #propagations: 25532872 / total #impl: 115104948 (eff. 0.222)
46.58/46.65	c #Conflicts:       9000 | #Learnt:       4237 | 3.333
46.58/46.65	c total clause space: 127.173MB
46.58/46.65	c total #watches: 754020
50.98/51.00	c total #propagations: 29428238 / total #impl: 129192769 (eff. 0.228)
50.98/51.00	c GC COLLECT
50.98/51.00	c #Conflicts:      10000 | #Learnt:       2726 | 3.149
50.98/51.00	c total clause space: 127.173MB
50.98/51.00	c total #watches: 680529
55.49/55.58	c total #propagations: 30363590 / total #impl: 136073070 (eff. 0.223)
55.49/55.58	c #Conflicts:      11000 | #Learnt:       3725 | 2.952
55.49/55.58	c total clause space: 127.173MB
55.49/55.58	c total #watches: 775367
60.28/60.32	c total #propagations: 32719317 / total #impl: 145554257 (eff. 0.225)
60.28/60.32	c #Conflicts:      12000 | #Learnt:       4725 | 2.769
60.28/60.32	c total clause space: 127.173MB
60.28/60.32	c total #watches: 893781
68.19/68.27	c total #propagations: 36027525 / total #impl: 159318485 (eff. 0.226)
68.19/68.27	c #Conflicts:      13000 | #Learnt:       5725 | 2.658
68.19/68.27	c total clause space: 127.173MB
68.19/68.27	c total #watches: 1029692
75.48/75.59	c total #propagations: 38482467 / total #impl: 172158387 (eff. 0.224)
75.48/75.59	c GC COLLECT
75.48/75.59	c #Conflicts:      14000 | #Learnt:       3869 | 2.777
75.48/75.59	c total clause space: 127.173MB
75.48/75.59	c total #watches: 937005
81.68/81.73	c total #propagations: 39793554 / total #impl: 185083791 (eff. 0.215)
81.68/81.73	c #Conflicts:      15000 | #Learnt:       4869 | 2.749
81.68/81.73	c total clause space: 127.173MB
81.68/81.73	c total #watches: 1039400
88.17/88.26	c total #propagations: 41797104 / total #impl: 195462768 (eff. 0.214)
88.17/88.26	c #Conflicts:      16000 | #Learnt:       5869 | 2.583
88.17/88.26	c total clause space: 127.173MB
88.17/88.26	c total #watches: 1115763
94.68/94.76	c total #propagations: 42862681 / total #impl: 203023546 (eff. 0.211)
94.68/94.76	c GC COLLECT
94.68/94.76	c #Conflicts:      17000 | #Learnt:       3699 | 2.443
94.68/94.76	c total clause space: 127.173MB
94.68/94.76	c total #watches: 894527
100.87/100.94	c total #propagations: 43115047 / total #impl: 209448685 (eff. 0.206)
100.87/100.94	c #Conflicts:      18000 | #Learnt:       4699 | 2.331
100.87/100.94	c total clause space: 127.173MB
100.87/100.94	c total #watches: 964957
108.88/108.97	c total #propagations: 43315384 / total #impl: 217793602 (eff. 0.199)
108.88/108.97	c #Conflicts:      19000 | #Learnt:       5699 | 2.236
108.88/108.97	c total clause space: 127.173MB
108.88/108.97	c total #watches: 1039787
118.88/118.96	c total #propagations: 43537763 / total #impl: 228495326 (eff. 0.191)
118.88/118.96	c #Conflicts:      20000 | #Learnt:       6699 | 2.771
118.88/118.96	c total clause space: 127.173MB
118.88/118.97	c total #watches: 1236004
128.37/128.46	c total #propagations: 45496928 / total #impl: 244804957 (eff. 0.186)
128.37/128.46	c GC COLLECT
128.37/128.46	c #Conflicts:      21000 | #Learnt:       4214 | 2.912
128.37/128.46	c total clause space: 206.656MB
128.37/128.46	c total #watches: 1040283
142.47/142.57	c total #propagations: 46145499 / total #impl: 254785446 (eff. 0.181)
142.47/142.57	c #Conflicts:      22000 | #Learnt:       5213 | 3.051
142.47/142.57	c total clause space: 206.656MB
142.47/142.57	c total #watches: 1240527
160.96/161.02	c total #propagations: 49357578 / total #impl: 270642732 (eff. 0.182)
160.96/161.02	c #Conflicts:      23000 | #Learnt:       6212 | 3.004
160.96/161.02	c total clause space: 206.656MB
160.96/161.02	c total #watches: 1429457
176.16/176.21	c total #propagations: 51312716 / total #impl: 285514543 (eff. 0.180)
176.16/176.21	c #Conflicts:      24000 | #Learnt:       7212 | 2.900
176.16/176.21	c total clause space: 206.656MB
176.16/176.21	c total #watches: 1628712
191.26/191.37	c total #propagations: 54435707 / total #impl: 302423279 (eff. 0.180)
191.26/191.37	c GC COLLECT
191.26/191.37	c #Conflicts:      25000 | #Learnt:       4414 | 2.826
191.26/191.37	c total clause space: 206.656MB
191.26/191.37	c total #watches: 1226463
208.76/208.83	c total #propagations: 56961096 / total #impl: 312092467 (eff. 0.183)
208.76/208.83	c #Conflicts:      26000 | #Learnt:       5414 | 2.792
208.76/208.83	c total clause space: 206.656MB
208.76/208.83	c total #watches: 1369722
226.25/226.34	c total #propagations: 60262626 / total #impl: 326982191 (eff. 0.184)
226.25/226.34	c #Conflicts:      27000 | #Learnt:       6414 | 2.693
226.25/226.34	c total clause space: 206.656MB
226.25/226.34	c total #watches: 1501960
241.55/241.64	c total #propagations: 63517423 / total #impl: 343957479 (eff. 0.185)
241.55/241.64	c #Conflicts:      28000 | #Learnt:       7413 | 2.603
241.55/241.64	c total clause space: 206.656MB
241.55/241.64	c total #watches: 1633059
254.55/254.65	c total #propagations: 66068767 / total #impl: 353939692 (eff. 0.187)
254.55/254.65	c GC COLLECT
254.55/254.65	c #Conflicts:      29000 | #Learnt:       4311 | 2.535
254.55/254.65	c total clause space: 206.656MB
254.55/254.65	c total #watches: 1105198
265.55/265.60	c total #propagations: 69403889 / total #impl: 361884125 (eff. 0.192)
265.55/265.60	c #Conflicts:      30000 | #Learnt:       5310 | 2.477
265.55/265.60	c total clause space: 206.656MB
265.55/265.60	c total #watches: 1378688
280.85/280.90	c total #propagations: 71465150 / total #impl: 374149687 (eff. 0.191)
280.85/280.90	c #Conflicts:      31000 | #Learnt:       6310 | 2.449
280.85/280.90	c total clause space: 206.656MB
280.85/280.90	c total #watches: 1613721
296.64/296.78	c total #propagations: 72289056 / total #impl: 384709528 (eff. 0.188)
296.64/296.78	c #Conflicts:      32000 | #Learnt:       7310 | 2.877
296.64/296.78	c total clause space: 206.656MB
296.64/296.78	c total #watches: 1878352
314.24/314.35	c total #propagations: 75736922 / total #impl: 397566458 (eff. 0.191)
314.24/314.35	c #Conflicts:      33000 | #Learnt:       8310 | 2.998
314.24/314.35	c total clause space: 206.656MB
314.24/314.35	c total #watches: 2088694
329.54/329.60	c total #propagations: 77444162 / total #impl: 413607399 (eff. 0.187)
329.54/329.60	c GC COLLECT
329.54/329.60	c #Conflicts:      34000 | #Learnt:       4909 | 3.058
329.54/329.60	c total clause space: 206.656MB
329.54/329.60	c total #watches: 1670221
348.44/348.59	c total #propagations: 77651504 / total #impl: 423518913 (eff. 0.183)
348.44/348.59	c #Conflicts:      35000 | #Learnt:       5909 | 3.142
348.44/348.59	c total clause space: 206.656MB
348.44/348.59	c total #watches: 1867223
371.13/371.25	c total #propagations: 80434363 / total #impl: 436221371 (eff. 0.184)
371.13/371.25	c #Conflicts:      36000 | #Learnt:       6909 | 3.074
371.13/371.25	c total clause space: 206.656MB
371.13/371.25	c total #watches: 2082226
395.52/395.65	c total #propagations: 81366439 / total #impl: 449693598 (eff. 0.181)
395.52/395.65	c #Conflicts:      37000 | #Learnt:       7909 | 2.999
395.52/395.65	c total clause space: 206.656MB
395.52/395.65	c total #watches: 2233806
421.33/421.41	c total #propagations: 81489859 / total #impl: 464836386 (eff. 0.175)
421.33/421.41	c #Conflicts:      38000 | #Learnt:       8909 | 2.932
421.33/421.41	c total clause space: 206.656MB
421.33/421.41	c total #watches: 2358790
444.22/444.37	c total #propagations: 81619543 / total #impl: 483498298 (eff. 0.169)
444.22/444.37	c GC COLLECT
444.22/444.37	c #Conflicts:      39000 | #Learnt:       5207 | 2.896
444.22/444.37	c total clause space: 206.656MB
444.22/444.37	c total #watches: 1635218
463.61/463.79	c total #propagations: 81704650 / total #impl: 500296612 (eff. 0.163)
463.61/463.79	c #Conflicts:      40000 | #Learnt:       6206 | 2.857
463.61/463.79	c total clause space: 206.656MB
463.61/463.79	c total #watches: 1831115
479.91/480.07	c total #propagations: 81779416 / total #impl: 518551662 (eff. 0.158)
479.91/480.07	c #Conflicts:      41000 | #Learnt:       7206 | 2.804
479.91/480.07	c total clause space: 206.656MB
479.91/480.07	c total #watches: 2101450
496.31/496.42	c total #propagations: 81865080 / total #impl: 528682317 (eff. 0.155)
496.31/496.42	c #Conflicts:      42000 | #Learnt:       8206 | 2.737
496.31/496.42	c total clause space: 206.656MB
496.31/496.42	c total #watches: 2225223
512.91/513.09	c total #propagations: 81968433 / total #impl: 541713128 (eff. 0.151)
512.91/513.09	c #Conflicts:      43000 | #Learnt:       9206 | 2.676
512.91/513.09	c total clause space: 206.656MB
512.91/513.09	c total #watches: 2326161
529.51/529.62	c total #propagations: 82027734 / total #impl: 551948791 (eff. 0.149)
529.51/529.62	c GC COLLECT
529.51/529.62	c #Conflicts:      44000 | #Learnt:       5212 | 2.747
529.51/529.62	c total clause space: 206.656MB
529.51/529.62	c total #watches: 1283014
541.31/541.40	c total #propagations: 82252241 / total #impl: 559769888 (eff. 0.147)
541.31/541.40	c #Conflicts:      45000 | #Learnt:       6212 | 2.723
541.31/541.40	c total clause space: 206.656MB
541.31/541.40	c total #watches: 1481402
567.90/568.00	c total #propagations: 84103276 / total #impl: 572236217 (eff. 0.147)
567.90/568.00	c #Conflicts:      46000 | #Learnt:       7211 | 3.269
567.90/568.00	c total clause space: 206.656MB
567.90/568.00	c total #watches: 1812383
591.90/592.08	c total #propagations: 86713222 / total #impl: 589900297 (eff. 0.147)
591.90/592.08	c #Conflicts:      47000 | #Learnt:       8209 | 3.343
591.90/592.08	c total clause space: 206.656MB
591.90/592.08	c total #watches: 2105364
601.10/601.28	c total #propagations: 89479211 / total #impl: 603025562 (eff. 0.148)
601.10/601.28	c #Conflicts:      48000 | #Learnt:       9207 | 3.284
601.10/601.28	c total clause space: 206.656MB
601.10/601.28	c total #watches: 2220215
619.49/619.67	c total #propagations: 89639173 / total #impl: 608035166 (eff. 0.147)
619.49/619.67	c #Conflicts:      49000 | #Learnt:      10206 | 3.220
619.49/619.67	c total clause space: 206.656MB
619.49/619.67	c total #watches: 2478265
631.69/631.86	c total #propagations: 91441306 / total #impl: 617366344 (eff. 0.148)
631.69/631.86	c GC COLLECT
631.69/631.86	c #Conflicts:      50000 | #Learnt:       5911 | 3.226
631.69/631.86	c total clause space: 335.816MB
631.69/631.86	c total #watches: 2035018
645.78/645.92	c total #propagations: 93078402 / total #impl: 623431842 (eff. 0.149)
645.78/645.92	c #Conflicts:      51000 | #Learnt:       6909 | 3.163
645.78/645.92	c total clause space: 335.816MB
645.78/645.92	c total #watches: 2195656
659.58/659.75	c total #propagations: 96781633 / total #impl: 633114416 (eff. 0.153)
659.58/659.75	c #Conflicts:      52000 | #Learnt:       7908 | 3.104
659.58/659.75	c total clause space: 335.816MB
659.58/659.75	c total #watches: 2301740
674.57/674.74	c total #propagations: 100800803 / total #impl: 640400485 (eff. 0.157)
674.57/674.74	c #Conflicts:      53000 | #Learnt:       8908 | 3.105
674.57/674.74	c total clause space: 335.816MB
674.57/674.74	c total #watches: 2477992
690.57/690.70	c total #propagations: 104343354 / total #impl: 650134550 (eff. 0.160)
690.57/690.70	c #Conflicts:      54000 | #Learnt:       9907 | 3.104
690.57/690.70	c total clause space: 335.816MB
690.57/690.70	c total #watches: 2627775
711.57/711.79	c total #propagations: 106252972 / total #impl: 662542229 (eff. 0.160)
711.57/711.79	c #Conflicts:      55000 | #Learnt:      10907 | 3.056
711.57/711.79	c total clause space: 335.816MB
711.57/711.79	c total #watches: 2787285
730.86/731.03	c total #propagations: 107282956 / total #impl: 674478423 (eff. 0.159)
730.86/731.03	c GC COLLECT
730.86/731.03	c #Conflicts:      56000 | #Learnt:       6309 | 3.032
730.86/731.03	c total clause space: 335.816MB
730.86/731.03	c total #watches: 2067724
748.36/748.54	c total #propagations: 109047931 / total #impl: 688555201 (eff. 0.158)
748.36/748.54	c #Conflicts:      57000 | #Learnt:       7307 | 3.014
748.36/748.54	c total clause space: 335.816MB
748.36/748.54	c total #watches: 2524184
762.26/762.46	c total #propagations: 109440485 / total #impl: 713933944 (eff. 0.153)
762.26/762.46	c #Conflicts:      58000 | #Learnt:       8306 | 2.976
762.26/762.46	c total clause space: 335.816MB
762.26/762.46	c total #watches: 2601183
779.35/779.53	c total #propagations: 110395251 / total #impl: 722961122 (eff. 0.153)
779.35/779.53	c #Conflicts:      59000 | #Learnt:       9306 | 2.930
779.35/779.53	c total clause space: 335.816MB
779.35/779.53	c total #watches: 2745821
797.35/797.56	c total #propagations: 113617640 / total #impl: 737781408 (eff. 0.154)
797.35/797.56	c #Conflicts:      60000 | #Learnt:      10305 | 2.914
797.35/797.56	c total clause space: 335.816MB
797.35/797.56	c total #watches: 2949384
822.15/822.32	c total #propagations: 117288866 / total #impl: 756203131 (eff. 0.155)
822.15/822.32	c #Conflicts:      61000 | #Learnt:      11305 | 2.869
822.15/822.32	c total clause space: 335.816MB
822.15/822.32	c total #watches: 3066311
838.55/838.73	c total #propagations: 120509347 / total #impl: 778070884 (eff. 0.155)
838.55/838.73	c GC COLLECT
838.55/838.73	c #Conflicts:      62000 | #Learnt:       6404 | 2.823
838.55/838.73	c total clause space: 335.816MB
838.55/838.73	c total #watches: 1945072
858.04/858.29	c total #propagations: 123321818 / total #impl: 793603895 (eff. 0.155)
858.04/858.29	c #Conflicts:      63000 | #Learnt:       7403 | 2.779
858.04/858.29	c total clause space: 335.816MB
858.04/858.29	c total #watches: 1990584
869.43/869.60	c total #propagations: 127623926 / total #impl: 808298296 (eff. 0.158)
869.43/869.60	c #Conflicts:      64000 | #Learnt:       8403 | 2.736
869.43/869.60	c total clause space: 335.816MB
869.43/869.60	c total #watches: 2040508
900.14/900.31	c total #propagations: 131860539 / total #impl: 816711893 (eff. 0.161)
900.14/900.31	c #Conflicts:      65000 | #Learnt:       9403 | 2.990
900.14/900.31	c total clause space: 335.816MB
900.14/900.31	c total #watches: 2210069
917.64/917.82	c total #propagations: 134922037 / total #impl: 833751157 (eff. 0.162)
917.64/917.82	c #Conflicts:      66000 | #Learnt:      10403 | 2.979
917.64/917.82	c total clause space: 335.816MB
917.64/917.83	c total #watches: 2481337
934.43/934.66	c total #propagations: 135284355 / total #impl: 845357681 (eff. 0.160)
934.43/934.66	c #Conflicts:      67000 | #Learnt:      11402 | 2.949
934.43/934.66	c total clause space: 335.816MB
934.43/934.66	c total #watches: 2597663
952.33/952.55	c total #propagations: 139260150 / total #impl: 860362136 (eff. 0.162)
952.33/952.55	c #Conflicts:      68000 | #Learnt:      12402 | 2.909
952.33/952.55	c total clause space: 335.816MB
952.33/952.55	c total #watches: 2954585
978.32/978.53	c total #propagations: 141667269 / total #impl: 877865593 (eff. 0.161)
978.32/978.53	c GC COLLECT
978.32/978.53	c #Conflicts:      69000 | #Learnt:       7212 | 2.987
978.32/978.53	c total clause space: 335.816MB
978.32/978.53	c total #watches: 1725799
992.42/992.67	c total #propagations: 143674438 / total #impl: 907191272 (eff. 0.158)
992.42/992.67	c #Conflicts:      70000 | #Learnt:       8212 | 2.947
992.42/992.67	c total clause space: 335.816MB
992.42/992.67	c total #watches: 1912831
1003.32/1003.54	c total #propagations: 145495765 / total #impl: 918967038 (eff. 0.158)
1003.32/1003.54	c #Conflicts:      71000 | #Learnt:       9212 | 2.906
1003.32/1003.54	c total clause space: 335.816MB
1003.32/1003.54	c total #watches: 2067428
1012.41/1012.65	c total #propagations: 147578036 / total #impl: 929743528 (eff. 0.159)
1012.41/1012.65	c #Conflicts:      72000 | #Learnt:      10212 | 2.869
1012.41/1012.65	c total clause space: 335.816MB
1012.41/1012.65	c total #watches: 2182435
1033.92/1034.16	c total #propagations: 147713574 / total #impl: 937255033 (eff. 0.158)
1033.92/1034.16	c #Conflicts:      73000 | #Learnt:      11212 | 2.885
1033.92/1034.16	c total clause space: 335.816MB
1033.92/1034.16	c total #watches: 2396863
1066.61/1066.80	c total #propagations: 150032196 / total #impl: 953682591 (eff. 0.157)
1066.61/1066.80	c #Conflicts:      74000 | #Learnt:      12212 | 2.917
1066.61/1066.80	c total clause space: 335.816MB
1066.61/1066.80	c total #watches: 2564296
1085.11/1085.32	c total #propagations: 152559468 / total #impl: 980408695 (eff. 0.156)
1085.11/1085.32	c GC COLLECT
1085.11/1085.32	c #Conflicts:      75000 | #Learnt:       6716 | 2.890
1085.11/1085.32	c total clause space: 335.816MB
1085.11/1085.32	c total #watches: 1917964
1096.61/1096.85	c total #propagations: 153782607 / total #impl: 989245599 (eff. 0.155)
1096.61/1096.85	c #Conflicts:      76000 | #Learnt:       7716 | 2.858
1096.61/1096.85	c total clause space: 335.816MB
1096.61/1096.85	c total #watches: 2127854
1114.90/1115.17	c total #propagations: 154083258 / total #impl: 1000686442 (eff. 0.154)
1114.90/1115.17	c #Conflicts:      77000 | #Learnt:       8716 | 2.909
1114.90/1115.17	c total clause space: 335.816MB
1114.90/1115.17	c total #watches: 2292320
1150.60/1150.84	c total #propagations: 154688502 / total #impl: 1014184106 (eff. 0.153)
1150.60/1150.84	c #Conflicts:      78000 | #Learnt:       9716 | 2.968
1150.60/1150.84	c total clause space: 335.816MB
1150.60/1150.84	c total #watches: 2486867
1174.60/1174.87	c total #propagations: 158113948 / total #impl: 1030939935 (eff. 0.153)
1174.60/1174.87	c #Conflicts:      79000 | #Learnt:      10716 | 2.962
1174.60/1174.87	c total clause space: 335.816MB
1174.60/1174.87	c total #watches: 2649794
1196.39/1196.60	c total #propagations: 162119070 / total #impl: 1065727322 (eff. 0.152)
1196.39/1196.60	c #Conflicts:      80000 | #Learnt:      11716 | 2.952
1196.39/1196.60	c total clause space: 335.816MB
1196.39/1196.60	c total #watches: 2782554
1229.19/1229.43	c total #propagations: 166003355 / total #impl: 1094487843 (eff. 0.152)
1229.19/1229.43	c #Conflicts:      81000 | #Learnt:      12715 | 2.915
1229.19/1229.43	c total clause space: 335.816MB
1229.19/1229.43	c total #watches: 2894936
1258.08/1258.33	c total #propagations: 168882965 / total #impl: 1109674642 (eff. 0.152)
1258.08/1258.33	c GC COLLECT
1258.08/1258.33	c #Conflicts:      82000 | #Learnt:       6919 | 2.881
1258.08/1258.33	c total clause space: 335.816MB
1258.08/1258.33	c total #watches: 1623449
1280.78/1281.08	c total #propagations: 171800742 / total #impl: 1126342946 (eff. 0.153)
1280.78/1281.08	c #Conflicts:      83000 | #Learnt:       7919 | 2.870
1280.78/1281.08	c total clause space: 335.816MB
1280.78/1281.08	c total #watches: 1745228
1310.07/1310.34	c total #propagations: 175362234 / total #impl: 1144748976 (eff. 0.153)
1310.07/1310.34	c #Conflicts:      84000 | #Learnt:       8919 | 2.843
1310.07/1310.34	c total clause space: 335.816MB
1310.07/1310.34	c total #watches: 1906698
1348.96/1349.23	c total #propagations: 178573136 / total #impl: 1164982662 (eff. 0.153)
1348.96/1349.23	c #Conflicts:      85000 | #Learnt:       9919 | 2.809
1348.96/1349.23	c total clause space: 335.816MB
1348.96/1349.23	c total #watches: 2096199
1381.06/1381.33	c total #propagations: 181052269 / total #impl: 1186868571 (eff. 0.153)
1381.06/1381.33	c #Conflicts:      86000 | #Learnt:      10919 | 2.777
1381.06/1381.33	c total clause space: 335.816MB
1381.06/1381.33	c total #watches: 2252684
1423.06/1423.38	c total #propagations: 184370525 / total #impl: 1209854674 (eff. 0.152)
1423.06/1423.38	c #Conflicts:      87000 | #Learnt:      11919 | 2.751
1423.06/1423.38	c total clause space: 335.816MB
1423.06/1423.38	c total #watches: 2391945
1454.15/1454.47	c total #propagations: 187457159 / total #impl: 1239484938 (eff. 0.151)
1454.15/1454.47	c #Conflicts:      88000 | #Learnt:      12919 | 2.720
1454.15/1454.47	c total clause space: 335.816MB
1454.15/1454.47	c total #watches: 2577558
1485.35/1485.68	c total #propagations: 190823170 / total #impl: 1262610367 (eff. 0.151)
1485.35/1485.68	c #Conflicts:      89000 | #Learnt:      13919 | 2.689
1485.35/1485.68	c total clause space: 335.816MB
1485.35/1485.68	c total #watches: 2755189
1503.74/1504.07	c total #propagations: 193964842 / total #impl: 1284393497 (eff. 0.151)
1503.74/1504.07	c GC COLLECT
1503.74/1504.07	c #Conflicts:      90000 | #Learnt:       7817 | 2.674
1503.74/1504.07	c total clause space: 335.816MB
1503.74/1504.07	c total #watches: 1553490
1517.94/1518.20	c total #propagations: 196900425 / total #impl: 1308087184 (eff. 0.151)
1517.94/1518.20	c #Conflicts:      91000 | #Learnt:       8817 | 2.649
1517.94/1518.20	c total clause space: 335.816MB
1517.94/1518.20	c total #watches: 1733032
1533.25/1533.56	c total #propagations: 197022212 / total #impl: 1319655348 (eff. 0.149)
1533.25/1533.56	c #Conflicts:      92000 | #Learnt:       9817 | 2.626
1533.25/1533.56	c total clause space: 335.816MB
1533.25/1533.56	c total #watches: 1868490
1549.64/1549.99	c total #propagations: 197167599 / total #impl: 1332399102 (eff. 0.148)
1549.64/1549.99	c #Conflicts:      93000 | #Learnt:      10817 | 2.606
1549.64/1549.99	c total clause space: 335.816MB
1549.64/1549.99	c total #watches: 2035240
1566.83/1567.10	c total #propagations: 197311789 / total #impl: 1344919794 (eff. 0.147)
1566.83/1567.10	c #Conflicts:      94000 | #Learnt:      11817 | 2.581
1566.83/1567.10	c total clause space: 335.816MB
1566.83/1567.10	c total #watches: 2188613
1585.94/1586.22	c total #propagations: 197481845 / total #impl: 1359440271 (eff. 0.145)
1585.94/1586.22	c #Conflicts:      95000 | #Learnt:      12817 | 2.555
1585.94/1586.22	c total clause space: 335.816MB
1585.94/1586.22	c total #watches: 2302376
1605.52/1605.84	c total #propagations: 197620196 / total #impl: 1376854489 (eff. 0.144)
1605.52/1605.84	c #Conflicts:      96000 | #Learnt:      13817 | 2.529
1605.52/1605.84	c total clause space: 335.816MB
1605.52/1605.84	c total #watches: 2452608
1631.43/1631.75	c total #propagations: 197754172 / total #impl: 1396564136 (eff. 0.142)
1631.43/1631.75	c #Conflicts:      97000 | #Learnt:      14817 | 2.504
1631.43/1631.75	c total clause space: 335.816MB
1631.43/1631.75	c total #watches: 2606878
1644.12/1644.40	c total #propagations: 197859747 / total #impl: 1420870868 (eff. 0.139)
1644.12/1644.40	c GC COLLECT
1644.12/1644.40	c #Conflicts:      98000 | #Learnt:       8412 | 2.479
1644.12/1644.40	c total clause space: 335.816MB
1644.12/1644.40	c total #watches: 1720149
1663.12/1663.49	c total #propagations: 197994467 / total #impl: 1437944799 (eff. 0.138)
1663.12/1663.49	c #Conflicts:      99000 | #Learnt:       9412 | 2.467
1663.12/1663.49	c total clause space: 335.816MB
1663.12/1663.49	c total #watches: 1904183
1683.62/1683.95	c total #propagations: 199306016 / total #impl: 1465211943 (eff. 0.136)
1683.62/1683.95	c #Conflicts:     100000 | #Learnt:      10412 | 2.488
1683.62/1683.95	c total clause space: 335.816MB
1683.62/1683.95	c total #watches: 2148375
1706.21/1706.57	c total #propagations: 201839687 / total #impl: 1479966421 (eff. 0.136)
1706.21/1706.57	c #Conflicts:     101000 | #Learnt:      11411 | 2.464
1706.21/1706.57	c total clause space: 335.816MB
1706.21/1706.57	c total #watches: 2411682
1728.21/1728.56	c total #propagations: 205043890 / total #impl: 1500285773 (eff. 0.137)
1728.21/1728.56	c #Conflicts:     102000 | #Learnt:      12411 | 2.440
1728.21/1728.56	c total clause space: 335.816MB
1728.21/1728.56	c total #watches: 2616066
1748.60/1748.98	c total #propagations: 209474916 / total #impl: 1524099171 (eff. 0.137)
1748.60/1748.98	c #Conflicts:     103000 | #Learnt:      13411 | 2.417
1748.60/1748.98	c total clause space: 335.816MB
1748.60/1748.98	c total #watches: 2815224
1777.20/1777.54	c total #propagations: 212903334 / total #impl: 1542643572 (eff. 0.138)
1777.20/1777.54	c #Conflicts:     104000 | #Learnt:      14411 | 2.394
1777.20/1777.54	c total clause space: 335.816MB
1777.20/1777.54	c total #watches: 2997496

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-4101807-1466259424/watcher-4101807-1466259424 -o /tmp/evaluation-result-4101807-1466259424/solver-4101807-1466259424 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466241415-14234 --watchdog 1960 --input HOME/instance-4101807-1466259424.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=15925
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.03 2.04 2.00 2/176 15928
/proc/meminfo: memFree=30842804/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 27989056 57319424 7805 33554432000 4194304 6211289 140736075378960 140734105494424 4206544 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 13994 7805 98 493 0 13491 0

[startup+0.100174 s]
/proc/loadavg: 2.03 2.04 2.00 2/176 15928
/proc/meminfo: memFree=30842804/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=68108 CPUtime=0.09 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 2022 0 0 0 8 1 0 0 20 0 1 0 27989056 69742592 14916 33554432000 4194304 6211289 140736075378960 140736075377800 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 17027 14916 150 493 0 16524 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 68108

[startup+0.200368 s]
/proc/loadavg: 2.03 2.04 2.00 2/176 15928
/proc/meminfo: memFree=30842804/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=68108 CPUtime=0.19 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 2076 0 0 0 18 1 0 0 20 0 1 0 27989056 69742592 14970 33554432000 4194304 6211289 140736075378960 140736075376504 4209503 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 17027 14970 204 493 0 16524 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 68108

[startup+0.300289 s]
/proc/loadavg: 2.03 2.04 2.00 2/176 15928
/proc/meminfo: memFree=30842804/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=71876 CPUtime=0.29 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 3253 0 0 0 28 1 0 0 20 0 1 0 27989056 73601024 15789 33554432000 4194304 6211289 140736075378960 140736075376504 4202205 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 17969 15789 204 493 0 17466 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71876

[startup+0.700221 s]
/proc/loadavg: 2.03 2.04 2.00 2/176 15928
/proc/meminfo: memFree=30842804/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=80088 CPUtime=0.69 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 4141 0 0 0 68 1 0 0 20 0 1 0 27989056 82010112 17032 33554432000 4194304 6211289 140736075378960 140736075376504 4241818 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 20022 17032 204 493 0 19519 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80088

[startup+1.50023 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 15929
/proc/meminfo: memFree=30775464/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=88524 CPUtime=1.49 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 4812 0 0 0 148 1 0 0 20 0 1 0 27989056 90648576 18107 33554432000 4194304 6211289 140736075378960 140736075377192 4239700 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 22131 18107 204 493 0 21628 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88524

[startup+3.10025 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 15929
/proc/meminfo: memFree=30767900/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=100688 CPUtime=3.09 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 5352 0 0 0 308 1 0 0 20 0 1 0 27989056 103104512 21075 33554432000 4194304 6211289 140736075378960 140736075377192 4241730 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 25172 21075 214 493 0 24669 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 100688

[startup+6.30025 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 15929
/proc/meminfo: memFree=30749188/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=120580 CPUtime=6.29 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 8460 0 0 0 627 2 0 0 20 0 1 0 27989056 123473920 25050 33554432000 4194304 6211289 140736075378960 140736075376872 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 30145 25050 214 493 0 29642 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 120580

[startup+12.7002 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 15929
/proc/meminfo: memFree=30727576/32872528 swapFree=303548/319900
[pid=15928] ppid=15925 vsize=155140 CPUtime=12.69 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 9995 0 0 0 1266 3 0 0 20 0 1 0 27989056 158863360 29511 33554432000 4194304 6211289 140736075378960 140736075377192 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 38785 29511 219 493 0 38282 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 155140

[startup+25.5003 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 15929
/proc/meminfo: memFree=30707300/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=156024 CPUtime=25.48 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 10631 0 0 0 2545 3 0 0 20 0 1 0 27989056 159768576 34018 33554432000 4194304 6211289 140736075378960 140736075376872 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 39006 34018 219 493 0 38503 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 156024

[startup+51.1003 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 15929
/proc/meminfo: memFree=30666316/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=213852 CPUtime=51.08 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 13846 0 0 0 5104 4 0 0 20 0 1 0 27989056 218984448 44303 33554432000 4194304 6211289 140736075378960 140736075376872 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 53463 44303 219 493 0 52960 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 213852

[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 15930
/proc/meminfo: memFree=30637092/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=219436 CPUtime=102.28 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 15466 0 0 0 10223 5 0 0 20 0 1 0 27989056 224702464 51523 33554432000 4194304 6211289 140736075378960 140736075377304 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 54859 51523 219 493 0 54356 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 219436

[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 15931
/proc/meminfo: memFree=30617440/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=310312 CPUtime=162.26 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 18075 0 0 0 16220 6 0 0 20 0 1 0 27989056 317759488 56214 33554432000 4194304 6211289 140736075378960 140736075377304 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 77578 56214 219 493 0 77075 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 310312

[startup+222.307 s]
/proc/loadavg: 1.99 2.03 2.00 3/178 15981
/proc/meminfo: memFree=31213508/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=313072 CPUtime=222.26 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 18884 0 0 0 22219 7 0 0 20 0 1 0 27989056 320585728 60078 33554432000 4194304 6211289 140736075378960 140736075376952 4209497 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 78268 60078 219 493 0 77765 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 313072

[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 4/177 15983
/proc/meminfo: memFree=31185492/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=322828 CPUtime=282.25 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 20741 0 0 0 28217 8 0 0 20 0 1 0 27989056 330575872 64205 33554432000 4194304 6211289 140736075378960 140736075377304 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 80707 64205 219 493 0 80204 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 322828

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 15984
/proc/meminfo: memFree=31143232/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=326868 CPUtime=342.24 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 21690 0 0 0 34215 9 0 0 20 0 1 0 27989056 334712832 69753 33554432000 4194304 6211289 140736075378960 140736075376952 4209501 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 81717 69753 219 493 0 81214 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 326868

[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 15985
/proc/meminfo: memFree=31092888/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=332184 CPUtime=402.22 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 22682 0 0 0 40213 9 0 0 20 0 1 0 27989056 340156416 70745 33554432000 4194304 6211289 140736075378960 140736075376952 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 83046 70745 219 493 0 82543 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 332184

[startup+462.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/177 15986
/proc/meminfo: memFree=31058784/32872528 swapFree=303548/319900
[pid=15928] ppid=15925 vsize=341976 CPUtime=462.21 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 24762 0 0 0 46211 10 0 0 20 0 1 0 27989056 350183424 75380 33554432000 4194304 6211289 140736075378960 140736075376872 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 85494 75380 219 493 0 84991 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 341976

[startup+522.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/177 15987
/proc/meminfo: memFree=31035420/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=342232 CPUtime=522.21 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 25374 0 0 0 52210 11 0 0 20 0 1 0 27989056 350445568 75992 33554432000 4194304 6211289 140736075378960 140736075376872 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 85558 75992 219 493 0 85055 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 342232

[startup+582.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 15989
/proc/meminfo: memFree=30977312/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=350632 CPUtime=582.2 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 27449 0 0 0 58208 12 0 0 20 0 1 0 27989056 359047168 79600 33554432000 4194304 6211289 140736075378960 140736075376872 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 87658 79600 219 493 0 87155 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 350632


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


[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 15999
/proc/meminfo: memFree=30849324/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=494004 CPUtime=942.13 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 30798 0 0 0 94196 17 0 0 20 0 1 0 27989056 505860096 100016 33554432000 4194304 6211289 140736075378960 140736075376872 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 123501 100016 219 493 0 122998 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 494004

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 16000
/proc/meminfo: memFree=30841916/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=495136 CPUtime=1002.12 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 31092 0 0 0 100195 17 0 0 20 0 1 0 27989056 507019264 101843 33554432000 4194304 6211289 140736075378960 140736075377304 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 123784 101843 219 493 0 123281 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 495136

[startup+1062.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 16001
/proc/meminfo: memFree=30837548/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=497204 CPUtime=1062.11 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 31598 0 0 0 106193 18 0 0 20 0 1 0 27989056 509136896 102349 33554432000 4194304 6211289 140736075378960 140736075376872 4209503 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 124301 102349 219 493 0 123798 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 497204

[startup+1122.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 16002
/proc/meminfo: memFree=30828112/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=502568 CPUtime=1122.1 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 32787 0 0 0 112192 18 0 0 20 0 1 0 27989056 514629632 104049 33554432000 4194304 6211289 140736075378960 140736075376824 4209503 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 125642 104049 219 493 0 125139 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 502568

[startup+1182.3 s]
/proc/loadavg: 2.07 2.05 2.00 4/177 16004
/proc/meminfo: memFree=30822464/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=504416 CPUtime=1182.09 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 33288 0 0 0 118191 18 0 0 20 0 1 0 27989056 516521984 104550 33554432000 4194304 6211289 140736075378960 140736075376952 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 126104 104550 219 493 0 125601 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 504416

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 16005
/proc/meminfo: memFree=30811112/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=510592 CPUtime=1242.08 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 34523 0 0 0 124189 19 0 0 20 0 1 0 27989056 522846208 106807 33554432000 4194304 6211289 140736075378960 140736075377304 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 127648 106807 219 493 0 127145 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 510592

[startup+1302.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 16006
/proc/meminfo: memFree=30796716/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=511936 CPUtime=1302.08 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 34879 0 0 0 130188 20 0 0 20 0 1 0 27989056 524222464 109718 33554432000 4194304 6211289 140736075378960 140736075376824 4209484 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 127984 109718 219 493 0 127481 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 511936

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 4/177 16007
/proc/meminfo: memFree=30792168/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=512640 CPUtime=1362.06 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 35037 0 0 0 136186 20 0 0 20 0 1 0 27989056 524943360 110147 33554432000 4194304 6211289 140736075378960 140736075376872 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 128160 110147 219 493 0 127657 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 512640

[startup+1422.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/178 16011
/proc/meminfo: memFree=30782192/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=516612 CPUtime=1422.06 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 35649 0 0 0 142185 21 0 0 20 0 1 0 27989056 529010688 110759 33554432000 4194304 6211289 140736075378960 140736075376872 4209468 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 129153 110759 219 493 0 128650 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 516612

[startup+1482.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 16013
/proc/meminfo: memFree=30779460/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=517636 CPUtime=1482.05 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 35911 0 0 0 148184 21 0 0 20 0 1 0 27989056 530059264 111021 33554432000 4194304 6211289 140736075378960 140736075376872 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 129409 111021 219 493 0 128906 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 517636

[startup+1542.31 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 16014
/proc/meminfo: memFree=30761460/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=524228 CPUtime=1542.05 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 37250 0 0 0 154183 22 0 0 20 0 1 0 27989056 536809472 114404 33554432000 4194304 6211289 140736075378960 140736075376952 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 131057 114404 219 493 0 130554 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 524228

[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 16015
/proc/meminfo: memFree=30758884/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=526340 CPUtime=1602.02 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 37729 0 0 0 160180 22 0 0 20 0 1 0 27989056 538972160 114883 33554432000 4194304 6211289 140736075378960 140736075376872 4209484 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 131585 114883 219 493 0 131082 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 526340

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 16016
/proc/meminfo: memFree=30749688/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=528964 CPUtime=1662.02 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 38353 0 0 0 166179 23 0 0 20 0 1 0 27989056 541659136 117040 33554432000 4194304 6211289 140736075378960 140736075376872 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 132241 117040 219 493 0 131738 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 528964

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 16017
/proc/meminfo: memFree=30744416/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=532292 CPUtime=1722.01 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 38927 0 0 0 172178 23 0 0 20 0 1 0 27989056 545067008 117614 33554432000 4194304 6211289 140736075378960 140736075377304 4241789 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 133073 117614 219 493 0 132570 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 532292

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 16018
/proc/meminfo: memFree=30713740/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=555464 CPUtime=1782 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 42868 0 0 0 178175 25 0 0 20 0 1 0 27989056 568795136 125132 33554432000 4194304 6211289 140736075378960 140736075376824 4209882 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 138866 125132 219 493 0 138363 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 555464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 16019
/proc/meminfo: memFree=30676684/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=774484 CPUtime=1800 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 43761 0 0 0 179974 26 0 0 20 0 1 0 27989056 793071616 134635 33554432000 4194304 6211289 140736075378960 140736075377192 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 193621 134635 219 493 0 193118 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 774484

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 16019
/proc/meminfo: memFree=30676684/32872528 swapFree=303544/319896
[pid=15928] ppid=15925 vsize=774484 CPUtime=1800 cores=1,3,5,7
/proc/15928/stat : 15928 (cdcl-cuttingpla) R 15925 15928 14217 0 -1 4202496 43761 0 0 0 179974 26 0 0 20 0 1 0 27989056 793071616 134635 33554432000 4194304 6211289 140736075378960 140736075377192 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/15928/statm: 193621 134635 219 493 0 193118 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 774484

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1799.74
CPU system time (s): 0.268959
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 774484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.268959
maximum resident set size= 538540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43761
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= 40
involuntary context switches= 2207

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.35434 second user time and 7.10792 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-18 16:17:04
IDJOB=4101807
IDBENCH=1796
IDSOLVER=2549
FILE ID=node128/4101807-1466259424
RUNJOBID= node128-1466241415-14234
PBS_JOBID= 19918208
Free space on /tmp= 71708 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-gesa2-o.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101807-1466259424/watcher-4101807-1466259424 -o /tmp/evaluation-result-4101807-1466259424/solver-4101807-1466259424 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466241415-14234 --watchdog 1960 --input HOME/instance-4101807-1466259424.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 2ee0b4368a56ab3fadfc3737456bcd30
RANDOM SEED=1066085624

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.768
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.57
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.768
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.56
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.768
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.768
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30843332 kB
Buffers:          127792 kB
Cached:           147672 kB
SwapCached:         2708 kB
Active:           762600 kB
Inactive:         201220 kB
Active(anon):     688196 kB
Inactive(anon):     2684 kB
Active(file):      74404 kB
Inactive(file):   198536 kB
Unevictable:      319896 kB
Mlocked:          303544 kB
SwapTotal:      67108856 kB
SwapFree:       67099180 kB
Dirty:              2780 kB
Writeback:             0 kB
AnonPages:       1054452 kB
Mapped:             9720 kB
Shmem:                 0 kB
Slab:             611908 kB
SReclaimable:      55672 kB
SUnreclaim:       556236 kB
KernelStack:        1472 kB
PageTables:         6132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1419516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    737280 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= 71704 MiB
End job on node128 at 2016-06-18 16:47:05