Trace number 4120098

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 0.293954 0.298677

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n38-d3-i1-f.cnf.gz-plain.pb.metafix.opb
MD5SUM3571ba56f8f1ec07b24f3be54a16804e
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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.017996
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables57
Total number of constraints152
Number of constraints which are clauses152
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-30T20:07:03+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.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	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-4120098-1467310023.opb"]
0.00/0.01	c use --random-gen="1542941640 2282741899 4014798806 413074203 2297885352 2766913499 2032499676 2372441347 931253169 3371630774 824785329 1972209014 1256598684 3929615929 946382515 1693822707 2425482755 1328612177 722040424 2687065294 4008497007 3036710879 591637721 1425688753 1401189499 2399706895 624130894 2628613757 838259266 2147635091 3453738344 3440187929 3387385014 519235443 3832783222 1502131546 3043771333 4060911181 3456330084 3504515573 227205930 2090498870 2909573966 2861136961 1853449464 1203978216 1053620212 1200335237 2367208306 556209680 246367610 1856513864 2490625196 2495298207 2237244070 1810912532 805598889 2054932857 135755719 18374273 272993883 3812717145 2077880179 2616428628 768757524 3016672946 1825198150 2710409013 4092650106 4274117007 1201920009 77521058 1596177652 3678713715 2475155122 2512974144 4289114606 3718930275 1456524810 3039271026 56266028 3323640608 1076054218 3129980929 3733940843 2791625011 699454409 3800841754 1088199799 1355001972 3958441608 3432794410 442121836 1465756304 3515971509 397764773 1307967662 1253202295 4165030517 1984730324 2049710715 3725993896 3938964791 2149623980 2224637094 1389862744 1609721739 1510081852 4059551011 1133405502 2029625744 393804481 3612361009 3139272777 2330396150 3771743201 2481496529 3315636015 1130277309 2111289239 1617967964 3756028189 2734138347 3079909817 1843325464 1780086740 787031640 1612114283 434989727 440196469 1556601420 1720253111 1279823593 3325962304 2168692859 1767285734 2437760197 512622198 2406769700 2136273098 3157809995 1613705595 2491851204 2256668848 1442344295 281854784 107963652 3615631762 3998912976 939097732 1660585622 2867619788 1111062900 1542380689 2648671640 3454168843 2765880742 771088928 3797845835 2233178988 30339122 2935529359 469159209 3231317830 3441111312 2367610993 2245065127 2660173654 3067467840 1511936903 3338635095 854306808 4238690540 1112366175 841459049 1626216193 1531447262 2149120650 2731313974 1150446354 1173696483 1170987458 1232354527 1553902013 3538712804 215994002 490028819 1777138486 3627521828 1517764491 3349241619 3753552169 2969633582 1119853511 1893237373 772196445 2354737224 2675468048 3137872446 45801337 3357230995 4045766201 42246531 2437125482 514883240 2704149051 3732307841 3642337250 302829118 2339473585 1004784883 1226891376 2684400910 3958507309 2044225564 4206036039 4054845696 2367063459 827211498 3189379572 1141444586 1111256775 3822169585 366163518 2949872044 671966697 3747913533 1050789830 3415334428 419044797 1456774023 3983598825 1505955628 3170125792 4188891053 1481785637 279773106 2911134336 690730713 3641162793 1984006663 1930538684 1904510416 2774764586 1871218048 1900311371 581836817 4286130554 672453767 1532034678 969770138 3122421619 1011872334 1718768080 1920955813 4181804244 255 362436" option to reproduce the execution
0.00/0.01	c #vars 57
0.00/0.01	c #constraints 152
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       69      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      171 |      100 |       69      1 |        0 |        0
0.00/0.03	c  0.0s |       2 |      391 |      250 |       76      4 |        0 |        0
0.00/0.04	c  0.0s |       3 |      777 |      475 |       84      9 |        0 |        0
0.00/0.06	c  0.0s |       4 |     1275 |      813 |       93     15 |        0 |        0
0.00/0.09	c  0.1s |       5 |     1953 |     1320 |      103     25 |        0 |        0
0.09/0.13	c  0.1s |       6 |     3062 |     2081 |      126     37 |        0 |        0
0.09/0.19	c  0.2s |       7 |     5268 |     3223 |      139     55 |        0 |        0
0.20/0.28	c  0.3s |       8 |     8076 |     4936 |      153     77 |        4 |       16
0.20/0.28	c  0.3s |       8 |     8125 |     4983 |      153     77 |       11 |       24
0.20/0.28	c #cpu_time = 0.267s
0.20/0.28	c #wall_clock_time = 0.267s
0.20/0.28	c #decision = 8125
0.20/0.28	c #random_decision = 36
0.20/0.28	c #conflict = 4983
0.20/0.28	c #restart = 8
0.20/0.28	s UNSATISFIABLE
0.20/0.28	c total CPU time = 0.281s
0.20/0.28	c total wall clock time = 0.281s

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

pid=19989
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.16 1.51 1.66 3/177 19992
/proc/meminfo: memFree=30487568/32872528 swapFree=447588/480292
[pid=19992] ppid=19989 vsize=720316 CPUtime=0 cores=1,3,5,7
/proc/19992/stat : 19992 (toysat) R 19989 19992 16080 0 -1 4202496 2687 0 0 0 0 0 0 0 20 0 4 0 12106081 737603584 3559 33554432000 4194304 16246674 140734073066768 140734073066192 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19992/statm: 180847 3569 441 2943 0 177741 0
[pid=19992/tid=19993] ppid=19989 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/19992/task/19993/stat : 19993 (toysat) S 19989 19992 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106081 756477952 3631 33554432000 4194304 16246674 140734073066768 140172890975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19992/tid=19994] ppid=19989 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/19992/task/19994/stat : 19994 (toysat) S 19989 19992 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106081 761720832 3648 33554432000 4194304 16246674 140734073066768 140172880485616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19992/tid=19995] ppid=19989 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/19992/task/19995/stat : 19995 (toysat) S 19989 19992 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106081 765915136 3666 33554432000 4194304 16246674 140734073066768 140172767259824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100118 s]
/proc/loadavg: 1.16 1.51 1.66 3/177 19992
/proc/meminfo: memFree=30487568/32872528 swapFree=447588/480292
[pid=19992] ppid=19989 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/19992/stat : 19992 (toysat) R 19989 19992 16080 0 -1 4202496 25014 0 0 0 6 3 0 0 20 0 4 0 12106081 1247350784 25876 33554432000 4194304 16246674 140734073066768 140734073066192 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19992/statm: 304529 25886 709 2943 0 301423 0
[pid=19992/tid=19993] ppid=19989 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19992/task/19993/stat : 19993 (toysat) S 19989 19992 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106081 1247350784 25891 33554432000 4194304 16246674 140734073066768 140172890975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19992/tid=19994] ppid=19989 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19992/task/19994/stat : 19994 (toysat) S 19989 19992 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106081 1247350784 25898 33554432000 4194304 16246674 140734073066768 140172880485616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19992/tid=19995] ppid=19989 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19992/task/19995/stat : 19995 (toysat) S 19989 19992 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106081 1247350784 25904 33554432000 4194304 16246674 140734073066768 140172767259824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200506 s]
/proc/loadavg: 1.16 1.51 1.66 3/177 19992
/proc/meminfo: memFree=30487568/32872528 swapFree=447588/480292
[pid=19992] ppid=19989 vsize=1218116 CPUtime=0.2 cores=1,3,5,7
/proc/19992/stat : 19992 (toysat) R 19989 19992 16080 0 -1 4202496 47012 0 0 0 13 7 0 0 20 0 4 0 12106081 1247350784 47874 33554432000 4194304 16246674 140734073066768 140734073066192 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19992/statm: 304529 47884 709 2943 0 301423 0
[pid=19992/tid=19993] ppid=19989 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19992/task/19993/stat : 19993 (toysat) S 19989 19992 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106081 1247350784 47891 33554432000 4194304 16246674 140734073066768 140172890975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19992/tid=19994] ppid=19989 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19992/task/19994/stat : 19994 (toysat) S 19989 19992 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106081 1247350784 47897 33554432000 4194304 16246674 140734073066768 140172880485616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19992/tid=19995] ppid=19989 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19992/task/19995/stat : 19995 (toysat) S 19989 19992 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106081 1247350784 47902 33554432000 4194304 16246674 140734073066768 140172767259824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 1218116

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

Child status: 0
Real time (s): 0.298677
CPU time (s): 0.293954
CPU user time (s): 0.19097
CPU system time (s): 0.102984
CPU usage (%): 98.4187
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.19097
system time used= 0.102984
maximum resident set size= 263660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65062
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= 24
involuntary context switches= 4

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

The end

Launcher Data 

Begin job on node104 at 2016-06-30 20:07:03
IDJOB=4120098
IDBENCH=109707
IDSOLVER=2542
FILE ID=node104/4120098-1467310023
RUNJOBID= node104-1467310023-19960
PBS_JOBID= 20005270
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i1-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120098-1467310023/watcher-4120098-1467310023 -o /tmp/evaluation-result-4120098-1467310023/solver-4120098-1467310023 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19960 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120098-1467310023.opb

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

MD5SUM BENCH= 3571ba56f8f1ec07b24f3be54a16804e
RANDOM SEED=621079713

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
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.334
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.334
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.54
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.334
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:        30510316 kB
Buffers:          192184 kB
Cached:           934192 kB
SwapCached:            0 kB
Active:           350852 kB
Inactive:         790076 kB
Active(anon):      16972 kB
Inactive(anon):        0 kB
Active(file):     333880 kB
Inactive(file):   790076 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32620 kB
Writeback:             0 kB
AnonPages:        495112 kB
Mapped:            13016 kB
Shmem:               204 kB
Slab:             611000 kB
SReclaimable:      55116 kB
SUnreclaim:       555884 kB
KernelStack:        1392 kB
PageTables:         4712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     591228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71688 MiB
End job on node104 at 2016-06-30 20:07:03