Trace number 4101744

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.02 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow40b.opb
MD5SUM4990a2601191ad55c4ad7d6303e4ded9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6735
Optimality of the best value was proved NO
Number of variables23384
Total number of constraints2806
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)39
Number of constraints which are nor clauses,nor cardinality constraints2767
Minimum length of a constraint14
Maximum length of a constraint1202
Number of terms in the objective function 1364
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 230637
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 525160
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.00	c * #variable= 23384 #constraint= 2806
2.19/2.29	c #Conflicts:       1000 | #Learnt:        999 | 0.002
2.19/2.29	c total clause space: 48.1602MB
2.19/2.29	c total #watches: 273581
5.89/5.95	c total #propagations: 328919 / total #impl: 12638474 (eff. 0.026)
5.89/5.95	c #Conflicts:       2000 | #Learnt:       1999 | 0.013
5.89/5.95	c total clause space: 78.2603MB
5.89/5.95	c total #watches: 423278
11.89/11.96	c total #propagations: 593827 / total #impl: 26853352 (eff. 0.022)
11.89/11.96	c GC COLLECT
11.89/11.96	c #Conflicts:       3000 | #Learnt:       2001 | 0.146
11.89/11.96	c total clause space: 78.2603MB
11.89/11.96	c total #watches: 422078
22.58/22.62	c total #propagations: 891549 / total #impl: 39337830 (eff. 0.023)
22.58/22.62	c #Conflicts:       4000 | #Learnt:       3001 | 0.276
22.58/22.62	c total clause space: 127.173MB
22.58/22.62	c total #watches: 660842
25.48/25.55	c total #propagations: 1051966 / total #impl: 65412672 (eff. 0.016)
25.48/25.55	c GC COLLECT
25.48/25.55	c #Conflicts:       5000 | #Learnt:       2350 | 0.221
25.48/25.55	c total clause space: 127.173MB
25.48/25.55	c total #watches: 465948
32.08/32.15	c total #propagations: 1355409 / total #impl: 76156221 (eff. 0.018)
32.08/32.15	c #Conflicts:       6000 | #Learnt:       3350 | 0.407
32.08/32.15	c total clause space: 127.173MB
32.08/32.15	c total #watches: 732469
39.08/39.19	c total #propagations: 1804747 / total #impl: 92842056 (eff. 0.019)
39.08/39.19	c GC COLLECT
39.08/39.19	c #Conflicts:       7000 | #Learnt:       2295 | 0.484
39.08/39.19	c total clause space: 206.656MB
39.08/39.19	c total #watches: 554213
46.48/46.58	c total #propagations: 2143562 / total #impl: 106794167 (eff. 0.020)
46.48/46.58	c #Conflicts:       8000 | #Learnt:       3295 | 0.423
46.48/46.58	c total clause space: 206.656MB
46.48/46.58	c total #watches: 672496
51.29/51.39	c total #propagations: 2424210 / total #impl: 119690892 (eff. 0.020)
51.29/51.39	c #Conflicts:       9000 | #Learnt:       4295 | 0.387
51.29/51.39	c total clause space: 206.656MB
51.29/51.39	c total #watches: 746539
56.09/56.13	c total #propagations: 2752997 / total #impl: 130109553 (eff. 0.021)
56.09/56.13	c GC COLLECT
56.09/56.13	c #Conflicts:      10000 | #Learnt:       2719 | 0.349
56.09/56.13	c total clause space: 206.656MB
56.09/56.13	c total #watches: 403345
58.78/58.87	c total #propagations: 3121271 / total #impl: 142357549 (eff. 0.022)
58.78/58.87	c #Conflicts:      11000 | #Learnt:       3719 | 0.317
58.78/58.87	c total clause space: 206.656MB
58.78/58.87	c total #watches: 483255
65.67/65.78	c total #propagations: 3498065 / total #impl: 155584762 (eff. 0.022)
65.67/65.78	c #Conflicts:      12000 | #Learnt:       4719 | 0.291
65.67/65.78	c total clause space: 206.656MB
65.67/65.78	c total #watches: 702828
73.78/73.87	c total #propagations: 3900433 / total #impl: 182237669 (eff. 0.021)
73.78/73.87	c #Conflicts:      13000 | #Learnt:       5719 | 0.269
73.78/73.87	c total clause space: 206.656MB
73.78/73.87	c total #watches: 800069
79.57/79.68	c total #propagations: 4331719 / total #impl: 214290186 (eff. 0.020)
79.57/79.68	c GC COLLECT
79.57/79.68	c #Conflicts:      14000 | #Learnt:       3657 | 0.250
79.57/79.68	c total clause space: 206.656MB
79.57/79.68	c total #watches: 522672
82.87/82.97	c total #propagations: 4647555 / total #impl: 237770505 (eff. 0.020)
82.87/82.97	c #Conflicts:      15000 | #Learnt:       4657 | 0.233
82.87/82.97	c total clause space: 206.656MB
82.87/82.97	c total #watches: 598935
85.67/85.76	c total #propagations: 5069073 / total #impl: 251584872 (eff. 0.020)
85.67/85.76	c #Conflicts:      16000 | #Learnt:       5657 | 0.219
85.67/85.76	c total clause space: 206.656MB
85.67/85.76	c total #watches: 653976
103.97/104.04	c total #propagations: 5434826 / total #impl: 258659253 (eff. 0.021)
103.97/104.04	c GC COLLECT
103.97/104.04	c #Conflicts:      17000 | #Learnt:       3439 | 0.206
103.97/104.04	c total clause space: 335.816MB
103.97/104.04	c total #watches: 443906
107.66/107.75	c total #propagations: 5684133 / total #impl: 350889441 (eff. 0.016)
107.66/107.75	c #Conflicts:      18000 | #Learnt:       4439 | 0.202
107.66/107.75	c total clause space: 335.816MB
107.66/107.75	c total #watches: 637047
111.57/111.60	c total #propagations: 5848806 / total #impl: 358968751 (eff. 0.016)
111.57/111.60	c #Conflicts:      19000 | #Learnt:       5439 | 0.193
111.57/111.60	c total clause space: 335.816MB
111.57/111.60	c total #watches: 771629
115.17/115.23	c total #propagations: 5978691 / total #impl: 365784955 (eff. 0.016)
115.17/115.23	c #Conflicts:      20000 | #Learnt:       6439 | 0.192
115.17/115.23	c total clause space: 335.816MB
115.17/115.23	c total #watches: 956070
126.17/126.29	c total #propagations: 5995778 / total #impl: 367262710 (eff. 0.016)
126.17/126.29	c GC COLLECT
126.17/126.29	c #Conflicts:      21000 | #Learnt:       3913 | 0.184
126.17/126.29	c total clause space: 335.816MB
126.17/126.29	c total #watches: 818604
129.37/129.43	c total #propagations: 6358226 / total #impl: 384195705 (eff. 0.017)
129.37/129.43	c #Conflicts:      22000 | #Learnt:       4913 | 0.177
129.37/129.43	c total clause space: 335.816MB
129.37/129.43	c total #watches: 901415
135.57/135.64	c total #propagations: 6645727 / total #impl: 392756591 (eff. 0.017)
135.57/135.64	c #Conflicts:      23000 | #Learnt:       5913 | 0.169
135.57/135.64	c total clause space: 335.816MB
135.57/135.64	c total #watches: 1021056
142.67/142.75	c total #propagations: 7192018 / total #impl: 418575085 (eff. 0.017)
142.67/142.75	c #Conflicts:      24000 | #Learnt:       6913 | 0.162
142.67/142.75	c total clause space: 335.816MB
142.67/142.75	c total #watches: 1196989
151.56/151.62	c total #propagations: 7403356 / total #impl: 434879229 (eff. 0.017)
151.56/151.62	c GC COLLECT
151.56/151.62	c #Conflicts:      25000 | #Learnt:       4046 | 0.156
151.56/151.62	c total clause space: 335.816MB
151.56/151.62	c total #watches: 735419
156.76/156.87	c total #propagations: 7703182 / total #impl: 451385538 (eff. 0.017)
156.76/156.87	c #Conflicts:      26000 | #Learnt:       5046 | 0.151
156.76/156.87	c total clause space: 335.816MB
156.76/156.87	c total #watches: 811047
166.36/166.40	c total #propagations: 8266834 / total #impl: 477429390 (eff. 0.017)
166.36/166.40	c #Conflicts:      27000 | #Learnt:       6046 | 0.150
166.36/166.40	c total clause space: 335.816MB
166.36/166.40	c total #watches: 953824
172.46/172.55	c total #propagations: 8766702 / total #impl: 499158762 (eff. 0.018)
172.46/172.55	c #Conflicts:      28000 | #Learnt:       7046 | 0.145
172.46/172.55	c total clause space: 335.816MB
172.46/172.55	c total #watches: 1156625
186.85/186.91	c total #propagations: 9079591 / total #impl: 516479216 (eff. 0.018)
186.85/186.91	c #Conflicts:      29000 | #Learnt:       8046 | 0.168
186.85/186.91	c total clause space: 335.816MB
186.85/186.91	c total #watches: 1338171
192.47/192.60	c total #propagations: 9440503 / total #impl: 562999509 (eff. 0.017)
192.47/192.60	c GC COLLECT
192.47/192.60	c #Conflicts:      30000 | #Learnt:       4917 | 0.163
192.47/192.60	c total clause space: 335.816MB
192.47/192.60	c total #watches: 888556
211.46/211.57	c total #propagations: 9600904 / total #impl: 578298657 (eff. 0.017)
211.46/211.57	c #Conflicts:      31000 | #Learnt:       5917 | 0.176
211.46/211.57	c total clause space: 335.816MB
211.46/211.57	c total #watches: 1159225
221.66/221.75	c total #propagations: 9833858 / total #impl: 616927445 (eff. 0.016)
221.66/221.75	c #Conflicts:      32000 | #Learnt:       6917 | 0.180
221.66/221.75	c total clause space: 335.816MB
221.66/221.75	c total #watches: 1385623
253.06/253.14	c total #propagations: 10132487 / total #impl: 631173431 (eff. 0.016)
253.06/253.14	c #Conflicts:      33000 | #Learnt:       7917 | 0.181
253.06/253.14	c total clause space: 335.816MB
253.06/253.14	c total #watches: 1541672
269.24/269.31	c total #propagations: 11123788 / total #impl: 670493136 (eff. 0.017)
269.24/269.31	c GC COLLECT
269.24/269.31	c #Conflicts:      34000 | #Learnt:       4522 | 0.178
269.24/269.31	c total clause space: 335.816MB
269.24/269.31	c total #watches: 1035945
281.55/281.69	c total #propagations: 11426205 / total #impl: 693439422 (eff. 0.016)
281.55/281.69	c #Conflicts:      35000 | #Learnt:       5522 | 0.176
281.55/281.69	c total clause space: 335.816MB
281.55/281.69	c total #watches: 1229740
296.54/296.60	c total #propagations: 11838836 / total #impl: 726996039 (eff. 0.016)
296.54/296.60	c #Conflicts:      36000 | #Learnt:       6522 | 0.172
296.54/296.60	c total clause space: 335.816MB
296.54/296.60	c total #watches: 1364280
317.74/317.90	c total #propagations: 12266073 / total #impl: 746897430 (eff. 0.016)
317.74/317.90	c #Conflicts:      37000 | #Learnt:       7522 | 0.167
317.74/317.90	c total clause space: 335.816MB
317.74/317.90	c total #watches: 1535794
327.84/327.92	c total #propagations: 12570222 / total #impl: 779982392 (eff. 0.016)
327.84/327.92	c #Conflicts:      38000 | #Learnt:       8522 | 0.168
327.84/327.92	c total clause space: 545.701MB
327.84/327.92	c total #watches: 1628532
339.73/339.81	c total #propagations: 12773974 / total #impl: 798348348 (eff. 0.016)
339.73/339.81	c GC COLLECT
339.73/339.81	c #Conflicts:      39000 | #Learnt:       4885 | 0.164
339.73/339.81	c total clause space: 545.701MB
339.73/339.81	c total #watches: 1098470
346.63/346.74	c total #propagations: 13069171 / total #impl: 817404423 (eff. 0.016)
346.63/346.74	c #Conflicts:      40000 | #Learnt:       5885 | 0.160
346.63/346.74	c total clause space: 545.701MB
346.63/346.74	c total #watches: 1319130
363.13/363.28	c total #propagations: 13547110 / total #impl: 831361416 (eff. 0.016)
363.13/363.28	c #Conflicts:      41000 | #Learnt:       6885 | 0.156
363.13/363.28	c total clause space: 545.701MB
363.13/363.28	c total #watches: 1377760
388.63/388.76	c total #propagations: 13903086 / total #impl: 846856700 (eff. 0.016)
388.63/388.76	c #Conflicts:      42000 | #Learnt:       7885 | 0.156
388.63/388.76	c total clause space: 545.701MB
388.63/388.76	c total #watches: 1553177
423.33/423.48	c total #propagations: 14217222 / total #impl: 899266660 (eff. 0.016)
423.33/423.48	c #Conflicts:      43000 | #Learnt:       8885 | 0.162
423.33/423.48	c total clause space: 545.701MB
423.33/423.48	c total #watches: 1872719
441.22/441.40	c total #propagations: 14394761 / total #impl: 1081983057 (eff. 0.013)
441.22/441.40	c #Conflicts:      44000 | #Learnt:       9885 | 0.158
441.22/441.40	c total clause space: 545.701MB
441.22/441.40	c total #watches: 1979319
454.41/454.52	c total #propagations: 14696802 / total #impl: 1099184232 (eff. 0.013)
454.41/454.52	c GC COLLECT
454.41/454.52	c #Conflicts:      45000 | #Learnt:       5888 | 0.155
454.41/454.52	c total clause space: 545.701MB
454.41/454.52	c total #watches: 1245064
466.81/466.97	c total #propagations: 14976822 / total #impl: 1113953308 (eff. 0.013)
466.81/466.97	c #Conflicts:      46000 | #Learnt:       6888 | 0.151
466.81/466.97	c total clause space: 545.701MB
466.81/466.97	c total #watches: 1273514
476.61/476.73	c total #propagations: 15267335 / total #impl: 1165317225 (eff. 0.013)
476.61/476.73	c #Conflicts:      47000 | #Learnt:       7888 | 0.149
476.61/476.73	c total clause space: 545.701MB
476.61/476.73	c total #watches: 1303782
487.81/487.99	c total #propagations: 15603900 / total #impl: 1207790160 (eff. 0.013)
487.81/487.99	c #Conflicts:      48000 | #Learnt:       8888 | 0.174
487.81/487.99	c total clause space: 545.701MB
487.81/487.99	c total #watches: 1529429
509.22/509.30	c total #propagations: 15971991 / total #impl: 1226090798 (eff. 0.013)
509.22/509.30	c #Conflicts:      49000 | #Learnt:       9888 | 0.173
509.22/509.30	c total clause space: 545.701MB
509.22/509.30	c total #watches: 1715192
531.11/531.21	c total #propagations: 16414641 / total #impl: 1268686403 (eff. 0.013)
531.11/531.21	c GC COLLECT
531.11/531.21	c #Conflicts:      50000 | #Learnt:       5614 | 0.170
531.11/531.21	c total clause space: 545.701MB
531.11/531.21	c total #watches: 1246444
544.81/544.92	c total #propagations: 16967801 / total #impl: 1310112932 (eff. 0.013)
544.81/544.92	c #Conflicts:      51000 | #Learnt:       6614 | 0.168
544.81/544.92	c total clause space: 545.701MB
544.81/544.92	c total #watches: 1396754
556.90/557.02	c total #propagations: 17384622 / total #impl: 1333552444 (eff. 0.013)
556.90/557.02	c #Conflicts:      52000 | #Learnt:       7614 | 0.189
556.90/557.02	c total clause space: 545.701MB
556.90/557.02	c total #watches: 1655837
581.30/581.47	c total #propagations: 17675549 / total #impl: 1355017541 (eff. 0.013)
581.30/581.47	c #Conflicts:      53000 | #Learnt:       8614 | 0.186
581.30/581.47	c total clause space: 545.701MB
581.30/581.47	c total #watches: 1793356
594.79/594.97	c total #propagations: 18268670 / total #impl: 1384571861 (eff. 0.013)
594.79/594.97	c #Conflicts:      54000 | #Learnt:       9614 | 0.191
594.79/594.97	c total clause space: 545.701MB
594.79/594.97	c total #watches: 1991901
603.29/603.40	c total #propagations: 18424614 / total #impl: 1399355526 (eff. 0.013)
603.29/603.40	c #Conflicts:      55000 | #Learnt:      10614 | 0.197
603.29/603.40	c total clause space: 545.701MB
603.29/603.40	c total #watches: 2155457
614.99/615.17	c total #propagations: 18469274 / total #impl: 1406370894 (eff. 0.013)
614.99/615.17	c GC COLLECT
614.99/615.17	c #Conflicts:      56000 | #Learnt:       5945 | 0.197
614.99/615.17	c total clause space: 545.701MB
614.99/615.17	c total #watches: 1256063
627.79/627.93	c total #propagations: 18875705 / total #impl: 1423824402 (eff. 0.013)
627.79/627.93	c #Conflicts:      57000 | #Learnt:       6945 | 0.205
627.79/627.93	c total clause space: 545.701MB
627.79/627.93	c total #watches: 1368926
657.58/657.76	c total #propagations: 19452689 / total #impl: 1444803206 (eff. 0.013)
657.58/657.76	c #Conflicts:      58000 | #Learnt:       7945 | 0.202
657.58/657.76	c total clause space: 545.701MB
657.58/657.76	c total #watches: 1530788
671.18/671.32	c total #propagations: 19885620 / total #impl: 1507377339 (eff. 0.013)
671.18/671.32	c #Conflicts:      59000 | #Learnt:       8945 | 0.199
671.18/671.32	c total clause space: 545.701MB
671.18/671.32	c total #watches: 1611178
682.48/682.66	c total #propagations: 20262892 / total #impl: 1524285939 (eff. 0.013)
682.48/682.66	c #Conflicts:      60000 | #Learnt:       9945 | 0.198
682.48/682.66	c total clause space: 545.701MB
682.48/682.66	c total #watches: 1706797
707.18/707.39	c total #propagations: 20617765 / total #impl: 1542645373 (eff. 0.013)
707.18/707.39	c #Conflicts:      61000 | #Learnt:      10945 | 0.198
707.18/707.39	c total clause space: 545.701MB
707.18/707.39	c total #watches: 1847474
718.38/718.54	c total #propagations: 21133605 / total #impl: 1573916621 (eff. 0.013)
718.38/718.54	c #Conflicts:      62000 | #Learnt:      11945 | 0.195
718.38/718.54	c total clause space: 545.701MB
718.38/718.54	c total #watches: 1943310
739.77/739.94	c total #propagations: 21460387 / total #impl: 1590327799 (eff. 0.013)
739.77/739.94	c GC COLLECT
739.77/739.94	c #Conflicts:      63000 | #Learnt:       6969 | 0.193
739.77/739.94	c total clause space: 545.701MB
739.77/739.94	c total #watches: 1377349
750.87/751.08	c total #propagations: 21856016 / total #impl: 1613377123 (eff. 0.014)
750.87/751.08	c #Conflicts:      64000 | #Learnt:       7969 | 0.305
750.87/751.08	c total clause space: 545.701MB
750.87/751.08	c total #watches: 1628717
763.67/763.80	c total #propagations: 21987982 / total #impl: 1624546604 (eff. 0.014)
763.67/763.80	c #Conflicts:      65000 | #Learnt:       8969 | 0.301
763.67/763.80	c total clause space: 545.701MB
763.67/763.80	c total #watches: 1756699
775.97/776.14	c total #propagations: 22332039 / total #impl: 1644214936 (eff. 0.014)
775.97/776.14	c #Conflicts:      66000 | #Learnt:       9969 | 0.299
775.97/776.14	c total clause space: 545.701MB
775.97/776.14	c total #watches: 2018895
800.46/800.63	c total #propagations: 22611552 / total #impl: 1662765908 (eff. 0.014)
800.46/800.63	c #Conflicts:      67000 | #Learnt:      10969 | 0.306
800.46/800.63	c total clause space: 545.701MB
800.46/800.63	c total #watches: 2229776
815.85/816.03	c total #propagations: 23036491 / total #impl: 1689755571 (eff. 0.014)
815.85/816.03	c #Conflicts:      68000 | #Learnt:      11969 | 0.304
815.85/816.03	c total clause space: 545.701MB
815.85/816.03	c total #watches: 2362985
830.06/830.23	c total #propagations: 23336928 / total #impl: 1719695426 (eff. 0.014)
830.06/830.23	c GC COLLECT
830.06/830.23	c #Conflicts:      69000 | #Learnt:       6770 | 0.308
830.06/830.23	c total clause space: 545.701MB
830.06/830.23	c total #watches: 1318226
847.96/848.13	c total #propagations: 23761969 / total #impl: 1742761168 (eff. 0.014)
847.96/848.13	c #Conflicts:      70000 | #Learnt:       7770 | 0.304
847.96/848.13	c total clause space: 545.701MB
847.96/848.13	c total #watches: 1464041
861.06/861.20	c total #propagations: 24078327 / total #impl: 1761888061 (eff. 0.014)
861.06/861.20	c #Conflicts:      71000 | #Learnt:       8770 | 0.308
861.06/861.20	c total clause space: 545.701MB
861.06/861.20	c total #watches: 1683920
869.85/870.04	c total #propagations: 24482729 / total #impl: 1782343753 (eff. 0.014)
869.85/870.04	c #Conflicts:      72000 | #Learnt:       9770 | 0.418
869.85/870.04	c total clause space: 545.701MB
869.85/870.04	c total #watches: 1925499
886.35/886.51	c total #propagations: 24599490 / total #impl: 1794062519 (eff. 0.014)
886.35/886.51	c #Conflicts:      73000 | #Learnt:      10770 | 0.413
886.35/886.51	c total clause space: 545.701MB
886.35/886.51	c total #watches: 2164375
913.14/913.36	c total #propagations: 24992560 / total #impl: 1843461096 (eff. 0.014)
913.14/913.36	c #Conflicts:      74000 | #Learnt:      11770 | 0.408
913.14/913.36	c total clause space: 545.701MB
913.14/913.36	c total #watches: 2218614
944.24/944.45	c total #propagations: 25260698 / total #impl: 1861850032 (eff. 0.014)
944.24/944.45	c #Conflicts:      75000 | #Learnt:      12770 | 0.402
944.24/944.45	c total clause space: 545.701MB
944.24/944.45	c total #watches: 2393476
956.84/957.06	c total #propagations: 25813482 / total #impl: 1922351648 (eff. 0.013)
956.84/957.06	c GC COLLECT
956.84/957.06	c #Conflicts:      76000 | #Learnt:       7253 | 0.398
956.84/957.06	c total clause space: 545.701MB
956.84/957.06	c total #watches: 1366983
966.03/966.25	c total #propagations: 26256314 / total #impl: 1945395336 (eff. 0.013)
966.03/966.25	c #Conflicts:      77000 | #Learnt:       8253 | 0.405
966.03/966.25	c total clause space: 545.701MB
966.03/966.25	c total #watches: 1525565
987.13/987.33	c total #propagations: 26677637 / total #impl: 1959837954 (eff. 0.014)
987.13/987.33	c #Conflicts:      78000 | #Learnt:       9253 | 0.402
987.13/987.33	c total clause space: 545.701MB
987.13/987.33	c total #watches: 1671939
1004.43/1004.65	c total #propagations: 27031929 / total #impl: 1997078619 (eff. 0.014)
1004.43/1004.65	c #Conflicts:      79000 | #Learnt:      10253 | 0.397
1004.43/1004.65	c total clause space: 545.701MB
1004.43/1004.65	c total #watches: 1751355
1033.12/1033.37	c total #propagations: 27562921 / total #impl: 2030993682 (eff. 0.014)
1033.12/1033.37	c #Conflicts:      80000 | #Learnt:      11253 | 0.392
1033.12/1033.37	c total clause space: 545.701MB
1033.12/1033.37	c total #watches: 1848020
1045.82/1046.01	c total #propagations: 27907107 / total #impl: 2101027678 (eff. 0.013)
1045.82/1046.01	c #Conflicts:      81000 | #Learnt:      12253 | 0.388
1045.82/1046.01	c total clause space: 545.701MB
1045.82/1046.01	c total #watches: 1965389
1066.52/1066.75	c total #propagations: 28139201 / total #impl: 2117404081 (eff. 0.013)
1066.52/1066.75	c #Conflicts:      82000 | #Learnt:      13253 | 0.384
1066.52/1066.75	c total clause space: 545.701MB
1066.52/1066.75	c total #watches: 2113533
1077.02/1077.26	c total #propagations: 28429862 / total #impl: 2146623326 (eff. 0.013)
1077.02/1077.26	c GC COLLECT
1077.02/1077.26	c #Conflicts:      83000 | #Learnt:       7534 | 0.380
1077.02/1077.26	c total clause space: 545.701MB
1077.02/1077.26	c total #watches: 1427988
1086.52/1086.77	c total #propagations: 28671383 / total #impl: 2165390818 (eff. 0.013)
1086.52/1086.77	c #Conflicts:      84000 | #Learnt:       8534 | 0.377
1086.52/1086.77	c total clause space: 545.701MB
1086.52/1086.77	c total #watches: 1638816
1109.92/1110.16	c total #propagations: 28971066 / total #impl: 2185703967 (eff. 0.013)
1109.92/1110.16	c #Conflicts:      85000 | #Learnt:       9534 | 0.373
1109.92/1110.16	c total clause space: 545.701MB
1109.92/1110.16	c total #watches: 1848242
1142.82/1143.06	c total #propagations: 29381468 / total #impl: 2246224797 (eff. 0.013)
1142.82/1143.06	c #Conflicts:      86000 | #Learnt:      10534 | 0.368
1142.82/1143.06	c total clause space: 545.701MB
1142.82/1143.06	c total #watches: 1967403
1173.21/1173.49	c total #propagations: 29991672 / total #impl: 2375259293 (eff. 0.013)
1173.21/1173.49	c #Conflicts:      87000 | #Learnt:      11534 | 0.364
1173.21/1173.49	c total clause space: 545.701MB
1173.21/1173.49	c total #watches: 2116563
1194.60/1194.85	c total #propagations: 30359073 / total #impl: 2422117491 (eff. 0.013)
1194.60/1194.85	c #Conflicts:      88000 | #Learnt:      12534 | 0.360
1194.60/1194.85	c total clause space: 545.701MB
1194.60/1194.85	c total #watches: 2205405
1227.90/1228.13	c total #propagations: 30614018 / total #impl: 2469796365 (eff. 0.012)
1227.90/1228.13	c #Conflicts:      89000 | #Learnt:      13534 | 0.368
1227.90/1228.13	c total clause space: 886.764MB
1227.90/1228.13	c total #watches: 2485792
1269.79/1270.03	c total #propagations: 31387184 / total #impl: 2506704669 (eff. 0.013)
1269.79/1270.03	c GC COLLECT
1269.79/1270.03	c #Conflicts:      90000 | #Learnt:       7411 | 0.364
1269.79/1270.03	c total clause space: 886.764MB
1269.79/1270.03	c total #watches: 1416353
1278.49/1278.74	c total #propagations: 32592982 / total #impl: 2550713244 (eff. 0.013)
1278.49/1278.74	c #Conflicts:      91000 | #Learnt:       8411 | 0.360
1278.49/1278.74	c total clause space: 886.764MB
1278.49/1278.74	c total #watches: 1590192
1304.49/1304.75	c total #propagations: 32717692 / total #impl: 2563540590 (eff. 0.013)
1304.49/1304.75	c #Conflicts:      92000 | #Learnt:       9411 | 0.357
1304.49/1304.75	c total clause space: 886.764MB
1304.49/1304.75	c total #watches: 1796968
1332.99/1333.30	c total #propagations: 32963712 / total #impl: 2594504072 (eff. 0.013)
1332.99/1333.30	c #Conflicts:      93000 | #Learnt:      10411 | 0.353
1332.99/1333.30	c total clause space: 886.764MB
1332.99/1333.30	c total #watches: 1935083
1348.58/1348.85	c total #propagations: 33415446 / total #impl: 2627401574 (eff. 0.013)
1348.58/1348.85	c #Conflicts:      94000 | #Learnt:      11411 | 0.349
1348.58/1348.85	c total clause space: 886.764MB
1348.58/1348.85	c total #watches: 2043679
1364.58/1364.88	c total #propagations: 33614857 / total #impl: 2647916619 (eff. 0.013)
1364.58/1364.88	c #Conflicts:      95000 | #Learnt:      12411 | 0.346
1364.58/1364.88	c total clause space: 886.764MB
1364.58/1364.88	c total #watches: 2165608
1392.48/1392.72	c total #propagations: 33840728 / total #impl: 2664496047 (eff. 0.013)
1392.48/1392.72	c #Conflicts:      96000 | #Learnt:      13411 | 0.342
1392.48/1392.72	c total clause space: 886.764MB
1392.48/1392.72	c total #watches: 2307628
1425.87/1426.18	c total #propagations: 34077700 / total #impl: 2698235373 (eff. 0.013)
1425.87/1426.18	c #Conflicts:      97000 | #Learnt:      14411 | 0.338
1425.87/1426.18	c total clause space: 886.764MB
1425.87/1426.18	c total #watches: 2423678
1447.96/1448.22	c total #propagations: 34269816 / total #impl: 2744872720 (eff. 0.012)
1447.96/1448.22	c GC COLLECT
1447.96/1448.22	c #Conflicts:      98000 | #Learnt:       7979 | 0.351
1447.96/1448.22	c total clause space: 886.764MB
1447.96/1448.22	c total #watches: 1531095
1465.16/1465.46	c total #propagations: 34588612 / total #impl: 2774778681 (eff. 0.012)
1465.16/1465.46	c #Conflicts:      99000 | #Learnt:       8979 | 0.348
1465.16/1465.46	c total clause space: 886.764MB
1465.16/1465.46	c total #watches: 1746823
1500.06/1500.37	c total #propagations: 34811959 / total #impl: 2802396844 (eff. 0.012)
1500.06/1500.37	c #Conflicts:     100000 | #Learnt:       9979 | 0.350
1500.06/1500.37	c total clause space: 886.764MB
1500.06/1500.37	c total #watches: 2166349
1521.55/1521.81	c total #propagations: 35053879 / total #impl: 2837488993 (eff. 0.012)
1521.55/1521.81	c #Conflicts:     101000 | #Learnt:      10979 | 0.347
1521.55/1521.81	c total clause space: 886.764MB
1521.55/1521.81	c total #watches: 2353163
1551.85/1552.11	c total #propagations: 35236573 / total #impl: 2868242975 (eff. 0.012)
1551.85/1552.11	c #Conflicts:     102000 | #Learnt:      11979 | 0.345
1551.85/1552.11	c total clause space: 886.764MB
1551.85/1552.11	c total #watches: 2557761
1592.65/1592.94	c total #propagations: 35411361 / total #impl: 2891031116 (eff. 0.012)
1592.65/1592.94	c #Conflicts:     103000 | #Learnt:      12979 | 0.342
1592.65/1592.94	c total clause space: 886.764MB
1592.65/1592.94	c total #watches: 2744270
1603.55/1603.83	c total #propagations: 35577058 / total #impl: 2916901733 (eff. 0.012)
1603.55/1603.83	c #Conflicts:     104000 | #Learnt:      13979 | 0.339
1603.55/1603.83	c total clause space: 886.764MB
1603.55/1603.83	c total #watches: 2808359
1616.34/1616.69	c total #propagations: 35704465 / total #impl: 2935781074 (eff. 0.012)
1616.34/1616.69	c #Conflicts:     105000 | #Learnt:      14979 | 0.336
1616.34/1616.69	c total clause space: 886.764MB
1616.34/1616.69	c total #watches: 2886574
1649.94/1650.25	c total #propagations: 35856615 / total #impl: 2958482017 (eff. 0.012)
1649.94/1650.25	c GC COLLECT
1649.94/1650.25	c #Conflicts:     106000 | #Learnt:       8235 | 0.332
1649.94/1650.25	c total clause space: 886.764MB
1649.94/1650.26	c total #watches: 1545341
1666.53/1666.80	c total #propagations: 36121573 / total #impl: 2993016270 (eff. 0.012)
1666.53/1666.80	c #Conflicts:     107000 | #Learnt:       9235 | 0.338
1666.53/1666.80	c total clause space: 886.764MB
1666.53/1666.80	c total #watches: 1640105
1690.83/1691.19	c total #propagations: 36563020 / total #impl: 3028323222 (eff. 0.012)
1690.83/1691.19	c #Conflicts:     108000 | #Learnt:      10235 | 0.336
1690.83/1691.19	c total clause space: 886.764MB
1690.83/1691.19	c total #watches: 1736768
1705.13/1705.42	c total #propagations: 37053861 / total #impl: 3071171214 (eff. 0.012)
1705.13/1705.42	c #Conflicts:     109000 | #Learnt:      11235 | 0.333
1705.13/1705.42	c total clause space: 886.764MB
1705.13/1705.42	c total #watches: 1783107
1728.42/1728.77	c total #propagations: 37295173 / total #impl: 3116233776 (eff. 0.012)
1728.42/1728.77	c #Conflicts:     110000 | #Learnt:      12235 | 0.330
1728.42/1728.77	c total clause space: 886.764MB
1728.42/1728.77	c total #watches: 1864172
1757.42/1757.75	c total #propagations: 37848465 / total #impl: 3161559203 (eff. 0.012)
1757.42/1757.75	c #Conflicts:     111000 | #Learnt:      13235 | 0.346
1757.42/1757.75	c total clause space: 886.764MB
1757.42/1757.75	c total #watches: 2101523
1776.32/1776.66	c total #propagations: 38254634 / total #impl: 3214882808 (eff. 0.012)
1776.32/1776.66	c #Conflicts:     112000 | #Learnt:      14235 | 0.343
1776.32/1776.66	c total clause space: 886.764MB
1776.32/1776.66	c total #watches: 2213584

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-4101744-1466254588/watcher-4101744-1466254588 -o /tmp/evaluation-result-4101744-1466254588/solver-4101744-1466254588 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466229325-2737 --watchdog 1960 --input HOME/instance-4101744-1466254588.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.07 2.03 3/176 5712
/proc/meminfo: memFree=30836924/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 278 0 0 0 0 0 0 0 20 0 1 0 27504202 29810688 5269 33554432000 4194304 6201397 140734210458352 140734076973560 4211056 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 7278 5269 130 491 0 6777 0

[startup+0.100156 s]
/proc/loadavg: 2.12 2.07 2.03 3/176 5712
/proc/meminfo: memFree=30836924/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=38060 CPUtime=0.08 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 1564 0 0 0 8 0 0 0 20 0 1 0 27504202 38973440 7776 33554432000 4194304 6201397 140734210458352 140734076973560 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 9515 7776 145 491 0 9014 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 38060

[startup+0.200332 s]
/proc/loadavg: 2.12 2.07 2.03 3/176 5712
/proc/meminfo: memFree=30836924/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=38480 CPUtime=0.18 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 1852 0 0 0 18 0 0 0 20 0 1 0 27504202 39403520 8034 33554432000 4194304 6201397 140734210458352 140734076973560 4213365 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 9620 8034 146 491 0 9119 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 38480

[startup+0.300312 s]
/proc/loadavg: 2.12 2.07 2.03 3/176 5712
/proc/meminfo: memFree=30836924/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=42944 CPUtime=0.29 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 1991 0 0 0 28 1 0 0 20 0 1 0 27504202 43974656 8668 33554432000 4194304 6201397 140734210458352 140734076973560 4216519 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 10736 8668 146 491 0 10235 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42944

[startup+0.70032 s]
/proc/loadavg: 2.12 2.07 2.03 3/176 5712
/proc/meminfo: memFree=30836924/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=50436 CPUtime=0.69 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 2280 0 0 0 68 1 0 0 20 0 1 0 27504202 51646464 9938 33554432000 4194304 6201397 140734210458352 140734210457064 4213345 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 12609 9938 146 491 0 12108 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50436

[startup+1.50027 s]
/proc/loadavg: 2.12 2.07 2.03 3/177 5713
/proc/meminfo: memFree=30785096/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=82032 CPUtime=1.49 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 2974 0 0 0 148 1 0 0 20 0 1 0 27504202 84000768 14104 33554432000 4194304 6201397 140734210458352 140734210457064 4213328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 20508 14104 146 491 0 20007 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82032

[startup+3.10028 s]
/proc/loadavg: 2.12 2.07 2.03 3/177 5713
/proc/meminfo: memFree=30768776/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=114088 CPUtime=3.09 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 3577 0 0 0 307 2 0 0 20 0 1 0 27504202 116826112 19234 33554432000 4194304 6201397 140734210458352 140734210457304 4213348 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 28522 19234 159 491 0 28021 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 114088

[startup+6.30027 s]
/proc/loadavg: 2.11 2.07 2.03 3/177 5713
/proc/meminfo: memFree=30737164/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=117040 CPUtime=6.29 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 6288 0 0 0 627 2 0 0 20 0 1 0 27504202 119848960 27711 33554432000 4194304 6201397 140734210458352 140734210457192 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 29260 27711 159 491 0 28759 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 117040

[startup+12.7003 s]
/proc/loadavg: 2.10 2.06 2.03 4/177 5713
/proc/meminfo: memFree=30722820/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=119380 CPUtime=12.69 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 6987 0 0 0 1266 3 0 0 20 0 1 0 27504202 122245120 28407 33554432000 4194304 6201397 140734210458352 140734210457064 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 29845 28407 165 491 0 29344 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 119380

[startup+25.5004 s]
/proc/loadavg: 2.08 2.06 2.03 3/177 5713
/proc/meminfo: memFree=30693364/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=174500 CPUtime=25.48 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 8982 0 0 0 2545 3 0 0 20 0 1 0 27504202 178688000 35691 33554432000 4194304 6201397 140734210458352 140734210457304 4213394 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 43625 35691 165 491 0 43124 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 174500

[startup+51.1004 s]
/proc/loadavg: 2.05 2.05 2.03 3/177 5713
/proc/meminfo: memFree=30633552/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=264004 CPUtime=51.09 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 12133 0 0 0 5104 5 0 0 20 0 1 0 27504202 270340096 50636 33554432000 4194304 6201397 140734210458352 140734210457304 4213170 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 66001 50636 165 491 0 65500 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 264004

[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.02 3/177 5714
/proc/meminfo: memFree=30573320/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=269536 CPUtime=102.27 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 15649 0 0 0 10221 6 0 0 20 0 1 0 27504202 276004864 65543 33554432000 4194304 6201397 140734210458352 140734210457304 4213365 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 67384 65543 165 491 0 66883 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 269536

[startup+162.3 s]
/proc/loadavg: 2.11 2.06 2.03 3/177 5716
/proc/meminfo: memFree=30497136/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=418128 CPUtime=162.26 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 20699 0 0 0 16218 8 0 0 20 0 1 0 27504202 428163072 84334 33554432000 4194304 6201397 140734210458352 140734210457304 4213328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 104532 84334 165 491 0 104031 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 418128

[startup+222.307 s]
/proc/loadavg: 2.18 2.08 2.03 3/178 5720
/proc/meminfo: memFree=30480500/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=427420 CPUtime=222.26 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 23387 0 0 0 22217 9 0 0 20 0 1 0 27504202 437678080 88272 33554432000 4194304 6201397 140734210458352 140734210457192 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 106855 88272 165 491 0 106354 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 427420

[startup+282.3 s]
/proc/loadavg: 2.12 2.08 2.03 3/178 5744
/proc/meminfo: memFree=30440688/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=433656 CPUtime=282.25 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 25300 0 0 0 28215 10 0 0 20 0 1 0 27504202 444063744 98014 33554432000 4194304 6201397 140734210458352 140734210457304 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 108414 98014 165 491 0 107913 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 433656

[startup+342.3 s]
/proc/loadavg: 2.08 2.08 2.03 3/177 5745
/proc/meminfo: memFree=30365244/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=651028 CPUtime=342.23 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 28143 0 0 0 34212 11 0 0 20 0 1 0 27504202 666652672 116763 33554432000 4194304 6201397 140734210458352 140734210457480 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 162757 116763 165 491 0 162256 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 651028

[startup+402.3 s]
/proc/loadavg: 2.13 2.09 2.04 3/177 5838
/proc/meminfo: memFree=30711320/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=654572 CPUtime=402.23 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 29403 0 0 0 40211 12 0 0 20 0 1 0 27504202 670281728 117660 33554432000 4194304 6201397 140734210458352 140734210457304 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 163643 117660 165 491 0 163142 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 654572

[startup+462.3 s]
/proc/loadavg: 2.08 2.09 2.04 3/177 5840
/proc/meminfo: memFree=30595492/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=658988 CPUtime=462.21 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 32373 0 0 0 46209 12 0 0 20 0 1 0 27504202 674803712 123490 33554432000 4194304 6201397 140734210458352 140734210457304 4213357 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 164747 123490 165 491 0 164246 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 658988

[startup+522.3 s]
/proc/loadavg: 2.11 2.10 2.04 3/177 5841
/proc/meminfo: memFree=30568188/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=662704 CPUtime=522.21 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 33402 0 0 0 52208 13 0 0 20 0 1 0 27504202 678608896 124493 33554432000 4194304 6201397 140734210458352 140734210457304 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 165676 124493 165 491 0 165175 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 662704

[startup+582.3 s]
/proc/loadavg: 2.10 2.10 2.05 3/177 5842
/proc/meminfo: memFree=30548712/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=666528 CPUtime=582.2 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 34368 0 0 0 58207 13 0 0 20 0 1 0 27504202 682524672 125970 33554432000 4194304 6201397 140734210458352 140734210457480 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 166632 125970 165 491 0 166131 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 666528


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


[startup+942.3 s]
/proc/loadavg: 2.02 2.07 2.04 3/177 5852
/proc/meminfo: memFree=30313668/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=688368 CPUtime=942.14 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 40463 0 0 0 94199 15 0 0 20 0 1 0 27504202 704888832 144948 33554432000 4194304 6201397 140734210458352 140734210457304 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 172092 144948 165 491 0 171591 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 688368

[startup+1002.3 s]
/proc/loadavg: 2.12 2.09 2.05 3/177 5853
/proc/meminfo: memFree=30307468/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=690108 CPUtime=1002.13 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 40875 0 0 0 100198 15 0 0 20 0 1 0 27504202 706670592 146382 33554432000 4194304 6201397 140734210458352 140734210457304 4213123 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 172527 146382 165 491 0 172026 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 690108

[startup+1062.3 s]
/proc/loadavg: 2.04 2.07 2.04 3/177 5855
/proc/meminfo: memFree=30299884/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=691336 CPUtime=1062.12 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 41234 0 0 0 106197 15 0 0 20 0 1 0 27504202 707928064 146673 33554432000 4194304 6201397 140734210458352 140734210457304 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 172834 146673 165 491 0 172333 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 691336

[startup+1122.3 s]
/proc/loadavg: 2.17 2.10 2.05 3/177 5856
/proc/meminfo: memFree=30242720/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=691456 CPUtime=1122.12 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 42707 0 0 0 112196 16 0 0 20 0 1 0 27504202 708050944 149778 33554432000 4194304 6201397 140734210458352 140734210457480 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 172864 149778 165 491 0 172363 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 691456

[startup+1182.3 s]
/proc/loadavg: 2.09 2.09 2.05 4/177 5857
/proc/meminfo: memFree=30183152/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=693172 CPUtime=1182.1 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 44031 0 0 0 118194 16 0 0 20 0 1 0 27504202 709808128 150198 33554432000 4194304 6201397 140734210458352 140734210457480 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 173293 150198 165 491 0 172792 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 693172

[startup+1242.3 s]
/proc/loadavg: 2.12 2.10 2.06 3/177 5858
/proc/meminfo: memFree=30001264/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=1043032 CPUtime=1242.1 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 57631 0 0 0 124188 22 0 0 20 0 1 0 27504202 1068064768 190435 33554432000 4194304 6201397 140734210458352 140734210457304 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 260758 190435 165 491 0 260257 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1043032

[startup+1302.3 s]
/proc/loadavg: 2.11 2.10 2.06 3/177 5859
/proc/meminfo: memFree=29908736/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=1043524 CPUtime=1302.09 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 69925 0 0 0 130184 25 0 0 20 0 1 0 27504202 1068568576 211550 33554432000 4194304 6201397 140734210458352 140734210457304 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 260881 211550 165 491 0 260380 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1043524

[startup+1362.3 s]
/proc/loadavg: 2.04 2.08 2.05 3/177 5861
/proc/meminfo: memFree=29892352/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=1043580 CPUtime=1362.08 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 76578 0 0 0 136182 26 0 0 20 0 1 0 27504202 1068625920 211561 33554432000 4194304 6201397 140734210458352 140734210457304 4213332 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 260895 211561 165 491 0 260394 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1043580

[startup+1422.3 s]
/proc/loadavg: 2.05 2.07 2.05 3/178 5865
/proc/meminfo: memFree=29891300/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=1043916 CPUtime=1422.07 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 77110 0 0 0 142181 26 0 0 20 0 1 0 27504202 1068969984 211734 33554432000 4194304 6201397 140734210458352 140734210457480 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 260979 211734 165 491 0 260478 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1043916

[startup+1482.3 s]
/proc/loadavg: 2.07 2.07 2.05 3/177 5866
/proc/meminfo: memFree=29863796/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=1044468 CPUtime=1482.05 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 83116 0 0 0 148178 27 0 0 20 0 1 0 27504202 1069535232 218547 33554432000 4194304 6201397 140734210458352 140734210457304 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 261117 218547 165 491 0 260616 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1044468

[startup+1542.31 s]
/proc/loadavg: 2.18 2.10 2.06 3/177 5867
/proc/meminfo: memFree=29861200/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=1046996 CPUtime=1542.05 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 84944 0 0 0 154177 28 0 0 20 0 1 0 27504202 1072123904 219165 33554432000 4194304 6201397 140734210458352 140734210456968 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 261749 219165 165 491 0 261248 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1046996

[startup+1602.3 s]
/proc/loadavg: 2.15 2.11 2.07 3/177 5868
/proc/meminfo: memFree=29858536/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=1049544 CPUtime=1602.04 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 85826 0 0 0 160175 29 0 0 20 0 1 0 27504202 1074733056 219758 33554432000 4194304 6201397 140734210458352 140734210457480 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 262386 219758 165 491 0 261885 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1049544

[startup+1662.3 s]
/proc/loadavg: 2.16 2.12 2.07 3/177 5870
/proc/meminfo: memFree=29858160/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=1050084 CPUtime=1662.03 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 85928 0 0 0 166174 29 0 0 20 0 1 0 27504202 1075286016 219860 33554432000 4194304 6201397 140734210458352 140734210457480 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 262521 219860 165 491 0 262020 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1050084

[startup+1722.3 s]
/proc/loadavg: 2.11 2.11 2.07 3/177 5871
/proc/meminfo: memFree=29857904/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=1050084 CPUtime=1722.02 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 85937 0 0 0 172173 29 0 0 20 0 1 0 27504202 1075286016 219924 33554432000 4194304 6201397 140734210458352 140734210457480 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 262521 219924 165 491 0 262020 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1050084

[startup+1782.3 s]
/proc/loadavg: 2.13 2.12 2.08 3/177 5872
/proc/meminfo: memFree=29856648/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=1050420 CPUtime=1782.02 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 87030 0 0 0 178173 29 0 0 20 0 1 0 27504202 1075630080 220102 33554432000 4194304 6201397 140734210458352 140734210457480 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 262605 220102 165 491 0 262104 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1050420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.24 2.14 2.08 3/177 5872
/proc/meminfo: memFree=29856900/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=1050644 CPUtime=1800.01 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 87106 0 0 0 179972 29 0 0 20 0 1 0 27504202 1075859456 220144 33554432000 4194304 6201397 140734210458352 140734210457304 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 262661 220144 165 491 0 262160 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1050644

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

[startup+1800.3 s]
/proc/loadavg: 2.24 2.14 2.08 3/177 5872
/proc/meminfo: memFree=29856900/32872528 swapFree=496868/529572
[pid=5712] ppid=5709 vsize=1050644 CPUtime=1800.01 cores=0,2,4,6
/proc/5712/stat : 5712 (cdcl-cuttingpla) R 5709 5712 2721 0 -1 4202496 87106 0 0 0 179972 29 0 0 20 0 1 0 27504202 1075859456 220144 33554432000 4194304 6201397 140734210458352 140734210457304 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5712/statm: 262661 220144 165 491 0 262160 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1050644

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.73
CPU system time (s): 0.292955
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 1050644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.292955
maximum resident set size= 880576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87106
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= 18
involuntary context switches= 1977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1845 second user time and 11.5922 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 14:56:28
IDJOB=4101744
IDBENCH=1788
IDSOLVER=2550
FILE ID=node141/4101744-1466254588
RUNJOBID= node141-1466229325-2737
PBS_JOBID= 19918173
Free space on /tmp= 71724 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear 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-aflow40b.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101744-1466254588/watcher-4101744-1466254588 -o /tmp/evaluation-result-4101744-1466254588/solver-4101744-1466254588 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466229325-2737 --watchdog 1960 --input HOME/instance-4101744-1466254588.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 4990a2601191ad55c4ad7d6303e4ded9
RANDOM SEED=669697932

node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
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:        30836824 kB
Buffers:          132336 kB
Cached:           183832 kB
SwapCached:         2528 kB
Active:           539668 kB
Inactive:         227252 kB
Active(anon):     451072 kB
Inactive(anon):     2028 kB
Active(file):      88596 kB
Inactive(file):   225224 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:              3516 kB
Writeback:             0 kB
AnonPages:        978628 kB
Mapped:             7784 kB
Shmem:                 0 kB
Slab:             607112 kB
SReclaimable:      50832 kB
SUnreclaim:       556280 kB
KernelStack:        1472 kB
PageTables:         6088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1128300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    473088 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= 71724 MiB
End job on node141 at 2016-06-18 15:26:28