Trace number 4101592

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) 1801.29 1801.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-t1717.opb
MD5SUM53486a3b6175c61d0a6ff165dfe1a2e1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark660
Best CPU time to get the best result obtained on this benchmark113.085
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 660
Optimality of the best value was proved NO
Number of variables73885
Total number of constraints551
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)551
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint585
Maximum length of a constraint612
Number of terms in the objective function 73885
Biggest coefficient in the objective function 13
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 561660
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 561660
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= 73885 #constraint= 551
92.77/92.86	c #Conflicts:       1000 | #Learnt:       1000 | 0.021
92.77/92.86	c total clause space: 78.2603MB
92.77/92.86	c total #watches: 475510
185.46/185.55	c total #propagations: 616314 / total #impl: 68433866 (eff. 0.009)
185.46/185.55	c #Conflicts:       2000 | #Learnt:       2000 | 0.011
185.46/185.55	c total clause space: 127.173MB
185.46/185.55	c total #watches: 550052
220.66/220.74	c total #propagations: 1784221 / total #impl: 105708611 (eff. 0.017)
220.66/220.74	c GC COLLECT
220.66/220.74	c #Conflicts:       3000 | #Learnt:       1999 | 0.009
220.66/220.74	c total clause space: 206.656MB
220.66/220.74	c total #watches: 753680
295.64/295.74	c total #propagations: 2586736 / total #impl: 135258327 (eff. 0.019)
295.64/295.74	c #Conflicts:       4000 | #Learnt:       2999 | 0.064
295.64/295.74	c total clause space: 206.656MB
295.64/295.74	c total #watches: 944483
396.04/396.14	c total #propagations: 3953670 / total #impl: 188865725 (eff. 0.021)
396.04/396.14	c GC COLLECT
396.04/396.14	c #Conflicts:       5000 | #Learnt:       2381 | 0.074
396.04/396.14	c total clause space: 206.656MB
396.04/396.14	c total #watches: 1031368
536.82/536.95	c total #propagations: 5197984 / total #impl: 262931558 (eff. 0.020)
536.82/536.95	c #Conflicts:       6000 | #Learnt:       3381 | 0.076
536.82/536.95	c total clause space: 206.656MB
536.82/536.95	c total #watches: 1253749
575.01/575.15	c total #propagations: 6439909 / total #impl: 337581388 (eff. 0.019)
575.01/575.15	c GC COLLECT
575.01/575.15	c #Conflicts:       7000 | #Learnt:       2292 | 0.065
575.01/575.15	c total clause space: 335.816MB
575.01/575.15	c total #watches: 1043042
651.99/652.12	c total #propagations: 7551784 / total #impl: 402653874 (eff. 0.019)
651.99/652.12	c #Conflicts:       8000 | #Learnt:       3292 | 0.057
651.99/652.12	c total clause space: 335.816MB
651.99/652.12	c total #watches: 1157274
717.88/718.02	c total #propagations: 8642093 / total #impl: 495323470 (eff. 0.017)
717.88/718.02	c #Conflicts:       9000 | #Learnt:       4292 | 0.051
717.88/718.02	c total clause space: 335.816MB
717.88/718.02	c total #watches: 1352536
785.47/785.66	c total #propagations: 10087770 / total #impl: 548397079 (eff. 0.018)
785.47/785.66	c GC COLLECT
785.47/785.66	c #Conflicts:      10000 | #Learnt:       2781 | 0.064
785.47/785.66	c total clause space: 335.816MB
785.47/785.66	c total #watches: 1294991
859.96/860.12	c total #propagations: 11579185 / total #impl: 612851312 (eff. 0.019)
859.96/860.12	c #Conflicts:      11000 | #Learnt:       3781 | 0.065
859.96/860.12	c total clause space: 335.816MB
859.96/860.12	c total #watches: 1481690
1087.53/1087.72	c total #propagations: 12482018 / total #impl: 674232284 (eff. 0.019)
1087.53/1087.72	c #Conflicts:      12000 | #Learnt:       4781 | 0.060
1087.53/1087.72	c total clause space: 335.816MB
1087.53/1087.72	c total #watches: 2056145
1209.81/1210.08	c total #propagations: 13969670 / total #impl: 737933235 (eff. 0.019)
1209.81/1210.08	c #Conflicts:      13000 | #Learnt:       5781 | 0.085
1209.81/1210.08	c total clause space: 545.701MB
1209.81/1210.08	c total #watches: 2381061
1300.29/1300.51	c total #propagations: 15262019 / total #impl: 821061036 (eff. 0.019)
1300.29/1300.51	c GC COLLECT
1300.29/1300.51	c #Conflicts:      14000 | #Learnt:       3943 | 0.085
1300.29/1300.51	c total clause space: 545.701MB
1300.29/1300.51	c total #watches: 2010637
1371.88/1372.15	c total #propagations: 16069598 / total #impl: 867616556 (eff. 0.019)
1371.88/1372.15	c #Conflicts:      15000 | #Learnt:       4943 | 0.080
1371.88/1372.15	c total clause space: 545.701MB
1371.88/1372.15	c total #watches: 2231481
1429.48/1429.78	c total #propagations: 17278916 / total #impl: 914587981 (eff. 0.019)
1429.48/1429.78	c #Conflicts:      16000 | #Learnt:       5943 | 0.075
1429.48/1429.78	c total clause space: 545.701MB
1429.48/1429.78	c total #watches: 2363036
1481.16/1481.46	c total #propagations: 18478890 / total #impl: 941841641 (eff. 0.020)
1481.16/1481.46	c GC COLLECT
1481.16/1481.46	c #Conflicts:      17000 | #Learnt:       3744 | 0.070
1481.16/1481.46	c total clause space: 545.701MB
1481.16/1481.46	c total #watches: 1578947
1524.75/1525.08	c total #propagations: 19843384 / total #impl: 980918701 (eff. 0.020)
1524.75/1525.08	c #Conflicts:      18000 | #Learnt:       4744 | 0.066
1524.75/1525.08	c total clause space: 545.701MB
1524.75/1525.08	c total #watches: 1795053
1543.06/1543.34	c total #propagations: 21239484 / total #impl: 1041663213 (eff. 0.020)
1543.06/1543.34	c #Conflicts:      19000 | #Learnt:       5744 | 0.063
1543.06/1543.34	c total clause space: 886.764MB
1543.06/1543.34	c total #watches: 1897359
1661.14/1661.44	c total #propagations: 21692527 / total #impl: 1056299165 (eff. 0.021)
1661.14/1661.44	c #Conflicts:      20000 | #Learnt:       6744 | 0.080
1661.14/1661.44	c total clause space: 886.764MB
1661.14/1661.44	c total #watches: 2002165
1791.37/1792.25	c total #propagations: 22995939 / total #impl: 1159724891 (eff. 0.020)
1791.37/1792.25	c GC COLLECT
1791.37/1792.25	c #Conflicts:      21000 | #Learnt:       4243 | 0.077
1791.37/1792.25	c total clause space: 886.764MB
1791.37/1792.25	c total #watches: 1461011

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

pid=7905
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.21 2.25 2.21 3/176 7908
/proc/meminfo: memFree=30029800/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 27299604 29810688 5269 33554432000 4194304 6201397 140736563134224 140733738075768 4211136 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 7278 5269 130 491 0 6777 0

[startup+0.100166 s]
/proc/loadavg: 2.21 2.25 2.21 3/176 7908
/proc/meminfo: memFree=30029800/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=37072 CPUtime=0.09 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 1849 0 0 0 9 0 0 0 20 0 1 0 27299604 37961728 7879 33554432000 4194304 6201397 140736563134224 140733738075768 4626584 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 9268 7879 142 491 0 8767 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37072

[startup+0.200386 s]
/proc/loadavg: 2.21 2.25 2.21 3/176 7908
/proc/meminfo: memFree=30029800/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=44748 CPUtime=0.19 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 2958 0 0 0 19 0 0 0 20 0 1 0 27299604 45821952 9214 33554432000 4194304 6201397 140736563134224 140733738075768 4207987 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 11187 9215 143 491 0 10686 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 44748

[startup+0.300364 s]
/proc/loadavg: 2.21 2.25 2.21 3/176 7908
/proc/meminfo: memFree=30029800/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=65336 CPUtime=0.29 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 3630 0 0 0 28 1 0 0 20 0 1 0 27299604 66904064 11340 33554432000 4194304 6201397 140736563134224 140733738075768 5408672 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 16334 11340 143 491 0 15833 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65336

[startup+0.700299 s]
/proc/loadavg: 2.21 2.25 2.21 3/176 7908
/proc/meminfo: memFree=30029800/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=69788 CPUtime=0.69 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 5087 0 0 0 68 1 0 0 20 0 1 0 27299604 71462912 13415 33554432000 4194304 6201397 140736563134224 140736563132504 4214961 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 17447 13415 147 491 0 16946 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69788

[startup+1.50028 s]
/proc/loadavg: 2.21 2.25 2.21 3/177 7909
/proc/meminfo: memFree=29976488/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=69788 CPUtime=1.49 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 5087 0 0 0 148 1 0 0 20 0 1 0 27299604 71462912 13415 33554432000 4194304 6201397 140736563134224 140736563132504 4214961 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 17447 13415 147 491 0 16946 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69788

[startup+3.10028 s]
/proc/loadavg: 2.21 2.25 2.21 4/177 7909
/proc/meminfo: memFree=29976116/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=69788 CPUtime=3.09 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 5087 0 0 0 308 1 0 0 20 0 1 0 27299604 71462912 13415 33554432000 4194304 6201397 140736563134224 140736563132504 4214952 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 17447 13415 147 491 0 16946 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69788

[startup+6.30029 s]
/proc/loadavg: 2.20 2.24 2.21 3/177 7909
/proc/meminfo: memFree=29974096/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=69788 CPUtime=6.29 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 5088 0 0 0 628 1 0 0 20 0 1 0 27299604 71462912 13927 33554432000 4194304 6201397 140736563134224 140736563132504 4240403 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 17447 13927 147 491 0 16946 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69788

[startup+12.7003 s]
/proc/loadavg: 2.18 2.24 2.21 3/176 7909
/proc/meminfo: memFree=29972132/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=69788 CPUtime=12.69 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 5116 0 0 0 1268 1 0 0 20 0 1 0 27299604 71462912 14460 33554432000 4194304 6201397 140736563134224 140736563132504 4215861 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 17447 14460 147 491 0 16946 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69788

[startup+25.5003 s]
/proc/loadavg: 2.21 2.24 2.21 4/177 7910
/proc/meminfo: memFree=29955504/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=69788 CPUtime=25.49 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 5275 0 0 0 2548 1 0 0 20 0 1 0 27299604 71462912 14576 33554432000 4194304 6201397 140736563134224 140736563132504 4216020 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 17447 14576 147 491 0 16946 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69788

[startup+51.1003 s]
/proc/loadavg: 2.14 2.22 2.20 4/177 7910
/proc/meminfo: memFree=29943900/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=88756 CPUtime=51.08 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 5367 0 0 0 5107 1 0 0 20 0 1 0 27299604 90886144 15667 33554432000 4194304 6201397 140736563134224 140736563133256 4214872 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 22189 15667 147 491 0 21688 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 88756

[startup+102.3 s]
/proc/loadavg: 2.10 2.20 2.19 3/177 7911
/proc/meminfo: memFree=29886784/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=121284 CPUtime=102.28 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 6092 0 0 0 10226 2 0 0 20 0 1 0 27299604 124194816 25011 33554432000 4194304 6201397 140736563134224 140736563133352 4214911 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 30321 25011 160 491 0 29820 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 121284

[startup+162.3 s]
/proc/loadavg: 2.25 2.22 2.20 3/177 7912
/proc/meminfo: memFree=29807560/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=171372 CPUtime=162.27 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 6331 0 0 0 16225 2 0 0 20 0 1 0 27299604 175484928 32353 33554432000 4194304 6201397 140736563134224 140736563133256 4214919 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 42843 32353 160 491 0 42342 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 171372

[startup+222.307 s]
/proc/loadavg: 2.15 2.19 2.18 3/177 7913
/proc/meminfo: memFree=29757360/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=255172 CPUtime=222.26 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 10583 0 0 0 22223 3 0 0 20 0 1 0 27299604 261296128 44227 33554432000 4194304 6201397 140736563134224 140736563133352 4215783 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 63793 44227 166 491 0 63292 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 255172

[startup+282.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 7914
/proc/meminfo: memFree=29717700/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=259036 CPUtime=282.24 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 65857 0 0 0 28214 10 0 0 20 0 1 0 27299604 265252864 53873 33554432000 4194304 6201397 140736563134224 140736563132504 4214898 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 64759 53873 166 491 0 64258 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 259036

[startup+342.3 s]
/proc/loadavg: 2.23 2.21 2.18 4/177 7916
/proc/meminfo: memFree=29691452/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=261952 CPUtime=342.23 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 67699 0 0 0 34212 11 0 0 20 0 1 0 27299604 268238848 60439 33554432000 4194304 6201397 140736563134224 140736563132504 4214915 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 65488 60439 166 491 0 64987 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 261952

[startup+402.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/177 7917
/proc/meminfo: memFree=29690460/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=262352 CPUtime=402.23 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 75853 0 0 0 40210 13 0 0 20 0 1 0 27299604 268648448 60646 33554432000 4194304 6201397 140736563134224 140736563132504 4214889 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 65588 60646 166 491 0 65087 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 262352

[startup+462.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/177 7918
/proc/meminfo: memFree=29688608/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=263816 CPUtime=462.22 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 93362 0 0 0 46207 15 0 0 20 0 1 0 27299604 270147584 61009 33554432000 4194304 6201397 140736563134224 140736563132504 4215861 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 65954 61009 166 491 0 65453 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 263816

[startup+522.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/178 7922
/proc/meminfo: memFree=29687992/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=265116 CPUtime=522.21 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 95864 0 0 0 52206 15 0 0 20 0 1 0 27299604 271478784 61362 33554432000 4194304 6201397 140736563134224 140736563132504 4214919 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 66279 61362 166 491 0 65778 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 265116

[startup+582.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 7923
/proc/meminfo: memFree=29647172/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=398916 CPUtime=582.2 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 127317 0 0 0 58200 20 0 0 20 0 1 0 27299604 408489984 71225 33554432000 4194304 6201397 140736563134224 140736563132504 4214872 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 99729 71225 166 491 0 99228 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 398916


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


[startup+882.307 s]
/proc/loadavg: 2.43 2.29 2.21 3/177 7974
/proc/meminfo: memFree=29802792/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=407728 CPUtime=882.16 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 388145 0 0 0 88154 62 0 0 20 0 1 0 27299604 417513472 86110 33554432000 4194304 6201397 140736563134224 140736563132504 4214911 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 101932 86110 166 491 0 101431 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 407728

[startup+942.3 s]
/proc/loadavg: 2.34 2.29 2.21 3/177 7976
/proc/meminfo: memFree=29781092/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=410084 CPUtime=942.14 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 395147 0 0 0 94151 63 0 0 20 0 1 0 27299604 419926016 90786 33554432000 4194304 6201397 140736563134224 140736563132936 4215386 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 102521 90786 166 491 0 102020 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 410084

[startup+1002.3 s]
/proc/loadavg: 2.27 2.29 2.21 3/177 7977
/proc/meminfo: memFree=29769680/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=410596 CPUtime=1002.14 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 395289 0 0 0 100150 64 0 0 20 0 1 0 27299604 420450304 93483 33554432000 4194304 6201397 140736563134224 140736563132504 4240307 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 102649 93483 166 491 0 102148 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 410596

[startup+1062.3 s]
/proc/loadavg: 2.33 2.30 2.22 4/177 7978
/proc/meminfo: memFree=29767268/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=410596 CPUtime=1062.13 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 395290 0 0 0 106149 64 0 0 20 0 1 0 27299604 420450304 93995 33554432000 4194304 6201397 140736563134224 140736563132504 4215861 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 102649 93995 166 491 0 102148 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 410596

[startup+1122.3 s]
/proc/loadavg: 2.21 2.27 2.21 3/178 7982
/proc/meminfo: memFree=29760672/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=410596 CPUtime=1122.12 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 395304 0 0 0 112148 64 0 0 20 0 1 0 27299604 420450304 94520 33554432000 4194304 6201397 140736563134224 140736563133352 4214884 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 102649 94520 166 491 0 102148 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 410596

[startup+1182.3 s]
/proc/loadavg: 2.20 2.26 2.21 3/177 7983
/proc/meminfo: memFree=29694432/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=626208 CPUtime=1182.11 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 401535 0 0 0 118145 66 0 0 20 0 1 0 27299604 641236992 110862 33554432000 4194304 6201397 140736563134224 140736563132936 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 156552 110862 166 491 0 156051 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 626208

[startup+1242.3 s]
/proc/loadavg: 2.27 2.27 2.21 3/177 7985
/proc/meminfo: memFree=29679244/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=629156 CPUtime=1242.1 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 415075 0 0 0 124142 68 0 0 20 0 1 0 27299604 644255744 112587 33554432000 4194304 6201397 140736563134224 140736563132504 4215851 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 157289 112587 166 491 0 156788 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 629156

[startup+1302.3 s]
/proc/loadavg: 2.33 2.28 2.22 4/177 7986
/proc/meminfo: memFree=29670120/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=628424 CPUtime=1302.09 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 513485 0 0 0 130124 85 0 0 20 0 1 0 27299604 643506176 112510 33554432000 4194304 6201397 140736563134224 140736563132504 4214942 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 157106 112510 166 491 0 156605 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 628424

[startup+1362.3 s]
/proc/loadavg: 2.25 2.27 2.22 3/177 7987
/proc/meminfo: memFree=29667144/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=630792 CPUtime=1362.09 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 536757 0 0 0 136120 89 0 0 20 0 1 0 27299604 645931008 113178 33554432000 4194304 6201397 140736563134224 140736563132936 4213367 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 157698 113178 166 491 0 157197 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 630792

[startup+1422.3 s]
/proc/loadavg: 2.33 2.28 2.22 3/177 7988
/proc/meminfo: memFree=29593040/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=630792 CPUtime=1422.07 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 536797 0 0 0 142118 89 0 0 20 0 1 0 27299604 645931008 131614 33554432000 4194304 6201397 140736563134224 140736563133352 4215808 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 157698 131614 166 491 0 157197 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 630792

[startup+1482.3 s]
/proc/loadavg: 2.37 2.29 2.22 3/177 7989
/proc/meminfo: memFree=29521868/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=633276 CPUtime=1482.07 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 568017 0 0 0 148111 96 0 0 20 0 1 0 27299604 648474624 149147 33554432000 4194304 6201397 140736563134224 140736563132504 4214931 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 158319 149147 166 491 0 157818 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 633276

[startup+1542.31 s]
/proc/loadavg: 2.27 2.28 2.22 3/176 7990
/proc/meminfo: memFree=29483024/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=982140 CPUtime=1542.06 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 578166 0 0 0 154108 98 0 0 20 0 1 0 27299604 1005711360 158057 33554432000 4194304 6201397 140736563134224 140736563133256 4213178 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 245535 158057 166 491 0 245034 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 982140

[startup+1602.3 s]
/proc/loadavg: 2.44 2.32 2.24 3/177 7992
/proc/meminfo: memFree=29410800/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=989776 CPUtime=1602.05 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 622622 0 0 0 160098 107 0 0 20 0 1 0 27299604 1013530624 176178 33554432000 4194304 6201397 140736563134224 140736563132504 4215962 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 247444 176178 166 491 0 246943 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 989776

[startup+1662.3 s]
/proc/loadavg: 2.37 2.32 2.24 3/177 7993
/proc/meminfo: memFree=29381700/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=987568 CPUtime=1662.04 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 684069 0 0 0 166087 117 0 0 20 0 1 0 27299604 1011269632 182994 33554432000 4194304 6201397 140736563134224 140736563133352 4213168 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 246892 182994 166 491 0 246391 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 987568

[startup+1722.3 s]
/proc/loadavg: 2.27 2.29 2.23 3/178 7997
/proc/meminfo: memFree=29372440/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=990764 CPUtime=1722.03 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 708663 0 0 0 172081 122 0 0 20 0 1 0 27299604 1014542336 185633 33554432000 4194304 6201397 140736563134224 140736563132504 4214911 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 247691 185633 166 491 0 247190 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 990764

[startup+1782.49 s]
/proc/loadavg: 2.25 2.28 2.23 4/177 7998
/proc/meminfo: memFree=29356692/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=989844 CPUtime=1782.21 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 728516 0 0 0 178094 127 0 0 20 0 1 0 27299604 1013600256 189291 33554432000 4194304 6201397 140736563134224 140736563132504 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 247461 189291 166 491 0 246960 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 989844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.56 s]
/proc/loadavg: 2.18 2.26 2.23 3/177 7998
/proc/meminfo: memFree=29353660/32872528 swapFree=17888/1798212
[pid=7908] ppid=7905 vsize=990400 CPUtime=1801.27 cores=1,3,5,7
/proc/7908/stat : 7908 (cdcl-cuttingpla) R 7905 7908 6506 0 -1 4202496 730733 0 0 0 180000 127 0 0 20 0 1 0 27299604 1014169600 189344 33554432000 4194304 6201397 140736563134224 140736563132504 4215861 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 247600 189353 166 491 0 247099 0
Current children cumulated CPU time (s) 1801.27
Current children cumulated vsize (KiB) 990400

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.57
CPU time (s): 1801.29
CPU user time (s): 1800.01
CPU system time (s): 1.2838
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 991424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 1.2838
maximum resident set size= 758288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 730919
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= 7
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.84011 second user time and 7.62684 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 14:22:05
IDJOB=4101592
IDBENCH=1769
IDSOLVER=2550
FILE ID=node123/4101592-1466252524
RUNJOBID= node123-1466240371-6523
PBS_JOBID= 19918188
Free space on /tmp= 71628 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-t1717.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101592-1466252524/watcher-4101592-1466252524 -o /tmp/evaluation-result-4101592-1466252524/solver-4101592-1466252524 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466240371-6523 --watchdog 1960 --input HOME/instance-4101592-1466252524.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 53486a3b6175c61d0a6ff165dfe1a2e1
RANDOM SEED=1387303670

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.56
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.791
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30029956 kB
Buffers:           33768 kB
Cached:            80976 kB
SwapCached:         1600 kB
Active:           215332 kB
Inactive:          94208 kB
Active(anon):     193788 kB
Inactive(anon):     3072 kB
Active(file):      21544 kB
Inactive(file):    91136 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:              6272 kB
Writeback:             0 kB
AnonPages:       1992140 kB
Mapped:             7776 kB
Shmem:                 0 kB
Slab:             599948 kB
SReclaimable:      44052 kB
SUnreclaim:       555896 kB
KernelStack:        1448 kB
PageTables:         7956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2131812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1959936 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= 71624 MiB
End job on node123 at 2016-06-18 14:52:06