Trace number 4108076

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.375942 0.380752

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j907_8-unsat.opb
MD5SUM6d22d1a2ad9ad09989fc3383e19b4a9d
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.063989
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10920
Total number of constraints34033
Number of constraints which are clauses33797
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints236
Minimum length of a constraint1
Maximum length of a constraint50
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 60
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 345
Number of bits of the biggest sum of numbers9
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-19T00:58:44+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-4108076-1466290724.opb"]
0.00/0.01	c use --random-gen="12932260 1212028699 2037873328 1853316611 3689780970 38995995 3745901308 1718288248 3795390483 3751834018 4130951243 161304592 888238475 3266031031 1747214287 1959753619 2450036281 2527597676 2652179252 405918209 1600286259 413299256 2350690848 666501304 4096186236 1850442695 1109681902 1134988754 2675413598 1252369825 435017508 2352872174 3946250660 334077110 1303151176 3746266953 1624159864 586016227 1919737138 3542811338 3438309403 145098252 2805651331 1309100297 4233805896 3883739298 3032093717 2985091835 2866444610 3955630956 1399576778 296079257 86004155 1879224210 2589295499 1205734854 285585488 2276640379 2078664822 1386119532 1225692370 2152142401 1320176245 1030396281 3325386269 1489494729 1009582954 2867061516 1052521614 2475826595 3147954939 533818096 1779829535 3489204816 459280863 3782395106 287418658 2745936324 1521584986 1230340644 90740946 2558711060 1482265062 2600783801 3426952280 1580749981 2156878992 1662085444 2769782936 2823204318 777369420 230250328 4082046868 2667423410 729252269 1007351963 3699584988 321963165 3043652420 2675395312 628289365 2948615117 1191061867 944564034 2414373941 1177257459 185264498 77455532 4020864913 1801726685 2611911989 2329568441 641965228 2857768134 3545276587 3121467102 3542610940 2761051099 2034770046 3198474161 2573198048 3404971522 3867774152 1528902986 1741762071 3341601669 1697785530 174679015 274330506 4198552929 2224226856 3843964249 832474903 2400931513 1552993874 627470534 3816214716 2660161371 2761569887 3926055748 2976419474 1629995370 1411252920 4234836721 4188301458 1320162075 2251419268 1062159868 2511457771 2916958784 3003365218 395944232 1183460645 964736767 3225620289 3338535870 2144077577 3906802043 2168369210 3850822733 1652065758 554858083 648538859 428693577 3014444196 2448838150 2766420822 2054261596 2253947071 1535816037 837744630 3453892606 2055300987 1076307155 1315161728 1702330248 3233646637 1722798416 2802112990 3349375563 3473310350 3501886912 3111028874 345613748 3123576178 2538003592 919446323 369529157 1517193796 3047705092 2684077955 2241977510 442047490 305551055 3079512590 611043836 269109927 2931665096 1459894087 2227787190 2139275940 4191621535 968378284 1785868428 2127460662 352650538 3717810817 3174069940 3939616641 2290575373 568527993 3728239764 2900497168 3917225947 135903885 2160930443 2216828899 2042777913 2690529149 682171875 1396831341 69330251 1908542088 3322461569 3910176196 3691206361 1477913985 3179030866 2961147519 3811752257 3460257601 219608384 553108882 2688512089 210356803 1896108702 1107780341 3391408155 1039266874 2047561254 953048664 4132983197 318979759 863654894 1905625849 3963997614 2202980446 2423827550 2758068282 780041972 3799843244 1411576416 1680510530 1128976372 864830342 762248612 255 362436" option to reproduce the execution
0.19/0.22	c #vars 10920
0.19/0.22	c #constraints 34033
0.28/0.36	c Solving starts ...
0.28/0.36	s UNSATISFIABLE
0.28/0.36	c total CPU time = 0.364s
0.28/0.36	c total wall clock time = 0.364s

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

pid=11503
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: 1.96 2.01 2.00 3/179 11506
/proc/meminfo: memFree=29981952/32872528 swapFree=496868/529572
[pid=11506] ppid=11503 vsize=520636 CPUtime=0 cores=0,2,4,6
/proc/11506/stat : 11506 (toysat) R 11503 11506 7739 0 -1 4202496 1909 0 0 0 0 0 0 0 20 0 4 0 31117857 533131264 2269 33554432000 4194304 16246674 140734066190400 140734066189824 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11506/statm: 130927 2278 441 2943 0 127821 0
[pid=11506/tid=11507] ppid=11503 vsize=538044 CPUtime=0 cores=0,2,4,6
/proc/11506/task/11507/stat : 11507 (toysat) S 11503 11506 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31117858 550957056 2337 33554432000 4194304 16246674 140734066190400 140052847897840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11506/tid=11508] ppid=11503 vsize=542140 CPUtime=0 cores=0,2,4,6
/proc/11506/task/11508/stat : 11508 (toysat) S 11503 11506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31117858 555151360 2353 33554432000 4194304 16246674 140734066190400 140052837407984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11506/tid=11509] ppid=11503 vsize=546236 CPUtime=0 cores=0,2,4,6
/proc/11506/task/11509/stat : 11509 (toysat) S 11503 11506 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31117858 559345664 2369 33554432000 4194304 16246674 140734066190400 140052826934448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 1.96 2.01 2.00 3/179 11506
/proc/meminfo: memFree=29981952/32872528 swapFree=496868/529572
[pid=11506] ppid=11503 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/11506/stat : 11506 (toysat) R 11503 11506 7739 0 -1 4202496 27398 0 0 0 5 3 0 0 20 0 4 0 31117857 1333334016 27696 33554432000 4194304 16246674 140734066190400 140734066189712 7440033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11506/statm: 325521 27711 801 2943 0 322415 0
[pid=11506/tid=11507] ppid=11503 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11506/task/11507/stat : 11507 (toysat) S 11503 11506 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31117858 1333334016 27722 33554432000 4194304 16246674 140734066190400 140052847897840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11506/tid=11508] ppid=11503 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11506/task/11508/stat : 11508 (toysat) S 11503 11506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31117858 1333334016 27732 33554432000 4194304 16246674 140734066190400 140052837407984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11506/tid=11509] ppid=11503 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11506/task/11509/stat : 11509 (toysat) S 11503 11506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31117858 1333334016 27742 33554432000 4194304 16246674 140734066190400 140052826934448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200574 s]
/proc/loadavg: 1.96 2.01 2.00 3/179 11506
/proc/meminfo: memFree=29981952/32872528 swapFree=496868/529572
[pid=11506] ppid=11503 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/11506/stat : 11506 (toysat) R 11503 11506 7739 0 -1 4202496 48519 0 0 0 12 7 0 0 20 0 4 0 31117857 1344868352 49328 33554432000 4194304 16246674 140734066190400 140734066173392 7440268 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11506/statm: 328337 49328 801 2943 0 325231 0
[pid=11506/tid=11507] ppid=11503 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11506/task/11507/stat : 11507 (toysat) S 11503 11506 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31117858 1344868352 49336 33554432000 4194304 16246674 140734066190400 140052847897840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11506/tid=11508] ppid=11503 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11506/task/11508/stat : 11508 (toysat) S 11503 11506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31117858 1344868352 49336 33554432000 4194304 16246674 140734066190400 140052837407984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11506/tid=11509] ppid=11503 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11506/task/11509/stat : 11509 (toysat) S 11503 11506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31117858 1344868352 49336 33554432000 4194304 16246674 140734066190400 140052826934448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300546 s]
/proc/loadavg: 1.96 2.01 2.00 3/179 11506
/proc/meminfo: memFree=29981952/32872528 swapFree=496868/529572
[pid=11506] ppid=11503 vsize=1315396 CPUtime=0.28 cores=0,2,4,6
/proc/11506/stat : 11506 (toysat) R 11503 11506 7739 0 -1 4202496 48925 0 0 0 21 7 0 0 20 0 4 0 31117857 1346965504 49734 33554432000 4194304 16246674 140734066190400 140734066173392 6756541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11506/statm: 328849 49734 837 2943 0 325743 0
[pid=11506/tid=11507] ppid=11503 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11506/task/11507/stat : 11507 (toysat) S 11503 11506 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31117858 1346965504 49734 33554432000 4194304 16246674 140734066190400 140052847897840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11506/tid=11508] ppid=11503 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11506/task/11508/stat : 11508 (toysat) S 11503 11506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31117858 1346965504 49734 33554432000 4194304 16246674 140734066190400 140052837407984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11506/tid=11509] ppid=11503 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11506/task/11509/stat : 11509 (toysat) S 11503 11506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31117858 1346965504 49734 33554432000 4194304 16246674 140734066190400 140052826934448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1315396

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

[startup+0.300546 s]
/proc/loadavg: 1.96 2.01 2.00 3/179 11506
/proc/meminfo: memFree=29981952/32872528 swapFree=496868/529572
[pid=11506] ppid=11503 vsize=1315396 CPUtime=0.28 cores=0,2,4,6
/proc/11506/stat : 11506 (toysat) R 11503 11506 7739 0 -1 4202496 48925 0 0 0 21 7 0 0 20 0 4 0 31117857 1346965504 49734 33554432000 4194304 16246674 140734066190400 140734066173392 6756541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11506/statm: 328849 49734 837 2943 0 325743 0
[pid=11506/tid=11507] ppid=11503 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11506/task/11507/stat : 11507 (toysat) S 11503 11506 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31117858 1346965504 49734 33554432000 4194304 16246674 140734066190400 140052847897840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11506/tid=11508] ppid=11503 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11506/task/11508/stat : 11508 (toysat) S 11503 11506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31117858 1346965504 49734 33554432000 4194304 16246674 140734066190400 140052837407984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11506/tid=11509] ppid=11503 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11506/task/11509/stat : 11509 (toysat) S 11503 11506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31117858 1346965504 49734 33554432000 4194304 16246674 140734066190400 140052826934448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1315396

Child status: 0
Real time (s): 0.380752
CPU time (s): 0.375942
CPU user time (s): 0.283956
CPU system time (s): 0.091986
CPU usage (%): 98.7367
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.283956
system time used= 0.091986
maximum resident set size= 208548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51329
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= 22
involuntary context switches= 3

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

The end

Launcher Data 

Begin job on node141 at 2016-06-19 00:58:44
IDJOB=4108076
IDBENCH=75253
IDSOLVER=2542
FILE ID=node141/4108076-1466290724
RUNJOBID= node141-1466264081-7755
PBS_JOBID= 19918217
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j90/normalized-j907_8-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108076-1466290724/watcher-4108076-1466290724 -o /tmp/evaluation-result-4108076-1466290724/solver-4108076-1466290724 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108076-1466290724.opb

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

MD5SUM BENCH= 6d22d1a2ad9ad09989fc3383e19b4a9d
RANDOM SEED=1757470257

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29981952 kB
Buffers:          169376 kB
Cached:           278724 kB
SwapCached:         2528 kB
Active:          1319080 kB
Inactive:         293024 kB
Active(anon):    1164212 kB
Inactive(anon):     2028 kB
Active(file):     154868 kB
Inactive(file):   290996 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             17476 kB
Writeback:             4 kB
AnonPages:       1694368 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             612448 kB
SReclaimable:      55124 kB
SUnreclaim:       557324 kB
KernelStack:        1512 kB
PageTables:         7008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1834568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    974848 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= 71692 MiB
End job on node141 at 2016-06-19 00:58:45