Trace number 4101223

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.04 1800.32

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fit1d.opb
MD5SUMba437a46cdfe6ecad707b12b94061ac9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -20
Optimality of the best value was proved NO
Number of variables11514
Total number of constraints1050
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1050
Minimum length of a constraint11
Maximum length of a constraint11514
Number of terms in the objective function 11514
Biggest coefficient in the objective function 3344
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 531132
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 15548
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 531582
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.07	c * #variable= 11514 #constraint= 1050
0.09/0.14	c * #variable= 11514 #constraint= 1050
39.18/39.27	c S1->S2
39.18/39.27	c #Conflicts:       1000 | #Learnt:       1000 | 0.193
39.18/39.27	c total clause space: 29.637MB
39.18/39.27	c total #watches: 304256
57.48/57.52	c total #propagations: 654688 / total #impl: 27145330 (eff. 0.024)
57.48/57.52	c #Conflicts:       2000 | #Learnt:       2000 | 0.150
57.48/57.52	c total clause space: 48.1602MB
57.48/57.52	c total #watches: 402297
168.87/168.93	c total #propagations: 1192144 / total #impl: 45617880 (eff. 0.026)
168.87/168.93	c GC COLLECT
168.87/168.93	c #Conflicts:       3000 | #Learnt:       2002 | 0.350
168.87/168.93	c total clause space: 48.1602MB
168.87/168.93	c total #watches: 394806
215.86/215.91	c total #propagations: 2088775 / total #impl: 59784960 (eff. 0.035)
215.86/215.91	c #Conflicts:       4000 | #Learnt:       3002 | 0.292
215.86/215.91	c total clause space: 48.1602MB
215.86/215.91	c total #watches: 467915
240.85/240.96	c total #propagations: 2886609 / total #impl: 72799075 (eff. 0.040)
240.85/240.96	c GC COLLECT
240.85/240.96	c #Conflicts:       5000 | #Learnt:       2587 | 0.242
240.85/240.96	c total clause space: 48.1602MB
240.85/240.96	c total #watches: 587207
289.54/289.64	c total #propagations: 3320626 / total #impl: 81858469 (eff. 0.041)
289.54/289.64	c S2->S1
289.54/289.64	c #Conflicts:       6000 | #Learnt:         26 | 0.270
289.54/289.64	c total clause space: 48.1602MB
289.54/289.64	c total #watches: 543863
295.04/295.10	c total #propagations: 4328773 / total #impl: 89144190 (eff. 0.049)
295.04/295.10	c GC COLLECT
295.04/295.10	c #Conflicts:       7000 | #Learnt:        569 | 0.421
295.04/295.10	c total clause space: 78.2603MB
295.04/295.10	c total #watches: 281507
300.93/301.06	c total #propagations: 4443699 / total #impl: 99057869 (eff. 0.045)
300.93/301.06	c #Conflicts:       8000 | #Learnt:       1569 | 0.376
300.93/301.06	c total clause space: 206.656MB
300.93/301.06	c total #watches: 882121
318.23/318.35	c total #propagations: 4494402 / total #impl: 100865955 (eff. 0.045)
318.23/318.35	c #Conflicts:       9000 | #Learnt:       2569 | 0.477
318.23/318.35	c total clause space: 206.656MB
318.23/318.35	c total #watches: 1234525
346.83/346.93	c total #propagations: 4718399 / total #impl: 106885921 (eff. 0.044)
346.83/346.93	c GC COLLECT
346.83/346.93	c #Conflicts:      10000 | #Learnt:       1887 | 0.465
346.83/346.93	c total clause space: 335.816MB
346.83/346.93	c total #watches: 998448
358.53/358.63	c total #propagations: 4892270 / total #impl: 121509827 (eff. 0.040)
358.53/358.63	c #Conflicts:      11000 | #Learnt:       2887 | 0.441
358.53/358.63	c total clause space: 335.816MB
358.53/358.63	c total #watches: 1196996
384.32/384.47	c total #propagations: 5066755 / total #impl: 130449001 (eff. 0.039)
384.32/384.47	c #Conflicts:      12000 | #Learnt:       3887 | 0.647
384.32/384.47	c total clause space: 335.816MB
384.32/384.47	c total #watches: 1453612
409.82/409.90	c total #propagations: 5423743 / total #impl: 143335362 (eff. 0.038)
409.82/409.90	c #Conflicts:      13000 | #Learnt:       4887 | 0.604
409.82/409.90	c total clause space: 335.816MB
409.82/409.90	c total #watches: 1654736
439.61/439.78	c total #propagations: 5684615 / total #impl: 161868949 (eff. 0.035)
439.61/439.78	c GC COLLECT
439.61/439.78	c #Conflicts:      14000 | #Learnt:       3449 | 0.675
439.61/439.78	c total clause space: 335.816MB
439.61/439.78	c total #watches: 1092556
464.71/464.85	c total #propagations: 6161813 / total #impl: 205245036 (eff. 0.030)
464.71/464.85	c #Conflicts:      15000 | #Learnt:       4449 | 0.665
464.71/464.85	c total clause space: 335.816MB
464.71/464.85	c total #watches: 1255440
479.02/479.14	c total #propagations: 6572123 / total #impl: 244192311 (eff. 0.027)
479.02/479.14	c #Conflicts:      16000 | #Learnt:       5449 | 0.623
479.02/479.14	c total clause space: 335.816MB
479.02/479.14	c total #watches: 1479643
503.61/503.72	c total #propagations: 6937493 / total #impl: 273053179 (eff. 0.025)
503.61/503.72	c GC COLLECT
503.61/503.72	c #Conflicts:      17000 | #Learnt:       3476 | 0.586
503.61/503.72	c total clause space: 335.816MB
503.61/503.72	c total #watches: 1117875
531.60/531.70	c total #propagations: 7294546 / total #impl: 314640961 (eff. 0.023)
531.60/531.70	c #Conflicts:      18000 | #Learnt:       4476 | 0.557
531.60/531.70	c total clause space: 335.816MB
531.60/531.70	c total #watches: 1201350
565.80/565.94	c total #propagations: 7646934 / total #impl: 370360921 (eff. 0.021)
565.80/565.94	c #Conflicts:      19000 | #Learnt:       5476 | 0.528
565.80/565.94	c total clause space: 335.816MB
565.80/565.94	c total #watches: 1352718
626.29/626.42	c total #propagations: 8084059 / total #impl: 446868430 (eff. 0.018)
626.29/626.42	c #Conflicts:      20000 | #Learnt:       6476 | 0.501
626.29/626.42	c total clause space: 335.816MB
626.29/626.42	c total #watches: 1493092
683.09/683.28	c total #propagations: 8534612 / total #impl: 511723385 (eff. 0.017)
683.09/683.28	c GC COLLECT
683.09/683.28	c #Conflicts:      21000 | #Learnt:       4091 | 0.478
683.09/683.28	c total clause space: 335.816MB
683.09/683.28	c total #watches: 1046986
735.07/735.29	c total #propagations: 9034426 / total #impl: 569141961 (eff. 0.016)
735.07/735.29	c #Conflicts:      22000 | #Learnt:       5091 | 0.480
735.07/735.29	c total clause space: 335.816MB
735.07/735.29	c total #watches: 1234548
791.56/791.71	c total #propagations: 9448659 / total #impl: 610155448 (eff. 0.015)
791.56/791.71	c #Conflicts:      23000 | #Learnt:       6091 | 0.459
791.56/791.71	c total clause space: 335.816MB
791.56/791.71	c total #watches: 1367199
852.46/852.65	c total #propagations: 9879681 / total #impl: 654369506 (eff. 0.015)
852.46/852.65	c #Conflicts:      24000 | #Learnt:       7091 | 0.442
852.46/852.65	c total clause space: 335.816MB
852.46/852.65	c total #watches: 1535787
900.04/900.27	c total #propagations: 10248167 / total #impl: 696913360 (eff. 0.015)
900.04/900.27	c GC COLLECT
900.04/900.27	c #Conflicts:      25000 | #Learnt:       4348 | 0.426
900.04/900.27	c total clause space: 335.816MB
900.04/900.27	c total #watches: 1075120
924.74/924.90	c total #propagations: 10645359 / total #impl: 749885365 (eff. 0.014)
924.74/924.90	c #Conflicts:      26000 | #Learnt:       5348 | 0.421
924.74/924.90	c total clause space: 335.816MB
924.74/924.90	c total #watches: 1252579
949.04/949.25	c total #propagations: 11031830 / total #impl: 802020806 (eff. 0.014)
949.04/949.25	c #Conflicts:      27000 | #Learnt:       6348 | 0.406
949.04/949.25	c total clause space: 335.816MB
949.04/949.25	c total #watches: 1431404
993.54/993.72	c total #propagations: 11407632 / total #impl: 858000495 (eff. 0.013)
993.54/993.72	c #Conflicts:      28000 | #Learnt:       7348 | 0.391
993.54/993.72	c total clause space: 335.816MB
993.54/993.72	c total #watches: 1564582
1037.73/1037.93	c total #propagations: 11785564 / total #impl: 914655472 (eff. 0.013)
1037.73/1037.93	c GC COLLECT
1037.73/1037.93	c #Conflicts:      29000 | #Learnt:       4273 | 0.378
1037.73/1037.93	c total clause space: 335.816MB
1037.73/1037.93	c total #watches: 1027518
1060.82/1061.01	c total #propagations: 12287481 / total #impl: 980798477 (eff. 0.013)
1060.82/1061.01	c #Conflicts:      30000 | #Learnt:       5273 | 0.366
1060.82/1061.01	c total clause space: 335.816MB
1060.82/1061.01	c total #watches: 1216990
1094.52/1094.76	c total #propagations: 12631686 / total #impl: 1020185118 (eff. 0.012)
1094.52/1094.76	c #Conflicts:      31000 | #Learnt:       6273 | 0.354
1094.52/1094.76	c total clause space: 545.701MB
1094.52/1094.76	c total #watches: 1357398
1146.81/1147.03	c total #propagations: 12756921 / total #impl: 1028435959 (eff. 0.012)
1146.81/1147.03	c #Conflicts:      32000 | #Learnt:       7273 | 0.400
1146.81/1147.03	c total clause space: 886.764MB
1146.81/1147.03	c total #watches: 1824823
1213.80/1214.05	c total #propagations: 12974327 / total #impl: 1037002211 (eff. 0.013)
1213.80/1214.05	c #Conflicts:      33000 | #Learnt:       8273 | 0.412
1213.80/1214.05	c total clause space: 886.764MB
1213.80/1214.05	c total #watches: 2313463
1287.79/1288.03	c total #propagations: 13243279 / total #impl: 1060570694 (eff. 0.012)
1287.79/1288.03	c GC COLLECT
1287.79/1288.03	c #Conflicts:      34000 | #Learnt:       4887 | 0.426
1287.79/1288.03	c total clause space: 886.764MB
1287.79/1288.03	c total #watches: 1802261
1324.78/1325.07	c total #propagations: 13729140 / total #impl: 1092077615 (eff. 0.013)
1324.78/1325.07	c #Conflicts:      35000 | #Learnt:       5887 | 0.414
1324.78/1325.07	c total clause space: 886.764MB
1324.78/1325.07	c total #watches: 2012536
1364.89/1365.11	c total #propagations: 13845816 / total #impl: 1132398221 (eff. 0.012)
1364.89/1365.11	c #Conflicts:      36000 | #Learnt:       6887 | 0.408
1364.89/1365.11	c total clause space: 886.764MB
1364.89/1365.11	c total #watches: 2205105
1413.57/1413.83	c total #propagations: 13940063 / total #impl: 1164910930 (eff. 0.012)
1413.57/1413.83	c #Conflicts:      37000 | #Learnt:       7887 | 0.399
1413.57/1413.83	c total clause space: 886.764MB
1413.57/1413.83	c total #watches: 2609671
1462.16/1462.43	c total #propagations: 13999941 / total #impl: 1236241514 (eff. 0.011)
1462.16/1462.43	c #Conflicts:      38000 | #Learnt:       8887 | 0.388
1462.16/1462.43	c total clause space: 1440.99MB
1462.16/1462.43	c total #watches: 2842550
1518.46/1518.72	c total #propagations: 14146224 / total #impl: 1335104092 (eff. 0.011)
1518.46/1518.72	c GC COLLECT
1518.46/1518.72	c #Conflicts:      39000 | #Learnt:       5194 | 0.378
1518.46/1518.72	c total clause space: 1440.99MB
1518.46/1518.72	c total #watches: 1893554
1579.05/1579.30	c total #propagations: 14556997 / total #impl: 1423877476 (eff. 0.010)
1579.05/1579.30	c #Conflicts:      40000 | #Learnt:       6194 | 0.375
1579.05/1579.30	c total clause space: 1440.99MB
1579.05/1579.30	c total #watches: 2251522
1658.23/1658.50	c total #propagations: 15234556 / total #impl: 1514689518 (eff. 0.010)
1658.23/1658.50	c #Conflicts:      41000 | #Learnt:       7194 | 0.366
1658.23/1658.50	c total clause space: 1440.99MB
1658.23/1658.50	c total #watches: 2514752
1722.22/1722.56	c total #propagations: 16099791 / total #impl: 1653156089 (eff. 0.010)
1722.22/1722.56	c #Conflicts:      42000 | #Learnt:       8194 | 0.367
1722.22/1722.56	c total clause space: 1440.99MB
1722.22/1722.56	c total #watches: 2821729
1791.41/1791.78	c total #propagations: 16803030 / total #impl: 1763789184 (eff. 0.010)
1791.41/1791.78	c #Conflicts:      43000 | #Learnt:       9194 | 0.367
1791.41/1791.78	c total clause space: 1440.99MB
1791.41/1791.78	c total #watches: 3007506

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-4101223-1466251178/watcher-4101223-1466251178 -o /tmp/evaluation-result-4101223-1466251178/solver-4101223-1466251178 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466240178-16744 --watchdog 1960 --input HOME/instance-4101223-1466251178.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=17891
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.24 2.22 2.18 3/176 17894
/proc/meminfo: memFree=30070904/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 27163497 57319424 7805 33554432000 4194304 6211289 140734189419840 140733605029144 4206544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 13994 7805 98 493 0 13491 0

[startup+0.100125 s]
/proc/loadavg: 2.24 2.22 2.18 3/176 17894
/proc/meminfo: memFree=30070904/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=65520 CPUtime=0.09 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 2120 0 0 0 9 0 0 0 20 0 1 0 27163497 67092480 13939 33554432000 4194304 6211289 140734189419840 140733605029144 5159970 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 16380 13939 144 493 0 15877 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 65520

[startup+0.200366 s]
/proc/loadavg: 2.24 2.22 2.18 3/176 17894
/proc/meminfo: memFree=30070904/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=75612 CPUtime=0.18 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 3651 0 0 0 18 0 0 0 20 0 1 0 27163497 77426688 16077 33554432000 4194304 6211289 140734189419840 140733605029144 5161098 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 18903 16077 144 493 0 18400 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 75612

[startup+0.300331 s]
/proc/loadavg: 2.24 2.22 2.18 3/176 17894
/proc/meminfo: memFree=30070904/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=78468 CPUtime=0.28 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 3763 0 0 0 28 0 0 0 20 0 1 0 27163497 80351232 16699 33554432000 4194304 6211289 140734189419840 140733605029144 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 19617 16699 149 493 0 19114 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 78468

[startup+0.700232 s]
/proc/loadavg: 2.24 2.22 2.18 3/176 17894
/proc/meminfo: memFree=30070904/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=78468 CPUtime=0.68 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 3763 0 0 0 68 0 0 0 20 0 1 0 27163497 80351232 16699 33554432000 4194304 6211289 140734189419840 140733605029144 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 19617 16699 149 493 0 19114 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 78468

[startup+1.50023 s]
/proc/loadavg: 2.24 2.22 2.18 3/177 17895
/proc/meminfo: memFree=30004160/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=78468 CPUtime=1.48 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 3866 0 0 0 148 0 0 0 20 0 1 0 27163497 80351232 16802 33554432000 4194304 6211289 140734189419840 140734189417720 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 19617 16802 203 493 0 19114 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 78468

[startup+3.10022 s]
/proc/loadavg: 2.24 2.22 2.18 3/177 17895
/proc/meminfo: memFree=30001608/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=78468 CPUtime=3.08 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 4069 0 0 0 308 0 0 0 20 0 1 0 27163497 80351232 16939 33554432000 4194304 6211289 140734189419840 140734189417720 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 19617 16939 204 493 0 19114 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 78468

[startup+6.30023 s]
/proc/loadavg: 2.22 2.22 2.18 3/177 17895
/proc/meminfo: memFree=29997852/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=82888 CPUtime=6.29 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 4237 0 0 0 628 1 0 0 20 0 1 0 27163497 84877312 17560 33554432000 4194304 6211289 140734189419840 140734189418072 4202018 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 20722 17560 204 493 0 20219 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82888

[startup+12.7003 s]
/proc/loadavg: 2.20 2.21 2.18 3/177 17895
/proc/meminfo: memFree=29995192/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=82888 CPUtime=12.69 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 4446 0 0 0 1268 1 0 0 20 0 1 0 27163497 84877312 17687 33554432000 4194304 6211289 140734189419840 140734189418072 4201946 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 20722 17687 204 493 0 20219 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82888

[startup+25.5003 s]
/proc/loadavg: 2.15 2.20 2.18 3/178 17898
/proc/meminfo: memFree=29975520/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=82888 CPUtime=25.49 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 4585 0 0 0 2548 1 0 0 20 0 1 0 27163497 84877312 17778 33554432000 4194304 6211289 140734189419840 140734189418072 4241730 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 20722 17778 204 493 0 20219 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82888

[startup+51.1003 s]
/proc/loadavg: 2.22 2.22 2.18 3/178 17898
/proc/meminfo: memFree=29948700/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=103164 CPUtime=51.08 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 5589 0 0 0 5107 1 0 0 20 0 1 0 27163497 105639936 22158 33554432000 4194304 6211289 140734189419840 140734189417832 4241818 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 25791 22158 214 493 0 25288 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 103164

[startup+102.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/178 17922
/proc/meminfo: memFree=29916216/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=122600 CPUtime=102.28 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 7327 0 0 0 10226 2 0 0 20 0 1 0 27163497 125542400 23913 33554432000 4194304 6211289 140734189419840 140734189417752 4202014 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 30650 23913 219 493 0 30147 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 122600

[startup+162.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 17923
/proc/meminfo: memFree=29884880/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=122600 CPUtime=162.27 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 7400 0 0 0 16225 2 0 0 20 0 1 0 27163497 125542400 23981 33554432000 4194304 6211289 140734189419840 140734189417752 4241777 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 30650 23981 219 493 0 30147 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 122600

[startup+222.307 s]
/proc/loadavg: 2.26 2.22 2.18 3/177 17924
/proc/meminfo: memFree=29853068/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=124808 CPUtime=222.26 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 8075 0 0 0 22224 2 0 0 20 0 1 0 27163497 127803392 27711 33554432000 4194304 6211289 140734189419840 140734189417832 4240572 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 31202 27711 219 493 0 30699 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 124808

[startup+282.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/177 17926
/proc/meminfo: memFree=29126228/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=126792 CPUtime=282.24 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 8590 0 0 0 28222 2 0 0 20 0 1 0 27163497 129835008 29199 33554432000 4194304 6211289 140734189419840 140734189417704 4202003 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 31698 29199 219 493 0 31195 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 126792

[startup+342.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/177 17927
/proc/meminfo: memFree=28913084/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=444224 CPUtime=342.23 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 16704 0 0 0 34216 7 0 0 20 0 1 0 27163497 454885376 80605 33554432000 4194304 6211289 140734189419840 140734189417704 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 111056 80605 219 493 0 110553 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 444224

[startup+402.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/177 17928
/proc/meminfo: memFree=28897460/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=450276 CPUtime=402.22 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 18365 0 0 0 40215 7 0 0 20 0 1 0 27163497 461082624 82230 33554432000 4194304 6211289 140734189419840 140734189417704 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 112569 82230 219 493 0 112066 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 450276

[startup+462.3 s]
/proc/loadavg: 2.15 2.21 2.18 3/177 17929
/proc/meminfo: memFree=28887040/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=452440 CPUtime=462.21 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 19196 0 0 0 46214 7 0 0 20 0 1 0 27163497 463298560 82831 33554432000 4194304 6211289 140734189419840 140734189417832 4209244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 113110 82831 219 493 0 112607 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 452440

[startup+522.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/177 17930
/proc/meminfo: memFree=28827608/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=456120 CPUtime=522.21 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 20154 0 0 0 52213 8 0 0 20 0 1 0 27163497 467066880 93498 33554432000 4194304 6211289 140734189419840 140734189418184 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 114030 93498 219 493 0 113527 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 456120

[startup+582.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/177 17932
/proc/meminfo: memFree=28821504/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=457832 CPUtime=582.2 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 20530 0 0 0 58212 8 0 0 20 0 1 0 27163497 468819968 93874 33554432000 4194304 6211289 140734189419840 140734189417704 4209380 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 114458 93874 219 493 0 113955 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 457832


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


[startup+942.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/177 17942
/proc/meminfo: memFree=28727628/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=468508 CPUtime=942.14 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 22984 0 0 0 94205 9 0 0 20 0 1 0 27163497 479752192 108081 33554432000 4194304 6211289 140734189419840 140734189418184 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 117127 108081 219 493 0 116624 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 468508

[startup+1002.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 17943
/proc/meminfo: memFree=28310988/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=471692 CPUtime=1002.13 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 23544 0 0 0 100203 10 0 0 20 0 1 0 27163497 483012608 108641 33554432000 4194304 6211289 140734189419840 140734189418184 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 117923 108641 219 493 0 117420 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 471692

[startup+1062.3 s]
/proc/loadavg: 2.13 2.20 2.18 3/177 17944
/proc/meminfo: memFree=28274072/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=473484 CPUtime=1062.12 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 23915 0 0 0 106202 10 0 0 20 0 1 0 27163497 484847616 110545 33554432000 4194304 6211289 140734189419840 140734189418184 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 118371 110545 219 493 0 117868 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 473484

[startup+1122.3 s]
/proc/loadavg: 2.29 2.22 2.18 3/177 17945
/proc/meminfo: memFree=28011072/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=1042012 CPUtime=1122.11 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 25362 0 0 0 112194 17 0 0 20 0 1 0 27163497 1067020288 175343 33554432000 4194304 6211289 140734189419840 140734189417752 4209484 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 260503 175343 219 493 0 260000 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1042012

[startup+1182.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 17947
/proc/meminfo: memFree=27911464/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=1042980 CPUtime=1182.11 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 25646 0 0 0 118192 19 0 0 20 0 1 0 27163497 1068011520 200155 33554432000 4194304 6211289 140734189419840 140734189417832 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 260745 200155 219 493 0 260242 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 1042980

[startup+1242.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/178 17951
/proc/meminfo: memFree=27838452/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=1045344 CPUtime=1242.1 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 26248 0 0 0 124190 20 0 0 20 0 1 0 27163497 1070432256 217109 33554432000 4194304 6211289 140734189419840 140734189417752 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 261336 217109 219 493 0 260833 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1045344

[startup+1302.3 s]
/proc/loadavg: 2.36 2.25 2.19 4/177 17952
/proc/meminfo: memFree=27806812/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=1046980 CPUtime=1302.08 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 27545 0 0 0 130188 20 0 0 20 0 1 0 27163497 1072107520 224098 33554432000 4194304 6211289 140734189419840 140734189417752 4209656 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 261745 224098 219 493 0 261242 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1046980

[startup+1362.3 s]
/proc/loadavg: 2.19 2.22 2.18 4/177 17953
/proc/meminfo: memFree=27800092/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=1048656 CPUtime=1362.08 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 27982 0 0 0 136187 21 0 0 20 0 1 0 27163497 1073823744 224535 33554432000 4194304 6211289 140734189419840 140734189417832 4209464 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 262164 224535 219 493 0 261661 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1048656

[startup+1422.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 17954
/proc/meminfo: memFree=27689404/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=1051712 CPUtime=1422.08 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 28759 0 0 0 142186 22 0 0 20 0 1 0 27163497 1076953088 248818 33554432000 4194304 6211289 140734189419840 140734189417832 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 262928 248818 219 493 0 262425 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1051712

[startup+1482.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/177 17956
/proc/meminfo: memFree=27574876/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=1621612 CPUtime=1482.05 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 29602 0 0 0 148182 23 0 0 20 0 1 0 27163497 1660530688 273653 33554432000 4194304 6211289 140734189419840 140734189417832 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 405403 273653 219 493 0 404900 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1621612

[startup+1542.31 s]
/proc/loadavg: 2.15 2.20 2.18 3/177 17957
/proc/meminfo: memFree=27558832/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=1623204 CPUtime=1542.06 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 30272 0 0 0 154182 24 0 0 20 0 1 0 27163497 1662160896 276591 33554432000 4194304 6211289 140734189419840 140734189417752 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 405801 276591 219 493 0 405298 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1623204

[startup+1602.3 s]
/proc/loadavg: 2.10 2.18 2.17 3/177 17958
/proc/meminfo: memFree=27555008/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=1624180 CPUtime=1602.04 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 30510 0 0 0 160180 24 0 0 20 0 1 0 27163497 1663160320 276829 33554432000 4194304 6211289 140734189419840 140734189417832 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 406045 276829 219 493 0 405542 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1624180

[startup+1662.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/177 18142
/proc/meminfo: memFree=29036084/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=1625884 CPUtime=1662.03 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 31000 0 0 0 166179 24 0 0 20 0 1 0 27163497 1664905216 277317 33554432000 4194304 6211289 140734189419840 140734189418184 4209464 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 406471 277317 219 493 0 405968 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1625884

[startup+1722.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/177 18143
/proc/meminfo: memFree=28995424/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=1628188 CPUtime=1722.02 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 31573 0 0 0 172178 24 0 0 20 0 1 0 27163497 1667264512 278968 33554432000 4194304 6211289 140734189419840 140734189417832 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 407047 278968 219 493 0 406544 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1628188

[startup+1782.3 s]
/proc/loadavg: 2.24 2.20 2.18 4/176 18144
/proc/meminfo: memFree=28990632/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=1629644 CPUtime=1782.01 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 31890 0 0 0 178177 24 0 0 20 0 1 0 27163497 1668755456 279282 33554432000 4194304 6211289 140734189419840 140734189417832 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 407411 279282 219 493 0 406908 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1629644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/177 18146
/proc/meminfo: memFree=28988044/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=1629956 CPUtime=1800.01 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 31954 0 0 0 179977 24 0 0 20 0 1 0 27163497 1669074944 279346 33554432000 4194304 6211289 140734189419840 140734189417752 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 407489 279346 219 493 0 406986 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1629956

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

[startup+1800.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/177 18146
/proc/meminfo: memFree=28988044/32872528 swapFree=1402776/1580604
[pid=17894] ppid=17891 vsize=1629956 CPUtime=1800.01 cores=0,2,4,6
/proc/17894/stat : 17894 (cdcl-cuttingpla) R 17891 17894 16728 0 -1 4202496 31954 0 0 0 179977 24 0 0 20 0 1 0 27163497 1669074944 279346 33554432000 4194304 6211289 140734189419840 140734189417752 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/17894/statm: 407489 279346 219 493 0 406986 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1629956

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.32
CPU time (s): 1800.04
CPU user time (s): 1799.77
CPU system time (s): 0.269958
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 1629956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.269958
maximum resident set size= 1117384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31954
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= 17
involuntary context switches= 1875

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.26235 second user time and 7.2049 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-18 13:59:38
IDJOB=4101223
IDBENCH=1715
IDSOLVER=2549
FILE ID=node139/4101223-1466251178
RUNJOBID= node139-1466240178-16744
PBS_JOBID= 19918187
Free space on /tmp= 71588 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit1d.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101223-1466251178/watcher-4101223-1466251178 -o /tmp/evaluation-result-4101223-1466251178/solver-4101223-1466251178 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466240178-16744 --watchdog 1960 --input HOME/instance-4101223-1466251178.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= ba437a46cdfe6ecad707b12b94061ac9
RANDOM SEED=2029847866

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.500
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:        30071632 kB
Buffers:          143428 kB
Cached:           144184 kB
SwapCached:         1900 kB
Active:           268408 kB
Inactive:         214676 kB
Active(anon):     195840 kB
Inactive(anon):     1468 kB
Active(file):      72568 kB
Inactive(file):   213208 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099480 kB
Dirty:              3912 kB
Writeback:             0 kB
AnonPages:       1775104 kB
Mapped:             7792 kB
Shmem:                 0 kB
Slab:             604332 kB
SReclaimable:      48636 kB
SUnreclaim:       555696 kB
KernelStack:        1456 kB
PageTables:         7284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1904544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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= 71588 MiB
End job on node139 at 2016-06-18 14:29:38