Trace number 4101672

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-air05.opb
MD5SUM2b7e03ead6dfd4071784021865da4458
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4098
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4324
Optimality of the best value was proved NO
Number of variables7195
Total number of constraints426
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)426
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint404
Number of terms in the objective function 7195
Biggest coefficient in the objective function 360
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 527812
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 360
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 527812
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= 7195 #constraint= 426
4.99/5.01	c #Conflicts:       1000 | #Learnt:       1012 | 0.004
4.99/5.01	c total clause space: 48.1602MB
4.99/5.01	c total #watches: 631371
11.79/11.87	c total #propagations: 467268 / total #impl: 30876091 (eff. 0.015)
11.79/11.87	c #Conflicts:       2000 | #Learnt:       2012 | 0.006
11.79/11.87	c total clause space: 78.2603MB
11.79/11.87	c total #watches: 897828
21.78/21.84	c total #propagations: 547454 / total #impl: 51321071 (eff. 0.011)
21.78/21.84	c GC COLLECT
21.78/21.84	c #Conflicts:       3000 | #Learnt:       2048 | 0.004
21.78/21.84	c total clause space: 78.2603MB
21.78/21.84	c total #watches: 1039517
34.19/34.21	c total #propagations: 617445 / total #impl: 83635646 (eff. 0.007)
34.19/34.21	c #Conflicts:       4000 | #Learnt:       3048 | 0.003
34.19/34.21	c total clause space: 127.173MB
34.19/34.21	c total #watches: 1203600
52.08/52.10	c total #propagations: 681768 / total #impl: 118644945 (eff. 0.006)
52.08/52.10	c GC COLLECT
52.08/52.10	c #Conflicts:       5000 | #Learnt:       2426 | 0.009
52.08/52.10	c total clause space: 127.173MB
52.08/52.10	c total #watches: 1231170
68.08/68.16	c total #propagations: 767605 / total #impl: 147198311 (eff. 0.005)
68.08/68.16	c #Conflicts:       6000 | #Learnt:       3426 | 0.009
68.08/68.16	c total clause space: 206.656MB
68.08/68.16	c total #watches: 1556546
81.18/81.24	c total #propagations: 830983 / total #impl: 178620158 (eff. 0.005)
81.18/81.24	c GC COLLECT
81.18/81.24	c #Conflicts:       7000 | #Learnt:       2325 | 0.008
81.18/81.24	c total clause space: 206.656MB
81.18/81.24	c total #watches: 1312639
91.48/91.50	c total #propagations: 870515 / total #impl: 209821999 (eff. 0.004)
91.48/91.50	c #Conflicts:       8000 | #Learnt:       3325 | 0.008
91.48/91.50	c total clause space: 206.656MB
91.48/91.50	c total #watches: 1606479
146.46/146.56	c total #propagations: 903412 / total #impl: 242282376 (eff. 0.004)
146.46/146.56	c #Conflicts:       9000 | #Learnt:       4321 | 0.009
146.46/146.56	c total clause space: 335.816MB
146.46/146.56	c total #watches: 1940803
190.86/190.97	c total #propagations: 1064158 / total #impl: 282095497 (eff. 0.004)
190.86/190.97	c GC COLLECT
190.86/190.97	c #Conflicts:      10000 | #Learnt:       2831 | 0.017
190.86/190.97	c total clause space: 335.816MB
190.86/190.97	c total #watches: 1676466
210.96/211.05	c total #propagations: 1186771 / total #impl: 307545535 (eff. 0.004)
210.96/211.05	c #Conflicts:      11000 | #Learnt:       3831 | 0.016
210.96/211.05	c total clause space: 335.816MB
210.96/211.05	c total #watches: 1974239
247.46/247.54	c total #propagations: 1248363 / total #impl: 352985379 (eff. 0.004)
247.46/247.54	c #Conflicts:      12000 | #Learnt:       4831 | 0.015
247.46/247.54	c total clause space: 335.816MB
247.46/247.54	c total #watches: 2359995
299.54/299.60	c total #propagations: 1328861 / total #impl: 402400933 (eff. 0.003)
299.54/299.60	c #Conflicts:      13000 | #Learnt:       5831 | 0.014
299.54/299.60	c total clause space: 335.816MB
299.54/299.60	c total #watches: 2797629
352.14/352.21	c total #propagations: 1421586 / total #impl: 461595929 (eff. 0.003)
352.14/352.21	c GC COLLECT
352.14/352.21	c #Conflicts:      14000 | #Learnt:       3973 | 0.013
352.14/352.21	c total clause space: 335.816MB
352.14/352.21	c total #watches: 2355778
396.22/396.30	c total #propagations: 1526566 / total #impl: 494580331 (eff. 0.003)
396.22/396.30	c #Conflicts:      15000 | #Learnt:       4973 | 0.013
396.22/396.30	c total clause space: 335.816MB
396.22/396.30	c total #watches: 3001323
439.82/440.00	c total #propagations: 1586648 / total #impl: 540764453 (eff. 0.003)
439.82/440.00	c #Conflicts:      16000 | #Learnt:       5972 | 0.013
439.82/440.00	c total clause space: 545.701MB
439.82/440.00	c total #watches: 3515828
501.61/501.75	c total #propagations: 1647366 / total #impl: 610099076 (eff. 0.003)
501.61/501.75	c GC COLLECT
501.61/501.75	c #Conflicts:      17000 | #Learnt:       3796 | 0.014
501.61/501.75	c total clause space: 545.701MB
501.61/501.75	c total #watches: 2981363
607.90/608.03	c total #propagations: 1729579 / total #impl: 672180325 (eff. 0.003)
607.90/608.03	c #Conflicts:      18000 | #Learnt:       4791 | 0.024
607.90/608.03	c total clause space: 545.701MB
607.90/608.03	c total #watches: 3277306
632.50/632.63	c total #propagations: 1835285 / total #impl: 728138738 (eff. 0.003)
632.50/632.63	c #Conflicts:      19000 | #Learnt:       5791 | 0.023
632.50/632.63	c total clause space: 545.701MB
632.50/632.63	c total #watches: 3736808
698.49/698.63	c total #propagations: 1863414 / total #impl: 787639333 (eff. 0.002)
698.49/698.63	c #Conflicts:      20000 | #Learnt:       6791 | 0.022
698.49/698.63	c total clause space: 545.701MB
698.49/698.63	c total #watches: 4158015
751.97/752.12	c total #propagations: 1928835 / total #impl: 847193365 (eff. 0.002)
751.97/752.12	c GC COLLECT
751.97/752.12	c #Conflicts:      21000 | #Learnt:       4305 | 0.021
751.97/752.12	c total clause space: 545.701MB
751.97/752.12	c total #watches: 2892648
799.17/799.31	c total #propagations: 2000733 / total #impl: 890646374 (eff. 0.002)
799.17/799.31	c #Conflicts:      22000 | #Learnt:       5305 | 0.020
799.17/799.31	c total clause space: 545.701MB
799.17/799.31	c total #watches: 3409201
893.25/893.42	c total #propagations: 2071844 / total #impl: 936841813 (eff. 0.002)
893.25/893.42	c #Conflicts:      23000 | #Learnt:       6304 | 0.020
893.25/893.42	c total clause space: 545.701MB
893.25/893.42	c total #watches: 4028159
960.34/960.53	c total #propagations: 2172203 / total #impl: 1011738408 (eff. 0.002)
960.34/960.53	c #Conflicts:      24000 | #Learnt:       7304 | 0.020
960.34/960.53	c total clause space: 545.701MB
960.34/960.53	c total #watches: 4515475
1011.23/1011.44	c total #propagations: 2233514 / total #impl: 1085028451 (eff. 0.002)
1011.23/1011.44	c GC COLLECT
1011.23/1011.44	c #Conflicts:      25000 | #Learnt:       4506 | 0.019
1011.23/1011.44	c total clause space: 545.701MB
1011.23/1011.44	c total #watches: 3139591
1040.44/1040.63	c total #propagations: 2289077 / total #impl: 1167007545 (eff. 0.002)
1040.44/1040.63	c #Conflicts:      26000 | #Learnt:       5506 | 0.018
1040.44/1040.63	c total clause space: 545.701MB
1040.44/1040.63	c total #watches: 3528727
1075.12/1075.34	c total #propagations: 2320104 / total #impl: 1237191929 (eff. 0.002)
1075.12/1075.34	c #Conflicts:      27000 | #Learnt:       6506 | 0.018
1075.12/1075.34	c total clause space: 545.701MB
1075.12/1075.34	c total #watches: 4052821
1158.91/1159.17	c total #propagations: 2347488 / total #impl: 1344545536 (eff. 0.002)
1158.91/1159.17	c #Conflicts:      28000 | #Learnt:       7509 | 0.017
1158.91/1159.17	c total clause space: 545.701MB
1158.91/1159.17	c total #watches: 4711255
1249.69/1249.92	c total #propagations: 2419837 / total #impl: 1501794023 (eff. 0.002)
1249.69/1249.92	c GC COLLECT
1249.69/1249.92	c #Conflicts:      29000 | #Learnt:       4414 | 0.017
1249.69/1249.92	c total clause space: 545.701MB
1249.69/1249.92	c total #watches: 3224104
1346.88/1347.18	c total #propagations: 2489896 / total #impl: 1606109599 (eff. 0.002)
1346.88/1347.18	c #Conflicts:      30000 | #Learnt:       5414 | 0.017
1346.88/1347.18	c total clause space: 545.701MB
1346.88/1347.18	c total #watches: 3653519
1451.47/1451.74	c total #propagations: 2584555 / total #impl: 1641380784 (eff. 0.002)
1451.47/1451.74	c #Conflicts:      31000 | #Learnt:       6413 | 0.016
1451.47/1451.74	c total clause space: 545.701MB
1451.47/1451.74	c total #watches: 4279127
1539.95/1540.20	c total #propagations: 2683402 / total #impl: 1706276819 (eff. 0.002)
1539.95/1540.20	c #Conflicts:      32000 | #Learnt:       7413 | 0.016
1539.95/1540.20	c total clause space: 545.701MB
1539.95/1540.20	c total #watches: 4625408
1624.74/1625.06	c total #propagations: 2754820 / total #impl: 1763321086 (eff. 0.002)
1624.74/1625.06	c #Conflicts:      33000 | #Learnt:       8413 | 0.016
1624.74/1625.06	c total clause space: 545.701MB
1624.74/1625.06	c total #watches: 5149958
1706.93/1707.23	c total #propagations: 2820833 / total #impl: 1820735165 (eff. 0.002)
1706.93/1707.23	c GC COLLECT
1706.93/1707.23	c #Conflicts:      34000 | #Learnt:       5016 | 0.016
1706.93/1707.23	c total clause space: 545.701MB
1706.93/1707.23	c total #watches: 3534429
1769.41/1769.77	c total #propagations: 2888958 / total #impl: 1885881862 (eff. 0.002)
1769.41/1769.77	c #Conflicts:      35000 | #Learnt:       6016 | 0.016
1769.41/1769.77	c total clause space: 545.701MB
1769.41/1769.77	c total #watches: 4097048

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

pid=26950
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: 2.38 2.30 2.27 3/176 26953
/proc/meminfo: memFree=29582268/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 278 0 0 0 0 0 0 0 20 0 1 0 27372121 29810688 5269 33554432000 4194304 6201397 140734229353104 140734167239928 4211056 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 7278 5269 130 491 0 6777 0

[startup+0.100148 s]
/proc/loadavg: 2.38 2.30 2.27 3/176 26953
/proc/meminfo: memFree=29582268/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=34892 CPUtime=0.08 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 1471 0 0 0 8 0 0 0 20 0 1 0 27372121 35729408 7654 33554432000 4194304 6201397 140734229353104 140734167239928 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 8723 7654 146 491 0 8222 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34892

[startup+0.200394 s]
/proc/loadavg: 2.38 2.30 2.27 3/176 26953
/proc/meminfo: memFree=29582268/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=38216 CPUtime=0.18 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 1821 0 0 0 18 0 0 0 20 0 1 0 27372121 39133184 7953 33554432000 4194304 6201397 140734229353104 140734167239928 4207987 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 9554 7953 147 491 0 9053 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 38216

[startup+0.30033 s]
/proc/loadavg: 2.38 2.30 2.27 3/176 26953
/proc/meminfo: memFree=29582268/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=38728 CPUtime=0.28 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 2090 0 0 0 28 0 0 0 20 0 1 0 27372121 39657472 8175 33554432000 4194304 6201397 140734229353104 140734167239928 5150858 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 9682 8175 147 491 0 9181 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 38728

[startup+0.700257 s]
/proc/loadavg: 2.38 2.30 2.27 3/176 26953
/proc/meminfo: memFree=29582268/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=52172 CPUtime=0.68 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 2875 0 0 0 68 0 0 0 20 0 1 0 27372121 53424128 9416 33554432000 4194304 6201397 140734229353104 140734229352056 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 13043 9416 147 491 0 12542 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 52172

[startup+1.50031 s]
/proc/loadavg: 2.38 2.30 2.27 3/177 26954
/proc/meminfo: memFree=29540200/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=52552 CPUtime=1.48 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 3017 0 0 0 148 0 0 0 20 0 1 0 27372121 53813248 10577 33554432000 4194304 6201397 140734229353104 140734229351896 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 13138 10577 147 491 0 12637 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 52552

[startup+3.10028 s]
/proc/loadavg: 2.38 2.30 2.27 3/177 26954
/proc/meminfo: memFree=29536540/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=67552 CPUtime=3.08 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 4085 0 0 0 308 0 0 0 20 0 1 0 27372121 69173248 13115 33554432000 4194304 6201397 140734229353104 140734229351816 4216049 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 16888 13115 147 491 0 16387 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 67552

[startup+6.30024 s]
/proc/loadavg: 2.43 2.31 2.28 3/177 26954
/proc/meminfo: memFree=29517544/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=87856 CPUtime=6.29 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 4699 0 0 0 628 1 0 0 20 0 1 0 27372121 89964544 16734 33554432000 4194304 6201397 140734229353104 140734229351720 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 21964 16734 160 491 0 21463 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87856

[startup+12.7003 s]
/proc/loadavg: 2.48 2.32 2.28 4/177 26954
/proc/meminfo: memFree=29484060/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=122120 CPUtime=12.69 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 8911 0 0 0 1267 2 0 0 20 0 1 0 27372121 125050880 24508 33554432000 4194304 6201397 140734229353104 140734229351560 4217570 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 30530 24508 160 491 0 30029 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 122120

[startup+25.5004 s]
/proc/loadavg: 2.45 2.32 2.28 3/177 26954
/proc/meminfo: memFree=29450972/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=175628 CPUtime=25.49 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 10276 0 0 0 2546 3 0 0 20 0 1 0 27372121 179843072 32861 33554432000 4194304 6201397 140734229353104 140734229351560 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 43907 32861 166 491 0 43406 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 175628

[startup+51.1004 s]
/proc/loadavg: 2.30 2.29 2.27 4/177 26954
/proc/meminfo: memFree=29408540/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=179456 CPUtime=51.08 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 12213 0 0 0 5104 4 0 0 20 0 1 0 27372121 183762944 43350 33554432000 4194304 6201397 140734229353104 140734229351896 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 44864 43350 166 491 0 44363 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 179456

[startup+102.3 s]
/proc/loadavg: 2.36 2.31 2.28 4/177 26955
/proc/meminfo: memFree=29329756/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=269192 CPUtime=102.28 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 15697 0 0 0 10222 6 0 0 20 0 1 0 27372121 275652608 62812 33554432000 4194304 6201397 140734229353104 140734229351944 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 67298 62812 166 491 0 66797 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 269192

[startup+162.3 s]
/proc/loadavg: 2.32 2.30 2.27 3/177 26956
/proc/meminfo: memFree=29288520/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=407660 CPUtime=162.26 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 17539 0 0 0 16219 7 0 0 20 0 1 0 27372121 417443840 72712 33554432000 4194304 6201397 140734229353104 140734229351896 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 101915 72712 166 491 0 101414 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 407660

[startup+222.308 s]
/proc/loadavg: 2.23 2.27 2.27 3/177 26958
/proc/meminfo: memFree=29267220/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=411280 CPUtime=222.26 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 19740 0 0 0 22218 8 0 0 20 0 1 0 27372121 421150720 78068 33554432000 4194304 6201397 140734229353104 140734229352056 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 102820 78068 166 491 0 102319 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 411280

[startup+282.3 s]
/proc/loadavg: 2.27 2.28 2.27 4/177 27005
/proc/meminfo: memFree=29684112/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=420560 CPUtime=282.24 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 22261 0 0 0 28214 10 0 0 20 0 1 0 27372121 430653440 95207 33554432000 4194304 6201397 140734229353104 140734229351560 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 105140 95207 166 491 0 104639 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 420560

[startup+342.3 s]
/proc/loadavg: 2.31 2.28 2.27 3/177 27006
/proc/meminfo: memFree=29517252/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=423012 CPUtime=342.24 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 22972 0 0 0 34213 11 0 0 20 0 1 0 27372121 433164288 97350 33554432000 4194304 6201397 140734229353104 140734229351720 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 105753 97350 166 491 0 105252 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 423012

[startup+402.3 s]
/proc/loadavg: 2.27 2.28 2.27 3/178 27010
/proc/meminfo: memFree=29465688/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=427840 CPUtime=402.22 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 24533 0 0 0 40211 11 0 0 20 0 1 0 27372121 438108160 98587 33554432000 4194304 6201397 140734229353104 140734229351816 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 106960 98587 166 491 0 106459 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 427840

[startup+462.3 s]
/proc/loadavg: 2.33 2.28 2.27 4/177 27011
/proc/meminfo: memFree=29394164/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=651396 CPUtime=462.21 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 27222 0 0 0 46208 13 0 0 20 0 1 0 27372121 667029504 114731 33554432000 4194304 6201397 140734229353104 140734229351560 4213170 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 162849 114731 166 491 0 162348 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 651396

[startup+522.3 s]
/proc/loadavg: 2.25 2.27 2.27 3/177 27013
/proc/meminfo: memFree=29378576/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=653932 CPUtime=522.2 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 28525 0 0 0 52207 13 0 0 20 0 1 0 27372121 669626368 118486 33554432000 4194304 6201397 140734229353104 140734229351768 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 163483 118486 166 491 0 162982 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 653932

[startup+582.3 s]
/proc/loadavg: 2.19 2.25 2.26 3/177 27014
/proc/meminfo: memFree=29369888/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=656312 CPUtime=582.2 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 29065 0 0 0 58206 14 0 0 20 0 1 0 27372121 672063488 119026 33554432000 4194304 6201397 140734229353104 140734229351944 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 164078 119026 166 491 0 163577 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 656312


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


[startup+942.3 s]
/proc/loadavg: 2.33 2.28 2.27 3/177 27021
/proc/meminfo: memFree=29296672/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=676556 CPUtime=942.14 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 37041 0 0 0 94195 19 0 0 20 0 1 0 27372121 692793344 133959 33554432000 4194304 6201397 140734229353104 140734229351816 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 169139 133959 166 491 0 168638 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 676556

[startup+1002.3 s]
/proc/loadavg: 2.35 2.29 2.27 4/178 27025
/proc/meminfo: memFree=29270944/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=679436 CPUtime=1002.13 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 37888 0 0 0 100193 20 0 0 20 0 1 0 27372121 695742464 140315 33554432000 4194304 6201397 140734229353104 140734229351560 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 169859 140315 166 491 0 169358 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 679436

[startup+1062.3 s]
/proc/loadavg: 2.27 2.28 2.27 3/177 27026
/proc/meminfo: memFree=29268808/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=680356 CPUtime=1062.12 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 39966 0 0 0 106190 22 0 0 20 0 1 0 27372121 696684544 140619 33554432000 4194304 6201397 140734229353104 140734229352056 4213170 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 170089 140619 166 491 0 169588 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 680356

[startup+1122.3 s]
/proc/loadavg: 2.37 2.29 2.27 3/177 27028
/proc/meminfo: memFree=29264068/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=685388 CPUtime=1122.12 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 41243 0 0 0 112189 23 0 0 20 0 1 0 27372121 701837312 141755 33554432000 4194304 6201397 140734229353104 140734229352056 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 171347 141755 166 491 0 170846 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 685388

[startup+1182.3 s]
/proc/loadavg: 2.35 2.29 2.27 4/177 27029
/proc/meminfo: memFree=29241672/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=689904 CPUtime=1182.11 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 42755 0 0 0 118187 24 0 0 20 0 1 0 27372121 706461696 147998 33554432000 4194304 6201397 140734229353104 140734229352056 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 172476 147998 166 491 0 171975 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 689904

[startup+1242.3 s]
/proc/loadavg: 2.38 2.31 2.28 3/177 27030
/proc/meminfo: memFree=29218532/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=693888 CPUtime=1242.09 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 43763 0 0 0 124185 24 0 0 20 0 1 0 27372121 710541312 153007 33554432000 4194304 6201397 140734229353104 140734229352056 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 173472 153007 166 491 0 172971 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 693888

[startup+1302.3 s]
/proc/loadavg: 2.19 2.27 2.26 3/177 27031
/proc/meminfo: memFree=29217056/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=694144 CPUtime=1302.09 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 44221 0 0 0 130184 25 0 0 20 0 1 0 27372121 710803456 153063 33554432000 4194304 6201397 140734229353104 140734229352056 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 173536 153063 166 491 0 173035 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 694144

[startup+1362.3 s]
/proc/loadavg: 2.18 2.25 2.26 4/177 27032
/proc/meminfo: memFree=29191724/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=694272 CPUtime=1362.08 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 44829 0 0 0 136182 26 0 0 20 0 1 0 27372121 710934528 153113 33554432000 4194304 6201397 140734229353104 140734229352056 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 173568 153113 166 491 0 173067 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 694272

[startup+1422.3 s]
/proc/loadavg: 2.33 2.28 2.27 3/177 27034
/proc/meminfo: memFree=29175964/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=694768 CPUtime=1422.07 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 45727 0 0 0 142181 26 0 0 20 0 1 0 27372121 711442432 153272 33554432000 4194304 6201397 140734229353104 140734229351896 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 173692 153272 166 491 0 173191 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 694768

[startup+1482.3 s]
/proc/loadavg: 2.17 2.24 2.25 4/177 27035
/proc/meminfo: memFree=29175260/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=695340 CPUtime=1482.06 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 46216 0 0 0 148179 27 0 0 20 0 1 0 27372121 712028160 153416 33554432000 4194304 6201397 140734229353104 140734229351896 4214931 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 173835 153416 166 491 0 173334 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 695340

[startup+1542.31 s]
/proc/loadavg: 2.15 2.22 2.25 4/177 27036
/proc/meminfo: memFree=29170152/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=696040 CPUtime=1542.06 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 46874 0 0 0 154179 27 0 0 20 0 1 0 27372121 712744960 153550 33554432000 4194304 6201397 140734229353104 140734229352056 4215787 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 174010 153550 166 491 0 173509 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 696040

[startup+1602.3 s]
/proc/loadavg: 2.23 2.24 2.25 4/178 27040
/proc/meminfo: memFree=29166172/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=697112 CPUtime=1602.04 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 47781 0 0 0 160176 28 0 0 20 0 1 0 27372121 713842688 153818 33554432000 4194304 6201397 140734229353104 140734229351816 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 174278 153818 166 491 0 173777 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 697112

[startup+1662.3 s]
/proc/loadavg: 2.32 2.27 2.26 3/178 27063
/proc/meminfo: memFree=29029980/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=698908 CPUtime=1662.03 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 48438 0 0 0 166174 29 0 0 20 0 1 0 27372121 715681792 163997 33554432000 4194304 6201397 140734229353104 140734229351560 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 174727 163997 166 491 0 174226 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 698908

[startup+1722.3 s]
/proc/loadavg: 2.20 2.24 2.25 3/177 27065
/proc/meminfo: memFree=29015136/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=699004 CPUtime=1722.02 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 48942 0 0 0 172173 29 0 0 20 0 1 0 27372121 715780096 164026 33554432000 4194304 6201397 140734229353104 140734229352056 4213394 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 174751 164026 166 491 0 174250 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 699004

[startup+1782.3 s]
/proc/loadavg: 2.23 2.24 2.25 3/177 27066
/proc/meminfo: memFree=28980268/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=699472 CPUtime=1782.01 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 50299 0 0 0 178171 30 0 0 20 0 1 0 27372121 716259328 164167 33554432000 4194304 6201397 140734229353104 140734229352056 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 174868 164167 166 491 0 174367 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 699472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.23 2.24 2.25 3/177 27066
/proc/meminfo: memFree=28976348/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=700048 CPUtime=1800.01 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 50553 0 0 0 179970 31 0 0 20 0 1 0 27372121 716849152 164296 33554432000 4194304 6201397 140734229353104 140734229352056 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 175012 164296 166 491 0 174511 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 700048

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

[startup+1800.3 s]
/proc/loadavg: 2.23 2.24 2.25 3/177 27066
/proc/meminfo: memFree=28976348/32872528 swapFree=1534436/1655032
[pid=26953] ppid=26950 vsize=700048 CPUtime=1800.01 cores=1,3,5,7
/proc/26953/stat : 26953 (cdcl-cuttingpla) R 26950 26953 24188 0 -1 4202496 50553 0 0 0 179970 31 0 0 20 0 1 0 27372121 716849152 164296 33554432000 4194304 6201397 140734229353104 140734229352056 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26953/statm: 175012 164296 166 491 0 174511 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 700048

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.71
CPU system time (s): 0.312952
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 700048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.312952
maximum resident set size= 657232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50553
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= 20
involuntary context switches= 1869

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07708 second user time and 8.77067 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-18 14:33:57
IDJOB=4101672
IDBENCH=1779
IDSOLVER=2550
FILE ID=node122/4101672-1466253237
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/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air05.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101672-1466253237/watcher-4101672-1466253237 -o /tmp/evaluation-result-4101672-1466253237/solver-4101672-1466253237 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466229594-24205 --watchdog 1960 --input HOME/instance-4101672-1466253237.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 2b7e03ead6dfd4071784021865da4458
RANDOM SEED=1419632344

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:        29582688 kB
Buffers:          129176 kB
Cached:           208748 kB
SwapCached:            0 kB
Active:           645296 kB
Inactive:         246804 kB
Active(anon):     546652 kB
Inactive(anon):     9916 kB
Active(file):      98644 kB
Inactive(file):   236888 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2572 kB
Writeback:             0 kB
AnonPages:       2208760 kB
Mapped:            13584 kB
Shmem:               204 kB
Slab:             609200 kB
SReclaimable:      52884 kB
SUnreclaim:       556316 kB
KernelStack:        1440 kB
PageTables:         8376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2436360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    657408 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= 71736 MiB
End job on node122 at 2016-06-18 15:03:57