Trace number 4108223

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.446931 0.448941

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6030_9-unsat.opb
MD5SUMf9d555c8d7cd5b0fec309976f30b1d93
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.070988
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11956
Total number of constraints39426
Number of constraints which are clauses39038
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints388
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 416
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-19T01:00:15+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-4108223-1466290814.opb"]
0.00/0.01	c use --random-gen="309909748 2585397623 1306065848 2723567780 1631741057 1391938158 163005859 2801064746 1951294942 2156584406 3522586670 3890824898 347608174 2726900476 2430628254 2836128750 3372009545 2837004409 3617696074 3747773159 3172882547 2744432015 3538123681 2945848493 3046724938 2961430749 3346461742 976313603 3661352774 2763743750 4039474153 400360229 813279500 2061579932 1939586798 3203846789 1991742156 385662854 3609267946 4124014232 3253054184 162907838 2362178575 1788169084 3930162742 781629865 3445422043 2513692193 1741731334 482598196 636421291 2443309332 2853612525 4152031174 1954059482 1680112005 649814312 3290464485 2851304787 4257291558 1275672671 2382551816 931236138 2917431607 3012412141 1683973375 1087278909 1358763058 125893463 3672969315 2594034841 2622625734 357548617 979298617 2319134017 2071239677 2256235178 3755618143 4274791104 774473478 3483588383 349364105 1771052299 3064735391 1505376821 765542330 3655898915 3387434297 2246771150 2143072613 2211299455 3425851515 646970744 1294373589 3759083865 1766837124 3612891193 2300584587 4011531003 3890769236 1424679490 3564633292 687661879 2414232313 3517977006 4217641103 1289478723 86673853 1566471379 3506527583 308155784 1275614587 2351201356 466231181 2345232249 273709266 6545700 134815816 714299956 2186208380 1177570419 532513066 1489919122 4281810181 1593397827 792084617 3305323594 3114458673 1074416333 3197323164 728577371 301991066 2674696401 834054009 3666921686 3276628696 3121398172 2737312431 2870392234 424982352 2583196536 608753184 3951783375 1060678775 247295357 3832076515 4020077032 1385760833 3998644560 7432529 2688210110 1069027475 2849214699 2527584367 2270683498 2827505024 3342845092 3184052199 613658107 573751230 2850450928 2999324123 708750757 2095697878 463995382 3278391966 222180581 1170815571 2307277752 1122948025 1576103847 1929356838 1932514147 3413970614 715131735 1538611900 3260592423 2818547517 773865476 3530031916 2656380374 1714597651 738816550 2858294478 4103128508 1008555347 809953122 1142409864 2577630640 1434760477 2160095063 822815417 1946903100 3398964246 1989956234 2320793921 2293036056 597710218 1718196142 3926222845 3135748188 4011041998 2985628863 2097402769 3153926533 1519369920 1123157562 1368561940 2637052025 2862586481 1796172288 4059509870 531343379 2323250536 1770586359 2631119076 1242915163 3377024937 481118329 403931994 2268237166 913284287 4191213253 1004581518 1168968192 492156959 1352847174 1043439200 3122764720 4090087206 1123906743 441151025 958006159 3938761032 1062754345 614534211 4019769690 1106943089 3507518880 1494621662 3559906994 1842755619 3818823210 2556342664 3805969098 2872768130 250857020 3914051996 50417874 1023601113 2748774761 2841665405 232651116 1743421827 3856682333 4225179046 255 362436" option to reproduce the execution
0.19/0.28	c #vars 11956
0.19/0.28	c #constraints 39426
0.38/0.43	c Solving starts ...
0.38/0.43	s UNSATISFIABLE
0.38/0.43	c total CPU time = 0.431s
0.38/0.43	c total wall clock time = 0.432s

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

pid=12365
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.20 2.25 2.22 4/180 12368
/proc/meminfo: memFree=28981780/32872528 swapFree=17888/1798212
[pid=12368] ppid=12365 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/12368/stat : 12368 (toysat) R 12365 12368 10472 0 -1 4202496 2809 0 0 0 0 0 0 0 20 0 4 0 31128584 769060864 2659 33554432000 4194304 16246674 140733332551216 140733332550640 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12368/statm: 188271 2668 441 2943 0 185165 0
[pid=12368/tid=12369] ppid=12365 vsize=768444 CPUtime=0 cores=0,2,4,6
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31128584 786886656 2728 33554432000 4194304 16246674 140733332551216 139680088567024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=772540 CPUtime=0 cores=0,2,4,6
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31128584 791080960 2744 33554432000 4194304 16246674 140733332551216 139680078077168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=777660 CPUtime=0 cores=0,2,4,6
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31128584 796323840 2761 33554432000 4194304 16246674 140733332551216 139680067603632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.20 2.25 2.22 4/180 12368
/proc/meminfo: memFree=28981780/32872528 swapFree=17888/1798212
[pid=12368] ppid=12365 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/12368/stat : 12368 (toysat) R 12365 12368 10472 0 -1 4202496 26776 0 0 0 5 3 0 0 20 0 4 0 31128584 1333334016 26564 33554432000 4194304 16246674 140733332551216 140733332550528 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12368/statm: 325521 26579 801 2943 0 322415 0
[pid=12368/tid=12369] ppid=12365 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31128584 1333334016 26590 33554432000 4194304 16246674 140733332551216 139680088567024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31128584 1333334016 26601 33554432000 4194304 16246674 140733332551216 139680078077168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31128584 1333334016 26613 33554432000 4194304 16246674 140733332551216 139680067603632 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.200497 s]
/proc/loadavg: 2.20 2.25 2.22 4/180 12368
/proc/meminfo: memFree=28981780/32872528 swapFree=17888/1798212
[pid=12368] ppid=12365 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/12368/stat : 12368 (toysat) R 12365 12368 10472 0 -1 4202496 45484 0 0 0 14 5 0 0 20 0 4 0 31128584 1344868352 45782 33554432000 4194304 16246674 140733332551216 140733332550528 7439836 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12368/statm: 328337 45782 802 2943 0 325231 0
[pid=12368/tid=12369] ppid=12365 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31128584 1344868352 45782 33554432000 4194304 16246674 140733332551216 139680088567024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31128584 1344868352 45782 33554432000 4194304 16246674 140733332551216 139680078077168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31128584 1344868352 45782 33554432000 4194304 16246674 140733332551216 139680067603632 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.300497 s]
/proc/loadavg: 2.20 2.25 2.22 4/180 12368
/proc/meminfo: memFree=28981780/32872528 swapFree=17888/1798212
[pid=12368] ppid=12365 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/12368/stat : 12368 (toysat) R 12365 12368 10472 0 -1 4202496 58576 0 0 0 21 7 0 0 20 0 4 0 31128584 1344868352 58874 33554432000 4194304 16246674 140733332551216 140733332550528 5572700 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12368/statm: 328337 58874 832 2943 0 325231 0
[pid=12368/tid=12369] ppid=12365 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31128584 1344868352 58874 33554432000 4194304 16246674 140733332551216 139680088567024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31128584 1344868352 58874 33554432000 4194304 16246674 140733332551216 139680078077168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31128584 1344868352 58874 33554432000 4194304 16246674 140733332551216 139680067603632 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) 1313348

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

[startup+0.40048 s]
/proc/loadavg: 2.20 2.25 2.22 4/180 12368
/proc/meminfo: memFree=28981780/32872528 swapFree=17888/1798212
[pid=12368] ppid=12365 vsize=1313348 CPUtime=0.38 cores=0,2,4,6
/proc/12368/stat : 12368 (toysat) R 12365 12368 10472 0 -1 4202496 58582 0 0 0 31 7 0 0 20 0 4 0 31128584 1344868352 58880 33554432000 4194304 16246674 140733332551216 140733332550528 13780510 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12368/statm: 328337 58880 838 2943 0 325231 0
[pid=12368/tid=12369] ppid=12365 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31128584 1344868352 58880 33554432000 4194304 16246674 140733332551216 139680088567024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31128584 1344868352 58880 33554432000 4194304 16246674 140733332551216 139680078077168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31128584 1344868352 58880 33554432000 4194304 16246674 140733332551216 139680067603632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 1313348

Child status: 0
Real time (s): 0.448941
CPU time (s): 0.446931
CPU user time (s): 0.345947
CPU system time (s): 0.100984
CPU usage (%): 99.5523
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.345947
system time used= 0.100984
maximum resident set size= 248228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61759
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.007998 second user time and 0.006998 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-19 01:00:15
IDJOB=4108223
IDBENCH=76548
IDSOLVER=2542
FILE ID=node123/4108223-1466290814
RUNJOBID= node123-1466275608-10488
PBS_JOBID= 19918249
Free space on /tmp= 71616 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6030_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-4108223-1466290814/watcher-4108223-1466290814 -o /tmp/evaluation-result-4108223-1466290814/solver-4108223-1466290814 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10488 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108223-1466290814.opb

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

MD5SUM BENCH= f9d555c8d7cd5b0fec309976f30b1d93
RANDOM SEED=1499430767

node123.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.791
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.58
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.791
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.791
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.56
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.791
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.57
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.791
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.791
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.56
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.791
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.56
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.791
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:        28982308 kB
Buffers:           81024 kB
Cached:           152536 kB
SwapCached:         1604 kB
Active:          1196240 kB
Inactive:         156440 kB
Active(anon):    1118304 kB
Inactive(anon):     3076 kB
Active(file):      77936 kB
Inactive(file):   153364 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099320 kB
Dirty:             17516 kB
Writeback:             0 kB
AnonPages:       2916832 kB
Mapped:            10732 kB
Shmem:                 0 kB
Slab:             602844 kB
SReclaimable:      46708 kB
SUnreclaim:       556136 kB
KernelStack:        1464 kB
PageTables:         9832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3062304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2744320 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= 71600 MiB
End job on node123 at 2016-06-19 01:00:15