Trace number 4088557

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

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2.opb
MD5SUMb363732a49ff55c5c06709720571fcad
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-592
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 243
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 829
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 12582
Number of bits of the biggest sum of numbers14
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= 40937 #constraint= 41436
53.99/54.03	c #Conflicts:       1000 | #Learnt:       1178 | 0.804
53.99/54.03	c total clause space: 78.2603MB
53.99/54.03	c total #watches: 757015
88.77/88.86	c total #propagations: 8664594 / total #impl: 43001538 (eff. 0.201)
88.77/88.86	c #Conflicts:       2000 | #Learnt:       2184 | 2.427
88.77/88.86	c total clause space: 127.173MB
88.77/88.86	c total #watches: 1852624
104.48/104.54	c total #propagations: 9805029 / total #impl: 94171935 (eff. 0.104)
104.48/104.54	c GC COLLECT
104.48/104.54	c #Conflicts:       3000 | #Learnt:       2289 | 3.186
104.48/104.54	c total clause space: 127.173MB
104.48/104.54	c total #watches: 2249442
129.37/129.45	c total #propagations: 10335520 / total #impl: 134913956 (eff. 0.077)
129.37/129.45	c #Conflicts:       4000 | #Learnt:       3289 | 3.158
129.37/129.45	c total clause space: 127.173MB
129.37/129.45	c total #watches: 2868437
151.17/151.22	c total #propagations: 10860814 / total #impl: 177569808 (eff. 0.061)
151.17/151.22	c GC COLLECT
151.17/151.22	c #Conflicts:       5000 | #Learnt:       2715 | 4.065
151.17/151.22	c total clause space: 127.173MB
151.17/151.22	c total #watches: 2663351
187.26/187.38	c total #propagations: 11287928 / total #impl: 206334769 (eff. 0.055)
187.26/187.38	c #Conflicts:       6000 | #Learnt:       3715 | 4.842
187.26/187.38	c total clause space: 127.173MB
187.26/187.38	c total #watches: 3092723
230.75/230.87	c total #propagations: 11702829 / total #impl: 228899972 (eff. 0.051)
230.75/230.87	c GC COLLECT
230.75/230.87	c #Conflicts:       7000 | #Learnt:       2628 | 4.150
230.75/230.87	c total clause space: 206.656MB
230.75/230.87	c total #watches: 2212050
248.15/248.25	c total #propagations: 12237591 / total #impl: 259178844 (eff. 0.047)
248.15/248.25	c #Conflicts:       8000 | #Learnt:       3628 | 4.026
248.15/248.25	c total clause space: 206.656MB
248.15/248.25	c total #watches: 3141500
355.83/355.91	c total #propagations: 12530935 / total #impl: 278238900 (eff. 0.045)
355.83/355.91	c #Conflicts:       9000 | #Learnt:       4628 | 3.701
355.83/355.91	c total clause space: 206.656MB
355.83/355.91	c total #watches: 3808176
472.41/472.51	c total #propagations: 13765538 / total #impl: 358693510 (eff. 0.038)
472.41/472.51	c GC COLLECT
472.41/472.51	c #Conflicts:      10000 | #Learnt:       3125 | 3.332
472.41/472.51	c total clause space: 206.656MB
472.41/472.51	c total #watches: 2430607
535.40/535.53	c total #propagations: 15009739 / total #impl: 571171959 (eff. 0.026)
535.40/535.53	c #Conflicts:      11000 | #Learnt:       4125 | 3.046
535.40/535.53	c total clause space: 206.656MB
535.40/535.53	c total #watches: 2944441
619.78/619.92	c total #propagations: 15610067 / total #impl: 697101550 (eff. 0.022)
619.78/619.92	c #Conflicts:      12000 | #Learnt:       5121 | 2.839
619.78/619.92	c total clause space: 206.656MB
619.78/619.92	c total #watches: 3275525
722.97/723.10	c total #propagations: 16855106 / total #impl: 844402043 (eff. 0.020)
722.97/723.10	c #Conflicts:      13000 | #Learnt:       6121 | 2.621
722.97/723.10	c total clause space: 206.656MB
722.97/723.10	c total #watches: 3495704
756.87/757.03	c total #propagations: 18613802 / total #impl: 1121082866 (eff. 0.017)
756.87/757.03	c GC COLLECT
756.87/757.03	c #Conflicts:      14000 | #Learnt:       4273 | 2.454
756.87/757.03	c total clause space: 206.656MB
756.87/757.03	c total #watches: 2148455
787.06/787.22	c total #propagations: 19494284 / total #impl: 1183039465 (eff. 0.016)
787.06/787.22	c #Conflicts:      15000 | #Learnt:       5273 | 2.381
787.06/787.22	c total clause space: 206.656MB
787.06/787.22	c total #watches: 2444360
796.37/796.52	c total #propagations: 20343114 / total #impl: 1234027097 (eff. 0.016)
796.37/796.52	c #Conflicts:      16000 | #Learnt:       6273 | 2.390
796.37/796.52	c total clause space: 206.656MB
796.37/796.52	c total #watches: 2873199
816.96/817.17	c total #propagations: 20353919 / total #impl: 1248354709 (eff. 0.016)
816.96/817.17	c GC COLLECT
816.96/817.17	c #Conflicts:      17000 | #Learnt:       4119 | 2.356
816.96/817.17	c total clause space: 206.656MB
816.96/817.17	c total #watches: 2249880
849.55/849.72	c total #propagations: 20518690 / total #impl: 1289996289 (eff. 0.016)
849.55/849.72	c #Conflicts:      18000 | #Learnt:       5119 | 2.336
849.55/849.72	c total clause space: 206.656MB
849.55/849.72	c total #watches: 2775994
885.25/885.48	c total #propagations: 20793367 / total #impl: 1373493285 (eff. 0.015)
885.25/885.48	c #Conflicts:      19000 | #Learnt:       6119 | 2.255
885.25/885.48	c total clause space: 206.656MB
885.25/885.48	c total #watches: 3541754
926.64/926.84	c total #propagations: 21045229 / total #impl: 1451050222 (eff. 0.015)
926.64/926.84	c #Conflicts:      20000 | #Learnt:       7119 | 2.398
926.64/926.84	c total clause space: 206.656MB
926.64/926.84	c total #watches: 4089502
1022.23/1022.46	c total #propagations: 21473818 / total #impl: 1531587873 (eff. 0.014)
1022.23/1022.46	c GC COLLECT
1022.23/1022.46	c #Conflicts:      21000 | #Learnt:       4652 | 2.284
1022.23/1022.46	c total clause space: 206.656MB
1022.23/1022.46	c total #watches: 2808159
1126.61/1126.86	c total #propagations: 22641979 / total #impl: 1601806546 (eff. 0.014)
1126.61/1126.86	c #Conflicts:      22000 | #Learnt:       5652 | 2.180
1126.61/1126.86	c total clause space: 206.656MB
1126.61/1126.86	c total #watches: 3053373
1252.19/1252.48	c total #propagations: 23959218 / total #impl: 1690087851 (eff. 0.014)
1252.19/1252.48	c #Conflicts:      23000 | #Learnt:       6652 | 2.085
1252.19/1252.48	c total clause space: 335.816MB
1252.19/1252.48	c total #watches: 3204720
1311.68/1311.91	c total #propagations: 25183864 / total #impl: 1809549216 (eff. 0.014)
1311.68/1311.91	c #Conflicts:      24000 | #Learnt:       7652 | 2.003
1311.68/1311.91	c total clause space: 335.816MB
1311.68/1311.91	c total #watches: 4050198
1405.58/1405.87	c total #propagations: 25834426 / total #impl: 1872644447 (eff. 0.014)
1405.58/1405.87	c GC COLLECT
1405.58/1405.87	c #Conflicts:      25000 | #Learnt:       4839 | 1.927
1405.58/1405.87	c total clause space: 335.816MB
1405.58/1405.87	c total #watches: 2469308
1484.06/1484.33	c total #propagations: 26745929 / total #impl: 1983686629 (eff. 0.013)
1484.06/1484.33	c #Conflicts:      26000 | #Learnt:       5839 | 1.869
1484.06/1484.33	c total clause space: 335.816MB
1484.06/1484.33	c total #watches: 3363232
1497.25/1497.56	c total #propagations: 27233706 / total #impl: 2061942120 (eff. 0.013)
1497.25/1497.56	c #Conflicts:      27000 | #Learnt:       6839 | 1.807
1497.25/1497.56	c total clause space: 335.816MB
1497.25/1497.56	c total #watches: 4449565

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

pid=9974
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.17 2.18 2.18 3/176 9977
/proc/meminfo: memFree=28850036/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 126242445 29810688 5268 33554432000 4194304 6201397 140734017252432 140735683568904 4211056 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 7278 5268 130 491 0 6777 0

[startup+0.100154 s]
/proc/loadavg: 2.17 2.18 2.18 3/176 9977
/proc/meminfo: memFree=28850036/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=34432 CPUtime=0.09 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 1350 0 0 0 9 0 0 0 20 0 1 0 126242445 35258368 7513 33554432000 4194304 6201397 140734017252432 140735683568904 4207438 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 8608 7513 141 491 0 8107 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34432

[startup+0.200307 s]
/proc/loadavg: 2.17 2.18 2.18 3/176 9977
/proc/meminfo: memFree=28850036/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=42756 CPUtime=0.19 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 3411 0 0 0 19 0 0 0 20 0 1 0 126242445 43782144 9264 33554432000 4194304 6201397 140734017252432 140735683568904 5408672 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 10689 9264 142 491 0 10188 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42756

[startup+0.300334 s]
/proc/loadavg: 2.17 2.18 2.18 3/176 9977
/proc/meminfo: memFree=28850036/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=44740 CPUtime=0.28 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 3989 0 0 0 28 0 0 0 20 0 1 0 126242445 45813760 9783 33554432000 4194304 6201397 140734017252432 140734017250568 4198549 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 11185 9783 147 491 0 10684 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 44740

[startup+0.700284 s]
/proc/loadavg: 2.17 2.18 2.18 3/176 9977
/proc/meminfo: memFree=28850036/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=44740 CPUtime=0.68 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 4126 0 0 0 68 0 0 0 20 0 1 0 126242445 45813760 9871 33554432000 4194304 6201397 140734017252432 140734017250568 4207987 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 11185 9871 147 491 0 10684 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 44740

[startup+1.50024 s]
/proc/loadavg: 2.17 2.18 2.18 3/177 9978
/proc/meminfo: memFree=28810180/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=45156 CPUtime=1.48 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 4294 0 0 0 148 0 0 0 20 0 1 0 126242445 46239744 10005 33554432000 4194304 6201397 140734017252432 140734017251384 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 11289 10005 147 491 0 10788 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 45156

[startup+3.10024 s]
/proc/loadavg: 2.17 2.18 2.18 3/177 9978
/proc/meminfo: memFree=28809560/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=45156 CPUtime=3.08 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 4313 0 0 0 308 0 0 0 20 0 1 0 126242445 46239744 10016 33554432000 4194304 6201397 140734017252432 140734017251384 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 11289 10016 147 491 0 10788 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 45156

[startup+6.30025 s]
/proc/loadavg: 2.16 2.17 2.17 3/177 9978
/proc/meminfo: memFree=28807404/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=52888 CPUtime=6.28 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 4531 0 0 0 628 0 0 0 20 0 1 0 126242445 54157312 10713 33554432000 4194304 6201397 140734017252432 140734017250712 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 13222 10713 147 491 0 12721 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 52888

[startup+12.7002 s]
/proc/loadavg: 2.23 2.19 2.18 3/177 9978
/proc/meminfo: memFree=28801452/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=54352 CPUtime=12.69 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 4922 0 0 0 1268 1 0 0 20 0 1 0 126242445 55656448 12126 33554432000 4194304 6201397 140734017252432 140734017251048 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 13588 12126 147 491 0 13087 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54352

[startup+25.5003 s]
/proc/loadavg: 2.26 2.19 2.18 4/177 9978
/proc/meminfo: memFree=28797792/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=67260 CPUtime=25.49 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 5599 0 0 0 2548 1 0 0 20 0 1 0 126242445 68874240 13138 33554432000 4194304 6201397 140734017252432 140734017251144 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 16815 13138 147 491 0 16314 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67260

[startup+51.1003 s]
/proc/loadavg: 2.22 2.19 2.18 3/177 9978
/proc/meminfo: memFree=28768444/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=90324 CPUtime=51.08 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 7164 0 0 0 5107 1 0 0 20 0 1 0 126242445 92491776 20529 33554432000 4194304 6201397 140734017252432 140734017251048 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 22581 20529 147 491 0 22080 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 90324

[startup+102.3 s]
/proc/loadavg: 2.28 2.21 2.18 4/177 9979
/proc/meminfo: memFree=28691216/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=188460 CPUtime=102.28 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 14375 0 0 0 10224 4 0 0 20 0 1 0 126242445 192983040 39751 33554432000 4194304 6201397 140734017252432 140734017250888 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 47115 39751 166 491 0 46614 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 188460

[startup+162.3 s]
/proc/loadavg: 2.35 2.23 2.19 3/177 9980
/proc/meminfo: memFree=28649580/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=206008 CPUtime=162.26 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 19400 0 0 0 16221 5 0 0 20 0 1 0 126242445 210952192 49998 33554432000 4194304 6201397 140734017252432 140734017250712 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 51502 49998 166 491 0 51001 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 206008

[startup+222.307 s]
/proc/loadavg: 2.22 2.22 2.18 3/177 9981
/proc/meminfo: memFree=28631156/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=290176 CPUtime=222.26 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 20247 0 0 0 22220 6 0 0 20 0 1 0 126242445 297140224 54312 33554432000 4194304 6201397 140734017252432 140734017251144 4213328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 72544 54312 166 491 0 72043 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 290176

[startup+282.3 s]
/proc/loadavg: 2.16 2.20 2.18 4/176 9982
/proc/meminfo: memFree=28619988/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=290912 CPUtime=282.25 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 20819 0 0 0 28219 6 0 0 20 0 1 0 126242445 297893888 56718 33554432000 4194304 6201397 140734017252432 140734017250712 4213348 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 72728 56718 166 491 0 72227 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 290912

[startup+342.3 s]
/proc/loadavg: 1.76 2.10 2.14 2/170 10015
/proc/meminfo: memFree=28999988/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=291260 CPUtime=342.23 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 20974 0 0 0 34217 6 0 0 20 0 1 0 126242445 298250240 60908 33554432000 4194304 6201397 140734017252432 140734017250888 4213244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 72815 60908 166 491 0 72314 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 291260

[startup+402.3 s]
/proc/loadavg: 1.40 1.93 2.08 2/170 10016
/proc/meminfo: memFree=28982292/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=292160 CPUtime=402.22 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 21266 0 0 0 40216 6 0 0 20 0 1 0 126242445 299171840 65422 33554432000 4194304 6201397 140734017252432 140734017251144 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 73040 65422 166 491 0 72539 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 292160

[startup+462.3 s]
/proc/loadavg: 1.18 1.77 2.02 3/170 10017
/proc/meminfo: memFree=28967488/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=293392 CPUtime=462.21 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 21627 0 0 0 46214 7 0 0 20 0 1 0 126242445 300433408 69329 33554432000 4194304 6201397 140734017252432 140734017250712 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 73348 69329 166 491 0 72847 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 293392

[startup+522.3 s]
/proc/loadavg: 1.24 1.67 1.96 3/171 10021
/proc/meminfo: memFree=28967516/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=293528 CPUtime=522.2 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 21767 0 0 0 52213 7 0 0 20 0 1 0 126242445 300572672 69422 33554432000 4194304 6201397 140734017252432 140734017250712 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 73382 69422 166 491 0 72881 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 293528

[startup+582.3 s]
/proc/loadavg: 1.33 1.61 1.92 2/170 10022
/proc/meminfo: memFree=28966168/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=294848 CPUtime=582.19 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 22171 0 0 0 58212 7 0 0 20 0 1 0 126242445 301924352 69746 33554432000 4194304 6201397 140734017252432 140734017250712 4213348 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 73712 69746 166 491 0 73211 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 294848


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


[startup+942.3 s]
/proc/loadavg: 1.20 1.31 1.67 2/170 10030
/proc/meminfo: memFree=28942056/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=314280 CPUtime=942.14 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 29166 0 0 0 94205 9 0 0 20 0 1 0 126242445 321822720 75641 33554432000 4194304 6201397 140734017252432 140734017250712 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 78570 75641 166 491 0 78069 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 314280

[startup+1002.3 s]
/proc/loadavg: 1.18 1.28 1.64 3/170 10031
/proc/meminfo: memFree=28942036/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=314328 CPUtime=1002.13 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 29220 0 0 0 100204 9 0 0 20 0 1 0 126242445 321871872 75662 33554432000 4194304 6201397 140734017252432 140734017251048 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 78582 75662 166 491 0 78081 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 314328

[startup+1062.3 s]
/proc/loadavg: 1.22 1.27 1.61 2/170 10032
/proc/meminfo: memFree=28942036/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=314328 CPUtime=1062.12 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 29229 0 0 0 106203 9 0 0 20 0 1 0 126242445 321871872 75671 33554432000 4194304 6201397 140734017252432 140734017251560 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 78582 75671 166 491 0 78081 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 314328

[startup+1122.3 s]
/proc/loadavg: 1.20 1.25 1.58 2/171 10036
/proc/meminfo: memFree=28941876/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=314328 CPUtime=1122.11 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 29229 0 0 0 112202 9 0 0 20 0 1 0 126242445 321871872 75671 33554432000 4194304 6201397 140734017252432 140734017251560 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 78582 75671 166 491 0 78081 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 314328

[startup+1182.3 s]
/proc/loadavg: 1.11 1.22 1.55 3/170 10037
/proc/meminfo: memFree=28935480/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=446588 CPUtime=1182.1 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 29367 0 0 0 118201 9 0 0 20 0 1 0 126242445 457306112 77326 33554432000 4194304 6201397 140734017252432 140734017251464 4213249 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 111647 77326 166 491 0 111146 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 446588

[startup+1242.3 s]
/proc/loadavg: 1.17 1.22 1.53 2/170 10039
/proc/meminfo: memFree=28912444/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=446588 CPUtime=1242.1 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 29407 0 0 0 124200 10 0 0 20 0 1 0 126242445 457306112 82985 33554432000 4194304 6201397 140734017252432 140734017251464 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 111647 82985 166 491 0 111146 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 446588

[startup+1302.3 s]
/proc/loadavg: 1.21 1.22 1.51 2/170 10040
/proc/meminfo: memFree=28881100/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=447108 CPUtime=1302.09 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 30085 0 0 0 130198 11 0 0 20 0 1 0 126242445 457838592 90803 33554432000 4194304 6201397 140734017252432 140734017250712 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 111777 90803 166 491 0 111276 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 447108

[startup+1362.3 s]
/proc/loadavg: 1.37 1.27 1.50 3/170 10041
/proc/meminfo: memFree=28866128/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=447540 CPUtime=1362.08 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 30540 0 0 0 136197 11 0 0 20 0 1 0 126242445 458280960 94482 33554432000 4194304 6201397 140734017252432 140734017250712 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 111885 94482 166 491 0 111384 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 447540

[startup+1422.3 s]
/proc/loadavg: 1.37 1.29 1.50 2/170 10042
/proc/meminfo: memFree=28866360/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=447540 CPUtime=1422.07 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 30587 0 0 0 142196 11 0 0 20 0 1 0 126242445 458280960 94516 33554432000 4194304 6201397 140734017252432 140734017251272 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 111885 94516 166 491 0 111384 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 447540

[startup+1482.3 s]
/proc/loadavg: 1.22 1.27 1.47 2/170 10043
/proc/meminfo: memFree=28864240/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=449028 CPUtime=1482.06 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 31289 0 0 0 148195 11 0 0 20 0 1 0 126242445 459804672 95037 33554432000 4194304 6201397 140734017252432 140734017250888 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 112257 95037 166 491 0 111756 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 449028

[startup+1542.31 s]
/proc/loadavg: 1.26 1.27 1.46 3/170 10045
/proc/meminfo: memFree=28831404/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=451084 CPUtime=1542.05 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 32524 0 0 0 154193 12 0 0 20 0 1 0 126242445 461910016 103213 33554432000 4194304 6201397 140734017252432 140734017250712 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 112771 103213 166 491 0 112270 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 451084

[startup+1602.3 s]
/proc/loadavg: 1.26 1.27 1.44 2/170 10046
/proc/meminfo: memFree=28826792/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=451584 CPUtime=1602.03 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 32736 0 0 0 160191 12 0 0 20 0 1 0 126242445 462422016 104334 33554432000 4194304 6201397 140734017252432 140734017251144 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 112896 104334 166 491 0 112395 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 451584

[startup+1662.3 s]
/proc/loadavg: 1.29 1.28 1.43 2/170 10047
/proc/meminfo: memFree=28817324/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=451756 CPUtime=1662.03 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 32861 0 0 0 166190 13 0 0 20 0 1 0 126242445 462598144 106526 33554432000 4194304 6201397 140734017252432 140734017251384 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 112939 106526 166 491 0 112438 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 451756

[startup+1722.3 s]
/proc/loadavg: 1.24 1.27 1.42 3/171 10051
/proc/meminfo: memFree=28802740/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=452712 CPUtime=1722.02 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 33133 0 0 0 172189 13 0 0 20 0 1 0 126242445 463577088 110336 33554432000 4194304 6201397 140734017252432 140734017251032 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 113178 110336 166 491 0 112677 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 452712

[startup+1782.3 s]
/proc/loadavg: 1.22 1.26 1.41 2/171 10075
/proc/meminfo: memFree=28788460/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=668464 CPUtime=1782.01 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 33398 0 0 0 178188 13 0 0 20 0 1 0 126242445 684507136 113601 33554432000 4194304 6201397 140734017252432 140734017251464 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 167116 113601 166 491 0 166615 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 668464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.23 1.26 1.40 2/171 10075
/proc/meminfo: memFree=28782612/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=668776 CPUtime=1800 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 33507 0 0 0 179987 13 0 0 20 0 1 0 126242445 684826624 115753 33554432000 4194304 6201397 140734017252432 140734017251272 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 167194 115753 166 491 0 166693 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 668776

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

[startup+1800.3 s]
/proc/loadavg: 1.23 1.26 1.40 2/171 10075
/proc/meminfo: memFree=28782612/32872528 swapFree=16360/1798728
[pid=9977] ppid=9974 vsize=668776 CPUtime=1800 cores=0,2,4,6
/proc/9977/stat : 9977 (cdcl-cuttingpla) R 9974 9977 7724 0 -1 4202496 33507 0 0 0 179987 13 0 0 20 0 1 0 126242445 684826624 115753 33554432000 4194304 6201397 140734017252432 140734017251272 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9977/statm: 167194 115753 166 491 0 166693 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 668776

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.88
CPU system time (s): 0.140978
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 668776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.140978
maximum resident set size= 463012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33507
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= 9
involuntary context switches= 2045

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.27835 second user time and 7.18491 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-09 05:31:33
IDJOB=4088557
IDBENCH=90820
IDSOLVER=2550
FILE ID=node123/4088557-1465443093
RUNJOBID= node123-1465427036-7740
PBS_JOBID= 19859787
Free space on /tmp= 71628 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088557-1465443093/watcher-4088557-1465443093 -o /tmp/evaluation-result-4088557-1465443093/solver-4088557-1465443093 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465427036-7740 --watchdog 1960 --input HOME/instance-4088557-1465443093.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= b363732a49ff55c5c06709720571fcad
RANDOM SEED=1671464301

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.117
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.57
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		: 2667.117
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		: 2667.117
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:        28850192 kB
Buffers:          197972 kB
Cached:           881156 kB
SwapCached:         1760 kB
Active:           720072 kB
Inactive:         751612 kB
Active(anon):     392340 kB
Inactive(anon):     2680 kB
Active(file):     327732 kB
Inactive(file):   748932 kB
Unevictable:     1798728 kB
Mlocked:           16360 kB
SwapTotal:      67108856 kB
SwapFree:       67098844 kB
Dirty:              4640 kB
Writeback:             0 kB
AnonPages:       2190600 kB
Mapped:             7956 kB
Shmem:                 0 kB
Slab:             616684 kB
SReclaimable:      60812 kB
SUnreclaim:       555872 kB
KernelStack:        1456 kB
PageTables:         8052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2374168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2144256 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= 71632 MiB
End job on node123 at 2016-06-09 06:01:33