Trace number 4078802

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.356944 0.358871

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6028_9-unsat.opb
MD5SUM3271b3dd911920fd4a96ab90275b3e42
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.054991
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9028
Total number of constraints29508
Number of constraints which are clauses29216
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints292
Minimum length of a constraint1
Maximum length of a constraint49
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 51
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 314
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-07T06:25:18+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-4078802-1465273518.opb"]
0.00/0.01	c use --random-gen="4278149938 2028461877 4095388459 914919370 862507236 704903269 3571796472 1841309545 2566941719 3340888358 4077282986 391565039 3909366097 576909084 54212615 2811592998 3023309027 2204034499 4018926163 1180430865 2179111728 4152217774 149143796 2330541129 2211488836 1394505715 3673875275 2811831991 3308914634 3067490098 1445620960 2399797970 1374029728 348160936 1070940526 2945885568 4224500930 2030665242 4170748255 961856147 49718982 189028240 4202479293 1639801633 1163900348 135861322 1475518698 2394349561 2439211935 3450574027 2936007438 546755406 4176796385 2562556037 492838958 831567112 2425310536 729995045 180080359 2882719470 894399826 762956054 954928966 2813336965 221039184 2620606891 2976640147 2440341774 3574225514 2455597169 2082131004 3850363456 3275316512 4052762922 1469709631 3675244097 1758324617 2652958802 1496563764 3114114185 2622615371 2037168689 455141688 3671925585 3325692788 2244057424 733646230 17951650 1757886775 4287718104 3820399923 876385553 128594407 2982269500 709785237 2819871067 1551370089 2481767991 355464762 1105361066 2577989964 1963461705 3002123693 3681562578 4159082397 3603078600 618588846 4058994432 1831904950 1126559831 277804459 3363255158 2837031756 1585185002 1227625999 1985733455 4091930893 4191727881 3219140720 3602696431 1233039768 407314561 1195056679 3050889972 2145868785 3752842629 1786796166 2856591573 259412049 382640067 3429700875 1100409137 4214607863 2229982501 3844508883 3892094760 3952289865 970028105 1068800729 4258981576 4042998197 3844251960 1513097785 512628568 44201728 799560318 980772878 3513423797 1301845412 2836748967 3596524773 2817189537 2530391755 1718030658 2063671523 2574733718 616736011 4046286750 2876948901 3177767300 2752820217 2842146978 3496518949 235138942 3129653326 4252492740 64457843 1219286233 355292152 1374094110 2942484066 217168719 1556249762 2305157425 1138306446 603493556 921737722 1512697446 2997791468 1434206105 2827590345 3806096354 2428608954 38987715 2758245595 170177141 3940342621 2760655095 3229491105 624054240 2655579429 2334123434 3537635816 4190450321 2295021456 265298650 2747051827 1967086724 1555260775 2037194845 1101604590 1087442598 610114079 3419066004 998168324 3782538816 1248957205 167600708 2457080051 1506355803 3143389675 3228014314 357510576 233139980 21420906 967858117 3841211784 2002381470 945652441 3049287165 3922074312 2665009601 1449854555 3104425093 3172519761 4111629276 1906316906 1999143637 2265291738 2165158571 570476795 769991134 2519791344 3626358738 3590932201 4043286413 234323821 2509138142 1559593327 2726566073 2264601735 2294579739 1647320208 2975043143 372678211 489351840 4254286199 1738759067 3172929262 1734833184 1199534275 1506631360 1454119454 3030046938 666311171 3061434315 255 362436" option to reproduce the execution
0.19/0.20	c #vars 9028
0.19/0.20	c #constraints 29508
0.29/0.34	c Solving starts ...
0.29/0.34	s UNSATISFIABLE
0.29/0.34	c total CPU time = 0.343s
0.29/0.34	c total wall clock time = 0.344s

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

pid=4973
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.26 2.24 2.19 4/179 4976
/proc/meminfo: memFree=28833640/32872528 swapFree=17892/1720544
[pid=4976] ppid=4973 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/4976/stat : 4976 (toysat) R 4973 4976 3556 0 -1 4202496 2764 0 0 0 0 0 0 0 20 0 4 0 109284946 758575104 3635 33554432000 4194304 16246674 140735078876288 140735078875712 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4976/statm: 185711 3645 441 2943 0 182605 0
[pid=4976/tid=4977] ppid=4973 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/4976/task/4977/stat : 4977 (toysat) S 4973 4976 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109284946 776400896 3706 33554432000 4194304 16246674 140735078876288 140442423241968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=4976/tid=4978] ppid=4973 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/4976/task/4978/stat : 4978 (toysat) S 4973 4976 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109284946 780595200 3722 33554432000 4194304 16246674 140735078876288 140442343550192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=4976/tid=4979] ppid=4973 vsize=767420 CPUtime=0 cores=0,2,4,6
/proc/4976/task/4979/stat : 4979 (toysat) S 4973 4976 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109284946 785838080 3738 33554432000 4194304 16246674 140735078876288 140442333076656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.26 2.24 2.19 4/179 4976
/proc/meminfo: memFree=28833640/32872528 swapFree=17892/1720544
[pid=4976] ppid=4973 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/4976/stat : 4976 (toysat) R 4973 4976 3556 0 -1 4202496 26331 0 0 0 6 3 0 0 20 0 4 0 109284946 1333334016 27140 33554432000 4194304 16246674 140735078876288 140735078875600 7374276 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4976/statm: 325521 27154 800 2943 0 322415 0
[pid=4976/tid=4977] ppid=4973 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4976/task/4977/stat : 4977 (toysat) S 4973 4976 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109284946 1333334016 27165 33554432000 4194304 16246674 140735078876288 140442423241968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=4976/tid=4978] ppid=4973 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4976/task/4978/stat : 4978 (toysat) S 4973 4976 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109284946 1333334016 27176 33554432000 4194304 16246674 140735078876288 140442343550192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=4976/tid=4979] ppid=4973 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4976/task/4979/stat : 4979 (toysat) S 4973 4976 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109284946 1333334016 27185 33554432000 4194304 16246674 140735078876288 140442333076656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200464 s]
/proc/loadavg: 2.26 2.24 2.19 4/179 4976
/proc/meminfo: memFree=28833640/32872528 swapFree=17892/1720544
[pid=4976] ppid=4973 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/4976/stat : 4976 (toysat) R 4973 4976 3556 0 -1 4202496 45429 0 0 0 14 5 0 0 20 0 4 0 109284946 1344868352 46749 33554432000 4194304 16246674 140735078876288 140735078875600 8058950 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4976/statm: 328337 46749 801 2943 0 325231 0
[pid=4976/tid=4977] ppid=4973 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4976/task/4977/stat : 4977 (toysat) S 4973 4976 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109284946 1344868352 46749 33554432000 4194304 16246674 140735078876288 140442423241968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=4976/tid=4978] ppid=4973 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4976/task/4978/stat : 4978 (toysat) S 4973 4976 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109284946 1344868352 46749 33554432000 4194304 16246674 140735078876288 140442343550192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=4976/tid=4979] ppid=4973 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4976/task/4979/stat : 4979 (toysat) S 4973 4976 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109284946 1344868352 46749 33554432000 4194304 16246674 140735078876288 140442333076656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300452 s]
/proc/loadavg: 2.26 2.24 2.19 4/179 4976
/proc/meminfo: memFree=28833640/32872528 swapFree=17892/1720544
[pid=4976] ppid=4973 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/4976/stat : 4976 (toysat) R 4973 4976 3556 0 -1 4202496 48104 0 0 0 24 5 0 0 20 0 4 0 109284946 1344868352 49424 33554432000 4194304 16246674 140735078876288 140735078858176 4206868 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4976/statm: 328337 49424 837 2943 0 325231 0
[pid=4976/tid=4977] ppid=4973 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4976/task/4977/stat : 4977 (toysat) S 4973 4976 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109284946 1344868352 49424 33554432000 4194304 16246674 140735078876288 140442423241968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=4976/tid=4978] ppid=4973 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4976/task/4978/stat : 4978 (toysat) S 4973 4976 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109284946 1344868352 49424 33554432000 4194304 16246674 140735078876288 140442343550192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=4976/tid=4979] ppid=4973 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4976/task/4979/stat : 4979 (toysat) S 4973 4976 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109284946 1344868352 49424 33554432000 4194304 16246674 140735078876288 140442333076656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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 4976 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.300452 s]
/proc/loadavg: 2.26 2.24 2.19 4/179 4976
/proc/meminfo: memFree=28833640/32872528 swapFree=17892/1720544
[pid=4976] ppid=4973 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/4976/stat : 4976 (toysat) R 4973 4976 3556 0 -1 4202496 48104 0 0 0 24 5 0 0 20 0 4 0 109284946 1344868352 49424 33554432000 4194304 16246674 140735078876288 140735078858176 4206868 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4976/statm: 328337 49424 837 2943 0 325231 0
[pid=4976/tid=4977] ppid=4973 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4976/task/4977/stat : 4977 (toysat) S 4973 4976 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109284946 1344868352 49424 33554432000 4194304 16246674 140735078876288 140442423241968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=4976/tid=4978] ppid=4973 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4976/task/4978/stat : 4978 (toysat) S 4973 4976 3556 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109284946 1344868352 49424 33554432000 4194304 16246674 140735078876288 140442343550192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=4976/tid=4979] ppid=4973 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4976/task/4979/stat : 4979 (toysat) S 4973 4976 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109284946 1344868352 49424 33554432000 4194304 16246674 140735078876288 140442333076656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

Child status: 0
Real time (s): 0.358871
CPU time (s): 0.356944
CPU user time (s): 0.282956
CPU system time (s): 0.073988
CPU usage (%): 99.4631
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.282956
system time used= 0.073988
maximum resident set size= 200772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48874
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= 23
involuntary context switches= 5

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

The end

Launcher Data 

Begin job on node117 at 2016-06-07 06:25:18
IDJOB=4078802
IDBENCH=75703
IDSOLVER=2542
FILE ID=node117/4078802-1465273518
RUNJOBID= node117-1465262703-3572
PBS_JOBID= 19843298
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6028_9-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078802-1465273518/watcher-4078802-1465273518 -o /tmp/evaluation-result-4078802-1465273518/solver-4078802-1465273518 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3572 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078802-1465273518.opb

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

MD5SUM BENCH= 3271b3dd911920fd4a96ab90275b3e42
RANDOM SEED=583992261

node117.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		: 2667.088
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	: 5334.17
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		: 2667.088
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		: 2667.088
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		: 2667.088
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		: 2667.088
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.54
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		: 2667.088
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		: 2667.088
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.53
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		: 2667.088
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:        28833276 kB
Buffers:           82580 kB
Cached:           108204 kB
SwapCached:        55388 kB
Active:          1417424 kB
Inactive:         164356 kB
Active(anon):    1339248 kB
Inactive(anon):    54760 kB
Active(file):      78176 kB
Inactive(file):   109596 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67045084 kB
Dirty:             17336 kB
Writeback:             0 kB
AnonPages:       3065780 kB
Mapped:            10952 kB
Shmem:                 0 kB
Slab:             598980 kB
SReclaimable:      42936 kB
SUnreclaim:       556044 kB
KernelStack:        1520 kB
PageTables:        10428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3201436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2117632 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= 71704 MiB
End job on node117 at 2016-06-07 06:25:18