Trace number 4078797

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.32395 0.328704

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/
j60/normalized-j6016_10-unsat.opb
MD5SUM5c0f5f9d3441b9ff5f2e8fb2705d03fe
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.046992
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8296
Total number of constraints25784
Number of constraints which are clauses25516
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints268
Minimum length of a constraint1
Maximum length of a constraint60
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 66
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 393
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:23+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-4078797-1465273523.opb"]
0.00/0.01	c use --random-gen="4144254387 3495682247 4129529996 2872441980 2761381490 1862323336 3781056931 1225354043 1771699039 3715766773 1552814667 2698591889 1452193953 2938204871 1876297926 3410698541 3321141430 3885201758 382342108 1271377375 3327365350 3100848686 4169897381 1297684647 2820480866 2287584169 3894251451 3170620067 2179374637 2380554493 1437439806 1126803640 1614396471 948056870 2579413767 167965529 2835733409 156896571 2755951100 2868288644 3388649978 4082200943 523068226 376828417 1104253075 257536928 1205277197 2889232368 2510973079 2983214647 864341780 1855226855 171487414 3966442622 2278141443 3784577929 3277671901 4059803470 1916565047 1072881160 682311891 1898085584 2951990574 3536453237 2876575812 1543719891 2159993931 1710306003 3490340068 673767658 2341903823 3409654373 3679195296 2638376077 1346815470 535016246 4175607042 1502846675 4088063195 2981020913 3121421297 4022399356 242246520 105650064 2876157837 2962950536 3534770738 1504337630 2808816305 1317828812 2721538646 3149920138 3944191252 1556784510 543252569 2116033222 44132115 1806237677 750019415 292508880 7502787 838204193 3381039774 1087284362 542554447 3870863297 2400500164 3936248873 4012589474 3022026868 2800370454 950103294 3098575522 2608506928 1186437468 3922393313 3127827229 1176794208 1470836150 1289715827 3275558754 240784384 1565053556 1484090072 524683310 884336743 3613384488 3620760352 2363813052 273098293 1583145039 2832134368 831336415 3958138397 3910792063 3012991317 3958942445 610192412 247791986 2126062580 856724890 1361246701 3646824390 420394992 1397068137 2835956853 266314471 1957686261 21552524 1312271133 4181340877 4034712029 2035509418 3780586198 1637211244 720084084 3738091171 4231718791 2256268180 822759823 3469536846 3134289067 3511644096 1807796012 1217158744 14250307 3264548298 3414346569 54881877 1489268135 239781549 3044004929 2626048717 4262199924 732297172 3903085486 3975710707 2337504788 553965236 1028717740 2663433416 35863798 2280743626 3589372527 306689710 2839233433 1824836275 2319233157 3120452297 896207196 1399863896 106340920 2382126602 3656939787 4044428575 3779747461 207419351 217205708 505812748 1800189601 996064830 3704410921 3991792428 3607579037 28836696 2479887735 215169351 1396875742 3778502152 3407453313 1736257978 1320061594 291576086 184019800 1119843102 2816873995 258400102 2006374694 1410362522 3989716814 2627768645 2720816272 3584321088 3080278026 1439853604 926819574 2209168011 1501005645 4018845329 797083377 762470418 3016745816 3126132300 2692855188 3523873203 307631264 2613647427 3924346717 1887564631 3234751953 2179524635 1497207746 2083066338 1137980579 1172329805 1648229786 3852080595 2100522910 2656572027 3874079077 3670114001 1036691324 1197068875 4294654862 3471236474 3986602837 255 362436" option to reproduce the execution
0.18/0.22	c #vars 8296
0.18/0.22	c #constraints 25784
0.28/0.31	c Solving starts ...
0.28/0.31	s UNSATISFIABLE
0.28/0.31	c total CPU time = 0.309s
0.28/0.31	c total wall clock time = 0.310s

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

pid=5267
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.15 2.22 2.18 3/179 5270
/proc/meminfo: memFree=28830660/32872528 swapFree=17892/1720544
[pid=5270] ppid=5267 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/5270/stat : 5270 (toysat) R 5267 5270 3556 0 -1 4202496 775 0 0 0 0 0 0 0 20 0 4 0 109285478 246870016 1135 33554432000 4194304 16246674 140733962242352 140733962241776 13159426 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5270/statm: 60271 1139 426 2943 0 57165 0
[pid=5270/tid=5271] ppid=5267 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/5270/task/5271/stat : 5271 (toysat) S 5267 5270 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285478 246870016 1163 33554432000 4194304 16246674 140733962242352 140132082494704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5270/tid=5272] ppid=5267 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/5270/task/5272/stat : 5272 (toysat) S 5267 5270 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285478 246870016 1167 33554432000 4194304 16246674 140733962242352 140132072004848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5270/tid=5273] ppid=5267 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/5270/task/5273/stat : 5273 (toysat) S 5267 5270 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109285478 246870016 1176 33554432000 4194304 16246674 140733962242352 140132061531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 2.15 2.22 2.18 3/179 5270
/proc/meminfo: memFree=28830660/32872528 swapFree=17892/1720544
[pid=5270] ppid=5267 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/5270/stat : 5270 (toysat) R 5267 5270 3556 0 -1 4202496 27041 0 0 0 5 3 0 0 20 0 4 0 109285478 1249447936 27340 33554432000 4194304 16246674 140733962242352 140733962241664 7368729 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5270/statm: 305041 27352 801 2943 0 301935 0
[pid=5270/tid=5271] ppid=5267 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5270/task/5271/stat : 5271 (toysat) S 5267 5270 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285478 1249447936 27363 33554432000 4194304 16246674 140733962242352 140132082494704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5270/tid=5272] ppid=5267 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5270/task/5272/stat : 5272 (toysat) S 5267 5270 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285478 1249447936 27374 33554432000 4194304 16246674 140733962242352 140132072004848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5270/tid=5273] ppid=5267 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5270/task/5273/stat : 5273 (toysat) S 5267 5270 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285478 1249447936 27381 33554432000 4194304 16246674 140733962242352 140132061531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200466 s]
/proc/loadavg: 2.15 2.22 2.18 3/179 5270
/proc/meminfo: memFree=28830660/32872528 swapFree=17892/1720544
[pid=5270] ppid=5267 vsize=1308228 CPUtime=0.18 cores=0,2,4,6
/proc/5270/stat : 5270 (toysat) R 5267 5270 3556 0 -1 4202496 49109 0 0 0 12 6 0 0 20 0 4 0 109285478 1339625472 49918 33554432000 4194304 16246674 140733962242352 140733962241664 4225154 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5270/statm: 327057 49921 801 2943 0 323951 0
[pid=5270/tid=5271] ppid=5267 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5270/task/5271/stat : 5271 (toysat) S 5267 5270 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285478 1339625472 49923 33554432000 4194304 16246674 140733962242352 140132082494704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5270/tid=5272] ppid=5267 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5270/task/5272/stat : 5272 (toysat) S 5267 5270 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285478 1339625472 49926 33554432000 4194304 16246674 140733962242352 140132072004848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5270/tid=5273] ppid=5267 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5270/task/5273/stat : 5273 (toysat) S 5267 5270 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285478 1339625472 49928 33554432000 4194304 16246674 140733962242352 140132061531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1308228

[startup+0.300427 s]
/proc/loadavg: 2.15 2.22 2.18 3/179 5270
/proc/meminfo: memFree=28830660/32872528 swapFree=17892/1720544
[pid=5270] ppid=5267 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/5270/stat : 5270 (toysat) R 5267 5270 3556 0 -1 4202496 50488 0 0 0 22 6 0 0 20 0 4 0 109285478 1344868352 51297 33554432000 4194304 16246674 140733962242352 140733962241664 13954835 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5270/statm: 328337 51297 837 2943 0 325231 0
[pid=5270/tid=5271] ppid=5267 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5270/task/5271/stat : 5271 (toysat) S 5267 5270 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285478 1344868352 51297 33554432000 4194304 16246674 140733962242352 140132082494704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5270/tid=5272] ppid=5267 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5270/task/5272/stat : 5272 (toysat) S 5267 5270 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285478 1344868352 51297 33554432000 4194304 16246674 140733962242352 140132072004848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5270/tid=5273] ppid=5267 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5270/task/5273/stat : 5273 (toysat) S 5267 5270 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285478 1344868352 51297 33554432000 4194304 16246674 140733962242352 140132061531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

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

[startup+0.300427 s]
/proc/loadavg: 2.15 2.22 2.18 3/179 5270
/proc/meminfo: memFree=28830660/32872528 swapFree=17892/1720544
[pid=5270] ppid=5267 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/5270/stat : 5270 (toysat) R 5267 5270 3556 0 -1 4202496 50488 0 0 0 22 6 0 0 20 0 4 0 109285478 1344868352 51297 33554432000 4194304 16246674 140733962242352 140733962241664 13954835 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5270/statm: 328337 51297 837 2943 0 325231 0
[pid=5270/tid=5271] ppid=5267 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5270/task/5271/stat : 5271 (toysat) S 5267 5270 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285478 1344868352 51297 33554432000 4194304 16246674 140733962242352 140132082494704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5270/tid=5272] ppid=5267 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5270/task/5272/stat : 5272 (toysat) S 5267 5270 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285478 1344868352 51297 33554432000 4194304 16246674 140733962242352 140132072004848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5270/tid=5273] ppid=5267 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5270/task/5273/stat : 5273 (toysat) S 5267 5270 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285478 1344868352 51297 33554432000 4194304 16246674 140733962242352 140132061531312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

Child status: 0
Real time (s): 0.328704
CPU time (s): 0.32395
CPU user time (s): 0.241963
CPU system time (s): 0.081987
CPU usage (%): 98.5537
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.241963
system time used= 0.081987
maximum resident set size= 205224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50498
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= 5

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

The end

Launcher Data 

Begin job on node117 at 2016-06-07 06:25:23
IDJOB=4078797
IDBENCH=76156
IDSOLVER=2542
FILE ID=node117/4078797-1465273523
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-j6016_10-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078797-1465273523/watcher-4078797-1465273523 -o /tmp/evaluation-result-4078797-1465273523/solver-4078797-1465273523 -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-4078797-1465273523.opb

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

MD5SUM BENCH= 5c0f5f9d3441b9ff5f2e8fb2705d03fe
RANDOM SEED=1603889862

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:        28831188 kB
Buffers:           82928 kB
Cached:           108756 kB
SwapCached:        55388 kB
Active:          1417560 kB
Inactive:         165436 kB
Active(anon):    1338828 kB
Inactive(anon):    54760 kB
Active(file):      78732 kB
Inactive(file):   110676 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67045084 kB
Dirty:             17360 kB
Writeback:             0 kB
AnonPages:       3059572 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             599456 kB
SReclaimable:      42936 kB
SUnreclaim:       556520 kB
KernelStack:        1472 kB
PageTables:        10080 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:   2127872 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:24