Trace number 4088329

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
MD5SUMaf0ded53094abde95c37378ccd6c7afa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark101.732
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables8901
Total number of constraints32298
Number of constraints which are clauses32280
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint1
Maximum length of a constraint790
Number of terms in the objective function 790
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 790
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 820
Number of bits of the biggest sum of numbers10
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= 8901 #constraint= 32298
5.99/6.06	c #Conflicts:       1000 | #Learnt:        999 | 0.000
5.99/6.06	c total clause space: 29.637MB
5.99/6.06	c total #watches: 256040
28.59/28.69	c total #propagations: 1150880 / total #impl: 57005591 (eff. 0.020)
28.59/28.69	c #Conflicts:       2000 | #Learnt:       1999 | 0.000
28.59/28.69	c total clause space: 48.1602MB
28.59/28.69	c total #watches: 458973
61.28/61.32	c total #propagations: 2451914 / total #impl: 346856441 (eff. 0.007)
61.28/61.32	c GC COLLECT
61.28/61.32	c #Conflicts:       3000 | #Learnt:       2015 | 0.000
61.28/61.32	c total clause space: 48.1602MB
61.28/61.32	c total #watches: 508587
86.88/86.95	c total #propagations: 4042519 / total #impl: 505224639 (eff. 0.008)
86.88/86.95	c #Conflicts:       4000 | #Learnt:       3015 | 0.000
86.88/86.95	c total clause space: 78.2603MB
86.88/86.95	c total #watches: 651555
141.27/141.38	c total #propagations: 5051731 / total #impl: 735074094 (eff. 0.007)
141.27/141.38	c GC COLLECT
141.27/141.38	c #Conflicts:       5000 | #Learnt:       2372 | 0.000
141.27/141.38	c total clause space: 127.173MB
141.27/141.38	c total #watches: 547737
238.96/239.05	c total #propagations: 6596612 / total #impl: 1432256764 (eff. 0.005)
238.96/239.05	c #Conflicts:       6000 | #Learnt:       3372 | 0.000
238.96/239.05	c total clause space: 127.173MB
238.96/239.05	c total #watches: 704081
365.03/365.19	c total #propagations: 7878248 / total #impl: 2763482874 (eff. 0.003)
365.03/365.19	c GC COLLECT
365.03/365.19	c #Conflicts:       7000 | #Learnt:       2246 | 0.000
365.03/365.19	c total clause space: 127.173MB
365.03/365.19	c total #watches: 581732
487.12/487.20	c total #propagations: 9181121 / total #impl: 4148936599 (eff. 0.002)
487.12/487.20	c #Conflicts:       8000 | #Learnt:       3246 | 0.000
487.12/487.20	c total clause space: 127.173MB
487.12/487.20	c total #watches: 772236
573.90/574.05	c total #propagations: 10782179 / total #impl: 5091529303 (eff. 0.002)
573.90/574.05	c #Conflicts:       9000 | #Learnt:       4246 | 0.000
573.90/574.05	c total clause space: 127.173MB
573.90/574.05	c total #watches: 921321
655.98/656.17	c total #propagations: 11952293 / total #impl: 5818547021 (eff. 0.002)
655.98/656.17	c GC COLLECT
655.98/656.17	c #Conflicts:      10000 | #Learnt:       2757 | 0.000
655.98/656.17	c total clause space: 206.656MB
655.98/656.17	c total #watches: 734318
737.98/738.16	c total #propagations: 12937019 / total #impl: 6024709635 (eff. 0.002)
737.98/738.16	c #Conflicts:      11000 | #Learnt:       3757 | 0.000
737.98/738.16	c total clause space: 206.656MB
737.98/738.16	c total #watches: 899125
844.96/845.12	c total #propagations: 13926068 / total #impl: 6497047890 (eff. 0.002)
844.96/845.12	c #Conflicts:      12000 | #Learnt:       4757 | 0.000
844.96/845.12	c total clause space: 206.656MB
844.96/845.12	c total #watches: 1049553
942.84/943.08	c total #propagations: 15241914 / total #impl: 7049781705 (eff. 0.002)
942.84/943.08	c #Conflicts:      13000 | #Learnt:       5757 | 0.000
942.84/943.08	c total clause space: 206.656MB
942.84/943.08	c total #watches: 1238122
1055.23/1055.48	c total #propagations: 16202484 / total #impl: 7136328290 (eff. 0.002)
1055.23/1055.48	c GC COLLECT
1055.23/1055.48	c #Conflicts:      14000 | #Learnt:       3882 | 0.000
1055.23/1055.48	c total clause space: 206.656MB
1055.23/1055.48	c total #watches: 949050
1094.12/1094.32	c total #propagations: 17687323 / total #impl: 7513613002 (eff. 0.002)
1094.12/1094.32	c #Conflicts:      15000 | #Learnt:       4882 | 0.000
1094.12/1094.32	c total clause space: 206.656MB
1094.12/1094.32	c total #watches: 1130357
1153.01/1153.28	c total #propagations: 18619157 / total #impl: 7561500689 (eff. 0.002)
1153.01/1153.28	c #Conflicts:      16000 | #Learnt:       5882 | 0.000
1153.01/1153.28	c total clause space: 206.656MB
1153.01/1153.28	c total #watches: 1300622
1205.91/1206.17	c total #propagations: 19995663 / total #impl: 7636259976 (eff. 0.003)
1205.91/1206.17	c GC COLLECT
1205.91/1206.17	c #Conflicts:      17000 | #Learnt:       3693 | 0.000
1205.91/1206.17	c total clause space: 206.656MB
1205.91/1206.17	c total #watches: 927400
1278.69/1278.96	c total #propagations: 20847700 / total #impl: 7689779808 (eff. 0.003)
1278.69/1278.96	c #Conflicts:      18000 | #Learnt:       4693 | 0.000
1278.69/1278.96	c total clause space: 206.656MB
1278.69/1278.96	c total #watches: 1048852
1344.38/1344.62	c total #propagations: 21874221 / total #impl: 7783228231 (eff. 0.003)
1344.38/1344.62	c #Conflicts:      19000 | #Learnt:       5693 | 0.000
1344.38/1344.62	c total clause space: 206.656MB
1344.38/1344.62	c total #watches: 1097884
1461.77/1462.08	c total #propagations: 22617395 / total #impl: 7811889205 (eff. 0.003)
1461.77/1462.08	c #Conflicts:      20000 | #Learnt:       6693 | 0.000
1461.77/1462.08	c total clause space: 206.656MB
1461.77/1462.08	c total #watches: 1155951
1526.45/1526.80	c total #propagations: 23806786 / total #impl: 7852411935 (eff. 0.003)
1526.45/1526.80	c GC COLLECT
1526.45/1526.80	c #Conflicts:      21000 | #Learnt:       4205 | 0.000
1526.45/1526.80	c total clause space: 206.656MB
1526.45/1526.80	c total #watches: 832539
1599.25/1599.56	c total #propagations: 25037027 / total #impl: 7961938941 (eff. 0.003)
1599.25/1599.56	c #Conflicts:      22000 | #Learnt:       5205 | 0.000
1599.25/1599.56	c total clause space: 206.656MB
1599.25/1599.56	c total #watches: 1003176
1708.73/1709.00	c total #propagations: 26264139 / total #impl: 8195821205 (eff. 0.003)
1708.73/1709.00	c #Conflicts:      23000 | #Learnt:       6205 | 0.000
1708.73/1709.00	c total clause space: 206.656MB
1708.73/1709.00	c total #watches: 1135608

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

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

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


[startup+0 s]
/proc/loadavg: 1.98 2.18 2.17 3/177 31047
/proc/meminfo: memFree=29804632/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 125353589 29810688 5268 33554432000 4194304 6201397 140736537986256 140733469788936 4211056 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 7278 5268 130 491 0 6777 0

[startup+0.100162 s]
/proc/loadavg: 1.98 2.18 2.17 3/177 31047
/proc/meminfo: memFree=29804632/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=34292 CPUtime=0.09 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 1412 0 0 0 9 0 0 0 20 0 1 0 125353589 35115008 7542 33554432000 4194304 6201397 140736537986256 140733469788936 5408672 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 8573 7543 141 491 0 8072 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34292

[startup+0.200359 s]
/proc/loadavg: 1.98 2.18 2.17 3/177 31047
/proc/meminfo: memFree=29804632/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=42168 CPUtime=0.18 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 2071 0 0 0 18 0 0 0 20 0 1 0 125353589 43180032 8537 33554432000 4194304 6201397 140736537986256 140733469788936 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 10542 8537 146 491 0 10041 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 42168

[startup+0.300328 s]
/proc/loadavg: 1.98 2.18 2.17 3/177 31047
/proc/meminfo: memFree=29804632/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=42288 CPUtime=0.28 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 2204 0 0 0 28 0 0 0 20 0 1 0 125353589 43302912 9151 33554432000 4194304 6201397 140736537986256 140733469788936 4207498 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 10572 9151 146 491 0 10071 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 42288

[startup+0.700293 s]
/proc/loadavg: 1.98 2.18 2.17 3/177 31047
/proc/meminfo: memFree=29804632/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=50072 CPUtime=0.68 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 2661 0 0 0 68 0 0 0 20 0 1 0 125353589 51273728 10026 33554432000 4194304 6201397 140736537986256 140733469788936 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 12518 10026 146 491 0 12017 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 50072

[startup+1.50026 s]
/proc/loadavg: 1.98 2.18 2.17 3/178 31048
/proc/meminfo: memFree=29752232/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=50828 CPUtime=1.48 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 2847 0 0 0 148 0 0 0 20 0 1 0 125353589 52047872 10723 33554432000 4194304 6201397 140736537986256 140736537985208 4213365 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 12707 10723 146 491 0 12206 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 50828

[startup+3.10026 s]
/proc/loadavg: 1.98 2.18 2.17 4/178 31048
/proc/meminfo: memFree=29749876/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=62696 CPUtime=3.08 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 3217 0 0 0 308 0 0 0 20 0 1 0 125353589 64200704 12024 33554432000 4194304 6201397 140736537986256 140736537985288 4213170 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 15674 12024 146 491 0 15173 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 62696

[startup+6.30028 s]
/proc/loadavg: 2.06 2.19 2.18 4/178 31048
/proc/meminfo: memFree=29733724/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=64036 CPUtime=6.29 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 3566 0 0 0 628 1 0 0 20 0 1 0 125353589 65572864 13395 33554432000 4194304 6201397 140736537986256 140736537985208 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 16009 13395 159 491 0 15508 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64036

[startup+12.7002 s]
/proc/loadavg: 2.14 2.21 2.18 3/178 31048
/proc/meminfo: memFree=29711524/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=83756 CPUtime=12.69 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 4006 0 0 0 1268 1 0 0 20 0 1 0 125353589 85766144 16332 33554432000 4194304 6201397 140736537986256 140736537985096 4213357 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 20939 16332 159 491 0 20438 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83756

[startup+25.5003 s]
/proc/loadavg: 2.25 2.23 2.19 3/178 31048
/proc/meminfo: memFree=29696660/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=84444 CPUtime=25.49 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 4188 0 0 0 2548 1 0 0 20 0 1 0 125353589 86470656 18558 33554432000 4194304 6201397 140736537986256 140736537985096 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 21111 18558 159 491 0 20610 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84444

[startup+51.1004 s]
/proc/loadavg: 2.25 2.22 2.19 4/178 31048
/proc/meminfo: memFree=29672032/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=87228 CPUtime=51.08 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 6478 0 0 0 5107 1 0 0 20 0 1 0 125353589 89321472 20320 33554432000 4194304 6201397 140736537986256 140736537985048 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 21807 20320 165 491 0 21306 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87228

[startup+102.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/178 31049
/proc/meminfo: memFree=29593520/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=169576 CPUtime=102.28 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 8205 0 0 0 10226 2 0 0 20 0 1 0 125353589 173645824 30736 33554432000 4194304 6201397 140736537986256 140736537985208 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 42394 30736 165 491 0 41893 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 169576

[startup+162.3 s]
/proc/loadavg: 2.22 2.22 2.18 4/178 31050
/proc/meminfo: memFree=29561468/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=170356 CPUtime=162.27 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 8380 0 0 0 16224 3 0 0 20 0 1 0 125353589 174444544 30911 33554432000 4194304 6201397 140736537986256 140736537984712 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 42589 30911 165 491 0 42088 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 170356

[startup+222.307 s]
/proc/loadavg: 2.18 2.21 2.18 3/178 31051
/proc/meminfo: memFree=29553876/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=171380 CPUtime=222.27 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 8780 0 0 0 22224 3 0 0 20 0 1 0 125353589 175493120 32323 33554432000 4194304 6201397 140736537986256 140736537984888 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 42845 32323 165 491 0 42344 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 171380

[startup+282.3 s]
/proc/loadavg: 2.29 2.24 2.19 4/177 31052
/proc/meminfo: memFree=29544664/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=171928 CPUtime=282.25 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 8898 0 0 0 28222 3 0 0 20 0 1 0 125353589 176054272 33974 33554432000 4194304 6201397 140736537986256 140736537984920 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 42982 33974 165 491 0 42481 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 171928

[startup+342.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/178 31054
/proc/meminfo: memFree=29533800/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=172072 CPUtime=342.24 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 8929 0 0 0 34221 3 0 0 20 0 1 0 125353589 176201728 34516 33554432000 4194304 6201397 140736537986256 140736537984920 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 43018 34516 165 491 0 42517 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 172072

[startup+402.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/179 31058
/proc/meminfo: memFree=29520404/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=172384 CPUtime=402.23 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 9076 0 0 0 40220 3 0 0 20 0 1 0 125353589 176521216 37681 33554432000 4194304 6201397 140736537986256 140736537985384 4213348 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 43096 37681 165 491 0 42595 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 172384

[startup+462.3 s]
/proc/loadavg: 2.28 2.23 2.19 3/178 31059
/proc/meminfo: memFree=29500556/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=172472 CPUtime=462.22 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 9172 0 0 0 46219 3 0 0 20 0 1 0 125353589 176611328 37773 33554432000 4194304 6201397 140736537986256 140736537985208 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 43118 37773 165 491 0 42617 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 172472

[startup+522.3 s]
/proc/loadavg: 2.39 2.28 2.20 3/178 31060
/proc/meminfo: memFree=29498104/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=172804 CPUtime=522.21 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 9247 0 0 0 52218 3 0 0 20 0 1 0 125353589 176951296 37848 33554432000 4194304 6201397 140736537986256 140736537985208 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 43201 37848 165 491 0 42700 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 172804

[startup+582.3 s]
/proc/loadavg: 2.39 2.29 2.20 3/178 31061
/proc/meminfo: memFree=29490068/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=173708 CPUtime=582.2 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 9481 0 0 0 58217 3 0 0 20 0 1 0 125353589 177876992 39615 33554432000 4194304 6201397 140736537986256 140736537985208 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 43427 39615 165 491 0 42926 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 173708


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


[startup+942.3 s]
/proc/loadavg: 2.16 2.22 2.18 3/178 31069
/proc/meminfo: memFree=29387428/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=261112 CPUtime=942.14 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 11483 0 0 0 94210 4 0 0 20 0 1 0 125353589 267378688 53633 33554432000 4194304 6201397 140736537986256 140736537985096 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 65278 53633 165 491 0 64777 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 261112

[startup+1002.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/179 31073
/proc/meminfo: memFree=29384440/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=261240 CPUtime=1002.14 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 11667 0 0 0 100209 5 0 0 20 0 1 0 125353589 267509760 53749 33554432000 4194304 6201397 140736537986256 140736537985048 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 65310 53749 165 491 0 64809 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 261240

[startup+1062.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/178 31074
/proc/meminfo: memFree=29384076/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=261352 CPUtime=1062.13 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 11680 0 0 0 106208 5 0 0 20 0 1 0 125353589 267624448 53762 33554432000 4194304 6201397 140736537986256 140736537985208 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 65338 53762 165 491 0 64837 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 261352

[startup+1122.3 s]
/proc/loadavg: 2.19 2.23 2.19 3/178 31075
/proc/meminfo: memFree=29381988/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=261660 CPUtime=1122.12 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 11854 0 0 0 112207 5 0 0 20 0 1 0 125353589 267939840 54053 33554432000 4194304 6201397 140736537986256 140736537984888 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 65415 54053 165 491 0 64914 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 261660

[startup+1182.3 s]
/proc/loadavg: 2.44 2.29 2.21 3/178 31076
/proc/meminfo: memFree=29360128/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=262472 CPUtime=1182.1 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 12062 0 0 0 118205 5 0 0 20 0 1 0 125353589 268771328 59370 33554432000 4194304 6201397 140736537986256 140736537985208 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 65618 59370 165 491 0 65117 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 262472

[startup+1242.3 s]
/proc/loadavg: 2.29 2.28 2.20 4/178 31078
/proc/meminfo: memFree=29336204/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=262884 CPUtime=1242.1 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 12227 0 0 0 124204 6 0 0 20 0 1 0 125353589 269193216 61055 33554432000 4194304 6201397 140736537986256 140736537985208 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 65721 61055 165 491 0 65220 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 262884

[startup+1302.3 s]
/proc/loadavg: 2.27 2.27 2.20 3/178 31079
/proc/meminfo: memFree=29315000/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=263124 CPUtime=1302.09 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 12285 0 0 0 130203 6 0 0 20 0 1 0 125353589 269438976 61113 33554432000 4194304 6201397 140736537986256 140736537985208 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 65781 61113 165 491 0 65280 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 263124

[startup+1362.3 s]
/proc/loadavg: 2.28 2.28 2.21 3/178 31080
/proc/meminfo: memFree=29312060/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=263256 CPUtime=1362.08 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 12336 0 0 0 136202 6 0 0 20 0 1 0 125353589 269574144 61164 33554432000 4194304 6201397 140736537986256 140736537985384 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 65814 61164 165 491 0 65313 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 263256

[startup+1422.3 s]
/proc/loadavg: 2.25 2.27 2.21 3/178 31081
/proc/meminfo: memFree=29311404/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=264000 CPUtime=1422.08 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 12518 0 0 0 142202 6 0 0 20 0 1 0 125353589 270336000 61346 33554432000 4194304 6201397 140736537986256 140736537985208 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 66000 61346 165 491 0 65499 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 264000

[startup+1482.3 s]
/proc/loadavg: 2.19 2.25 2.20 3/178 31082
/proc/meminfo: memFree=29308724/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=264296 CPUtime=1482.06 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 12596 0 0 0 148200 6 0 0 20 0 1 0 125353589 270639104 61935 33554432000 4194304 6201397 140736537986256 140736537985384 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 66074 61935 165 491 0 65573 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 264296

[startup+1542.31 s]
/proc/loadavg: 2.29 2.26 2.20 3/178 31084
/proc/meminfo: memFree=29308940/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=264456 CPUtime=1542.06 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 12634 0 0 0 154200 6 0 0 20 0 1 0 125353589 270802944 61971 33554432000 4194304 6201397 140736537986256 140736537985384 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 66114 61971 165 491 0 65613 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 264456

[startup+1602.3 s]
/proc/loadavg: 2.21 2.24 2.20 3/178 31097
/proc/meminfo: memFree=29308252/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=264688 CPUtime=1602.04 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 12737 0 0 0 160198 6 0 0 20 0 1 0 125353589 271040512 62074 33554432000 4194304 6201397 140736537986256 140736537985384 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 66172 62074 165 491 0 65671 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 264688

[startup+1662.3 s]
/proc/loadavg: 2.24 2.24 2.19 3/177 31098
/proc/meminfo: memFree=29308028/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=264944 CPUtime=1662.03 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 12784 0 0 0 166197 6 0 0 20 0 1 0 125353589 271302656 62121 33554432000 4194304 6201397 140736537986256 140736537985208 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 66236 62121 165 491 0 65735 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 264944

[startup+1722.3 s]
/proc/loadavg: 2.41 2.29 2.21 3/177 31099
/proc/meminfo: memFree=29307260/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=265220 CPUtime=1722.02 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 12863 0 0 0 172196 6 0 0 20 0 1 0 125353589 271585280 62200 33554432000 4194304 6201397 140736537986256 140736537985208 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 66305 62200 165 491 0 65804 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 265220

[startup+1782.3 s]
/proc/loadavg: 2.27 2.26 2.20 3/177 31100
/proc/meminfo: memFree=29292836/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=265608 CPUtime=1782.01 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 12966 0 0 0 178195 6 0 0 20 0 1 0 125353589 271982592 65369 33554432000 4194304 6201397 140736537986256 140736537985208 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 66402 65369 165 491 0 65901 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 265608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.21 2.25 2.20 3/177 31100
/proc/meminfo: memFree=29290044/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=398108 CPUtime=1800.01 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 13235 0 0 0 179995 6 0 0 20 0 1 0 125353589 407662592 66103 33554432000 4194304 6201397 140736537986256 140736537985208 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 99527 66103 165 491 0 99026 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 398108

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

[startup+1800.3 s]
/proc/loadavg: 2.21 2.25 2.20 3/177 31100
/proc/meminfo: memFree=29290044/32872528 swapFree=16636/1570076
[pid=31047] ppid=31044 vsize=398108 CPUtime=1800.01 cores=1,3,5,7
/proc/31047/stat : 31047 (cdcl-cuttingpla) R 31044 31047 30411 0 -1 4202496 13235 0 0 0 179995 6 0 0 20 0 1 0 125353589 407662592 66103 33554432000 4194304 6201397 140736537986256 140736537985208 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31047/statm: 99527 66103 165 491 0 99026 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 398108

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.066989
maximum resident set size= 264412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13235
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= 10
involuntary context switches= 1974

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6143 second user time and 6.84596 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-09 03:03:32
IDJOB=4088329
IDBENCH=25018
IDSOLVER=2550
FILE ID=node140/4088329-1465434212
RUNJOBID= node140-1465427006-30428
PBS_JOBID= 19859776
Free space on /tmp= 71740 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088329-1465434212/watcher-4088329-1465434212 -o /tmp/evaluation-result-4088329-1465434212/solver-4088329-1465434212 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465427006-30428 --watchdog 1960 --input HOME/instance-4088329-1465434212.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=1723546829

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29805268 kB
Buffers:          152712 kB
Cached:           559332 kB
SwapCached:         1664 kB
Active:           198796 kB
Inactive:         549364 kB
Active(anon):      35224 kB
Inactive(anon):     2932 kB
Active(file):     163572 kB
Inactive(file):   546432 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098768 kB
Dirty:              5852 kB
Writeback:             0 kB
AnonPages:       1576896 kB
Mapped:             7452 kB
Shmem:                 0 kB
Slab:             615740 kB
SReclaimable:      59364 kB
SUnreclaim:       556376 kB
KernelStack:        1392 kB
PageTables:         7396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1725616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1556480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node140 at 2016-06-09 03:33:33