Trace number 4078733

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 1.15182 1.16354

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
MD5SUM6ebe1c273e27161d3207e8be45324cc2
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.163974
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables19944
Total number of constraints50842
Number of constraints which are clauses43898
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6944
Minimum length of a constraint1
Maximum length of a constraint19
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 641
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2174
Number of bits of the biggest sum of numbers12
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 2016-06-06T16:01:08+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.01	c   mwc-random-0.13.3.2
0.00/0.01	c   parse_dimacs-1.3
0.00/0.01	c   parsec-3.1.9
0.00/0.01	c   prettyclass-1.0.0.0
0.00/0.01	c   primes-0.2.1.0
0.00/0.01	c   primitive-0.6.1.0
0.00/0.01	c   process-1.2.3.0
0.00/0.01	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078733-1465221668.opb"]
0.00/0.02	c use --random-gen="2071931176 146882051 869711212 2124565788 1789431548 2913510993 1854416131 88881745 2552412132 2709808288 2009158999 2296863944 935838998 1205650968 2038714474 3336633504 3985530035 2469527596 253060927 3133012369 3213834298 2509240579 4272590529 308801643 4812739 3390874092 2235183452 1530390170 3939853125 3721528848 4178688803 1395655480 995432536 1117835727 1375646479 2630347052 578011015 3487165016 3769103977 1034681478 631305296 2837769212 2685312035 794011181 3495733453 535818204 4006592245 1474222713 2432900217 420697560 3773054513 2442711783 4160767879 798248144 4161681626 1231560506 216035437 2096759997 3084669112 3793399274 1067780335 1585564564 318016063 1233986252 3411546725 3051421962 2758911602 1810925463 4082340693 2069450078 2689752930 3987370879 1519953980 1217025516 1614416557 1742524444 62895046 2325248316 2868489018 3279452065 2292275674 2190638581 2367745979 1685176194 3850387008 3572429385 2084655307 2196260360 1892774978 1073503704 1566717235 800893340 484041056 535149688 480877946 2409814513 3685081136 960989065 4120734086 979785612 1300426362 2790775950 1246586987 3836964409 770706093 3139436237 3899084345 2474820081 2958171827 4000688966 2630711447 4112572069 620725219 531696794 2306497159 2255865429 2276110163 3838005121 708458449 341271176 1632164234 1284094761 3200113546 2870665731 705497674 640935030 2548560874 248145121 3237688031 4203116779 1335114827 3102101932 2229654571 9846090 341226230 2444933015 968352525 4252371221 2541147090 3557987662 2488556118 601732913 1305706174 1814690004 1218278562 2410001719 1347937107 1700744787 2285175686 1275466460 2765461719 1266929200 1424512955 1298464004 1236427718 1849232813 1465793109 1557564348 2340030115 3938337767 2193211529 2853883883 3412367840 765448988 4158236187 3186927155 1047679270 2553388187 4067988965 3896442386 2054181840 168929702 1986552185 2609590156 1869870161 251304410 3712709850 1569912196 135981147 255105308 3709919770 2149756198 3635176961 3300909545 567264578 2461038208 2831473938 755913457 2805481095 3124646211 2983038645 1386414039 4213586893 3153951503 2588174880 4216281407 1682274731 2210626455 3744495116 2413546981 1552757409 2439741179 2561938031 1175382384 4131073218 229412333 4101603275 56784925 2193167341 3538839700 2688031622 1036144762 3749574060 3938434676 2592830824 4194194114 2961629651 3138665180 2185646866 1769672776 666066388 2406686362 3184762671 3188634548 1682904562 3886600272 2311878455 1849352490 3651636093 2396699567 631494999 4169250850 2516142354 3616078480 1628776847 300757834 3097532172 129034565 834045650 1235683459 4139948003 951278164 74824693 2987822649 4003035371 4034699920 304384503 105848489 520327290 2541626261 3541528585 3741473355 1942718148 1163397159 2869464744 1301226618 255 362436" option to reproduce the execution
0.48/0.52	c #vars 19944
0.48/0.52	c #constraints 50842
1.09/1.12	c Solving starts ...
1.09/1.12	s UNSATISFIABLE
1.09/1.12	c total CPU time = 1.116s
1.09/1.12	c total wall clock time = 1.119s

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-4078733-1465221668/watcher-4078733-1465221668 -o /tmp/evaluation-result-4078733-1465221668/solver-4078733-1465221668 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078733-1465221668.opb 

pid=14074
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.31 2.29 2.27 4/180 14077
/proc/meminfo: memFree=29405568/32872528 swapFree=16636/1570076
[pid=14077] ppid=14074 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/14077/stat : 14077 (runsolver) D 14074 14077 13075 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 104099145 24911872 151 33554432000 4194304 4338465 140735168375024 140735168372664 213419642039 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/14077/statm: 6082 151 105 36 0 2655 0

[startup+0.100183 s]
/proc/loadavg: 2.31 2.29 2.27 4/180 14077
/proc/meminfo: memFree=29405568/32872528 swapFree=16636/1570076
[pid=14077] ppid=14074 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/14077/stat : 14077 (toysat) R 14074 14077 13075 0 -1 4202496 24914 0 0 0 5 3 0 0 20 0 4 0 104099145 1250496512 25212 33554432000 4194304 16246674 140736443292080 140736443291392 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14077/statm: 305297 25214 801 2943 0 302191 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200383 s]
/proc/loadavg: 2.31 2.29 2.27 4/180 14077
/proc/meminfo: memFree=29405568/32872528 swapFree=16636/1570076
[pid=14077] ppid=14074 vsize=1312324 CPUtime=0.18 cores=0,2,4,6
/proc/14077/stat : 14077 (toysat) R 14074 14077 13075 0 -1 4202496 47352 0 0 0 11 7 0 0 20 0 4 0 104099145 1343819776 48161 33554432000 4194304 16246674 140736443292080 140736443291392 7368712 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14077/statm: 328081 48161 802 2943 0 324975 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1312324

[startup+0.300398 s]
/proc/loadavg: 2.31 2.29 2.27 4/180 14077
/proc/meminfo: memFree=29405568/32872528 swapFree=16636/1570076
[pid=14077] ppid=14074 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/14077/stat : 14077 (toysat) R 14074 14077 13075 0 -1 4202496 58841 0 0 0 20 8 0 0 20 0 4 0 104099145 1344868352 59650 33554432000 4194304 16246674 140736443292080 140736443275072 8058930 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14077/statm: 328337 59650 802 2943 0 325231 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700306 s]
/proc/loadavg: 2.31 2.29 2.27 4/180 14077
/proc/meminfo: memFree=29405568/32872528 swapFree=16636/1570076
[pid=14077] ppid=14074 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/14077/stat : 14077 (toysat) R 14074 14077 13075 0 -1 4202496 69475 0 0 0 59 9 0 0 20 0 4 0 104099145 1344868352 70284 33554432000 4194304 16246674 140736443292080 140736443275072 5589602 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14077/statm: 328337 70292 834 2943 0 325231 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14077 sig 9
??? kill -14077 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.800335 s]
/proc/loadavg: 2.31 2.29 2.27 4/180 14077
/proc/meminfo: memFree=29405568/32872528 swapFree=16636/1570076
[pid=14077] ppid=14074 vsize=1313348 CPUtime=0.79 cores=0,2,4,6
/proc/14077/stat : 14077 (toysat) R 14074 14077 13075 0 -1 4202496 87343 0 0 0 66 13 0 0 20 0 4 0 104099145 1344868352 88153 33554432000 4194304 16246674 140736443292080 140736443275072 5516309 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14077/statm: 328337 88160 834 2943 0 325231 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 1313348

[startup+1.00029 s]
/proc/loadavg: 2.31 2.29 2.27 4/180 14077
/proc/meminfo: memFree=29405568/32872528 swapFree=16636/1570076
[pid=14077] ppid=14074 vsize=1313348 CPUtime=0.98 cores=0,2,4,6
/proc/14077/stat : 14077 (toysat) R 14074 14077 13075 0 -1 4202496 123089 0 0 0 80 18 0 0 20 0 4 0 104099145 1344868352 123899 33554432000 4194304 16246674 140736443292080 140736443275072 6165414 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14077/statm: 328337 123906 834 2943 0 325231 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 1313348

[startup+1.10029 s]
/proc/loadavg: 2.31 2.29 2.27 4/184 14081
/proc/meminfo: memFree=28831784/32872528 swapFree=16636/1570076
[pid=14077] ppid=14074 vsize=1313348 CPUtime=1.09 cores=0,2,4,6
/proc/14077/stat : 14077 (toysat) R 14074 14077 13075 0 -1 4202496 144593 0 0 0 87 22 0 0 20 0 4 0 104099145 1344868352 145402 33554432000 4194304 16246674 140736443292080 140736443275072 6155670 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14077/statm: 328337 145407 838 2943 0 325231 0
[pid=14077/tid=14079] ppid=14074 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14077/task/14079/stat : 14079 (toysat) S 14074 14077 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104099146 1344868352 145435 33554432000 4194304 16246674 140736443292080 139757425241328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=14077/tid=14080] ppid=14074 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14077/task/14080/stat : 14080 (toysat) S 14074 14077 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104099146 1344868352 145445 33554432000 4194304 16246674 140736443292080 139757414751472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14077/tid=14081] ppid=14074 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14077/task/14081/stat : 14081 (toysat) S 14074 14077 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104099146 1344868352 145452 33554432000 4194304 16246674 140736443292080 139757296282800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 1313348

Child status: 0
Real time (s): 1.16354
CPU time (s): 1.15182
CPU user time (s): 0.890864
CPU system time (s): 0.26096
CPU usage (%): 98.9927
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.890864
system time used= 0.26096
maximum resident set size= 602952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149930
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= 18
involuntary context switches= 3

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.004999 second user time and 0.003999 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 16:01:08
IDJOB=4078733
IDBENCH=1456
IDSOLVER=2542
FILE ID=node140/4078733-1465221668
RUNJOBID= node140-1465216678-13091
PBS_JOBID= 19843199
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078733-1465221668/watcher-4078733-1465221668 -o /tmp/evaluation-result-4078733-1465221668/solver-4078733-1465221668 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078733-1465221668.opb

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

MD5SUM BENCH= 6ebe1c273e27161d3207e8be45324cc2
RANDOM SEED=804085678

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:        29405940 kB
Buffers:            9908 kB
Cached:            75204 kB
SwapCached:         1736 kB
Active:          1166760 kB
Inactive:          25824 kB
Active(anon):    1107692 kB
Inactive(anon):     2644 kB
Active(file):      59068 kB
Inactive(file):    23180 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67097924 kB
Dirty:             19364 kB
Writeback:             0 kB
AnonPages:       2679508 kB
Mapped:            10492 kB
Shmem:                 0 kB
Slab:             567528 kB
SReclaimable:      11304 kB
SUnreclaim:       556224 kB
KernelStack:        1528 kB
PageTables:         9644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2822252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2336768 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= 71708 MiB
End job on node140 at 2016-06-06 16:01:09