Trace number 4101792

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/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-fixnet6.opb
MD5SUMfc34075a5d318bf3fbb6971479140d14
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables14036
Total number of constraints600
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 constraints600
Minimum length of a constraint19
Maximum length of a constraint1523
Number of terms in the objective function 11714
Biggest coefficient in the objective function 1097
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 534666
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262020
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 534666
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= 14036 #constraint= 600
2.09/2.14	c #Conflicts:       1000 | #Learnt:        999 | 14.828
2.09/2.14	c total clause space: 48.1602MB
2.09/2.14	c total #watches: 479786
49.88/49.93	c total #propagations: 135193 / total #impl: 9971836 (eff. 0.014)
49.88/49.93	c #Conflicts:       2000 | #Learnt:       2084 | 9.597
49.88/49.93	c total clause space: 127.173MB
49.88/49.93	c total #watches: 1443271
73.58/73.63	c total #propagations: 722961 / total #impl: 138296441 (eff. 0.005)
73.58/73.63	c GC COLLECT
73.58/73.63	c #Conflicts:       3000 | #Learnt:       2173 | 7.671
73.58/73.63	c total clause space: 127.173MB
73.58/73.63	c total #watches: 1869358
177.36/177.41	c total #propagations: 830669 / total #impl: 165588166 (eff. 0.005)
177.36/177.41	c #Conflicts:       4000 | #Learnt:       3181 | 6.166
177.36/177.41	c total clause space: 206.656MB
177.36/177.41	c total #watches: 2507225
260.45/260.58	c total #propagations: 1218409 / total #impl: 204726629 (eff. 0.006)
260.45/260.58	c GC COLLECT
260.45/260.58	c #Conflicts:       5000 | #Learnt:       2549 | 5.236
260.45/260.58	c total clause space: 206.656MB
260.45/260.58	c total #watches: 2204588
275.55/275.68	c total #propagations: 1752582 / total #impl: 240676253 (eff. 0.007)
275.55/275.68	c #Conflicts:       6000 | #Learnt:       3549 | 4.644
275.55/275.68	c total clause space: 206.656MB
275.55/275.68	c total #watches: 2430816
314.84/314.97	c total #propagations: 1925682 / total #impl: 251514741 (eff. 0.008)
314.84/314.97	c GC COLLECT
314.84/314.97	c #Conflicts:       7000 | #Learnt:       2431 | 3.987
314.84/314.97	c total clause space: 206.656MB
314.84/314.97	c total #watches: 1865527
344.24/344.39	c total #propagations: 2314523 / total #impl: 312588645 (eff. 0.007)
344.24/344.39	c #Conflicts:       8000 | #Learnt:       3431 | 3.508
344.24/344.39	c total clause space: 206.656MB
344.24/344.39	c total #watches: 2352166
379.53/379.69	c total #propagations: 3279870 / total #impl: 403153788 (eff. 0.008)
379.53/379.69	c #Conflicts:       9000 | #Learnt:       4432 | 4.113
379.53/379.69	c total clause space: 206.656MB
379.53/379.69	c total #watches: 3030057
429.52/429.61	c total #propagations: 3476566 / total #impl: 421304347 (eff. 0.008)
429.52/429.61	c GC COLLECT
429.52/429.61	c #Conflicts:      10000 | #Learnt:       2929 | 3.754
429.52/429.61	c total clause space: 206.656MB
429.52/429.61	c total #watches: 2519581
459.22/459.34	c total #propagations: 3797798 / total #impl: 446861687 (eff. 0.008)
459.22/459.34	c #Conflicts:      11000 | #Learnt:       3929 | 3.757
459.22/459.34	c total clause space: 206.656MB
459.22/459.34	c total #watches: 3643452
509.51/509.69	c total #propagations: 4057148 / total #impl: 481412907 (eff. 0.008)
509.51/509.69	c #Conflicts:      12000 | #Learnt:       4929 | 3.547
509.51/509.69	c total clause space: 335.816MB
509.51/509.69	c total #watches: 4818068
559.10/559.23	c total #propagations: 4780621 / total #impl: 555611552 (eff. 0.009)
559.10/559.23	c #Conflicts:      13000 | #Learnt:       5929 | 3.352
559.10/559.23	c total clause space: 335.816MB
559.10/559.23	c total #watches: 5590519
623.39/623.53	c total #propagations: 4994714 / total #impl: 603403639 (eff. 0.008)
623.39/623.53	c GC COLLECT
623.39/623.53	c #Conflicts:      14000 | #Learnt:       4106 | 3.135
623.39/623.53	c total clause space: 335.816MB
623.39/623.53	c total #watches: 4736529
705.48/705.69	c total #propagations: 5584016 / total #impl: 648275556 (eff. 0.009)
705.48/705.69	c #Conflicts:      15000 | #Learnt:       5106 | 2.940
705.48/705.69	c total clause space: 335.816MB
705.48/705.69	c total #watches: 5925421
753.28/753.45	c total #propagations: 6452334 / total #impl: 897272798 (eff. 0.007)
753.28/753.45	c #Conflicts:      16000 | #Learnt:       6106 | 2.757
753.28/753.45	c total clause space: 335.816MB
753.28/753.45	c total #watches: 7253467
784.47/784.63	c total #propagations: 6922412 / total #impl: 1237116798 (eff. 0.006)
784.47/784.63	c GC COLLECT
784.47/784.63	c #Conflicts:      17000 | #Learnt:       3923 | 2.596
784.47/784.63	c total clause space: 335.816MB
784.47/784.63	c total #watches: 5071357
804.76/804.93	c total #propagations: 7004390 / total #impl: 1335827628 (eff. 0.005)
804.76/804.93	c #Conflicts:      18000 | #Learnt:       4923 | 2.453
804.76/804.93	c total clause space: 335.816MB
804.76/804.93	c total #watches: 5906019
817.47/817.67	c total #propagations: 7058650 / total #impl: 1467880271 (eff. 0.005)
817.47/817.67	c #Conflicts:      19000 | #Learnt:       5923 | 2.324
817.47/817.67	c total clause space: 335.816MB
817.47/817.67	c total #watches: 6813704
929.95/930.19	c total #propagations: 7111417 / total #impl: 1567976283 (eff. 0.005)
929.95/930.19	c #Conflicts:      20000 | #Learnt:       6923 | 2.330
929.95/930.19	c total clause space: 335.816MB
929.95/930.19	c total #watches: 7660970
988.23/988.46	c total #propagations: 7315032 / total #impl: 1671040236 (eff. 0.004)
988.23/988.46	c GC COLLECT
988.23/988.46	c #Conflicts:      21000 | #Learnt:       4423 | 2.353
988.23/988.46	c total clause space: 545.701MB
988.23/988.46	c total #watches: 4348096
1133.92/1134.20	c total #propagations: 7434226 / total #impl: 1689432266 (eff. 0.004)
1133.92/1134.20	c #Conflicts:      22000 | #Learnt:       5423 | 2.528
1133.92/1134.20	c total clause space: 545.701MB
1133.92/1134.20	c total #watches: 5373524
1587.95/1588.21	c total #propagations: 8036058 / total #impl: 1728199843 (eff. 0.005)
1587.95/1588.21	c #Conflicts:      23000 | #Learnt:       6423 | 2.464
1587.95/1588.21	c total clause space: 545.701MB
1587.95/1588.21	c total #watches: 5901970
1781.52/1781.86	c total #propagations: 9084299 / total #impl: 1905754388 (eff. 0.005)
1781.52/1781.86	c #Conflicts:      24000 | #Learnt:       7423 | 2.437
1781.52/1781.86	c total clause space: 545.701MB
1781.52/1781.86	c total #watches: 6942703

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

pid=5834
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.09 2.08 2.03 3/176 5837
/proc/meminfo: memFree=30798800/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 27542059 29810688 5267 33554432000 4194304 6201397 140735687259008 140733817686904 4211056 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 7278 5267 130 491 0 6777 0

[startup+0.100166 s]
/proc/loadavg: 2.09 2.08 2.03 3/176 5837
/proc/meminfo: memFree=30798800/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=34572 CPUtime=0.09 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 875 0 0 0 9 0 0 0 20 0 1 0 27542059 35401728 7291 33554432000 4194304 6201397 140735687259008 140733817686904 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 8643 7291 146 491 0 8142 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34572

[startup+0.200348 s]
/proc/loadavg: 2.09 2.08 2.03 3/176 5837
/proc/meminfo: memFree=30798800/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=34684 CPUtime=0.19 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 908 0 0 0 19 0 0 0 20 0 1 0 27542059 35516416 7324 33554432000 4194304 6201397 140735687259008 140735687257736 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 8671 7324 146 491 0 8170 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34684

[startup+0.30026 s]
/proc/loadavg: 2.09 2.08 2.03 3/176 5837
/proc/meminfo: memFree=30798800/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=35048 CPUtime=0.29 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 1033 0 0 0 29 0 0 0 20 0 1 0 27542059 35889152 7433 33554432000 4194304 6201397 140735687259008 140735687257736 5150858 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 8762 7433 146 491 0 8261 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35048

[startup+0.700274 s]
/proc/loadavg: 2.09 2.08 2.03 3/176 5837
/proc/meminfo: memFree=30798800/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=43536 CPUtime=0.69 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 2146 0 0 0 69 0 0 0 20 0 1 0 27542059 44580864 9295 33554432000 4194304 6201397 140735687259008 140735687257736 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 10884 9295 147 491 0 10383 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43536

[startup+1.50027 s]
/proc/loadavg: 2.09 2.08 2.03 3/177 5838
/proc/meminfo: memFree=30758000/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=64576 CPUtime=1.49 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 3153 0 0 0 148 1 0 0 20 0 1 0 27542059 66125824 12252 33554432000 4194304 6201397 140735687259008 140735687257960 4213367 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 16144 12252 147 491 0 15643 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64576

[startup+3.10023 s]
/proc/loadavg: 2.09 2.08 2.03 3/177 5838
/proc/meminfo: memFree=30740876/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=86148 CPUtime=3.09 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 4051 0 0 0 308 1 0 0 20 0 1 0 27542059 88215552 16170 33554432000 4194304 6201397 140735687259008 140735687257720 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 21537 16170 160 491 0 21036 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86148

[startup+6.30024 s]
/proc/loadavg: 2.08 2.08 2.03 3/177 5838
/proc/meminfo: memFree=30729296/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=88316 CPUtime=6.29 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 4579 0 0 0 627 2 0 0 20 0 1 0 27542059 90435584 18231 33554432000 4194304 6201397 140735687259008 140735687257576 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 22079 18231 160 491 0 21578 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88316

[startup+12.7003 s]
/proc/loadavg: 2.15 2.10 2.04 3/177 5838
/proc/meminfo: memFree=30721408/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=90140 CPUtime=12.69 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 5021 0 0 0 1267 2 0 0 20 0 1 0 27542059 92303360 19695 33554432000 4194304 6201397 140735687259008 140735687257704 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 22535 19695 160 491 0 22034 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 90140

[startup+25.5003 s]
/proc/loadavg: 2.12 2.09 2.04 3/177 5838
/proc/meminfo: memFree=30711072/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=123592 CPUtime=25.48 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 5860 0 0 0 2546 2 0 0 20 0 1 0 27542059 126558208 21546 33554432000 4194304 6201397 140735687259008 140735687257576 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 30898 21546 160 491 0 30397 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 123592

[startup+51.1004 s]
/proc/loadavg: 2.13 2.10 2.04 3/177 5839
/proc/meminfo: memFree=30668024/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=180188 CPUtime=51.08 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 11587 0 0 0 5105 3 0 0 20 0 1 0 27542059 184512512 31407 33554432000 4194304 6201397 140735687259008 140735687257464 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 45047 31407 160 491 0 44546 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 180188

[startup+102.3 s]
/proc/loadavg: 2.12 2.10 2.04 3/177 5840
/proc/meminfo: memFree=30581660/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=196900 CPUtime=102.28 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 16299 0 0 0 10223 5 0 0 20 0 1 0 27542059 201625600 47939 33554432000 4194304 6201397 140735687259008 140735687257800 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 49225 47939 166 491 0 48724 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 196900

[startup+162.3 s]
/proc/loadavg: 2.21 2.12 2.05 3/177 5841
/proc/meminfo: memFree=30563224/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=281512 CPUtime=162.27 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 17602 0 0 0 16221 6 0 0 20 0 1 0 27542059 288268288 50985 33554432000 4194304 6201397 140735687259008 140735687257800 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 70378 50985 166 491 0 69877 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 281512

[startup+222.307 s]
/proc/loadavg: 2.07 2.10 2.05 3/177 5842
/proc/meminfo: memFree=30541712/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=285004 CPUtime=222.26 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 19176 0 0 0 22220 6 0 0 20 0 1 0 27542059 291844096 54608 33554432000 4194304 6201397 140735687259008 140735687257800 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 71251 54608 166 491 0 70750 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 285004

[startup+282.3 s]
/proc/loadavg: 2.14 2.11 2.05 3/177 5843
/proc/meminfo: memFree=30531704/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=290024 CPUtime=282.24 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 22630 0 0 0 28217 7 0 0 20 0 1 0 27542059 296984576 55895 33554432000 4194304 6201397 140735687259008 140735687257720 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 72506 55895 166 491 0 72005 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 290024

[startup+342.3 s]
/proc/loadavg: 2.17 2.12 2.06 3/177 5844
/proc/meminfo: memFree=30511632/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=296924 CPUtime=342.24 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 25423 0 0 0 34214 10 0 0 20 0 1 0 27542059 304050176 60707 33554432000 4194304 6201397 140735687259008 140735687257464 4216020 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 74231 60707 166 491 0 73730 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 296924

[startup+402.3 s]
/proc/loadavg: 2.06 2.09 2.05 3/177 5846
/proc/meminfo: memFree=30487004/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=306940 CPUtime=402.22 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 27994 0 0 0 40211 11 0 0 20 0 1 0 27542059 314306560 66409 33554432000 4194304 6201397 140735687259008 140735687257464 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 76735 66409 166 491 0 76234 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 306940

[startup+462.3 s]
/proc/loadavg: 2.13 2.10 2.05 3/178 5850
/proc/meminfo: memFree=30406412/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=321712 CPUtime=462.22 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 32806 0 0 0 46209 13 0 0 20 0 1 0 27542059 329433088 71945 33554432000 4194304 6201397 140735687259008 140735687257672 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 80428 71945 166 491 0 79927 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 321712

[startup+522.3 s]
/proc/loadavg: 2.04 2.08 2.05 3/177 5851
/proc/meminfo: memFree=30362176/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=458800 CPUtime=522.21 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 35086 0 0 0 52207 14 0 0 20 0 1 0 27542059 469811200 81628 33554432000 4194304 6201397 140735687259008 140735687257960 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 114700 81628 166 491 0 114199 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 458800

[startup+582.3 s]
/proc/loadavg: 2.01 2.06 2.04 3/177 5852
/proc/meminfo: memFree=30308584/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=472364 CPUtime=582.2 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 38286 0 0 0 58204 16 0 0 20 0 1 0 27542059 483700736 93155 33554432000 4194304 6201397 140735687259008 140735687257960 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 118091 93155 166 491 0 117590 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 472364


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


[startup+942.3 s]
/proc/loadavg: 2.08 2.09 2.06 3/177 5859
/proc/meminfo: memFree=29898936/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=543784 CPUtime=942.14 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 52496 0 0 0 94192 22 0 0 20 0 1 0 27542059 556834816 129804 33554432000 4194304 6201397 140735687259008 140735687258136 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 135946 129804 166 491 0 135445 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 543784

[startup+1002.3 s]
/proc/loadavg: 2.09 2.09 2.06 3/177 5861
/proc/meminfo: memFree=29891488/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=758900 CPUtime=1002.13 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 53203 0 0 0 100191 22 0 0 20 0 1 0 27542059 777113600 131669 33554432000 4194304 6201397 140735687259008 140735687258136 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 189725 131669 166 491 0 189224 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 758900

[startup+1062.3 s]
/proc/loadavg: 2.03 2.07 2.05 3/178 5865
/proc/meminfo: memFree=29864348/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=758900 CPUtime=1062.12 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 53204 0 0 0 106190 22 0 0 20 0 1 0 27542059 777113600 131670 33554432000 4194304 6201397 140735687259008 140735687258136 4213512 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 189725 131670 166 491 0 189224 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 758900

[startup+1122.3 s]
/proc/loadavg: 2.12 2.08 2.05 3/177 5866
/proc/meminfo: memFree=29863804/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=758900 CPUtime=1122.11 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 53204 0 0 0 112189 22 0 0 20 0 1 0 27542059 777113600 131670 33554432000 4194304 6201397 140735687259008 140735687258136 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 189725 131670 166 491 0 189224 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 758900

[startup+1182.3 s]
/proc/loadavg: 2.20 2.11 2.06 3/177 5867
/proc/meminfo: memFree=29860212/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=758900 CPUtime=1182.1 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 53204 0 0 0 118188 22 0 0 20 0 1 0 27542059 777113600 131670 33554432000 4194304 6201397 140735687259008 140735687258136 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 189725 131670 166 491 0 189224 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 758900

[startup+1242.3 s]
/proc/loadavg: 2.18 2.12 2.07 3/177 5868
/proc/meminfo: memFree=29858536/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=758900 CPUtime=1242.1 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 53204 0 0 0 124188 22 0 0 20 0 1 0 27542059 777113600 131670 33554432000 4194304 6201397 140735687259008 140735687258136 4213244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 189725 131670 166 491 0 189224 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 758900

[startup+1302.3 s]
/proc/loadavg: 2.12 2.11 2.07 3/177 5870
/proc/meminfo: memFree=29858040/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=758900 CPUtime=1302.09 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 53204 0 0 0 130187 22 0 0 20 0 1 0 27542059 777113600 131670 33554432000 4194304 6201397 140735687259008 140735687258136 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 189725 131670 166 491 0 189224 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 758900

[startup+1362.3 s]
/proc/loadavg: 2.14 2.12 2.07 3/177 5871
/proc/meminfo: memFree=29857512/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=758900 CPUtime=1362.08 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 53205 0 0 0 136186 22 0 0 20 0 1 0 27542059 777113600 131671 33554432000 4194304 6201397 140735687259008 140735687258136 4213249 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 189725 131671 166 491 0 189224 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 758900

[startup+1422.3 s]
/proc/loadavg: 2.24 2.14 2.08 2/175 5918
/proc/meminfo: memFree=30740352/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=758900 CPUtime=1422.07 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 53205 0 0 0 142185 22 0 0 20 0 1 0 27542059 777113600 131671 33554432000 4194304 6201397 140735687259008 140735687258136 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 189725 131671 166 491 0 189224 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 758900

[startup+1482.3 s]
/proc/loadavg: 2.08 2.11 2.08 3/177 5964
/proc/meminfo: memFree=30348188/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=758900 CPUtime=1482.07 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 53205 0 0 0 148184 23 0 0 20 0 1 0 27542059 777113600 131671 33554432000 4194304 6201397 140735687259008 140735687258136 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 189725 131671 166 491 0 189224 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 758900

[startup+1542.31 s]
/proc/loadavg: 2.06 2.10 2.08 3/177 5965
/proc/meminfo: memFree=30233100/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=758996 CPUtime=1542.06 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 53239 0 0 0 154183 23 0 0 20 0 1 0 27542059 777211904 134546 33554432000 4194304 6201397 140735687259008 140735687257464 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 189749 134546 166 491 0 189248 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 758996

[startup+1602.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/177 5967
/proc/meminfo: memFree=30163652/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=760900 CPUtime=1602.05 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 53791 0 0 0 160182 23 0 0 20 0 1 0 27542059 779161600 136370 33554432000 4194304 6201397 140735687259008 140735687257640 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 190225 136370 166 491 0 189724 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 760900

[startup+1662.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/178 5971
/proc/meminfo: memFree=30151700/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=764512 CPUtime=1662.04 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 54688 0 0 0 166181 23 0 0 20 0 1 0 27542059 782860288 137256 33554432000 4194304 6201397 140735687259008 140735687257464 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 191128 137256 166 491 0 190627 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 764512

[startup+1722.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/177 5972
/proc/meminfo: memFree=30149104/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=765568 CPUtime=1722.03 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 54947 0 0 0 172180 23 0 0 20 0 1 0 27542059 783941632 137515 33554432000 4194304 6201397 140735687259008 140735687257464 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 191392 137515 166 491 0 190891 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 765568

[startup+1782.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/177 5973
/proc/meminfo: memFree=30146648/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=767076 CPUtime=1782.02 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 55615 0 0 0 178179 23 0 0 20 0 1 0 27542059 785485824 137855 33554432000 4194304 6201397 140735687259008 140735687257464 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 191769 137855 166 491 0 191268 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 767076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/177 5974
/proc/meminfo: memFree=30146204/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=767396 CPUtime=1800.01 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 55690 0 0 0 179978 23 0 0 20 0 1 0 27542059 785813504 137923 33554432000 4194304 6201397 140735687259008 140735687257800 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 191849 137923 166 491 0 191348 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 767396

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

[startup+1800.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/177 5974
/proc/meminfo: memFree=30146204/32872528 swapFree=496868/529572
[pid=5837] ppid=5834 vsize=767396 CPUtime=1800.01 cores=1,3,5,7
/proc/5837/stat : 5837 (cdcl-cuttingpla) R 5834 5837 2721 0 -1 4202496 55690 0 0 0 179978 23 0 0 20 0 1 0 27542059 785813504 137923 33554432000 4194304 6201397 140735687259008 140735687257800 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5837/statm: 191849 137923 166 491 0 191348 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 767396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.79
CPU system time (s): 0.237963
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 767396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.237963
maximum resident set size= 551720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55690
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= 13
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55631 second user time and 6.92395 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 15:02:46
IDJOB=4101792
IDBENCH=1794
IDSOLVER=2550
FILE ID=node141/4101792-1466254966
RUNJOBID= node141-1466229325-2738
PBS_JOBID= 19918173
Free space on /tmp= 71724 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-fixnet6.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101792-1466254966/watcher-4101792-1466254966 -o /tmp/evaluation-result-4101792-1466254966/solver-4101792-1466254966 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466229325-2738 --watchdog 1960 --input HOME/instance-4101792-1466254966.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= fc34075a5d318bf3fbb6971479140d14
RANDOM SEED=1773447701

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30799328 kB
Buffers:          132656 kB
Cached:           196792 kB
SwapCached:         2528 kB
Active:           562120 kB
Inactive:         241404 kB
Active(anon):     474420 kB
Inactive(anon):     2028 kB
Active(file):      87700 kB
Inactive(file):   239376 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:              2776 kB
Writeback:             0 kB
AnonPages:       1004064 kB
Mapped:             7840 kB
Shmem:                 0 kB
Slab:             607748 kB
SReclaimable:      51072 kB
SUnreclaim:       556676 kB
KernelStack:        1440 kB
PageTables:         6064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1299664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    458752 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= 71664 MiB
End job on node141 at 2016-06-18 15:32:47