Trace number 4087485

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT binary search 2016-05-01? (TO) 1800.08 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
MD5SUM20471e978018d28aed0ca16c46de4e3d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-50
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -51
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94226
Number of constraints which are clauses94226
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c OPTIONS:
0.00/0.01	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.09/0.11	c * #variable= 1272 #constraint= 94226
0.28/0.31	c * #variable= 1272 #constraint= 94226
1.79/1.80	c S1->S2
1.79/1.80	c S2->S1
1.79/1.80	c #Conflicts:       1000 | #Learnt:        752 | 0.000
1.79/1.80	c total clause space: 48.1602MB
1.79/1.80	c total #watches: 295587
6.88/6.93	c total #propagations: 61791 / total #impl: 111111 (eff. 0.556)
6.88/6.93	c #Conflicts:       2000 | #Learnt:       1752 | 0.000
6.88/6.93	c total clause space: 78.2603MB
6.88/6.93	c total #watches: 457094
12.48/12.53	c total #propagations: 129838 / total #impl: 246603 (eff. 0.527)
12.48/12.53	c GC COLLECT
12.48/12.53	c #Conflicts:       3000 | #Learnt:       1873 | 0.000
12.48/12.53	c total clause space: 78.2603MB
12.48/12.53	c total #watches: 460347
21.58/21.69	c total #propagations: 203575 / total #impl: 386994 (eff. 0.526)
21.58/21.69	c #Conflicts:       4000 | #Learnt:       2873 | 0.000
21.58/21.69	c total clause space: 127.173MB
21.58/21.69	c total #watches: 554476
29.37/29.47	c total #propagations: 280473 / total #impl: 525773 (eff. 0.533)
29.37/29.47	c GC COLLECT
29.37/29.47	c #Conflicts:       5000 | #Learnt:       2284 | 0.000
29.37/29.47	c total clause space: 127.173MB
29.37/29.47	c total #watches: 471791
39.08/39.19	c total #propagations: 348941 / total #impl: 661794 (eff. 0.527)
39.08/39.19	c #Conflicts:       6000 | #Learnt:       3284 | 0.000
39.08/39.19	c total clause space: 127.173MB
39.08/39.19	c total #watches: 582433
49.48/49.53	c total #propagations: 421793 / total #impl: 805102 (eff. 0.524)
49.48/49.53	c GC COLLECT
49.48/49.53	c #Conflicts:       7000 | #Learnt:       2183 | 0.000
49.48/49.53	c total clause space: 127.173MB
49.48/49.53	c total #watches: 441262
56.18/56.26	c total #propagations: 497858 / total #impl: 961018 (eff. 0.518)
56.18/56.26	c #Conflicts:       8000 | #Learnt:       3183 | 0.000
56.18/56.26	c total clause space: 127.173MB
56.18/56.26	c total #watches: 536153
67.57/67.66	c total #propagations: 581195 / total #impl: 1104104 (eff. 0.526)
67.57/67.66	c #Conflicts:       9000 | #Learnt:       4183 | 0.000
67.57/67.66	c total clause space: 127.173MB
67.57/67.66	c total #watches: 616333
80.57/80.61	c total #propagations: 660348 / total #impl: 1253310 (eff. 0.527)
80.57/80.61	c GC COLLECT
80.57/80.61	c #Conflicts:      10000 | #Learnt:       2681 | 0.000
80.57/80.61	c total clause space: 127.173MB
80.57/80.61	c total #watches: 430837
87.17/87.21	c total #propagations: 735471 / total #impl: 1416503 (eff. 0.519)
87.17/87.21	c #Conflicts:      11000 | #Learnt:       3681 | 0.000
87.17/87.21	c total clause space: 127.173MB
87.17/87.21	c total #watches: 540847
96.77/96.81	c total #propagations: 807536 / total #impl: 1558285 (eff. 0.518)
96.77/96.81	c #Conflicts:      12000 | #Learnt:       4681 | 0.000
96.77/96.81	c total clause space: 127.173MB
96.77/96.81	c total #watches: 617228
111.77/111.82	c total #propagations: 888137 / total #impl: 1715016 (eff. 0.518)
111.77/111.82	c #Conflicts:      13000 | #Learnt:       5681 | 0.000
111.77/111.82	c total clause space: 127.173MB
111.77/111.82	c total #watches: 689864
119.77/119.84	c total #propagations: 965319 / total #impl: 1857371 (eff. 0.520)
119.77/119.84	c GC COLLECT
119.77/119.84	c #Conflicts:      14000 | #Learnt:       3835 | 0.000
119.77/119.84	c total clause space: 127.173MB
119.77/119.84	c total #watches: 535680
131.47/131.50	c total #propagations: 1038112 / total #impl: 2003113 (eff. 0.518)
131.47/131.50	c #Conflicts:      15000 | #Learnt:       4835 | 0.000
131.47/131.50	c total clause space: 127.173MB
131.47/131.50	c total #watches: 578400
144.07/144.13	c total #propagations: 1123289 / total #impl: 2164368 (eff. 0.519)
144.07/144.13	c #Conflicts:      16000 | #Learnt:       5835 | 0.000
144.07/144.13	c total clause space: 127.173MB
144.07/144.13	c total #watches: 624446
156.36/156.49	c total #propagations: 1234075 / total #impl: 2384552 (eff. 0.518)
156.36/156.49	c GC COLLECT
156.36/156.49	c #Conflicts:      17000 | #Learnt:       3658 | 0.000
156.36/156.49	c total clause space: 127.173MB
156.36/156.49	c total #watches: 382794
161.77/161.85	c total #propagations: 1364374 / total #impl: 2685304 (eff. 0.508)
161.77/161.85	c #Conflicts:      18000 | #Learnt:       4658 | 0.000
161.77/161.85	c total clause space: 127.173MB
161.77/161.85	c total #watches: 419048
170.36/170.45	c total #propagations: 1471719 / total #impl: 2902795 (eff. 0.507)
170.36/170.45	c #Conflicts:      19000 | #Learnt:       5658 | 0.000
170.36/170.45	c total clause space: 127.173MB
170.36/170.45	c total #watches: 434415
178.17/178.24	c total #propagations: 1614743 / total #impl: 3216830 (eff. 0.502)
178.17/178.24	c #Conflicts:      20000 | #Learnt:       6658 | 0.000
178.17/178.24	c total clause space: 127.173MB
178.17/178.24	c total #watches: 453862
182.96/183.02	c total #propagations: 1739109 / total #impl: 3494807 (eff. 0.498)
182.96/183.02	c GC COLLECT
182.96/183.02	c #Conflicts:      21000 | #Learnt:       4170 | 0.000
182.96/183.02	c total clause space: 127.173MB
182.96/183.02	c total #watches: 324796
187.86/187.94	c total #propagations: 1825667 / total #impl: 3678868 (eff. 0.496)
187.86/187.94	c #Conflicts:      22000 | #Learnt:       5170 | 0.000
187.86/187.94	c total clause space: 127.173MB
187.86/187.94	c total #watches: 397636
192.26/192.34	c total #propagations: 1905111 / total #impl: 3832715 (eff. 0.497)
192.26/192.34	c #Conflicts:      23000 | #Learnt:       6170 | 0.000
192.26/192.34	c total clause space: 127.173MB
192.26/192.34	c total #watches: 503459
200.65/200.76	c total #propagations: 1981933 / total #impl: 3970998 (eff. 0.499)
200.65/200.76	c #Conflicts:      24000 | #Learnt:       7170 | 0.000
200.65/200.76	c total clause space: 206.656MB
200.65/200.76	c total #watches: 581274
210.25/210.31	c total #propagations: 2064808 / total #impl: 4129897 (eff. 0.500)
210.25/210.31	c GC COLLECT
210.25/210.31	c #Conflicts:      25000 | #Learnt:       4352 | 0.000
210.25/210.31	c total clause space: 206.656MB
210.25/210.31	c total #watches: 583195
223.45/223.56	c total #propagations: 2138774 / total #impl: 4273768 (eff. 0.500)
223.45/223.56	c #Conflicts:      26000 | #Learnt:       5352 | 0.000
223.45/223.56	c total clause space: 206.656MB
223.45/223.56	c total #watches: 650617
236.24/236.33	c total #propagations: 2216727 / total #impl: 4429108 (eff. 0.500)
236.24/236.33	c #Conflicts:      27000 | #Learnt:       6352 | 0.000
236.24/236.33	c total clause space: 206.656MB
236.24/236.33	c total #watches: 733716
256.45/256.59	c total #propagations: 2296812 / total #impl: 4583996 (eff. 0.501)
256.45/256.59	c #Conflicts:      28000 | #Learnt:       7352 | 0.000
256.45/256.59	c total clause space: 206.656MB
256.45/256.59	c total #watches: 762913
272.94/273.00	c total #propagations: 2394763 / total #impl: 4762028 (eff. 0.503)
272.94/273.00	c GC COLLECT
272.94/273.00	c #Conflicts:      29000 | #Learnt:       4246 | 0.000
272.94/273.00	c total clause space: 206.656MB
272.94/273.00	c total #watches: 447292
280.34/280.42	c total #propagations: 2489348 / total #impl: 4958427 (eff. 0.502)
280.34/280.42	c #Conflicts:      30000 | #Learnt:       5246 | 0.000
280.34/280.42	c total clause space: 206.656MB
280.34/280.42	c total #watches: 491285
289.35/289.43	c total #propagations: 2570766 / total #impl: 5131958 (eff. 0.501)
289.35/289.43	c #Conflicts:      31000 | #Learnt:       6246 | 0.000
289.35/289.43	c total clause space: 206.656MB
289.35/289.43	c total #watches: 592785
301.35/301.48	c total #propagations: 2642769 / total #impl: 5274808 (eff. 0.501)
301.35/301.48	c #Conflicts:      32000 | #Learnt:       7246 | 0.000
301.35/301.48	c total clause space: 206.656MB
301.35/301.48	c total #watches: 679702
316.53/316.68	c total #propagations: 2720984 / total #impl: 5421926 (eff. 0.502)
316.53/316.68	c #Conflicts:      33000 | #Learnt:       8246 | 0.000
316.53/316.68	c total clause space: 206.656MB
316.53/316.68	c total #watches: 777067
332.14/332.27	c total #propagations: 2804156 / total #impl: 5583151 (eff. 0.502)
332.14/332.27	c GC COLLECT
332.14/332.27	c #Conflicts:      34000 | #Learnt:       4820 | 0.000
332.14/332.27	c total clause space: 206.656MB
332.14/332.27	c total #watches: 622248
348.03/348.19	c total #propagations: 2878464 / total #impl: 5732090 (eff. 0.502)
348.03/348.19	c #Conflicts:      35000 | #Learnt:       5820 | 0.000
348.03/348.19	c total clause space: 206.656MB
348.03/348.19	c total #watches: 666347
366.63/366.79	c total #propagations: 2961767 / total #impl: 5884201 (eff. 0.503)
366.63/366.79	c #Conflicts:      36000 | #Learnt:       6820 | 0.000
366.63/366.79	c total clause space: 206.656MB
366.63/366.79	c total #watches: 697563
390.12/390.20	c total #propagations: 3052294 / total #impl: 6054511 (eff. 0.504)
390.12/390.20	c #Conflicts:      37000 | #Learnt:       7820 | 0.000
390.12/390.20	c total clause space: 206.656MB
390.12/390.20	c total #watches: 719490
414.22/414.40	c total #propagations: 3189501 / total #impl: 6365837 (eff. 0.501)
414.22/414.40	c #Conflicts:      38000 | #Learnt:       8820 | 0.000
414.22/414.40	c total clause space: 206.656MB
414.22/414.40	c total #watches: 741299
432.51/432.62	c total #propagations: 3345039 / total #impl: 6780800 (eff. 0.493)
432.51/432.62	c GC COLLECT
432.51/432.62	c #Conflicts:      39000 | #Learnt:       5116 | 0.000
432.51/432.62	c total clause space: 206.656MB
432.51/432.62	c total #watches: 356382
439.31/439.43	c total #propagations: 3493622 / total #impl: 7173137 (eff. 0.487)
439.31/439.43	c #Conflicts:      40000 | #Learnt:       6116 | 0.000
439.31/439.43	c total clause space: 206.656MB
439.31/439.43	c total #watches: 376306
444.61/444.70	c total #propagations: 3645153 / total #impl: 7535946 (eff. 0.484)
444.61/444.70	c #Conflicts:      41000 | #Learnt:       7116 | 0.000
444.61/444.70	c total clause space: 206.656MB
444.61/444.70	c total #watches: 426446
450.11/450.20	c total #propagations: 3755733 / total #impl: 7801282 (eff. 0.481)
450.11/450.20	c #Conflicts:      42000 | #Learnt:       8116 | 0.000
450.11/450.20	c total clause space: 206.656MB
450.11/450.20	c total #watches: 473396
459.82/459.98	c total #propagations: 3848811 / total #impl: 7958112 (eff. 0.484)
459.82/459.98	c #Conflicts:      43000 | #Learnt:       9116 | 0.000
459.82/459.98	c total clause space: 206.656MB
459.82/459.98	c total #watches: 505620
467.42/467.54	c total #propagations: 3974170 / total #impl: 8229548 (eff. 0.483)
467.42/467.54	c GC COLLECT
467.42/467.54	c #Conflicts:      44000 | #Learnt:       5107 | 0.000
467.42/467.54	c total clause space: 206.656MB
467.42/467.54	c total #watches: 365219
471.51/471.65	c total #propagations: 4071987 / total #impl: 8465028 (eff. 0.481)
471.51/471.65	c #Conflicts:      45000 | #Learnt:       6107 | 0.000
471.51/471.65	c total clause space: 206.656MB
471.51/471.65	c total #watches: 429468
480.11/480.29	c total #propagations: 4153904 / total #impl: 8614795 (eff. 0.482)
480.11/480.29	c #Conflicts:      46000 | #Learnt:       7107 | 0.000
480.11/480.29	c total clause space: 206.656MB
480.11/480.29	c total #watches: 456637
486.41/486.56	c total #propagations: 4289811 / total #impl: 8929531 (eff. 0.480)
486.41/486.56	c #Conflicts:      47000 | #Learnt:       8107 | 0.000
486.41/486.56	c total clause space: 206.656MB
486.41/486.56	c total #watches: 557606
497.70/497.85	c total #propagations: 4366443 / total #impl: 9076352 (eff. 0.481)
497.70/497.85	c #Conflicts:      48000 | #Learnt:       9107 | 0.000
497.70/497.85	c total clause space: 206.656MB
497.70/497.85	c total #watches: 617264
506.80/506.99	c total #propagations: 4444693 / total #impl: 9229401 (eff. 0.482)
506.80/506.99	c #Conflicts:      49000 | #Learnt:      10107 | 0.000
506.80/506.99	c total clause space: 206.656MB
506.80/506.99	c total #watches: 727976
516.80/516.92	c total #propagations: 4519593 / total #impl: 9368113 (eff. 0.482)
516.80/516.92	c GC COLLECT
516.80/516.92	c #Conflicts:      50000 | #Learnt:       5789 | 0.000
516.80/516.92	c total clause space: 206.656MB
516.80/516.92	c total #watches: 457894
524.30/524.46	c total #propagations: 4589900 / total #impl: 9508530 (eff. 0.483)
524.30/524.46	c #Conflicts:      51000 | #Learnt:       6789 | 0.000
524.30/524.46	c total clause space: 206.656MB
524.30/524.46	c total #watches: 530546
534.40/534.60	c total #propagations: 4667446 / total #impl: 9664629 (eff. 0.483)
534.40/534.60	c #Conflicts:      52000 | #Learnt:       7789 | 0.000
534.40/534.60	c total clause space: 206.656MB
534.40/534.60	c total #watches: 599495
545.80/545.98	c total #propagations: 4743861 / total #impl: 9810701 (eff. 0.484)
545.80/545.98	c #Conflicts:      53000 | #Learnt:       8789 | 0.000
545.80/545.98	c total clause space: 206.656MB
545.80/545.98	c total #watches: 642812
556.99/557.11	c total #propagations: 4842174 / total #impl: 9996552 (eff. 0.484)
556.99/557.11	c #Conflicts:      54000 | #Learnt:       9789 | 0.000
556.99/557.11	c total clause space: 206.656MB
556.99/557.11	c total #watches: 665248
569.99/570.12	c total #propagations: 4947322 / total #impl: 10201659 (eff. 0.485)
569.99/570.12	c #Conflicts:      55000 | #Learnt:      10789 | 0.000
569.99/570.12	c total clause space: 206.656MB
569.99/570.12	c total #watches: 723758
578.79/578.92	c total #propagations: 5026123 / total #impl: 10364019 (eff. 0.485)
578.79/578.92	c GC COLLECT
578.79/578.92	c #Conflicts:      56000 | #Learnt:       6152 | 0.000
578.79/578.92	c total clause space: 206.656MB
578.79/578.92	c total #watches: 510388
587.69/587.80	c total #propagations: 5099775 / total #impl: 10533945 (eff. 0.484)
587.69/587.80	c #Conflicts:      57000 | #Learnt:       7152 | 0.000
587.69/587.80	c total clause space: 206.656MB
587.69/587.80	c total #watches: 600760
597.99/598.20	c total #propagations: 5171932 / total #impl: 10673491 (eff. 0.485)
597.99/598.20	c #Conflicts:      58000 | #Learnt:       8152 | 0.000
597.99/598.20	c total clause space: 206.656MB
597.99/598.20	c total #watches: 697441
613.89/614.06	c total #propagations: 5248509 / total #impl: 10820573 (eff. 0.485)
613.89/614.06	c #Conflicts:      59000 | #Learnt:       9152 | 0.000
613.89/614.06	c total clause space: 206.656MB
613.89/614.06	c total #watches: 794892
634.09/634.25	c total #propagations: 5321312 / total #impl: 10958784 (eff. 0.486)
634.09/634.25	c #Conflicts:      60000 | #Learnt:      10152 | 0.000
634.09/634.25	c total clause space: 206.656MB
634.09/634.25	c total #watches: 850325
650.49/650.67	c total #propagations: 5403527 / total #impl: 11121817 (eff. 0.486)
650.49/650.67	c #Conflicts:      61000 | #Learnt:      11152 | 0.000
650.49/650.67	c total clause space: 206.656MB
650.49/650.67	c total #watches: 926882
666.78/666.95	c total #propagations: 5485656 / total #impl: 11271868 (eff. 0.487)
666.78/666.95	c GC COLLECT
666.78/666.95	c #Conflicts:      62000 | #Learnt:       6236 | 0.000
666.78/666.95	c total clause space: 335.816MB
666.78/666.95	c total #watches: 531145
675.88/676.00	c total #propagations: 5564914 / total #impl: 11422537 (eff. 0.487)
675.88/676.00	c #Conflicts:      63000 | #Learnt:       7236 | 0.000
675.88/676.00	c total clause space: 335.816MB
675.88/676.00	c total #watches: 612210
686.38/686.51	c total #propagations: 5645694 / total #impl: 11575832 (eff. 0.488)
686.38/686.51	c #Conflicts:      64000 | #Learnt:       8236 | 0.000
686.38/686.51	c total clause space: 335.816MB
686.38/686.51	c total #watches: 653128
698.97/699.13	c total #propagations: 5738065 / total #impl: 11730695 (eff. 0.489)
698.97/699.13	c #Conflicts:      65000 | #Learnt:       9236 | 0.000
698.97/699.13	c total clause space: 335.816MB
698.97/699.13	c total #watches: 662846
712.57/712.77	c total #propagations: 5878357 / total #impl: 11991248 (eff. 0.490)
712.57/712.77	c #Conflicts:      66000 | #Learnt:      10236 | 0.000
712.57/712.77	c total clause space: 335.816MB
712.57/712.77	c total #watches: 730870
728.47/728.63	c total #propagations: 5985364 / total #impl: 12229067 (eff. 0.489)
728.47/728.63	c #Conflicts:      67000 | #Learnt:      11236 | 0.000
728.47/728.63	c total clause space: 335.816MB
728.47/728.63	c total #watches: 794330
746.47/746.66	c total #propagations: 6062830 / total #impl: 12376364 (eff. 0.490)
746.47/746.66	c #Conflicts:      68000 | #Learnt:      12236 | 0.000
746.47/746.66	c total clause space: 335.816MB
746.47/746.66	c total #watches: 899332
758.37/758.57	c total #propagations: 6131926 / total #impl: 12512663 (eff. 0.490)
758.37/758.57	c GC COLLECT
758.37/758.57	c #Conflicts:      69000 | #Learnt:       7026 | 0.000
758.37/758.57	c total clause space: 335.816MB
758.37/758.57	c total #watches: 584037
769.97/770.18	c total #propagations: 6210674 / total #impl: 12664024 (eff. 0.490)
769.97/770.18	c #Conflicts:      70000 | #Learnt:       8026 | 0.000
769.97/770.18	c total clause space: 335.816MB
769.97/770.18	c total #watches: 685425
783.66/783.82	c total #propagations: 6285232 / total #impl: 12806682 (eff. 0.491)
783.66/783.82	c #Conflicts:      71000 | #Learnt:       9026 | 0.000
783.66/783.82	c total clause space: 335.816MB
783.66/783.82	c total #watches: 829301
800.67/800.84	c total #propagations: 6352595 / total #impl: 12937762 (eff. 0.491)
800.67/800.84	c #Conflicts:      72000 | #Learnt:      10026 | 0.000
800.67/800.84	c total clause space: 335.816MB
800.67/800.84	c total #watches: 935833
821.25/821.44	c total #propagations: 6423904 / total #impl: 13075924 (eff. 0.491)
821.25/821.44	c #Conflicts:      73000 | #Learnt:      11026 | 0.000
821.25/821.44	c total clause space: 335.816MB
821.25/821.44	c total #watches: 997419
850.55/850.76	c total #propagations: 6505919 / total #impl: 13224530 (eff. 0.492)
850.55/850.76	c #Conflicts:      74000 | #Learnt:      12026 | 0.000
850.55/850.76	c total clause space: 335.816MB
850.55/850.76	c total #watches: 1051969
876.56/876.77	c total #propagations: 6607572 / total #impl: 13415893 (eff. 0.493)
876.56/876.77	c #Conflicts:      75000 | #Learnt:      13026 | 0.000
876.56/876.77	c total clause space: 335.816MB
876.56/876.77	c total #watches: 1143732
889.55/889.79	c total #propagations: 6689179 / total #impl: 13572446 (eff. 0.493)
889.55/889.79	c GC COLLECT
889.55/889.79	c #Conflicts:      76000 | #Learnt:       7509 | 0.000
889.55/889.79	c total clause space: 335.816MB
889.55/889.79	c total #watches: 634949
901.55/901.78	c total #propagations: 6763673 / total #impl: 13719881 (eff. 0.493)
901.55/901.78	c #Conflicts:      77000 | #Learnt:       8509 | 0.000
901.55/901.78	c total clause space: 335.816MB
901.55/901.78	c total #watches: 654790
913.45/913.66	c total #propagations: 6864565 / total #impl: 13918863 (eff. 0.493)
913.45/913.66	c #Conflicts:      78000 | #Learnt:       9509 | 0.000
913.45/913.66	c total clause space: 335.816MB
913.45/913.66	c total #watches: 753715
930.14/930.35	c total #propagations: 6939315 / total #impl: 14073116 (eff. 0.493)
930.14/930.35	c #Conflicts:      79000 | #Learnt:      10509 | 0.000
930.14/930.35	c total clause space: 335.816MB
930.14/930.35	c total #watches: 872338
953.94/954.14	c total #propagations: 7011653 / total #impl: 14216899 (eff. 0.493)
953.94/954.14	c #Conflicts:      80000 | #Learnt:      11509 | 0.000
953.94/954.14	c total clause space: 335.816MB
953.94/954.14	c total #watches: 941521
979.14/979.39	c total #propagations: 7085795 / total #impl: 14361919 (eff. 0.493)
979.14/979.39	c #Conflicts:      81000 | #Learnt:      12509 | 0.000
979.14/979.39	c total clause space: 335.816MB
979.14/979.39	c total #watches: 986761
1002.93/1003.15	c total #propagations: 7176638 / total #impl: 14552839 (eff. 0.493)
1002.93/1003.15	c #Conflicts:      82000 | #Learnt:      13509 | 0.000
1002.93/1003.15	c total clause space: 335.816MB
1002.93/1003.15	c total #watches: 1030283
1013.83/1014.03	c total #propagations: 7267522 / total #impl: 14713289 (eff. 0.494)
1013.83/1014.03	c GC COLLECT
1013.83/1014.03	c #Conflicts:      83000 | #Learnt:       7698 | 0.000
1013.83/1014.03	c total clause space: 335.816MB
1013.83/1014.03	c total #watches: 650192
1024.43/1024.60	c total #propagations: 7348608 / total #impl: 14863483 (eff. 0.494)
1024.43/1024.60	c #Conflicts:      84000 | #Learnt:       8698 | 0.000
1024.43/1024.60	c total clause space: 335.816MB
1024.43/1024.60	c total #watches: 682806
1038.13/1038.40	c total #propagations: 7446688 / total #impl: 15032024 (eff. 0.495)
1038.13/1038.40	c #Conflicts:      85000 | #Learnt:       9698 | 0.000
1038.13/1038.40	c total clause space: 335.816MB
1038.13/1038.40	c total #watches: 694390
1053.82/1054.00	c total #propagations: 7572904 / total #impl: 15362218 (eff. 0.493)
1053.82/1054.00	c #Conflicts:      86000 | #Learnt:      10698 | 0.000
1053.82/1054.00	c total clause space: 335.816MB
1053.82/1054.00	c total #watches: 711144
1073.02/1073.26	c total #propagations: 7692328 / total #impl: 15741439 (eff. 0.489)
1073.02/1073.26	c #Conflicts:      87000 | #Learnt:      11698 | 0.000
1073.02/1073.26	c total clause space: 335.816MB
1073.02/1073.26	c total #watches: 740934
1092.62/1092.89	c total #propagations: 7817216 / total #impl: 16125304 (eff. 0.485)
1092.62/1092.89	c #Conflicts:      88000 | #Learnt:      12698 | 0.000
1092.62/1092.89	c total clause space: 335.816MB
1092.62/1092.89	c total #watches: 756815
1116.32/1116.55	c total #propagations: 7952252 / total #impl: 16443034 (eff. 0.484)
1116.32/1116.55	c #Conflicts:      89000 | #Learnt:      13698 | 0.000
1116.32/1116.55	c total clause space: 335.816MB
1116.32/1116.55	c total #watches: 778760
1132.71/1132.99	c total #propagations: 8091542 / total #impl: 16754189 (eff. 0.483)
1132.71/1132.99	c GC COLLECT
1132.71/1132.99	c #Conflicts:      90000 | #Learnt:       7592 | 0.000
1132.71/1132.99	c total clause space: 335.816MB
1132.71/1132.99	c total #watches: 669446
1143.61/1143.83	c total #propagations: 8194521 / total #impl: 16978316 (eff. 0.483)
1143.61/1143.83	c #Conflicts:      91000 | #Learnt:       8592 | 0.000
1143.61/1143.83	c total clause space: 335.816MB
1143.61/1143.83	c total #watches: 717317
1161.11/1161.35	c total #propagations: 8290931 / total #impl: 17137963 (eff. 0.484)
1161.11/1161.35	c #Conflicts:      92000 | #Learnt:       9592 | 0.000
1161.11/1161.35	c total clause space: 335.816MB
1161.11/1161.35	c total #watches: 748858
1182.00/1182.29	c total #propagations: 8376295 / total #impl: 17294570 (eff. 0.484)
1182.00/1182.29	c #Conflicts:      93000 | #Learnt:      10592 | 0.000
1182.00/1182.29	c total clause space: 335.816MB
1182.00/1182.29	c total #watches: 778355
1206.89/1207.14	c total #propagations: 8474966 / total #impl: 17493266 (eff. 0.484)
1206.89/1207.14	c #Conflicts:      94000 | #Learnt:      11592 | 0.000
1206.89/1207.14	c total clause space: 335.816MB
1206.89/1207.14	c total #watches: 797315
1230.18/1230.43	c total #propagations: 8584457 / total #impl: 17742329 (eff. 0.484)
1230.18/1230.43	c #Conflicts:      95000 | #Learnt:      12592 | 0.000
1230.18/1230.43	c total clause space: 335.816MB
1230.18/1230.43	c total #watches: 815384
1253.67/1253.90	c total #propagations: 8701131 / total #impl: 17987316 (eff. 0.484)
1253.67/1253.90	c #Conflicts:      96000 | #Learnt:      13592 | 0.000
1253.67/1253.90	c total clause space: 335.816MB
1253.67/1253.90	c total #watches: 830615
1278.35/1278.67	c total #propagations: 8819782 / total #impl: 18232863 (eff. 0.484)
1278.35/1278.67	c #Conflicts:      97000 | #Learnt:      14592 | 0.000
1278.35/1278.67	c total clause space: 335.816MB
1278.35/1278.67	c total #watches: 846144
1295.05/1295.38	c total #propagations: 8937117 / total #impl: 18502550 (eff. 0.483)
1295.05/1295.38	c GC COLLECT
1295.05/1295.38	c #Conflicts:      98000 | #Learnt:       8196 | 0.000
1295.05/1295.38	c total clause space: 335.816MB
1295.05/1295.38	c total #watches: 674711
1305.95/1306.20	c total #propagations: 9014413 / total #impl: 18654774 (eff. 0.483)
1305.95/1306.20	c #Conflicts:      99000 | #Learnt:       9196 | 0.000
1305.95/1306.20	c total clause space: 335.816MB
1305.95/1306.20	c total #watches: 762241
1322.05/1322.35	c total #propagations: 9093819 / total #impl: 18800447 (eff. 0.484)
1322.05/1322.35	c #Conflicts:     100000 | #Learnt:      10196 | 0.000
1322.05/1322.35	c total clause space: 335.816MB
1322.05/1322.35	c total #watches: 792649
1341.75/1342.09	c total #propagations: 9192116 / total #impl: 18983005 (eff. 0.484)
1341.75/1342.09	c #Conflicts:     101000 | #Learnt:      11196 | 0.000
1341.75/1342.09	c total clause space: 335.816MB
1341.75/1342.09	c total #watches: 812063
1359.64/1359.94	c total #propagations: 9305244 / total #impl: 19218843 (eff. 0.484)
1359.64/1359.94	c #Conflicts:     102000 | #Learnt:      12196 | 0.000
1359.64/1359.94	c total clause space: 335.816MB
1359.64/1359.94	c total #watches: 834292
1381.34/1381.70	c total #propagations: 9405459 / total #impl: 19402419 (eff. 0.485)
1381.34/1381.70	c #Conflicts:     103000 | #Learnt:      13196 | 0.000
1381.34/1381.70	c total clause space: 335.816MB
1381.34/1381.70	c total #watches: 847237
1407.43/1407.73	c total #propagations: 9540894 / total #impl: 19678247 (eff. 0.485)
1407.43/1407.73	c #Conflicts:     104000 | #Learnt:      14196 | 0.000
1407.43/1407.73	c total clause space: 335.816MB
1407.43/1407.73	c total #watches: 867862
1428.63/1428.91	c total #propagations: 9679155 / total #impl: 19998258 (eff. 0.484)
1428.63/1428.91	c #Conflicts:     105000 | #Learnt:      15196 | 0.000
1428.63/1428.91	c total clause space: 335.816MB
1428.63/1428.91	c total #watches: 934555
1441.43/1441.78	c total #propagations: 9779438 / total #impl: 20211946 (eff. 0.484)
1441.43/1441.78	c GC COLLECT
1441.43/1441.78	c #Conflicts:     106000 | #Learnt:       8482 | 0.000
1441.43/1441.78	c total clause space: 335.816MB
1441.43/1441.78	c total #watches: 749921
1456.02/1456.30	c total #propagations: 9854767 / total #impl: 20360896 (eff. 0.484)
1456.02/1456.30	c #Conflicts:     107000 | #Learnt:       9482 | 0.000
1456.02/1456.30	c total clause space: 335.816MB
1456.02/1456.30	c total #watches: 861577
1481.22/1481.53	c total #propagations: 9933532 / total #impl: 20509818 (eff. 0.484)
1481.22/1481.53	c #Conflicts:     108000 | #Learnt:      10482 | 0.000
1481.22/1481.53	c total clause space: 335.816MB
1481.22/1481.53	c total #watches: 907500
1502.22/1502.50	c total #propagations: 10016234 / total #impl: 20664077 (eff. 0.485)
1502.22/1502.50	c #Conflicts:     109000 | #Learnt:      11482 | 0.000
1502.22/1502.50	c total clause space: 335.816MB
1502.22/1502.50	c total #watches: 1010074
1530.51/1530.83	c total #propagations: 10089416 / total #impl: 20813178 (eff. 0.485)
1530.51/1530.83	c #Conflicts:     110000 | #Learnt:      12482 | 0.000
1530.51/1530.83	c total clause space: 335.816MB
1530.51/1530.83	c total #watches: 1082480
1556.61/1556.92	c total #propagations: 10161260 / total #impl: 20956489 (eff. 0.485)
1556.61/1556.92	c #Conflicts:     111000 | #Learnt:      13482 | 0.000
1556.61/1556.92	c total clause space: 335.816MB
1556.61/1556.92	c total #watches: 1156655
1597.01/1597.34	c total #propagations: 10239876 / total #impl: 21097718 (eff. 0.485)
1597.01/1597.34	c #Conflicts:     112000 | #Learnt:      14482 | 0.000
1597.01/1597.34	c total clause space: 335.816MB
1597.01/1597.34	c total #watches: 1182498
1632.70/1633.05	c total #propagations: 10342028 / total #impl: 21292352 (eff. 0.486)
1632.70/1633.05	c #Conflicts:     113000 | #Learnt:      15482 | 0.000
1632.70/1633.05	c total clause space: 335.816MB
1632.70/1633.05	c total #watches: 1263372
1659.39/1659.79	c total #propagations: 10435089 / total #impl: 21494293 (eff. 0.485)
1659.39/1659.79	c GC COLLECT
1659.39/1659.79	c #Conflicts:     114000 | #Learnt:       8472 | 0.000
1659.39/1659.79	c total clause space: 335.816MB
1659.39/1659.79	c total #watches: 708194
1673.69/1674.02	c total #propagations: 10512225 / total #impl: 21648108 (eff. 0.486)
1673.69/1674.02	c #Conflicts:     115000 | #Learnt:       9472 | 0.000
1673.69/1674.02	c total clause space: 335.816MB
1673.69/1674.02	c total #watches: 830608
1694.09/1694.40	c total #propagations: 10580693 / total #impl: 21784645 (eff. 0.486)
1694.09/1694.40	c #Conflicts:     116000 | #Learnt:      10472 | 0.000
1694.09/1694.40	c total clause space: 335.816MB
1694.09/1694.40	c total #watches: 893028
1720.38/1720.77	c total #propagations: 10659018 / total #impl: 21942009 (eff. 0.486)
1720.38/1720.77	c #Conflicts:     117000 | #Learnt:      11472 | 0.000
1720.38/1720.77	c total clause space: 335.816MB
1720.38/1720.77	c total #watches: 928331
1748.08/1748.49	c total #propagations: 10741678 / total #impl: 22117344 (eff. 0.486)
1748.08/1748.49	c #Conflicts:     118000 | #Learnt:      12472 | 0.000
1748.08/1748.49	c total clause space: 335.816MB
1748.08/1748.49	c total #watches: 979531
1772.28/1772.63	c total #propagations: 10820271 / total #impl: 22294792 (eff. 0.485)
1772.28/1772.63	c #Conflicts:     119000 | #Learnt:      13472 | 0.000
1772.28/1772.63	c total clause space: 335.816MB
1772.28/1772.63	c total #watches: 1054161
1796.57/1796.91	c total #propagations: 10897319 / total #impl: 22442571 (eff. 0.486)
1796.57/1796.91	c #Conflicts:     120000 | #Learnt:      14472 | 0.000
1796.57/1796.91	c total clause space: 335.816MB
1796.57/1796.91	c total #watches: 1116473

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-4087485-1465409580/watcher-4087485-1465409580 -o /tmp/evaluation-result-4087485-1465409580/solver-4087485-1465409580 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465387701-7080 --watchdog 1960 --input HOME/instance-4087485-1465409580.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=9532
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.31 2.29 2.24 3/176 9535
/proc/meminfo: memFree=29949064/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 253 0 0 0 0 0 0 0 20 0 1 0 122891224 57319424 5755 33554432000 4194304 6211289 140737444057984 140734637939864 4206563 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9535/statm: 13994 5755 98 493 0 13491 0

[startup+0.100118 s]
/proc/loadavg: 2.31 2.29 2.24 3/176 9535
/proc/meminfo: memFree=29949064/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=58728 CPUtime=0.09 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 1463 0 0 0 8 1 0 0 20 0 1 0 122891224 60137472 11451 33554432000 4194304 6211289 140737444057984 140734637939864 5101851 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/9535/statm: 14682 11451 121 493 0 14179 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 58728

[startup+0.200297 s]
/proc/loadavg: 2.31 2.29 2.24 3/176 9535
/proc/meminfo: memFree=29949064/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=69396 CPUtime=0.19 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 3204 0 0 0 18 1 0 0 20 0 1 0 122891224 71061504 15236 33554432000 4194304 6211289 140737444057984 140734637939864 4763280 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/9535/statm: 17349 15236 143 493 0 16846 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 69396

[startup+0.300302 s]
/proc/loadavg: 2.31 2.29 2.24 3/176 9535
/proc/meminfo: memFree=29949064/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=82488 CPUtime=0.28 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 4408 0 0 0 27 1 0 0 20 0 1 0 122891224 84467712 17462 33554432000 4194304 6211289 140737444057984 140734637939864 4767728 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/9535/statm: 20622 17462 143 493 0 20119 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 82488

[startup+0.700224 s]
/proc/loadavg: 2.31 2.29 2.24 3/176 9535
/proc/meminfo: memFree=29949064/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=115960 CPUtime=0.68 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 8227 0 0 0 66 2 0 0 20 0 1 0 122891224 118743040 25757 33554432000 4194304 6211289 140737444057984 140737444056216 4209304 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/9535/statm: 28990 25757 204 493 0 28487 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 115960

[startup+1.50025 s]
/proc/loadavg: 2.31 2.29 2.24 3/177 9536
/proc/meminfo: memFree=29841152/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=135480 CPUtime=1.49 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 8645 0 0 0 146 3 0 0 20 0 1 0 122891224 138731520 28137 33554432000 4194304 6211289 140737444057984 140737444055896 4209314 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/9535/statm: 33870 28137 204 493 0 33367 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135480

[startup+3.10019 s]
/proc/loadavg: 2.31 2.29 2.24 3/177 9536
/proc/meminfo: memFree=29828928/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=168020 CPUtime=3.08 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 9477 0 0 0 305 3 0 0 20 0 1 0 122891224 172052480 31415 33554432000 4194304 6211289 140737444057984 140737444055896 4209882 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/9535/statm: 42005 31415 214 493 0 41502 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 168020

[startup+6.30019 s]
/proc/loadavg: 2.28 2.29 2.24 3/177 9536
/proc/meminfo: memFree=29810120/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=171696 CPUtime=6.29 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 10379 0 0 0 625 4 0 0 20 0 1 0 122891224 175816704 35894 33554432000 4194304 6211289 140737444057984 140737444055896 4209322 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/9535/statm: 42924 35894 214 493 0 42421 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 171696

[startup+12.7003 s]
/proc/loadavg: 2.34 2.30 2.24 3/177 9536
/proc/meminfo: memFree=29798744/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=173200 CPUtime=12.68 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 11837 0 0 0 1264 4 0 0 20 0 1 0 122891224 177356800 37527 33554432000 4194304 6211289 140737444057984 140737444055896 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 43300 37527 219 493 0 42797 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 173200

[startup+25.5003 s]
/proc/loadavg: 2.42 2.31 2.25 3/177 9536
/proc/meminfo: memFree=29773384/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=224644 CPUtime=25.48 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 13009 0 0 0 2544 4 0 0 20 0 1 0 122891224 230035456 43940 33554432000 4194304 6211289 140737444057984 140737444055976 4209244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 56161 43940 219 493 0 55658 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 224644

[startup+51.1004 s]
/proc/loadavg: 2.34 2.30 2.25 3/177 9536
/proc/meminfo: memFree=29747948/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=229376 CPUtime=51.08 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 14103 0 0 0 5103 5 0 0 20 0 1 0 122891224 234881024 50144 33554432000 4194304 6211289 140737444057984 140737444056328 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 57344 50144 219 493 0 56841 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 229376

[startup+102.3 s]
/proc/loadavg: 2.45 2.33 2.26 3/177 9538
/proc/meminfo: memFree=29723344/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=233108 CPUtime=102.27 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 15056 0 0 0 10222 5 0 0 20 0 1 0 122891224 238702592 54163 33554432000 4194304 6211289 140737444057984 140737444055848 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 58277 54163 219 493 0 57774 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 233108

[startup+162.3 s]
/proc/loadavg: 2.29 2.30 2.25 3/177 9539
/proc/meminfo: memFree=29701136/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=233396 CPUtime=162.26 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 15238 0 0 0 16220 6 0 0 20 0 1 0 122891224 238997504 55367 33554432000 4194304 6211289 140737444057984 140737444056328 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 58349 55367 219 493 0 57846 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 233396

[startup+222.307 s]
/proc/loadavg: 2.32 2.31 2.26 4/177 9540
/proc/meminfo: memFree=29670668/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=314928 CPUtime=222.25 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 16071 0 0 0 22219 6 0 0 20 0 1 0 122891224 322486272 59298 33554432000 4194304 6211289 140737444057984 140737444056328 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 78732 59298 219 493 0 78229 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 314928

[startup+282.3 s]
/proc/loadavg: 2.23 2.28 2.25 3/177 9541
/proc/meminfo: memFree=29625864/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=315536 CPUtime=282.24 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 16516 0 0 0 28217 7 0 0 20 0 1 0 122891224 323108864 66879 33554432000 4194304 6211289 140737444057984 140737444056328 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 78884 66879 219 493 0 78381 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 315536

[startup+342.3 s]
/proc/loadavg: 2.20 2.26 2.24 3/177 9542
/proc/meminfo: memFree=29594340/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=316612 CPUtime=342.23 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 16879 0 0 0 34216 7 0 0 20 0 1 0 122891224 324210688 70819 33554432000 4194304 6211289 140737444057984 140737444056328 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 79153 70819 219 493 0 78650 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 316612

[startup+402.3 s]
/proc/loadavg: 2.16 2.24 2.24 3/177 9544
/proc/meminfo: memFree=29592724/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=317092 CPUtime=402.22 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 17018 0 0 0 40215 7 0 0 20 0 1 0 122891224 324702208 70958 33554432000 4194304 6211289 140737444057984 140737444055848 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 79273 70958 219 493 0 78770 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 317092

[startup+462.3 s]
/proc/loadavg: 2.18 2.22 2.23 4/178 9548
/proc/meminfo: memFree=29576540/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=317572 CPUtime=462.21 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 17145 0 0 0 46214 7 0 0 20 0 1 0 122891224 325193728 71085 33554432000 4194304 6211289 140737444057984 140737444056328 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 79393 71085 219 493 0 78890 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 317572

[startup+522.3 s]
/proc/loadavg: 2.12 2.19 2.22 3/177 9549
/proc/meminfo: memFree=29563220/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=318372 CPUtime=522.2 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 17283 0 0 0 52213 7 0 0 20 0 1 0 122891224 326012928 72245 33554432000 4194304 6211289 140737444057984 140737444056328 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 79593 72245 219 493 0 79090 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 318372

[startup+582.3 s]
/proc/loadavg: 2.12 2.19 2.21 3/177 9550
/proc/meminfo: memFree=29560148/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=319652 CPUtime=582.19 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 17523 0 0 0 58212 7 0 0 20 0 1 0 122891224 327323648 72996 33554432000 4194304 6211289 140737444057984 140737444056328 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 79913 72996 219 493 0 79410 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 319652


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


[startup+882.307 s]
/proc/loadavg: 2.14 2.18 2.19 3/177 9556
/proc/meminfo: memFree=29485900/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=460716 CPUtime=882.16 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 19897 0 0 0 88207 9 0 0 20 0 1 0 122891224 471773184 88446 33554432000 4194304 6211289 140737444057984 140737444056328 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 115179 88446 219 493 0 114676 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 460716

[startup+942.3 s]
/proc/loadavg: 2.13 2.17 2.18 3/177 9557
/proc/meminfo: memFree=29453112/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=460876 CPUtime=942.14 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 19917 0 0 0 94205 9 0 0 20 0 1 0 122891224 471937024 88466 33554432000 4194304 6211289 140737444057984 140737444055848 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 115219 88466 219 493 0 114716 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 460876

[startup+1002.3 s]
/proc/loadavg: 2.16 2.17 2.18 4/177 9559
/proc/meminfo: memFree=29440076/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=461356 CPUtime=1002.13 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 20090 0 0 0 100204 9 0 0 20 0 1 0 122891224 472428544 88615 33554432000 4194304 6211289 140737444057984 140737444055848 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 115339 88615 219 493 0 114836 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 461356

[startup+1062.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/178 9563
/proc/meminfo: memFree=29439284/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=461676 CPUtime=1062.12 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 20163 0 0 0 106203 9 0 0 20 0 1 0 122891224 472756224 88688 33554432000 4194304 6211289 140737444057984 140737444055896 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 115419 88688 219 493 0 114916 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 461676

[startup+1122.3 s]
/proc/loadavg: 2.12 2.16 2.17 3/177 9564
/proc/meminfo: memFree=29439416/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=461676 CPUtime=1122.11 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 20213 0 0 0 112202 9 0 0 20 0 1 0 122891224 472756224 88731 33554432000 4194304 6211289 140737444057984 140737444056328 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 115419 88731 219 493 0 114916 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 461676

[startup+1182.3 s]
/proc/loadavg: 2.31 2.20 2.19 4/177 9565
/proc/meminfo: memFree=29431452/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=461676 CPUtime=1182.1 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 20230 0 0 0 118201 9 0 0 20 0 1 0 122891224 472756224 88817 33554432000 4194304 6211289 140737444057984 140737444056328 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 115419 88817 219 493 0 114916 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 461676

[startup+1242.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/177 9566
/proc/meminfo: memFree=29427988/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=461836 CPUtime=1242.07 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 20283 0 0 0 124198 9 0 0 20 0 1 0 122891224 472920064 89714 33554432000 4194304 6211289 140737444057984 140737444056328 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 115459 89714 219 493 0 114956 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 461836

[startup+1302.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/177 9568
/proc/meminfo: memFree=29409228/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=461836 CPUtime=1302.05 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 20310 0 0 0 130196 9 0 0 20 0 1 0 122891224 472920064 89718 33554432000 4194304 6211289 140737444057984 140737444056328 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 115459 89718 219 493 0 114956 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 461836

[startup+1362.3 s]
/proc/loadavg: 2.18 2.17 2.18 4/177 9569
/proc/meminfo: memFree=29409040/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=461836 CPUtime=1362.04 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 20311 0 0 0 136195 9 0 0 20 0 1 0 122891224 472920064 89726 33554432000 4194304 6211289 140737444057984 140737444056328 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 115459 89726 219 493 0 114956 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 461836

[startup+1422.3 s]
/proc/loadavg: 2.31 2.20 2.19 4/177 9570
/proc/meminfo: memFree=29409496/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=461836 CPUtime=1422.04 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 20326 0 0 0 142195 9 0 0 20 0 1 0 122891224 472920064 89741 33554432000 4194304 6211289 140737444057984 140737444056328 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 115459 89741 219 493 0 114956 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 461836

[startup+1482.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 9571
/proc/meminfo: memFree=29407292/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=462156 CPUtime=1482.02 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 20371 0 0 0 148193 9 0 0 20 0 1 0 122891224 473247744 90297 33554432000 4194304 6211289 140737444057984 140737444056328 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 115539 90297 219 493 0 115036 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 462156

[startup+1542.31 s]
/proc/loadavg: 2.17 2.17 2.18 4/177 9572
/proc/meminfo: memFree=29391724/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=462796 CPUtime=1542.02 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 20481 0 0 0 154193 9 0 0 20 0 1 0 122891224 473903104 90407 33554432000 4194304 6211289 140737444057984 140737444056328 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 115699 90407 219 493 0 115196 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 462796

[startup+1602.3 s]
/proc/loadavg: 2.33 2.21 2.19 4/177 9619
/proc/meminfo: memFree=29601312/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=463276 CPUtime=1602 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 20600 0 0 0 160191 9 0 0 20 0 1 0 122891224 474394624 96147 33554432000 4194304 6211289 140737444057984 140737444056328 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 115819 96147 219 493 0 115316 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 463276

[startup+1662.3 s]
/proc/loadavg: 2.39 2.25 2.20 3/178 9623
/proc/meminfo: memFree=29520624/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=465036 CPUtime=1661.99 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 20953 0 0 0 166189 10 0 0 20 0 1 0 122891224 476196864 104165 33554432000 4194304 6211289 140737444057984 140737444056328 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 116259 104165 219 493 0 115756 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 465036

[startup+1722.3 s]
/proc/loadavg: 2.18 2.21 2.19 4/177 9624
/proc/meminfo: memFree=29493576/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=465036 CPUtime=1721.98 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 20953 0 0 0 172188 10 0 0 20 0 1 0 122891224 476196864 104165 33554432000 4194304 6211289 140737444057984 140737444056328 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 116259 104165 219 493 0 115756 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 465036

[startup+1782.3 s]
/proc/loadavg: 2.32 2.25 2.19 3/177 9625
/proc/meminfo: memFree=29469188/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=465036 CPUtime=1781.98 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 20953 0 0 0 178188 10 0 0 20 0 1 0 122891224 476196864 104165 33554432000 4194304 6211289 140737444057984 140737444056328 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 116259 104165 219 493 0 115756 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 465036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.30 2.25 2.19 4/177 9626
/proc/meminfo: memFree=29468928/32872528 swapFree=15784/1434320
[pid=9535] ppid=9532 vsize=465036 CPUtime=1800.07 cores=0,2,4,6
/proc/9535/stat : 9535 (cdcl-cuttingpla) R 9532 9535 7064 0 -1 4202496 20960 0 0 0 179997 10 0 0 20 0 1 0 122891224 476196864 104172 33554432000 4194304 6211289 140737444057984 140737444056328 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9535/statm: 116259 104172 219 493 0 115756 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 465036

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.4
CPU time (s): 1800.08
CPU user time (s): 1799.98
CPU system time (s): 0.104984
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 465036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.104984
maximum resident set size= 416688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20960
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= 67
involuntary context switches= 1926

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.23935 second user time and 7.46486 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-08 20:13:00
IDJOB=4087485
IDBENCH=2258
IDSOLVER=2549
FILE ID=node130/4087485-1465409580
RUNJOBID= node130-1465387701-7080
PBS_JOBID= 19853865
Free space on /tmp= 71744 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087485-1465409580/watcher-4087485-1465409580 -o /tmp/evaluation-result-4087485-1465409580/solver-4087485-1465409580 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465387701-7080 --watchdog 1960 --input HOME/instance-4087485-1465409580.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 20471e978018d28aed0ca16c46de4e3d
RANDOM SEED=1836242427

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29948972 kB
Buffers:           90364 kB
Cached:           383072 kB
SwapCached:         1636 kB
Active:           461124 kB
Inactive:         286020 kB
Active(anon):     273004 kB
Inactive(anon):     2908 kB
Active(file):     188120 kB
Inactive(file):   283112 kB
Unevictable:     1434320 kB
Mlocked:           15784 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:              4672 kB
Writeback:             0 kB
AnonPages:       1653568 kB
Mapped:             8096 kB
Shmem:                 0 kB
Slab:             607680 kB
SReclaimable:      51252 kB
SUnreclaim:       556428 kB
KernelStack:        1480 kB
PageTables:         7508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1857344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1617920 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= 71740 MiB
End job on node130 at 2016-06-08 20:43:00