Trace number 4087439

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.09 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
MD5SUM1a62ccf42beef1991aac7e4813cc0d13
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1138
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1031
Optimality of the best value was proved NO
Number of variables1959
Total number of constraints4000
Number of constraints which are clauses4000
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 1959
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 1959
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 1959
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.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.01	c * #variable= 1959 #constraint= 4000
0.00/0.02	c * #variable= 1959 #constraint= 4000
0.89/0.91	c S1->S2
0.89/0.91	c #Conflicts:       1000 | #Learnt:       1000 | 0.000
0.89/0.91	c total clause space: 48.1602MB
0.89/0.91	c total #watches: 514306
2.59/2.65	c total #propagations: 55556 / total #impl: 1386438 (eff. 0.040)
2.59/2.65	c #Conflicts:       2000 | #Learnt:       2000 | 0.000
2.59/2.65	c total clause space: 78.2603MB
2.59/2.65	c total #watches: 771979
4.49/4.58	c total #propagations: 141404 / total #impl: 4555297 (eff. 0.031)
4.49/4.58	c GC COLLECT
4.49/4.58	c #Conflicts:       3000 | #Learnt:       2004 | 0.000
4.49/4.58	c total clause space: 78.2603MB
4.49/4.58	c total #watches: 558916
8.09/8.17	c total #propagations: 250492 / total #impl: 10350382 (eff. 0.024)
8.09/8.17	c #Conflicts:       4000 | #Learnt:       3004 | 0.000
8.09/8.17	c total clause space: 127.173MB
8.09/8.17	c total #watches: 736162
12.29/12.31	c total #propagations: 393855 / total #impl: 19821767 (eff. 0.020)
12.29/12.31	c GC COLLECT
12.29/12.31	c #Conflicts:       5000 | #Learnt:       2354 | 0.000
12.29/12.31	c total clause space: 127.173MB
12.29/12.31	c total #watches: 653106
24.89/24.99	c total #propagations: 504331 / total #impl: 29614767 (eff. 0.017)
24.89/24.99	c #Conflicts:       6000 | #Learnt:       3354 | 0.000
24.89/24.99	c total clause space: 127.173MB
24.89/24.99	c total #watches: 888072
41.68/41.71	c total #propagations: 649426 / total #impl: 75105234 (eff. 0.009)
41.68/41.71	c GC COLLECT
41.68/41.71	c #Conflicts:       7000 | #Learnt:       2232 | 0.000
41.68/41.71	c total clause space: 206.656MB
41.68/41.71	c total #watches: 554027
47.88/47.92	c total #propagations: 749570 / total #impl: 107798883 (eff. 0.007)
47.88/47.92	c #Conflicts:       8000 | #Learnt:       3232 | 0.000
47.88/47.92	c total clause space: 206.656MB
47.88/47.92	c total #watches: 808341
56.48/56.56	c total #propagations: 886523 / total #impl: 118533709 (eff. 0.007)
56.48/56.56	c #Conflicts:       9000 | #Learnt:       4232 | 0.000
56.48/56.56	c total clause space: 206.656MB
56.48/56.56	c total #watches: 1078914
66.08/66.11	c total #propagations: 994164 / total #impl: 123776137 (eff. 0.008)
66.08/66.11	c GC COLLECT
66.08/66.11	c #Conflicts:      10000 | #Learnt:       2729 | 0.000
66.08/66.11	c total clause space: 206.656MB
66.08/66.11	c total #watches: 727722
77.77/77.89	c total #propagations: 1225319 / total #impl: 130404525 (eff. 0.009)
77.77/77.89	c #Conflicts:      11000 | #Learnt:       3729 | 0.000
77.77/77.89	c total clause space: 206.656MB
77.77/77.89	c total #watches: 897748
106.28/106.35	c total #propagations: 1510652 / total #impl: 156246758 (eff. 0.010)
106.28/106.35	c #Conflicts:      12000 | #Learnt:       4729 | 0.000
106.28/106.35	c total clause space: 206.656MB
106.28/106.35	c total #watches: 1079151
153.27/153.38	c total #propagations: 1739399 / total #impl: 240075357 (eff. 0.007)
153.27/153.38	c #Conflicts:      13000 | #Learnt:       5729 | 0.000
153.27/153.38	c total clause space: 206.656MB
153.27/153.38	c total #watches: 1239758
175.17/175.28	c total #propagations: 1952092 / total #impl: 455850619 (eff. 0.004)
175.17/175.28	c GC COLLECT
175.17/175.28	c #Conflicts:      14000 | #Learnt:       3860 | 0.000
175.17/175.28	c total clause space: 206.656MB
175.17/175.28	c total #watches: 770821
199.07/199.16	c total #propagations: 2081772 / total #impl: 578824675 (eff. 0.004)
199.07/199.16	c #Conflicts:      15000 | #Learnt:       4860 | 0.000
199.07/199.16	c total clause space: 206.656MB
199.07/199.16	c total #watches: 952683
206.46/206.53	c total #propagations: 2227175 / total #impl: 669039728 (eff. 0.003)
206.46/206.53	c #Conflicts:      16000 | #Learnt:       5860 | 0.000
206.46/206.53	c total clause space: 206.656MB
206.46/206.53	c total #watches: 1133514
215.66/215.78	c total #propagations: 2421376 / total #impl: 681887320 (eff. 0.004)
215.66/215.78	c GC COLLECT
215.66/215.78	c #Conflicts:      17000 | #Learnt:       3667 | 0.000
215.66/215.78	c total clause space: 206.656MB
215.66/215.78	c total #watches: 719836
224.36/224.45	c total #propagations: 2559470 / total #impl: 693863178 (eff. 0.004)
224.36/224.45	c #Conflicts:      18000 | #Learnt:       4667 | 0.000
224.36/224.45	c total clause space: 206.656MB
224.36/224.45	c total #watches: 824788
231.06/231.18	c total #propagations: 2727170 / total #impl: 717074768 (eff. 0.004)
231.06/231.18	c #Conflicts:      19000 | #Learnt:       5667 | 0.000
231.06/231.18	c total clause space: 206.656MB
231.06/231.18	c total #watches: 972103
243.65/243.70	c total #propagations: 2896832 / total #impl: 723504876 (eff. 0.004)
243.65/243.70	c #Conflicts:      20000 | #Learnt:       6667 | 0.000
243.65/243.70	c total clause space: 206.656MB
243.65/243.70	c total #watches: 1092690
254.45/254.53	c total #propagations: 3161900 / total #impl: 727456906 (eff. 0.004)
254.45/254.53	c GC COLLECT
254.45/254.53	c #Conflicts:      21000 | #Learnt:       4169 | 0.000
254.45/254.53	c total clause space: 206.656MB
254.45/254.53	c total #watches: 584510
267.94/268.07	c total #propagations: 3394337 / total #impl: 742860454 (eff. 0.005)
267.94/268.07	c #Conflicts:      22000 | #Learnt:       5169 | 0.000
267.94/268.07	c total clause space: 206.656MB
267.94/268.07	c total #watches: 752880
300.73/300.88	c total #propagations: 3588451 / total #impl: 814527517 (eff. 0.004)
300.73/300.88	c #Conflicts:      23000 | #Learnt:       6169 | 0.000
300.73/300.88	c total clause space: 206.656MB
300.73/300.88	c total #watches: 864883
316.22/316.38	c total #propagations: 3825323 / total #impl: 955248193 (eff. 0.004)
316.22/316.38	c #Conflicts:      24000 | #Learnt:       7169 | 0.000
316.22/316.38	c total clause space: 206.656MB
316.22/316.38	c total #watches: 988118
331.92/332.07	c total #propagations: 4009233 / total #impl: 1004473580 (eff. 0.004)
331.92/332.07	c GC COLLECT
331.92/332.07	c #Conflicts:      25000 | #Learnt:       4370 | 0.000
331.92/332.07	c total clause space: 206.656MB
331.92/332.07	c total #watches: 623432
345.22/345.35	c total #propagations: 4239623 / total #impl: 1095680281 (eff. 0.004)
345.22/345.35	c #Conflicts:      26000 | #Learnt:       5370 | 0.000
345.22/345.35	c total clause space: 206.656MB
345.22/345.35	c total #watches: 733548
359.21/359.35	c total #propagations: 4436688 / total #impl: 1189464035 (eff. 0.004)
359.21/359.35	c #Conflicts:      27000 | #Learnt:       6370 | 0.000
359.21/359.35	c total clause space: 206.656MB
359.21/359.35	c total #watches: 840301
372.01/372.19	c total #propagations: 4651341 / total #impl: 1316867136 (eff. 0.004)
372.01/372.19	c #Conflicts:      28000 | #Learnt:       7370 | 0.000
372.01/372.19	c total clause space: 206.656MB
372.01/372.19	c total #watches: 1014719
384.42/384.55	c total #propagations: 4746019 / total #impl: 1373207751 (eff. 0.003)
384.42/384.55	c GC COLLECT
384.42/384.55	c #Conflicts:      29000 | #Learnt:       4269 | 0.000
384.42/384.55	c total clause space: 206.656MB
384.42/384.55	c total #watches: 647208
403.81/403.97	c total #propagations: 4891719 / total #impl: 1402739299 (eff. 0.003)
403.81/403.97	c #Conflicts:      30000 | #Learnt:       5269 | 0.000
403.81/403.97	c total clause space: 206.656MB
403.81/403.97	c total #watches: 770218
433.81/433.94	c total #propagations: 5071874 / total #impl: 1467477417 (eff. 0.003)
433.81/433.94	c #Conflicts:      31000 | #Learnt:       6269 | 0.000
433.81/433.94	c total clause space: 206.656MB
433.81/433.94	c total #watches: 913579
478.10/478.23	c total #propagations: 5271936 / total #impl: 1668211797 (eff. 0.003)
478.10/478.23	c #Conflicts:      32000 | #Learnt:       7269 | 0.000
478.10/478.23	c total clause space: 206.656MB
478.10/478.23	c total #watches: 1053773
513.89/514.03	c total #propagations: 5457443 / total #impl: 1908216826 (eff. 0.003)
513.89/514.03	c #Conflicts:      33000 | #Learnt:       8269 | 0.000
513.89/514.03	c total clause space: 335.816MB
513.89/514.03	c total #watches: 1190516
530.90/531.08	c total #propagations: 5605253 / total #impl: 2044132209 (eff. 0.003)
530.90/531.08	c GC COLLECT
530.90/531.08	c #Conflicts:      34000 | #Learnt:       4853 | 0.000
530.90/531.08	c total clause space: 335.816MB
530.90/531.08	c total #watches: 787867
545.19/545.30	c total #propagations: 5759964 / total #impl: 2087422034 (eff. 0.003)
545.19/545.30	c #Conflicts:      35000 | #Learnt:       5853 | 0.000
545.19/545.30	c total clause space: 335.816MB
545.19/545.30	c total #watches: 1104200
553.79/553.91	c total #propagations: 5832759 / total #impl: 2125370908 (eff. 0.003)
553.79/553.91	c #Conflicts:      36000 | #Learnt:       6853 | 0.000
553.79/553.91	c total clause space: 335.816MB
553.79/553.91	c total #watches: 1311390
566.19/566.31	c total #propagations: 5897744 / total #impl: 2146408193 (eff. 0.003)
566.19/566.31	c #Conflicts:      37000 | #Learnt:       7853 | 0.000
566.19/566.31	c total clause space: 335.816MB
566.19/566.31	c total #watches: 1643683
606.78/606.99	c total #propagations: 5949113 / total #impl: 2159344349 (eff. 0.003)
606.78/606.99	c #Conflicts:      38000 | #Learnt:       8853 | 0.000
606.78/606.99	c total clause space: 335.816MB
606.78/606.99	c total #watches: 2018961
632.58/632.72	c total #propagations: 6008207 / total #impl: 2192637389 (eff. 0.003)
632.58/632.72	c GC COLLECT
632.58/632.72	c #Conflicts:      39000 | #Learnt:       5153 | 0.000
632.58/632.72	c total clause space: 335.816MB
632.58/632.72	c total #watches: 1630447
646.17/646.30	c total #propagations: 6049496 / total #impl: 2205120886 (eff. 0.003)
646.17/646.30	c #Conflicts:      40000 | #Learnt:       6153 | 0.000
646.17/646.30	c total clause space: 335.816MB
646.17/646.30	c total #watches: 2166975
656.77/656.99	c total #propagations: 6097897 / total #impl: 2214826441 (eff. 0.003)
656.77/656.99	c #Conflicts:      41000 | #Learnt:       7153 | 0.000
656.77/656.99	c total clause space: 335.816MB
656.77/656.99	c total #watches: 2700441
668.68/668.83	c total #propagations: 6156926 / total #impl: 2225521059 (eff. 0.003)
668.68/668.83	c #Conflicts:      42000 | #Learnt:       8153 | 0.000
668.68/668.83	c total clause space: 335.816MB
668.68/668.83	c total #watches: 3257986
676.77/676.92	c total #propagations: 6223687 / total #impl: 2236907672 (eff. 0.003)
676.77/676.92	c #Conflicts:      43000 | #Learnt:       9153 | 0.000
676.77/676.92	c total clause space: 335.816MB
676.77/676.92	c total #watches: 3861964
701.97/702.12	c total #propagations: 6294795 / total #impl: 2244127713 (eff. 0.003)
701.97/702.12	c GC COLLECT
701.97/702.12	c #Conflicts:      44000 | #Learnt:       5149 | 0.000
701.97/702.12	c total clause space: 545.701MB
701.97/702.12	c total #watches: 2794338
716.77/716.96	c total #propagations: 6373205 / total #impl: 2251382672 (eff. 0.003)
716.77/716.96	c #Conflicts:      45000 | #Learnt:       6149 | 0.000
716.77/716.96	c total clause space: 545.701MB
716.77/716.96	c total #watches: 3371182
741.86/742.00	c total #propagations: 6449964 / total #impl: 2262831064 (eff. 0.003)
741.86/742.00	c #Conflicts:      46000 | #Learnt:       7149 | 0.000
741.86/742.00	c total clause space: 545.701MB
741.86/742.00	c total #watches: 3978344
784.95/785.13	c total #propagations: 6545036 / total #impl: 2273644230 (eff. 0.003)
784.95/785.13	c #Conflicts:      47000 | #Learnt:       8149 | 0.000
784.95/785.13	c total clause space: 545.701MB
784.95/785.13	c total #watches: 4395395
810.55/810.76	c total #propagations: 6632941 / total #impl: 2274762039 (eff. 0.003)
810.55/810.76	c #Conflicts:      48000 | #Learnt:       9149 | 0.000
810.55/810.76	c total clause space: 545.701MB
810.55/810.76	c total #watches: 4582730
815.45/815.65	c total #propagations: 6822859 / total #impl: 2280856710 (eff. 0.003)
815.45/815.65	c #Conflicts:      49000 | #Learnt:      10149 | 0.000
815.45/815.65	c total clause space: 545.701MB
815.45/815.65	c total #watches: 4715118
817.34/817.51	c total #propagations: 6965407 / total #impl: 2282916538 (eff. 0.003)
817.34/817.51	c GC COLLECT
817.34/817.51	c #Conflicts:      50000 | #Learnt:       5848 | 0.000
817.34/817.51	c total clause space: 545.701MB
817.34/817.51	c total #watches: 2034253
818.25/818.44	c total #propagations: 7148578 / total #impl: 2284567535 (eff. 0.003)
818.25/818.44	c #Conflicts:      51000 | #Learnt:       6848 | 0.000
818.25/818.44	c total clause space: 545.701MB
818.25/818.44	c total #watches: 2173569
819.54/819.71	c total #propagations: 7291496 / total #impl: 2285967044 (eff. 0.003)
819.54/819.71	c #Conflicts:      52000 | #Learnt:       7848 | 0.000
819.54/819.71	c total clause space: 545.701MB
819.54/819.71	c total #watches: 2284973
821.24/821.43	c total #propagations: 7329825 / total #impl: 2288633022 (eff. 0.003)
821.24/821.43	c #Conflicts:      53000 | #Learnt:       8848 | 0.000
821.24/821.43	c total clause space: 545.701MB
821.24/821.43	c total #watches: 2353491
823.94/824.16	c total #propagations: 7397402 / total #impl: 2293214044 (eff. 0.003)
823.94/824.16	c #Conflicts:      54000 | #Learnt:       9848 | 0.000
823.94/824.16	c total clause space: 545.701MB
823.94/824.16	c total #watches: 2383397
825.64/825.83	c total #propagations: 7465773 / total #impl: 2306786313 (eff. 0.003)
825.64/825.83	c #Conflicts:      55000 | #Learnt:      10848 | 0.000
825.64/825.83	c total clause space: 545.701MB
825.64/825.83	c total #watches: 2453343
826.84/827.00	c total #propagations: 7507543 / total #impl: 2309787865 (eff. 0.003)
826.84/827.00	c GC COLLECT
826.84/827.00	c #Conflicts:      56000 | #Learnt:       6240 | 0.000
826.84/827.00	c total clause space: 545.701MB
826.84/827.00	c total #watches: 640963
827.24/827.47	c total #propagations: 7547923 / total #impl: 2311121589 (eff. 0.003)
827.24/827.47	c #Conflicts:      57000 | #Learnt:       7240 | 0.000
827.24/827.47	c total clause space: 545.701MB
827.24/827.47	c total #watches: 867756
827.85/828.03	c total #propagations: 7585789 / total #impl: 2312142014 (eff. 0.003)
827.85/828.03	c #Conflicts:      58000 | #Learnt:       8240 | 0.000
827.85/828.03	c total clause space: 545.701MB
827.85/828.03	c total #watches: 1094265
829.05/829.23	c total #propagations: 7616864 / total #impl: 2313206685 (eff. 0.003)
829.05/829.23	c #Conflicts:      59000 | #Learnt:       9240 | 0.000
829.05/829.23	c total clause space: 545.701MB
829.05/829.23	c total #watches: 1326218
831.56/831.73	c total #propagations: 7794284 / total #impl: 2316654164 (eff. 0.003)
831.56/831.73	c #Conflicts:      60000 | #Learnt:      10240 | 0.000
831.56/831.73	c total clause space: 545.701MB
831.56/831.73	c total #watches: 1470484
834.75/835.00	c total #propagations: 7986246 / total #impl: 2324572299 (eff. 0.003)
834.75/835.00	c #Conflicts:      61000 | #Learnt:      11240 | 0.000
834.75/835.00	c total clause space: 545.701MB
834.75/835.00	c total #watches: 1618226
838.35/838.58	c total #propagations: 8238029 / total #impl: 2331254379 (eff. 0.004)
838.35/838.58	c GC COLLECT
838.35/838.58	c #Conflicts:      62000 | #Learnt:       6345 | 0.000
838.35/838.58	c total clause space: 545.701MB
838.35/838.58	c total #watches: 1221282
843.15/843.31	c total #propagations: 8452047 / total #impl: 2341105133 (eff. 0.004)
843.15/843.31	c #Conflicts:      63000 | #Learnt:       7345 | 0.000
843.15/843.31	c total clause space: 545.701MB
843.15/843.31	c total #watches: 1334683
847.95/848.19	c total #propagations: 8623168 / total #impl: 2352746209 (eff. 0.004)
847.95/848.19	c #Conflicts:      64000 | #Learnt:       8345 | 0.000
847.95/848.19	c total clause space: 545.701MB
847.95/848.19	c total #watches: 1413381
853.25/853.47	c total #propagations: 8818058 / total #impl: 2357930406 (eff. 0.004)
853.25/853.47	c #Conflicts:      65000 | #Learnt:       9345 | 0.000
853.25/853.47	c total clause space: 545.701MB
853.25/853.47	c total #watches: 1455071
859.14/859.31	c total #propagations: 9017434 / total #impl: 2364605410 (eff. 0.004)
859.14/859.31	c #Conflicts:      66000 | #Learnt:      10345 | 0.000
859.14/859.31	c total clause space: 545.701MB
859.14/859.31	c total #watches: 1515217
863.94/864.19	c total #propagations: 9202065 / total #impl: 2373053341 (eff. 0.004)
863.94/864.19	c #Conflicts:      67000 | #Learnt:      11345 | 0.000
863.94/864.19	c total clause space: 545.701MB
863.94/864.19	c total #watches: 1637308
868.85/869.03	c total #propagations: 9361982 / total #impl: 2379356131 (eff. 0.004)
868.85/869.03	c #Conflicts:      68000 | #Learnt:      12345 | 0.000
868.85/869.03	c total clause space: 545.701MB
868.85/869.03	c total #watches: 1752738
871.94/872.10	c total #propagations: 9545987 / total #impl: 2386566496 (eff. 0.004)
871.94/872.10	c GC COLLECT
871.94/872.10	c #Conflicts:      69000 | #Learnt:       7140 | 0.000
871.94/872.10	c total clause space: 545.701MB
871.94/872.10	c total #watches: 748530
873.44/873.68	c total #propagations: 9710432 / total #impl: 2393453495 (eff. 0.004)
873.44/873.68	c #Conflicts:      70000 | #Learnt:       8140 | 0.000
873.44/873.68	c total clause space: 545.701MB
873.44/873.68	c total #watches: 917953
876.84/877.09	c total #propagations: 9843841 / total #impl: 2399898698 (eff. 0.004)
876.84/877.09	c #Conflicts:      71000 | #Learnt:       9140 | 0.000
876.84/877.09	c total clause space: 545.701MB
876.84/877.09	c total #watches: 1026720
882.34/882.59	c total #propagations: 10047610 / total #impl: 2414771514 (eff. 0.004)
882.34/882.59	c #Conflicts:      72000 | #Learnt:      10140 | 0.000
882.34/882.59	c total clause space: 545.701MB
882.34/882.59	c total #watches: 1085235
887.65/887.87	c total #propagations: 10256153 / total #impl: 2445976958 (eff. 0.004)
887.65/887.87	c #Conflicts:      73000 | #Learnt:      11140 | 0.000
887.65/887.87	c total clause space: 545.701MB
887.65/887.87	c total #watches: 1158097
892.44/892.61	c total #propagations: 10461130 / total #impl: 2464092760 (eff. 0.004)
892.44/892.61	c #Conflicts:      74000 | #Learnt:      12140 | 0.000
892.44/892.61	c total clause space: 545.701MB
892.44/892.61	c total #watches: 1292405
894.64/894.84	c total #propagations: 10640212 / total #impl: 2475648305 (eff. 0.004)
894.64/894.84	c GC COLLECT
894.64/894.84	c #Conflicts:      75000 | #Learnt:       6638 | 0.000
894.64/894.84	c total clause space: 545.701MB
894.64/894.84	c total #watches: 870994
899.34/899.55	c total #propagations: 10779521 / total #impl: 2483609523 (eff. 0.004)
899.34/899.55	c #Conflicts:      76000 | #Learnt:       7638 | 0.000
899.34/899.55	c total clause space: 545.701MB
899.34/899.55	c total #watches: 1201567
906.13/906.38	c total #propagations: 10924591 / total #impl: 2570163045 (eff. 0.004)
906.13/906.38	c #Conflicts:      77000 | #Learnt:       8638 | 0.000
906.13/906.38	c total clause space: 545.701MB
906.13/906.38	c total #watches: 1531088
926.53/926.77	c total #propagations: 11105654 / total #impl: 2628644833 (eff. 0.004)
926.53/926.77	c #Conflicts:      78000 | #Learnt:       9638 | 0.000
926.53/926.77	c total clause space: 545.701MB
926.53/926.77	c total #watches: 1722259
933.33/933.59	c total #propagations: 11380900 / total #impl: 3043928738 (eff. 0.004)
933.33/933.59	c #Conflicts:      79000 | #Learnt:      10638 | 0.000
933.33/933.59	c total clause space: 545.701MB
933.33/933.59	c total #watches: 2018993
944.53/944.76	c total #propagations: 11492689 / total #impl: 3047163558 (eff. 0.004)
944.53/944.76	c #Conflicts:      80000 | #Learnt:      11638 | 0.000
944.53/944.76	c total clause space: 545.701MB
944.53/944.76	c total #watches: 2227878
960.03/960.28	c total #propagations: 11669436 / total #impl: 3052671812 (eff. 0.004)
960.03/960.28	c #Conflicts:      81000 | #Learnt:      12638 | 0.000
960.03/960.28	c total clause space: 545.701MB
960.03/960.28	c total #watches: 2348034
977.83/978.05	c total #propagations: 11767844 / total #impl: 3067277790 (eff. 0.004)
977.83/978.05	c GC COLLECT
977.83/978.05	c #Conflicts:      82000 | #Learnt:       6835 | 0.000
977.83/978.05	c total clause space: 545.701MB
977.83/978.05	c total #watches: 1633546
989.02/989.23	c total #propagations: 11857502 / total #impl: 3084047005 (eff. 0.004)
989.02/989.23	c #Conflicts:      83000 | #Learnt:       7835 | 0.000
989.02/989.23	c total clause space: 545.701MB
989.02/989.23	c total #watches: 1778550
1017.21/1017.50	c total #propagations: 11931129 / total #impl: 3104093880 (eff. 0.004)
1017.21/1017.50	c #Conflicts:      84000 | #Learnt:       8835 | 0.000
1017.21/1017.50	c total clause space: 545.701MB
1017.21/1017.50	c total #watches: 1870994
1042.89/1043.19	c total #propagations: 12086563 / total #impl: 3113883046 (eff. 0.004)
1042.89/1043.19	c #Conflicts:      85000 | #Learnt:       9835 | 0.000
1042.89/1043.19	c total clause space: 545.701MB
1042.89/1043.19	c total #watches: 1938992
1073.39/1073.65	c total #propagations: 12221262 / total #impl: 3122575163 (eff. 0.004)
1073.39/1073.65	c #Conflicts:      86000 | #Learnt:      10835 | 0.000
1073.39/1073.65	c total clause space: 545.701MB
1073.39/1073.65	c total #watches: 2007289
1089.48/1089.78	c total #propagations: 12336072 / total #impl: 3134550508 (eff. 0.004)
1089.48/1089.78	c #Conflicts:      87000 | #Learnt:      11835 | 0.000
1089.48/1089.78	c total clause space: 545.701MB
1089.48/1089.78	c total #watches: 2134226
1105.68/1105.98	c total #propagations: 12412137 / total #impl: 3149802107 (eff. 0.004)
1105.68/1105.98	c #Conflicts:      88000 | #Learnt:      12835 | 0.000
1105.68/1105.98	c total clause space: 545.701MB
1105.68/1105.98	c total #watches: 2294250
1127.38/1127.63	c total #propagations: 12475575 / total #impl: 3174299715 (eff. 0.004)
1127.38/1127.63	c #Conflicts:      89000 | #Learnt:      13835 | 0.000
1127.38/1127.63	c total clause space: 545.701MB
1127.38/1127.63	c total #watches: 2404858
1153.57/1153.84	c total #propagations: 12544641 / total #impl: 3215382848 (eff. 0.004)
1153.57/1153.84	c GC COLLECT
1153.57/1153.84	c #Conflicts:      90000 | #Learnt:       7733 | 0.000
1153.57/1153.84	c total clause space: 545.701MB
1153.57/1153.84	c total #watches: 883790
1175.77/1176.01	c total #propagations: 12667540 / total #impl: 3243971684 (eff. 0.004)
1175.77/1176.01	c #Conflicts:      91000 | #Learnt:       8733 | 0.000
1175.77/1176.01	c total clause space: 545.701MB
1175.77/1176.01	c total #watches: 933559
1196.57/1196.82	c total #propagations: 12812645 / total #impl: 3278010389 (eff. 0.004)
1196.57/1196.82	c #Conflicts:      92000 | #Learnt:       9733 | 0.000
1196.57/1196.82	c total clause space: 545.701MB
1196.57/1196.82	c total #watches: 1005220
1221.46/1221.71	c total #propagations: 12957652 / total #impl: 3311778936 (eff. 0.004)
1221.46/1221.71	c #Conflicts:      93000 | #Learnt:      10733 | 0.000
1221.46/1221.71	c total clause space: 545.701MB
1221.46/1221.71	c total #watches: 1036550
1245.35/1245.66	c total #propagations: 13078240 / total #impl: 3352403166 (eff. 0.004)
1245.35/1245.66	c #Conflicts:      94000 | #Learnt:      11733 | 0.000
1245.35/1245.66	c total clause space: 545.701MB
1245.35/1245.66	c total #watches: 1064887
1258.85/1259.17	c total #propagations: 13211841 / total #impl: 3395677601 (eff. 0.004)
1258.85/1259.17	c #Conflicts:      95000 | #Learnt:      12733 | 0.000
1258.85/1259.17	c total clause space: 545.701MB
1258.85/1259.17	c total #watches: 1107542
1275.45/1275.75	c total #propagations: 13369302 / total #impl: 3419248811 (eff. 0.004)
1275.45/1275.75	c #Conflicts:      96000 | #Learnt:      13733 | 0.000
1275.45/1275.75	c total clause space: 545.701MB
1275.45/1275.75	c total #watches: 1142935
1294.85/1295.15	c total #propagations: 13549338 / total #impl: 3442544746 (eff. 0.004)
1294.85/1295.15	c #Conflicts:      97000 | #Learnt:      14733 | 0.000
1294.85/1295.15	c total clause space: 545.701MB
1294.85/1295.15	c total #watches: 1250216
1300.55/1300.89	c total #propagations: 13663525 / total #impl: 3486421731 (eff. 0.004)
1300.55/1300.89	c GC COLLECT
1300.55/1300.89	c #Conflicts:      98000 | #Learnt:       8323 | 0.000
1300.55/1300.89	c total clause space: 545.701MB
1300.55/1300.89	c total #watches: 556345
1305.95/1306.24	c total #propagations: 13760225 / total #impl: 3509500401 (eff. 0.004)
1305.95/1306.24	c #Conflicts:      99000 | #Learnt:       9323 | 0.000
1305.95/1306.24	c total clause space: 545.701MB
1305.95/1306.24	c total #watches: 679571
1316.14/1316.41	c total #propagations: 13849672 / total #impl: 3537717298 (eff. 0.004)
1316.14/1316.41	c #Conflicts:     100000 | #Learnt:      10323 | 0.000
1316.14/1316.41	c total clause space: 545.701MB
1316.14/1316.41	c total #watches: 734889
1327.34/1327.60	c total #propagations: 13961519 / total #impl: 3573701020 (eff. 0.004)
1327.34/1327.60	c #Conflicts:     101000 | #Learnt:      11323 | 0.000
1327.34/1327.60	c total clause space: 545.701MB
1327.34/1327.60	c total #watches: 795169
1350.44/1350.78	c total #propagations: 14082357 / total #impl: 3614440165 (eff. 0.004)
1350.44/1350.78	c #Conflicts:     102000 | #Learnt:      12323 | 0.000
1350.44/1350.78	c total clause space: 545.701MB
1350.44/1350.78	c total #watches: 830073
1372.94/1373.29	c total #propagations: 14243545 / total #impl: 3685622639 (eff. 0.004)
1372.94/1373.29	c #Conflicts:     103000 | #Learnt:      13323 | 0.000
1372.94/1373.29	c total clause space: 545.701MB
1372.94/1373.29	c total #watches: 861813
1396.84/1397.16	c total #propagations: 14418175 / total #impl: 3754930729 (eff. 0.004)
1396.84/1397.16	c #Conflicts:     104000 | #Learnt:      14323 | 0.000
1396.84/1397.16	c total clause space: 545.701MB
1396.84/1397.16	c total #watches: 889053
1413.63/1413.93	c total #propagations: 14589831 / total #impl: 3844449282 (eff. 0.004)
1413.63/1413.93	c #Conflicts:     105000 | #Learnt:      15323 | 0.000
1413.63/1413.93	c total clause space: 545.701MB
1413.63/1413.93	c total #watches: 946941
1421.33/1421.66	c total #propagations: 14748660 / total #impl: 3902440642 (eff. 0.004)
1421.33/1421.66	c GC COLLECT
1421.33/1421.66	c #Conflicts:     106000 | #Learnt:       8618 | 0.000
1421.33/1421.66	c total clause space: 545.701MB
1421.33/1421.66	c total #watches: 616207
1423.83/1424.19	c total #propagations: 14884105 / total #impl: 3934368974 (eff. 0.004)
1423.83/1424.19	c #Conflicts:     107000 | #Learnt:       9618 | 0.000
1423.83/1424.19	c total clause space: 545.701MB
1423.83/1424.19	c total #watches: 913513
1435.63/1435.99	c total #propagations: 14952732 / total #impl: 3952989603 (eff. 0.004)
1435.63/1435.99	c #Conflicts:     108000 | #Learnt:      10618 | 0.000
1435.63/1435.99	c total clause space: 545.701MB
1435.63/1435.99	c total #watches: 1073903
1464.32/1464.60	c total #propagations: 15049175 / total #impl: 3978096795 (eff. 0.004)
1464.32/1464.60	c #Conflicts:     109000 | #Learnt:      11618 | 0.000
1464.32/1464.60	c total clause space: 545.701MB
1464.32/1464.60	c total #watches: 1211709
1506.42/1506.73	c total #propagations: 15176056 / total #impl: 3989765030 (eff. 0.004)
1506.42/1506.73	c #Conflicts:     110000 | #Learnt:      12618 | 0.000
1506.42/1506.73	c total clause space: 545.701MB
1506.42/1506.73	c total #watches: 1337486
1535.42/1535.75	c total #propagations: 15352593 / total #impl: 4004050784 (eff. 0.004)
1535.42/1535.75	c #Conflicts:     111000 | #Learnt:      13618 | 0.000
1535.42/1535.75	c total clause space: 545.701MB
1535.42/1535.75	c total #watches: 1447082
1562.41/1562.79	c total #propagations: 15515238 / total #impl: 4015933203 (eff. 0.004)
1562.41/1562.79	c #Conflicts:     112000 | #Learnt:      14618 | 0.000
1562.41/1562.79	c total clause space: 545.701MB
1562.41/1562.79	c total #watches: 1499170
1601.10/1601.49	c total #propagations: 15655088 / total #impl: 4030784742 (eff. 0.004)
1601.10/1601.49	c #Conflicts:     113000 | #Learnt:      15618 | 0.000
1601.10/1601.49	c total clause space: 545.701MB
1601.10/1601.49	c total #watches: 1578166
1627.20/1627.53	c total #propagations: 15828185 / total #impl: 4048935962 (eff. 0.004)
1627.20/1627.53	c GC COLLECT
1627.20/1627.53	c #Conflicts:     114000 | #Learnt:       8609 | 0.000
1627.20/1627.53	c total clause space: 545.701MB
1627.20/1627.53	c total #watches: 1212504
1642.29/1642.66	c total #propagations: 15942232 / total #impl: 4063701342 (eff. 0.004)
1642.29/1642.66	c #Conflicts:     115000 | #Learnt:       9609 | 0.000
1642.29/1642.66	c total clause space: 545.701MB
1642.29/1642.66	c total #watches: 1392504
1658.60/1658.93	c total #propagations: 16047458 / total #impl: 4082438128 (eff. 0.004)
1658.60/1658.93	c #Conflicts:     116000 | #Learnt:      10609 | 0.000
1658.60/1658.93	c total clause space: 545.701MB
1658.60/1658.93	c total #watches: 1589746
1677.79/1678.13	c total #propagations: 16132334 / total #impl: 4105453696 (eff. 0.004)
1677.79/1678.13	c #Conflicts:     117000 | #Learnt:      11609 | 0.000
1677.79/1678.13	c total clause space: 545.701MB
1677.79/1678.13	c total #watches: 1746676
1697.88/1698.23	c total #propagations: 16216902 / total #impl: 4124306655 (eff. 0.004)
1697.88/1698.23	c #Conflicts:     118000 | #Learnt:      12609 | 0.000
1697.88/1698.23	c total clause space: 545.701MB
1697.88/1698.23	c total #watches: 1957153
1729.08/1729.43	c total #propagations: 16294258 / total #impl: 4166324715 (eff. 0.004)
1729.08/1729.43	c #Conflicts:     119000 | #Learnt:      13609 | 0.000
1729.08/1729.43	c total clause space: 545.701MB
1729.08/1729.43	c total #watches: 2102860
1755.78/1756.11	c total #propagations: 16389286 / total #impl: 4210299616 (eff. 0.004)
1755.78/1756.11	c #Conflicts:     120000 | #Learnt:      14609 | 0.000
1755.78/1756.11	c total clause space: 545.701MB
1755.78/1756.11	c total #watches: 2343383

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-4087439-1465396243/watcher-4087439-1465396243 -o /tmp/evaluation-result-4087439-1465396243/solver-4087439-1465396243 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465387127-25308 --watchdog 1960 --input HOME/instance-4087439-1465396243.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=26504
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.20 2.17 2.10 3/175 26507
/proc/meminfo: memFree=29694632/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 259 0 0 0 0 0 0 0 20 0 1 0 121559131 57319424 7805 33554432000 4194304 6211289 140734418231504 140734889836552 4206551 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 13994 7805 98 493 0 13491 0

[startup+0.100168 s]
/proc/loadavg: 2.20 2.17 2.10 3/175 26507
/proc/meminfo: memFree=29694632/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=74276 CPUtime=0.09 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 1908 0 0 0 8 1 0 0 20 0 1 0 121559131 76058624 14961 33554432000 4194304 6211289 140734418231504 140734889836552 4205850 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 18569 14961 204 493 0 18066 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 74276

[startup+0.200375 s]
/proc/loadavg: 2.20 2.17 2.10 3/175 26507
/proc/meminfo: memFree=29694632/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=84004 CPUtime=0.19 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 2840 0 0 0 18 1 0 0 20 0 1 0 121559131 86020096 17365 33554432000 4194304 6211289 140734418231504 140734889836552 4215915 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 21001 17365 204 493 0 20498 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 84004

[startup+0.300371 s]
/proc/loadavg: 2.20 2.17 2.10 3/175 26507
/proc/meminfo: memFree=29694632/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=96184 CPUtime=0.29 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 3233 0 0 0 28 1 0 0 20 0 1 0 121559131 98492416 18717 33554432000 4194304 6211289 140734418231504 140734889836552 4240613 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 24046 18717 204 493 0 23543 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 96184

[startup+0.700279 s]
/proc/loadavg: 2.20 2.17 2.10 3/175 26507
/proc/meminfo: memFree=29694632/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=118344 CPUtime=0.69 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 4273 0 0 0 67 2 0 0 20 0 1 0 121559131 121184256 22255 33554432000 4194304 6211289 140734418231504 140734418229368 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 29586 22255 204 493 0 29083 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 118344

[startup+1.50024 s]
/proc/loadavg: 2.20 2.17 2.10 4/176 26508
/proc/meminfo: memFree=29593372/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=149300 CPUtime=1.49 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 4564 0 0 0 147 2 0 0 20 0 1 0 121559131 152883200 27092 33554432000 4194304 6211289 140734418231504 140734418229736 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 37325 27092 214 493 0 36822 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 149300

[startup+3.10023 s]
/proc/loadavg: 2.26 2.18 2.10 4/176 26508
/proc/meminfo: memFree=29567716/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=153896 CPUtime=3.09 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 8210 0 0 0 306 3 0 0 20 0 1 0 121559131 157589504 34804 33554432000 4194304 6211289 140734418231504 140734418229416 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 38474 34804 214 493 0 37971 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 153896

[startup+6.30029 s]
/proc/loadavg: 2.26 2.18 2.10 3/176 26508
/proc/meminfo: memFree=29546596/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=203984 CPUtime=6.29 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 8842 0 0 0 625 4 0 0 20 0 1 0 121559131 208879616 38910 33554432000 4194304 6211289 140734418231504 140734418229736 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 50996 38910 219 493 0 50493 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 203984

[startup+12.7002 s]
/proc/loadavg: 2.22 2.18 2.10 3/176 26508
/proc/meminfo: memFree=29513160/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=204500 CPUtime=12.69 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 9962 0 0 0 1264 5 0 0 20 0 1 0 121559131 209408000 45146 33554432000 4194304 6211289 140734418231504 140734418229672 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 51125 45146 219 493 0 50622 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 204500

[startup+25.5004 s]
/proc/loadavg: 2.18 2.17 2.10 3/175 26508
/proc/meminfo: memFree=29509152/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=205868 CPUtime=25.49 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 10331 0 0 0 2544 5 0 0 20 0 1 0 121559131 210808832 46026 33554432000 4194304 6211289 140734418231504 140734418229848 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 51467 46026 219 493 0 50964 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 205868

[startup+51.1004 s]
/proc/loadavg: 2.26 2.19 2.11 3/175 26508
/proc/meminfo: memFree=29477388/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=291328 CPUtime=51.08 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 11984 0 0 0 5102 6 0 0 20 0 1 0 121559131 298319872 53445 33554432000 4194304 6211289 140734418231504 140734418229368 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 72832 53445 219 493 0 72329 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 291328

[startup+102.3 s]
/proc/loadavg: 2.24 2.18 2.11 3/175 26509
/proc/meminfo: memFree=29448780/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=299508 CPUtime=102.28 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 13761 0 0 0 10222 6 0 0 20 0 1 0 121559131 306696192 59812 33554432000 4194304 6211289 140734418231504 140734418229416 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 74877 59812 219 493 0 74374 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 299508

[startup+162.3 s]
/proc/loadavg: 2.09 2.15 2.10 3/175 26556
/proc/meminfo: memFree=30629404/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=299668 CPUtime=162.27 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 14011 0 0 0 16220 7 0 0 20 0 1 0 121559131 306860032 60062 33554432000 4194304 6211289 140734418231504 140734418229848 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 74917 60062 219 493 0 74414 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 299668

[startup+222.307 s]
/proc/loadavg: 2.03 2.12 2.09 3/175 26557
/proc/meminfo: memFree=30565128/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=300548 CPUtime=222.26 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 14283 0 0 0 22219 7 0 0 20 0 1 0 121559131 307761152 60845 33554432000 4194304 6211289 140734418231504 140734418229848 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 75137 60845 219 493 0 74634 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 300548

[startup+282.3 s]
/proc/loadavg: 2.12 2.13 2.09 3/175 26558
/proc/meminfo: memFree=30521684/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=301284 CPUtime=282.24 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 14494 0 0 0 28217 7 0 0 20 0 1 0 121559131 308514816 65113 33554432000 4194304 6211289 140734418231504 140734418229368 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 75321 65113 219 493 0 74818 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 301284

[startup+342.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/175 26560
/proc/meminfo: memFree=30470996/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=301588 CPUtime=342.22 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 14597 0 0 0 34215 7 0 0 20 0 1 0 121559131 308826112 66727 33554432000 4194304 6211289 140734418231504 140734418229848 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 75397 66727 219 493 0 74894 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 301588

[startup+402.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/175 26561
/proc/meminfo: memFree=30446256/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=302036 CPUtime=402.21 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 14717 0 0 0 40213 8 0 0 20 0 1 0 121559131 309284864 72979 33554432000 4194304 6211289 140734418231504 140734418229848 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 75509 72979 219 493 0 75006 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 302036

[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.08 3/175 26562
/proc/meminfo: memFree=30437452/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=302180 CPUtime=462.2 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 14763 0 0 0 46212 8 0 0 20 0 1 0 121559131 309432320 73025 33554432000 4194304 6211289 140734418231504 140734418229848 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 75545 73025 219 493 0 75042 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 302180

[startup+522.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/175 26563
/proc/meminfo: memFree=30422308/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=434888 CPUtime=522.2 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 15123 0 0 0 52210 10 0 0 20 0 1 0 121559131 445325312 76889 33554432000 4194304 6211289 140734418231504 140734418229368 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 108722 76889 219 493 0 108219 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 434888

[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/176 26567
/proc/meminfo: memFree=30397116/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=437516 CPUtime=582.18 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 16014 0 0 0 58208 10 0 0 20 0 1 0 121559131 448016384 80081 33554432000 4194304 6211289 140734418231504 140734418229368 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 109379 80081 219 493 0 108876 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 437516


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


[startup+882.307 s]
/proc/loadavg: 2.02 2.03 2.05 3/175 26573
/proc/meminfo: memFree=30174536/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=717352 CPUtime=882.15 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 30308 0 0 0 88199 16 0 0 20 0 1 0 121559131 734568448 121574 33554432000 4194304 6211289 140734418231504 140734418229848 4209244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 179338 121574 219 493 0 178835 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 717352

[startup+942.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/175 26575
/proc/meminfo: memFree=30173252/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=718120 CPUtime=942.13 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 30449 0 0 0 94197 16 0 0 20 0 1 0 121559131 735354880 121715 33554432000 4194304 6211289 140734418231504 140734418229368 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 179530 121715 219 493 0 179027 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 718120

[startup+1002.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/175 26576
/proc/meminfo: memFree=30107428/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=718504 CPUtime=1002.11 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 30588 0 0 0 100195 16 0 0 20 0 1 0 121559131 735748096 124288 33554432000 4194304 6211289 140734418231504 140734418229848 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 179626 124288 219 493 0 179123 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 718504

[startup+1062.3 s]
/proc/loadavg: 2.03 2.03 2.04 3/175 26577
/proc/meminfo: memFree=30108208/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=718504 CPUtime=1062.09 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 30620 0 0 0 106193 16 0 0 20 0 1 0 121559131 735748096 124288 33554432000 4194304 6211289 140734418231504 140734418229848 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 179626 124288 219 493 0 179123 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 718504

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/175 26578
/proc/meminfo: memFree=30107724/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=718504 CPUtime=1122.07 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 30644 0 0 0 112191 16 0 0 20 0 1 0 121559131 735748096 124301 33554432000 4194304 6211289 140734418231504 140734418229848 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 179626 124301 219 493 0 179123 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 718504

[startup+1182.3 s]
/proc/loadavg: 2.08 2.04 2.03 3/176 26582
/proc/meminfo: memFree=30099320/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=718504 CPUtime=1182.06 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 30663 0 0 0 118190 16 0 0 20 0 1 0 121559131 735748096 124319 33554432000 4194304 6211289 140734418231504 140734418229848 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 179626 124319 219 493 0 179123 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 718504

[startup+1242.3 s]
/proc/loadavg: 2.10 2.04 2.03 3/175 26584
/proc/meminfo: memFree=30088688/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=719080 CPUtime=1242.06 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 30736 0 0 0 124190 16 0 0 20 0 1 0 121559131 736337920 124392 33554432000 4194304 6211289 140734418231504 140734418229368 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 179770 124392 219 493 0 179267 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 719080

[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.03 3/175 26585
/proc/meminfo: memFree=30087416/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=719344 CPUtime=1302.05 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 30802 0 0 0 130189 16 0 0 20 0 1 0 121559131 736608256 124458 33554432000 4194304 6211289 140734418231504 140734418229848 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 179836 124458 219 493 0 179333 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 719344

[startup+1362.3 s]
/proc/loadavg: 2.05 2.04 2.03 3/175 26586
/proc/meminfo: memFree=30080300/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=719344 CPUtime=1362.04 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 30802 0 0 0 136188 16 0 0 20 0 1 0 121559131 736608256 124458 33554432000 4194304 6211289 140734418231504 140734418229848 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 179836 124458 219 493 0 179333 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 719344

[startup+1422.3 s]
/proc/loadavg: 2.19 2.07 2.04 3/175 26587
/proc/meminfo: memFree=30064700/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=719344 CPUtime=1422.03 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 30802 0 0 0 142187 16 0 0 20 0 1 0 121559131 736608256 124458 33554432000 4194304 6211289 140734418231504 140734418229848 4216639 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 179836 124458 219 493 0 179333 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 719344

[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 2.03 3/175 26588
/proc/meminfo: memFree=30057700/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=719344 CPUtime=1482.02 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 30802 0 0 0 148186 16 0 0 20 0 1 0 121559131 736608256 124458 33554432000 4194304 6211289 140734418231504 140734418229848 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 179836 124458 219 493 0 179333 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 719344

[startup+1542.31 s]
/proc/loadavg: 2.02 2.04 2.03 3/175 26590
/proc/meminfo: memFree=30053212/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=719344 CPUtime=1542.02 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 30802 0 0 0 154186 16 0 0 20 0 1 0 121559131 736608256 124458 33554432000 4194304 6211289 140734418231504 140734418229848 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 179836 124458 219 493 0 179333 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 719344

[startup+1602.3 s]
/proc/loadavg: 2.05 2.05 2.03 3/175 26591
/proc/meminfo: memFree=29987252/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=719536 CPUtime=1602 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 30814 0 0 0 160184 16 0 0 20 0 1 0 121559131 736804864 124470 33554432000 4194304 6211289 140734418231504 140734418229416 4239424 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 179884 124470 219 493 0 179381 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 719536

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.02 3/175 26592
/proc/meminfo: memFree=29959968/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=719536 CPUtime=1661.99 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 30815 0 0 0 166183 16 0 0 20 0 1 0 121559131 736804864 124471 33554432000 4194304 6211289 140734418231504 140734418229848 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 179884 124471 219 493 0 179381 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 719536

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/175 26593
/proc/meminfo: memFree=29957768/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=719728 CPUtime=1721.98 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 30851 0 0 0 172182 16 0 0 20 0 1 0 121559131 737001472 124507 33554432000 4194304 6211289 140734418231504 140734418229848 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 179932 124507 219 493 0 179429 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 719728

[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/176 26597
/proc/meminfo: memFree=29932404/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=720112 CPUtime=1781.97 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 30946 0 0 0 178181 16 0 0 20 0 1 0 121559131 737394688 124602 33554432000 4194304 6211289 140734418231504 140734418229368 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 180028 124602 219 493 0 179525 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 720112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.05 2.03 2.01 3/176 26597
/proc/meminfo: memFree=29932128/32872528 swapFree=13256/481332
[pid=26507] ppid=26504 vsize=720752 CPUtime=1800.07 cores=0,2,4,6
/proc/26507/stat : 26507 (cdcl-cuttingpla) R 26504 26507 25292 0 -1 4202496 31086 0 0 0 179991 16 0 0 20 0 1 0 121559131 738050048 124742 33554432000 4194304 6211289 140734418231504 140734418229368 4209384 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/26507/statm: 180188 124742 219 493 0 179685 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 720752

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 26507 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.09
CPU user time (s): 1799.91
CPU system time (s): 0.171973
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 720752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.171973
maximum resident set size= 498968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31086
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= 89
involuntary context switches= 1909

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.60069 second user time and 16.6705 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-08 16:30:43
IDJOB=4087439
IDBENCH=1980
IDSOLVER=2549
FILE ID=node104/4087439-1465396243
RUNJOBID= node104-1465387127-25308
PBS_JOBID= 19853856
Free space on /tmp= 71720 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087439-1465396243/watcher-4087439-1465396243 -o /tmp/evaluation-result-4087439-1465396243/solver-4087439-1465396243 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465387127-25308 --watchdog 1960 --input HOME/instance-4087439-1465396243.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 1a62ccf42beef1991aac7e4813cc0d13
RANDOM SEED=1538123589

node104.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.775
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.55
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.775
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.775
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.775
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.775
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.775
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.775
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.775
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:        29695424 kB
Buffers:          120700 kB
Cached:           539616 kB
SwapCached:         1724 kB
Active:          1507120 kB
Inactive:         452684 kB
Active(anon):    1298648 kB
Inactive(anon):     3024 kB
Active(file):     208472 kB
Inactive(file):   449660 kB
Unevictable:      481332 kB
Mlocked:           13256 kB
SwapTotal:      67108856 kB
SwapFree:       67097284 kB
Dirty:              2344 kB
Writeback:             0 kB
AnonPages:       1779576 kB
Mapped:             7936 kB
Shmem:                 0 kB
Slab:             603556 kB
SReclaimable:      47776 kB
SUnreclaim:       555780 kB
KernelStack:        1448 kB
PageTables:         7240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2099876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1742848 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= 71732 MiB
End job on node104 at 2016-06-08 17:00:43