Trace number 4108118

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.438932 0.440614

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6033_2-unsat.opb
MD5SUM899af7013bffd830ee31db3c8b2bc82e
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.078987
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12200
Total number of constraints42056
Number of constraints which are clauses41660
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints396
Minimum length of a constraint1
Maximum length of a constraint18
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 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 116
Number of bits of the biggest sum of numbers7
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:52+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-4108118-1466290731.opb"]
0.00/0.01	c use --random-gen="1944720766 3897394976 461787239 2852735512 59039370 308441216 3800855034 2874394703 2020914444 2745139316 1388135852 3918002549 1303074805 2483871658 2640249525 4045941439 1177809028 3631337195 4013116318 3736683953 2874666647 1093173535 1920452722 4250878467 345160433 137460948 3184361899 4292526885 3979779534 1320971973 1143199021 568668231 2466511344 734614848 1155799369 2688924451 2758155860 131046689 3029497932 987732755 1494045194 3622036035 3546484412 777312231 3414016568 1244998566 4040660578 487309316 1087251681 3596205231 1525049647 494653035 1330774254 2458426054 3447026700 1603248819 1383974904 1816489277 3184448654 3549203556 2004014951 120024782 2305637691 4172256151 2459285307 3012733753 3004660936 4291709207 807197133 4085888471 1137175333 212267965 3297632871 4013329209 3824676143 1052553134 430904224 2148138993 987583585 1637290282 491134428 3445688531 1423509541 3321694590 1160719050 1182031449 3021038778 3246457954 2774918981 3891688801 3041149322 902742812 2768093906 1659473670 1404047214 259859798 2387202682 126096119 2485225458 4294608711 2583396790 3273112629 2314711192 3516738477 329391550 2499097945 1582542389 3868172764 9268220 538771635 622961970 2176171412 3498363440 3208966055 3165103579 407080889 2581225667 2387447713 1146393723 1875585317 3773703922 1517729093 2492306694 3738116411 864804279 3537072323 364944775 141447726 821957625 3522735773 667622078 1815871252 3806751736 2105431916 1525650399 1675391614 1671907852 3414906104 2036633600 937261544 401560290 2433274910 907517844 1768690491 3469539411 3643121934 4034226272 1811170777 531670327 1943527373 734033249 1103306473 3975784953 1832252817 709977639 3798252226 1928968694 1084623858 2579925339 3468923592 1504940314 3987099705 999767690 2599343114 3067364624 272291639 2363287569 1519710401 2167449512 1630880111 4289606020 4059631586 3385316181 2821107915 1904558979 951923464 3407400777 2326066805 2696308990 1185716663 3504178729 883434684 878797673 845887126 3870720002 4085372071 664681843 659080160 2883514114 1850376487 1930681721 3831466936 3588177695 1473040013 2388603841 3649455385 4038054145 272367622 1417359446 1861170673 1061943123 1236476603 1623741123 4123558158 3739549392 1219568600 2153743399 3964922444 3461282337 2983031436 2963563985 995384100 3149916693 4175587096 997230875 198764160 174002321 3031523655 637517804 3924840424 2269004058 2124832718 1306643591 2302575397 3169111933 3070376291 1594191021 1935049903 3870542819 1339612262 569612344 3029959547 4152825635 1225318712 3273374881 1973286334 728287518 2665042007 3605703671 1016486120 4026211368 941363226 944581800 3436572897 1470007892 938978619 2918872653 1382727189 956810696 2090779653 2813711420 1655061867 3216839215 198379465 1539392189 3110125497 255 362436" option to reproduce the execution
0.19/0.24	c #vars 12200
0.19/0.24	c #constraints 42056
0.39/0.42	c Solving starts ...
0.39/0.42	s UNSATISFIABLE
0.39/0.42	c total CPU time = 0.422s
0.39/0.42	c total wall clock time = 0.422s

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-4108118-1466290731/watcher-4108118-1466290731 -o /tmp/evaluation-result-4108118-1466290731/solver-4108118-1466290731 -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-4108118-1466290731.opb 

pid=11797
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 11800
/proc/meminfo: memFree=29979880/32872528 swapFree=496868/529572
[pid=11800] ppid=11797 vsize=600508 CPUtime=0 cores=0,2,4,6
/proc/11800/stat : 11800 (toysat) R 11797 11800 7739 0 -1 4202496 2218 0 0 0 0 0 0 0 20 0 4 0 31118583 614920192 2068 33554432000 4194304 16246674 140735324367200 140735324366624 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11800/statm: 150639 2077 441 2943 0 147533 0
[pid=11800/tid=11801] ppid=11797 vsize=617916 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11801/stat : 11801 (toysat) S 11797 11800 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118583 632745984 2138 33554432000 4194304 16246674 140735324367200 139742868909296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11800/tid=11802] ppid=11797 vsize=622012 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11802/stat : 11802 (toysat) S 11797 11800 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118583 636940288 2154 33554432000 4194304 16246674 140735324367200 139742858419440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11800/tid=11803] ppid=11797 vsize=626108 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11803/stat : 11803 (toysat) S 11797 11800 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31118583 641134592 2170 33554432000 4194304 16246674 140735324367200 139742847945904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 1.96 2.01 2.00 3/179 11800
/proc/meminfo: memFree=29979880/32872528 swapFree=496868/529572
[pid=11800] ppid=11797 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/11800/stat : 11800 (toysat) R 11797 11800 7739 0 -1 4202496 27857 0 0 0 5 3 0 0 20 0 4 0 31118583 1249447936 27645 33554432000 4194304 16246674 140735324367200 140735324366512 4206640 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11800/statm: 305041 27645 801 2943 0 301935 0
[pid=11800/tid=11801] ppid=11797 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11801/stat : 11801 (toysat) S 11797 11800 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118583 1249447936 27645 33554432000 4194304 16246674 140735324367200 139742868909296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11800/tid=11802] ppid=11797 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11802/stat : 11802 (toysat) S 11797 11800 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118583 1249447936 27645 33554432000 4194304 16246674 140735324367200 139742858419440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11800/tid=11803] ppid=11797 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11803/stat : 11803 (toysat) S 11797 11800 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118583 1249447936 27645 33554432000 4194304 16246674 140735324367200 139742847945904 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) 1220164

[startup+0.200495 s]
/proc/loadavg: 1.96 2.01 2.00 3/179 11800
/proc/meminfo: memFree=29979880/32872528 swapFree=496868/529572
[pid=11800] ppid=11797 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/11800/stat : 11800 (toysat) R 11797 11800 7739 0 -1 4202496 50520 0 0 0 12 7 0 0 20 0 4 0 31118583 1344868352 50819 33554432000 4194304 16246674 140735324367200 140735324366512 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11800/statm: 328337 50819 801 2943 0 325231 0
[pid=11800/tid=11801] ppid=11797 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11801/stat : 11801 (toysat) S 11797 11800 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118583 1344868352 50819 33554432000 4194304 16246674 140735324367200 139742868909296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11800/tid=11802] ppid=11797 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11802/stat : 11802 (toysat) S 11797 11800 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118583 1344868352 50819 33554432000 4194304 16246674 140735324367200 139742858419440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11800/tid=11803] ppid=11797 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11803/stat : 11803 (toysat) S 11797 11800 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118583 1344868352 50819 33554432000 4194304 16246674 140735324367200 139742847945904 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.300449 s]
/proc/loadavg: 1.96 2.01 2.00 3/179 11800
/proc/meminfo: memFree=29979880/32872528 swapFree=496868/529572
[pid=11800] ppid=11797 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/11800/stat : 11800 (toysat) R 11797 11800 7739 0 -1 4202496 50674 0 0 0 22 7 0 0 20 0 4 0 31118583 1344868352 50973 33554432000 4194304 16246674 140735324367200 140735324366512 6756533 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11800/statm: 328337 50973 831 2943 0 325231 0
[pid=11800/tid=11801] ppid=11797 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11801/stat : 11801 (toysat) S 11797 11800 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118583 1344868352 50973 33554432000 4194304 16246674 140735324367200 139742868909296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11800/tid=11802] ppid=11797 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11802/stat : 11802 (toysat) S 11797 11800 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118583 1344868352 50973 33554432000 4194304 16246674 140735324367200 139742858419440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11800/tid=11803] ppid=11797 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11803/stat : 11803 (toysat) S 11797 11800 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118583 1344868352 50973 33554432000 4194304 16246674 140735324367200 139742847945904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

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

[startup+0.400442 s]
/proc/loadavg: 1.96 2.01 2.00 3/179 11800
/proc/meminfo: memFree=29979880/32872528 swapFree=496868/529572
[pid=11800] ppid=11797 vsize=1313348 CPUtime=0.39 cores=0,2,4,6
/proc/11800/stat : 11800 (toysat) R 11797 11800 7739 0 -1 4202496 52347 0 0 0 32 7 0 0 20 0 4 0 31118583 1344868352 52646 33554432000 4194304 16246674 140735324367200 140735324366512 6165414 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11800/statm: 328337 52657 837 2943 0 325231 0
[pid=11800/tid=11801] ppid=11797 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11801/stat : 11801 (toysat) S 11797 11800 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31118583 1344868352 52664 33554432000 4194304 16246674 140735324367200 139742868909296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11800/tid=11802] ppid=11797 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11802/stat : 11802 (toysat) S 11797 11800 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31118583 1344868352 52671 33554432000 4194304 16246674 140735324367200 139742858419440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11800/tid=11803] ppid=11797 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11800/task/11803/stat : 11803 (toysat) S 11797 11800 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31118583 1344868352 52678 33554432000 4194304 16246674 140735324367200 139742847945904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 1313348

Child status: 0
Real time (s): 0.440614
CPU time (s): 0.438932
CPU user time (s): 0.336948
CPU system time (s): 0.101984
CPU usage (%): 99.6183
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.336948
system time used= 0.101984
maximum resident set size= 235860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58666
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= 19
involuntary context switches= 2

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

The end

Launcher Data 

Begin job on node141 at 2016-06-19 00:58:51
IDJOB=4108118
IDBENCH=75654
IDSOLVER=2542
FILE ID=node141/4108118-1466290731
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/j60/normalized-j6033_2-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108118-1466290731/watcher-4108118-1466290731 -o /tmp/evaluation-result-4108118-1466290731/solver-4108118-1466290731 -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-4108118-1466290731.opb

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

MD5SUM BENCH= 899af7013bffd830ee31db3c8b2bc82e
RANDOM SEED=461883719

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:        29980260 kB
Buffers:          169588 kB
Cached:           280312 kB
SwapCached:         2528 kB
Active:          1319540 kB
Inactive:         294400 kB
Active(anon):    1164040 kB
Inactive(anon):     2028 kB
Active(file):     155500 kB
Inactive(file):   292372 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             18104 kB
Writeback:            52 kB
AnonPages:       1694148 kB
Mapped:            10688 kB
Shmem:                 0 kB
Slab:             612536 kB
SReclaimable:      55160 kB
SUnreclaim:       557376 kB
KernelStack:        1496 kB
PageTables:         7460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1834836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    991232 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:52