Trace number 4099992

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT linear search 2016-05-01? (TO) 1800.03 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb
MD5SUMeacfeaf84791543db8ee3be1e77f11f6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark5.32719
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved YES
Number of variables8959
Total number of constraints323
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 constraints323
Minimum length of a constraint31
Maximum length of a constraint510
Number of terms in the objective function 8959
Biggest coefficient in the objective function 1746
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 531501
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 531501
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 8959 #constraint= 323
16.69/16.72	c #Conflicts:       1000 | #Learnt:       1000 | 1.749
16.69/16.72	c total clause space: 29.637MB
16.69/16.72	c total #watches: 367895
29.38/29.44	c total #propagations: 886125 / total #impl: 68366891 (eff. 0.013)
29.38/29.44	c #Conflicts:       2000 | #Learnt:       2000 | 0.885
29.38/29.44	c total clause space: 48.1602MB
29.38/29.44	c total #watches: 390183
34.59/34.61	c total #propagations: 1843466 / total #impl: 81492603 (eff. 0.023)
34.59/34.61	c GC COLLECT
34.59/34.61	c #Conflicts:       3000 | #Learnt:       2010 | 0.771
34.59/34.61	c total clause space: 48.1602MB
34.59/34.61	c total #watches: 275357
40.39/40.45	c total #propagations: 2948592 / total #impl: 89669733 (eff. 0.033)
40.39/40.45	c #Conflicts:       4000 | #Learnt:       3010 | 0.578
40.39/40.45	c total clause space: 48.1602MB
40.39/40.45	c total #watches: 286440
48.59/48.63	c total #propagations: 4276376 / total #impl: 94276082 (eff. 0.045)
48.59/48.63	c GC COLLECT
48.59/48.63	c #Conflicts:       5000 | #Learnt:       2359 | 0.463
48.59/48.63	c total clause space: 48.1602MB
48.59/48.63	c total #watches: 184543
52.98/53.06	c total #propagations: 5517426 / total #impl: 97845762 (eff. 0.056)
52.98/53.06	c #Conflicts:       6000 | #Learnt:       3359 | 0.387
52.98/53.06	c total clause space: 48.1602MB
52.98/53.06	c total #watches: 191119
59.18/59.27	c total #propagations: 6665046 / total #impl: 99743593 (eff. 0.067)
59.18/59.27	c GC COLLECT
59.18/59.27	c #Conflicts:       7000 | #Learnt:       2236 | 0.392
59.18/59.27	c total clause space: 48.1602MB
59.18/59.27	c total #watches: 146971
69.58/69.69	c total #propagations: 8164150 / total #impl: 108882223 (eff. 0.075)
69.58/69.69	c #Conflicts:       8000 | #Learnt:       3236 | 0.377
69.58/69.69	c total clause space: 48.1602MB
69.58/69.69	c total #watches: 279115
90.48/90.59	c total #propagations: 8880160 / total #impl: 200475765 (eff. 0.044)
90.48/90.59	c #Conflicts:       9000 | #Learnt:       4236 | 0.354
90.48/90.59	c total clause space: 78.2603MB
90.48/90.59	c total #watches: 443259
149.26/149.35	c total #propagations: 9605151 / total #impl: 281964670 (eff. 0.034)
149.26/149.35	c GC COLLECT
149.26/149.35	c #Conflicts:      10000 | #Learnt:       2733 | 0.322
149.26/149.35	c total clause space: 78.2603MB
149.26/149.35	c total #watches: 449236
218.45/218.50	c total #propagations: 10673095 / total #impl: 590497664 (eff. 0.018)
218.45/218.50	c #Conflicts:      11000 | #Learnt:       3733 | 0.293
218.45/218.50	c total clause space: 78.2603MB
218.45/218.50	c total #watches: 576534
280.56/280.61	c total #propagations: 11640161 / total #impl: 1137813860 (eff. 0.010)
280.56/280.61	c #Conflicts:      12000 | #Learnt:       4733 | 0.304
280.56/280.61	c total clause space: 127.173MB
280.56/280.61	c total #watches: 711761
333.44/333.59	c total #propagations: 12526238 / total #impl: 1284786908 (eff. 0.010)
333.44/333.59	c #Conflicts:      13000 | #Learnt:       5733 | 0.299
333.44/333.59	c total clause space: 127.173MB
333.44/333.59	c total #watches: 819008
395.53/395.68	c total #propagations: 13073074 / total #impl: 1402727109 (eff. 0.009)
395.53/395.68	c GC COLLECT
395.53/395.68	c #Conflicts:      14000 | #Learnt:       3879 | 0.300
395.53/395.68	c total clause space: 127.173MB
395.53/395.68	c total #watches: 631568
481.92/482.07	c total #propagations: 14034944 / total #impl: 1684482646 (eff. 0.008)
481.92/482.07	c #Conflicts:      15000 | #Learnt:       4879 | 0.326
481.92/482.07	c total clause space: 127.173MB
481.92/482.07	c total #watches: 729970
542.81/542.94	c total #propagations: 15134056 / total #impl: 1814070559 (eff. 0.008)
542.81/542.94	c #Conflicts:      16000 | #Learnt:       5879 | 0.314
542.81/542.94	c total clause space: 127.173MB
542.81/542.94	c total #watches: 822882
597.50/597.60	c total #propagations: 15722355 / total #impl: 1983856401 (eff. 0.008)
597.50/597.60	c GC COLLECT
597.50/597.60	c #Conflicts:      17000 | #Learnt:       3693 | 0.297
597.50/597.60	c total clause space: 127.173MB
597.50/597.60	c total #watches: 576718
631.40/631.51	c total #propagations: 16312521 / total #impl: 2125124683 (eff. 0.008)
631.40/631.51	c #Conflicts:      18000 | #Learnt:       4693 | 0.281
631.40/631.51	c total clause space: 127.173MB
631.40/631.51	c total #watches: 659360
672.29/672.41	c total #propagations: 16762922 / total #impl: 2201421072 (eff. 0.008)
672.29/672.41	c #Conflicts:      19000 | #Learnt:       5693 | 0.267
672.29/672.41	c total clause space: 127.173MB
672.29/672.41	c total #watches: 738133
736.78/736.95	c total #propagations: 17280691 / total #impl: 2264271193 (eff. 0.008)
736.78/736.95	c #Conflicts:      20000 | #Learnt:       6693 | 0.258
736.78/736.95	c total clause space: 127.173MB
736.78/736.95	c total #watches: 839988
801.97/802.18	c total #propagations: 17993599 / total #impl: 2374494435 (eff. 0.008)
801.97/802.18	c GC COLLECT
801.97/802.18	c #Conflicts:      21000 | #Learnt:       4198 | 0.247
801.97/802.18	c total clause space: 127.173MB
801.97/802.18	c total #watches: 550444
851.16/851.33	c total #propagations: 18793039 / total #impl: 2564316918 (eff. 0.007)
851.16/851.33	c #Conflicts:      22000 | #Learnt:       5198 | 0.238
851.16/851.33	c total clause space: 127.173MB
851.16/851.33	c total #watches: 648965
911.45/911.66	c total #propagations: 19426061 / total #impl: 2670669835 (eff. 0.007)
911.45/911.66	c #Conflicts:      23000 | #Learnt:       6198 | 0.230
911.45/911.66	c total clause space: 127.173MB
911.45/911.66	c total #watches: 711008
992.94/993.10	c total #propagations: 20205311 / total #impl: 2800647735 (eff. 0.007)
992.94/993.10	c #Conflicts:      24000 | #Learnt:       7198 | 0.221
992.94/993.10	c total clause space: 127.173MB
992.94/993.10	c total #watches: 764230
1048.63/1048.89	c total #propagations: 21240645 / total #impl: 2953388181 (eff. 0.007)
1048.63/1048.89	c GC COLLECT
1048.63/1048.89	c #Conflicts:      25000 | #Learnt:       4405 | 0.212
1048.63/1048.89	c total clause space: 206.656MB
1048.63/1048.89	c total #watches: 561311
1136.01/1136.28	c total #propagations: 22006812 / total #impl: 3049341952 (eff. 0.007)
1136.01/1136.28	c #Conflicts:      26000 | #Learnt:       5405 | 0.205
1136.01/1136.28	c total clause space: 206.656MB
1136.01/1136.28	c total #watches: 644972
1172.31/1172.58	c total #propagations: 22861562 / total #impl: 3645682392 (eff. 0.006)
1172.31/1172.58	c #Conflicts:      27000 | #Learnt:       6405 | 0.199
1172.31/1172.58	c total clause space: 206.656MB
1172.31/1172.58	c total #watches: 689342
1201.71/1201.99	c total #propagations: 23388424 / total #impl: 3751036320 (eff. 0.006)
1201.71/1201.99	c #Conflicts:      28000 | #Learnt:       7405 | 0.194
1201.71/1201.99	c total clause space: 206.656MB
1201.71/1201.99	c total #watches: 761541
1252.30/1252.51	c total #propagations: 23921015 / total #impl: 3852697386 (eff. 0.006)
1252.30/1252.51	c GC COLLECT
1252.30/1252.51	c #Conflicts:      29000 | #Learnt:       4307 | 0.187
1252.30/1252.51	c total clause space: 206.656MB
1252.30/1252.51	c total #watches: 510671
1277.79/1278.06	c total #propagations: 24812862 / total #impl: 4017784800 (eff. 0.006)
1277.79/1278.06	c #Conflicts:      30000 | #Learnt:       5307 | 0.187
1277.79/1278.06	c total clause space: 206.656MB
1277.79/1278.06	c total #watches: 609068
1312.59/1312.88	c total #propagations: 25350049 / total #impl: 4051447593 (eff. 0.006)
1312.59/1312.88	c #Conflicts:      31000 | #Learnt:       6307 | 0.183
1312.59/1312.88	c total clause space: 206.656MB
1312.59/1312.88	c total #watches: 642236
1350.98/1351.27	c total #propagations: 26163013 / total #impl: 4071122315 (eff. 0.006)
1350.98/1351.27	c #Conflicts:      32000 | #Learnt:       7307 | 0.181
1350.98/1351.27	c total clause space: 206.656MB
1350.98/1351.27	c total #watches: 727456
1379.88/1380.18	c total #propagations: 27006638 / total #impl: 4095986994 (eff. 0.007)
1379.88/1380.18	c #Conflicts:      33000 | #Learnt:       8307 | 0.183
1379.88/1380.18	c total clause space: 206.656MB
1379.88/1380.18	c total #watches: 820591
1406.97/1407.26	c total #propagations: 27681224 / total #impl: 4118958110 (eff. 0.007)
1406.97/1407.26	c GC COLLECT
1406.97/1407.26	c #Conflicts:      34000 | #Learnt:       4950 | 0.184
1406.97/1407.26	c total clause space: 206.656MB
1406.97/1407.26	c total #watches: 634040
1443.57/1443.81	c total #propagations: 28341156 / total #impl: 4174772552 (eff. 0.007)
1443.57/1443.81	c #Conflicts:      35000 | #Learnt:       5950 | 0.186
1443.57/1443.81	c total clause space: 206.656MB
1443.57/1443.81	c total #watches: 719668
1502.56/1502.88	c total #propagations: 29061880 / total #impl: 4310451865 (eff. 0.007)
1502.56/1502.88	c #Conflicts:      36000 | #Learnt:       6950 | 0.181
1502.56/1502.88	c total clause space: 206.656MB
1502.56/1502.88	c total #watches: 787597
1555.75/1556.00	c total #propagations: 30199843 / total #impl: 4384823593 (eff. 0.007)
1555.75/1556.00	c #Conflicts:      37000 | #Learnt:       7950 | 0.176
1555.75/1556.00	c total clause space: 206.656MB
1555.75/1556.00	c total #watches: 862623
1603.94/1604.27	c total #propagations: 31112029 / total #impl: 4457957350 (eff. 0.007)
1603.94/1604.27	c #Conflicts:      38000 | #Learnt:       8950 | 0.173
1603.94/1604.27	c total clause space: 206.656MB
1603.94/1604.27	c total #watches: 943304
1657.44/1657.76	c total #propagations: 31863372 / total #impl: 4474245323 (eff. 0.007)
1657.44/1657.76	c GC COLLECT
1657.44/1657.76	c #Conflicts:      39000 | #Learnt:       5224 | 0.172
1657.44/1657.76	c total clause space: 206.656MB
1657.44/1657.76	c total #watches: 684860
1702.93/1703.24	c total #propagations: 32555996 / total #impl: 4517795788 (eff. 0.007)
1702.93/1703.24	c #Conflicts:      40000 | #Learnt:       6224 | 0.168
1702.93/1703.24	c total clause space: 206.656MB
1702.93/1703.24	c total #watches: 705604
1758.73/1759.06	c total #propagations: 33443145 / total #impl: 4544299876 (eff. 0.007)
1758.73/1759.06	c #Conflicts:      41000 | #Learnt:       7224 | 0.165
1758.73/1759.06	c total clause space: 206.656MB
1758.73/1759.06	c total #watches: 749151

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

pid=24231
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.06 1.16 1.44 4/176 24234
/proc/meminfo: memFree=30167468/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 25007797 29810688 5268 33554432000 4194304 6201397 140735426765440 140736547224024 4211048 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 7278 5268 130 491 0 6777 0

[startup+0.100217 s]
/proc/loadavg: 1.06 1.16 1.44 4/176 24234
/proc/meminfo: memFree=30167468/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=34736 CPUtime=0.09 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 1014 0 0 0 9 0 0 0 20 0 1 0 25007797 35569664 7391 33554432000 4194304 6201397 140735426765440 140736547224024 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 8684 7391 146 491 0 8183 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34736

[startup+0.200318 s]
/proc/loadavg: 1.06 1.16 1.44 4/176 24234
/proc/meminfo: memFree=30167468/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=37684 CPUtime=0.19 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 1223 0 0 0 19 0 0 0 20 0 1 0 25007797 38588416 7564 33554432000 4194304 6201397 140735426765440 140736547224024 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 9421 7564 147 491 0 8920 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37684

[startup+0.300345 s]
/proc/loadavg: 1.06 1.16 1.44 4/176 24234
/proc/meminfo: memFree=30167468/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=37920 CPUtime=0.29 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 1395 0 0 0 29 0 0 0 20 0 1 0 25007797 38830080 7709 33554432000 4194304 6201397 140735426765440 140736547224024 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 9480 7709 147 491 0 8979 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37920

[startup+0.700349 s]
/proc/loadavg: 1.06 1.16 1.44 4/176 24234
/proc/meminfo: memFree=30167468/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=43012 CPUtime=0.69 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 1688 0 0 0 69 0 0 0 20 0 1 0 25007797 44044288 8485 33554432000 4194304 6201397 140735426765440 140736547224024 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 10753 8485 147 491 0 10252 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43012

[startup+1.50026 s]
/proc/loadavg: 1.06 1.16 1.44 3/173 24362
/proc/meminfo: memFree=30149184/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=43252 CPUtime=1.49 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 1750 0 0 0 149 0 0 0 20 0 1 0 25007797 44290048 9058 33554432000 4194304 6201397 140735426765440 140735426764280 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 10813 9058 147 491 0 10312 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43252

[startup+3.10025 s]
/proc/loadavg: 1.14 1.18 1.44 3/177 24373
/proc/meminfo: memFree=30085716/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=50528 CPUtime=3.09 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 2015 0 0 0 309 0 0 0 20 0 1 0 25007797 51740672 9248 33554432000 4194304 6201397 140735426765440 140735426764280 4213178 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 12632 9248 147 491 0 12131 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50528

[startup+6.30021 s]
/proc/loadavg: 1.14 1.18 1.44 3/177 24373
/proc/meminfo: memFree=30054492/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=63472 CPUtime=6.29 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 2541 0 0 0 629 0 0 0 20 0 1 0 25007797 64995328 10738 33554432000 4194304 6201397 140735426765440 140735426764152 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 15868 10738 147 491 0 15367 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63472

[startup+12.7003 s]
/proc/loadavg: 1.34 1.22 1.46 3/177 24376
/proc/meminfo: memFree=30021492/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=63868 CPUtime=12.69 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 2752 0 0 0 1269 0 0 0 20 0 1 0 25007797 65400832 11944 33554432000 4194304 6201397 140735426765440 140735426764072 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 15967 11944 147 491 0 15466 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63868

[startup+25.5003 s]
/proc/loadavg: 1.52 1.26 1.47 3/178 24377
/proc/meminfo: memFree=29963684/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=65112 CPUtime=25.49 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 3073 0 0 0 2549 0 0 0 20 0 1 0 25007797 66674688 13798 33554432000 4194304 6201397 140735426765440 140735426764232 4213168 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 16278 13798 160 491 0 15777 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65112

[startup+51.1003 s]
/proc/loadavg: 1.88 1.37 1.49 3/178 24377
/proc/meminfo: memFree=29912256/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=84736 CPUtime=51.09 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 5824 0 0 0 5108 1 0 0 20 0 1 0 25007797 86769664 16185 33554432000 4194304 6201397 140735426765440 140735426764392 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 21184 16185 166 491 0 20683 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 84736

[startup+102.3 s]
/proc/loadavg: 2.06 1.50 1.53 3/178 24401
/proc/meminfo: memFree=29755864/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=119756 CPUtime=102.28 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 7387 0 0 0 10226 2 0 0 20 0 1 0 25007797 122630144 25280 33554432000 4194304 6201397 140735426765440 140735426764232 4213170 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 29939 25280 166 491 0 29438 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 119756

[startup+162.3 s]
/proc/loadavg: 2.18 1.63 1.57 4/177 24402
/proc/meminfo: memFree=29607064/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=121460 CPUtime=162.26 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 8212 0 0 0 16224 2 0 0 20 0 1 0 25007797 124375040 28927 33554432000 4194304 6201397 140735426765440 140735426764392 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 30365 28927 166 491 0 29864 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 121460

[startup+222.307 s]
/proc/loadavg: 2.15 1.73 1.61 3/177 24403
/proc/meminfo: memFree=29504440/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=122632 CPUtime=222.26 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 8493 0 0 0 22224 2 0 0 20 0 1 0 25007797 125575168 29208 33554432000 4194304 6201397 140735426765440 140735426764568 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 30658 29208 166 491 0 30157 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 122632

[startup+282.3 s]
/proc/loadavg: 2.31 1.83 1.65 3/177 24404
/proc/meminfo: memFree=29326604/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=174268 CPUtime=282.25 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 9189 0 0 0 28222 3 0 0 20 0 1 0 25007797 178450432 33377 33554432000 4194304 6201397 140735426765440 140735426764568 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 43567 33377 166 491 0 43066 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 174268

[startup+342.3 s]
/proc/loadavg: 2.37 1.94 1.69 4/177 24406
/proc/meminfo: memFree=29267488/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=176644 CPUtime=342.24 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 10154 0 0 0 34220 4 0 0 20 0 1 0 25007797 180883456 39740 33554432000 4194304 6201397 140735426765440 140735426764568 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 44161 39740 166 491 0 43660 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 176644

[startup+402.3 s]
/proc/loadavg: 2.32 2.01 1.73 3/177 24407
/proc/meminfo: memFree=29215036/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=177144 CPUtime=402.23 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 10399 0 0 0 40219 4 0 0 20 0 1 0 25007797 181395456 39972 33554432000 4194304 6201397 140735426765440 140735426764568 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 44286 39972 166 491 0 43785 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 177144

[startup+462.3 s]
/proc/loadavg: 2.12 2.00 1.74 3/177 24408
/proc/meminfo: memFree=29197168/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=177960 CPUtime=462.22 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 10546 0 0 0 46218 4 0 0 20 0 1 0 25007797 182231040 40119 33554432000 4194304 6201397 140735426765440 140735426764104 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 44490 40119 166 491 0 43989 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 177960

[startup+522.3 s]
/proc/loadavg: 2.08 2.01 1.76 3/177 24409
/proc/meminfo: memFree=29155984/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=178428 CPUtime=522.22 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 10666 0 0 0 52218 4 0 0 20 0 1 0 25007797 182710272 40239 33554432000 4194304 6201397 140735426765440 140735426764232 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 44607 40239 166 491 0 44106 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 178428

[startup+582.3 s]
/proc/loadavg: 2.24 2.07 1.79 3/177 24410
/proc/meminfo: memFree=29076356/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=179460 CPUtime=582.2 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 10966 0 0 0 58216 4 0 0 20 0 1 0 25007797 183767040 43065 33554432000 4194304 6201397 140735426765440 140735426764152 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 44865 43065 166 491 0 44364 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 179460


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


[startup+942.3 s]
/proc/loadavg: 2.22 2.15 1.91 3/177 24421
/proc/meminfo: memFree=29045152/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=182052 CPUtime=942.14 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 11702 0 0 0 94210 4 0 0 20 0 1 0 25007797 186421248 43787 33554432000 4194304 6201397 140735426765440 140735426764280 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 45513 43787 166 491 0 45012 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 182052

[startup+1002.3 s]
/proc/loadavg: 2.18 2.15 1.92 3/177 24422
/proc/meminfo: memFree=29021976/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=263440 CPUtime=1002.13 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 11708 0 0 0 100209 4 0 0 20 0 1 0 25007797 269762560 44923 33554432000 4194304 6201397 140735426765440 140735426764472 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 65860 44923 166 491 0 65359 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 263440

[startup+1062.3 s]
/proc/loadavg: 2.24 2.16 1.94 3/177 24423
/proc/meminfo: memFree=28873508/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=263864 CPUtime=1062.12 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 11837 0 0 0 106208 4 0 0 20 0 1 0 25007797 270196736 45559 33554432000 4194304 6201397 140735426765440 140735426764232 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 65966 45559 166 491 0 65465 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 263864

[startup+1122.3 s]
/proc/loadavg: 2.19 2.16 1.95 3/177 24424
/proc/meminfo: memFree=28873456/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=264060 CPUtime=1122.11 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 11890 0 0 0 112207 4 0 0 20 0 1 0 25007797 270397440 45612 33554432000 4194304 6201397 140735426765440 140735426764392 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 66015 45612 166 491 0 65514 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 264060

[startup+1182.3 s]
/proc/loadavg: 2.20 2.16 1.96 3/177 24425
/proc/meminfo: memFree=28828452/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=264304 CPUtime=1182.11 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 11941 0 0 0 118207 4 0 0 20 0 1 0 25007797 270647296 45663 33554432000 4194304 6201397 140735426765440 140735426764232 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 66076 45663 166 491 0 65575 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 264304

[startup+1242.3 s]
/proc/loadavg: 2.26 2.19 1.98 3/178 24430
/proc/meminfo: memFree=28761168/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=264684 CPUtime=1242.1 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 12066 0 0 0 124205 5 0 0 20 0 1 0 25007797 271036416 52431 33554432000 4194304 6201397 140735426765440 140735426764392 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 66171 52431 166 491 0 65670 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 264684

[startup+1302.3 s]
/proc/loadavg: 2.25 2.20 2.00 3/177 24431
/proc/meminfo: memFree=28756608/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=265112 CPUtime=1302.09 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 12160 0 0 0 130204 5 0 0 20 0 1 0 25007797 271474688 52525 33554432000 4194304 6201397 140735426765440 140735426764232 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 66278 52525 166 491 0 65777 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 265112

[startup+1362.3 s]
/proc/loadavg: 2.22 2.20 2.01 4/177 24432
/proc/meminfo: memFree=28757384/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=265324 CPUtime=1362.08 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 12217 0 0 0 136203 5 0 0 20 0 1 0 25007797 271691776 52582 33554432000 4194304 6201397 140735426765440 140735426764568 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 66331 52582 166 491 0 65830 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 265324

[startup+1422.3 s]
/proc/loadavg: 2.19 2.19 2.01 3/177 24433
/proc/meminfo: memFree=28755712/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=265908 CPUtime=1422.08 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 12380 0 0 0 142203 5 0 0 20 0 1 0 25007797 272289792 52745 33554432000 4194304 6201397 140735426765440 140735426764568 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 66477 52745 166 491 0 65976 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 265908

[startup+1482.3 s]
/proc/loadavg: 2.23 2.20 2.02 3/177 24434
/proc/meminfo: memFree=28754528/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=266228 CPUtime=1482.06 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 12452 0 0 0 148201 5 0 0 20 0 1 0 25007797 272617472 52817 33554432000 4194304 6201397 140735426765440 140735426764392 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 66557 52817 166 491 0 66056 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 266228

[startup+1542.31 s]
/proc/loadavg: 2.20 2.19 2.03 3/177 24436
/proc/meminfo: memFree=28746324/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=266800 CPUtime=1542.06 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 12576 0 0 0 154201 5 0 0 20 0 1 0 25007797 273203200 52941 33554432000 4194304 6201397 140735426765440 140735426764104 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 66700 52941 166 491 0 66199 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 266800

[startup+1602.3 s]
/proc/loadavg: 2.24 2.22 2.04 3/177 24437
/proc/meminfo: memFree=28745632/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=267104 CPUtime=1602.04 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 12656 0 0 0 160199 5 0 0 20 0 1 0 25007797 273514496 53021 33554432000 4194304 6201397 140735426765440 140735426764104 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 66776 53021 166 491 0 66275 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 267104

[startup+1662.3 s]
/proc/loadavg: 2.19 2.20 2.05 3/177 24438
/proc/meminfo: memFree=28743520/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=267400 CPUtime=1662.03 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 12742 0 0 0 166198 5 0 0 20 0 1 0 25007797 273817600 53107 33554432000 4194304 6201397 140735426765440 140735426764232 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 66850 53107 166 491 0 66349 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 267400

[startup+1722.3 s]
/proc/loadavg: 2.13 2.18 2.05 4/177 24439
/proc/meminfo: memFree=28736552/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=268464 CPUtime=1722.02 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 12984 0 0 0 172197 5 0 0 20 0 1 0 25007797 274907136 53349 33554432000 4194304 6201397 140735426765440 140735426764280 4213168 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 67116 53349 166 491 0 66615 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 268464

[startup+1782.3 s]
/proc/loadavg: 2.21 2.19 2.06 3/177 24440
/proc/meminfo: memFree=28732344/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=268816 CPUtime=1782.02 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 13061 0 0 0 178196 6 0 0 20 0 1 0 25007797 275267584 53426 33554432000 4194304 6201397 140735426765440 140735426764568 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 67204 53426 166 491 0 66703 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 268816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.30 2.21 2.07 3/177 24440
/proc/meminfo: memFree=28729616/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=268816 CPUtime=1800.02 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 13061 0 0 0 179996 6 0 0 20 0 1 0 25007797 275267584 53426 33554432000 4194304 6201397 140735426765440 140735426764568 4213110 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 67204 53426 166 491 0 66703 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 268816

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

[startup+1800.3 s]
/proc/loadavg: 2.30 2.21 2.07 3/177 24440
/proc/meminfo: memFree=28729616/32872528 swapFree=1534436/1655032
[pid=24234] ppid=24231 vsize=268816 CPUtime=1800.02 cores=1,3,5,7
/proc/24234/stat : 24234 (cdcl-cuttingpla) R 24231 24234 24188 0 -1 4202496 13061 0 0 0 179996 6 0 0 20 0 1 0 25007797 275267584 53426 33554432000 4194304 6201397 140735426765440 140735426764568 4213110 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24234/statm: 67204 53426 166 491 0 66703 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 268816

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.96
CPU system time (s): 0.06299
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 268816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.06299
maximum resident set size= 213704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13061
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= 8
involuntary context switches= 1863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5883 second user time and 6.97594 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-18 07:59:54
IDJOB=4099992
IDBENCH=1559
IDSOLVER=2550
FILE ID=node122/4099992-1466229594
RUNJOBID= node122-1466229594-24205
PBS_JOBID= 19918176
Free space on /tmp= 71740 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099992-1466229594/watcher-4099992-1466229594 -o /tmp/evaluation-result-4099992-1466229594/solver-4099992-1466229594 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466229594-24205 --watchdog 1960 --input HOME/instance-4099992-1466229594.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= eacfeaf84791543db8ee3be1e77f11f6
RANDOM SEED=988555753

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30172348 kB
Buffers:          106140 kB
Cached:           164288 kB
SwapCached:            0 kB
Active:            96788 kB
Inactive:         186632 kB
Active(anon):       6100 kB
Inactive(anon):     9924 kB
Active(file):      90688 kB
Inactive(file):   176708 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5072 kB
Writeback:             0 kB
AnonPages:       1668024 kB
Mapped:            12996 kB
Shmem:               204 kB
Slab:             607524 kB
SReclaimable:      51652 kB
SUnreclaim:       555872 kB
KernelStack:        1360 kB
PageTables:         7552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1790796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 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 node122 at 2016-06-18 08:29:54