Trace number 4078701

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 5.16221 5.16365

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223220.opb
MD5SUMc0dca940756ea4be5f7b1224240a8526
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark2.83757
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables169
Total number of constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
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 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1230
Number of bits of the biggest sum of numbers11
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-06T15:17:01+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-4078701-1465219020.opb"]
0.00/0.01	c use --random-gen="713349006 3633716820 2725860882 806924362 443870575 212267296 2386132337 3533183616 972232093 1975286550 2374675106 2896396409 2658618315 3909540236 2550416527 505090327 601067790 3211851782 1971311977 2705150725 3413604631 500435721 2051450480 2771420300 3612334151 2005091894 1225078944 2301864992 408503499 741105196 900269896 2571788153 2284931260 2745314967 1473004811 1931705802 3659963054 3316046875 2618622695 2875725164 676616890 1561367088 371601641 3373567937 2275458879 277474175 2494153889 3434544868 3261499220 2399240703 2747192804 299871407 507097203 3712621971 324825324 4254195467 3201956915 728373750 796420484 353054593 980726747 4061872837 2105559034 4110802203 1322420315 877081705 3049173115 928367285 772328481 2541960160 2306983297 1904053017 2756157019 3255950954 3384180148 2912827438 796697256 1217236333 2514645985 3186670451 3040855056 1775453144 3952565383 3830672224 738963903 4209923025 483974489 2095086066 1532795811 2425671407 1614173276 3187754122 2620950001 4164024681 2829250386 3757352141 3761418818 1482973341 842947735 2790981240 3156754340 564907562 2620681538 973726382 3598931516 1184897141 1669453900 1255766163 1288284914 4075296345 1413614693 2051679583 3626898149 3899130019 122779001 14315082 2434160329 4258129325 3271005525 223524600 1237827891 784396882 3777572063 3199570350 1060383552 2674108972 3806878124 4195446309 3557812363 3806783814 4127077386 2579167803 3516822759 297086886 328556278 3930838630 325961074 980122015 2510643662 2858897345 3020718496 502265274 1632686465 2405879893 1998636277 97568815 1811356074 921000020 1906725458 2299603524 1301552326 999650276 3562759410 1609114235 3093210768 2680730551 143934088 2960667798 2449125038 1971966945 801383036 1444877037 3282548530 3492919123 195449792 3993293274 2668172257 3621526326 1533061260 2206682443 618916371 1628756022 1817728468 3396970248 3716878542 2297339979 3109274960 809423415 2424283469 1368438074 473457280 1940275380 934657085 193083532 3391702531 422011090 3569356367 2534830244 3807841473 2694152435 903458736 4206368316 1109452991 1745108429 583000014 4263968329 2994248481 1205377958 472711015 615364228 1225278809 299803518 693602206 1099301192 4113023663 160461950 2941826758 2747747 4000647598 1061760198 4190565894 50919403 3876644676 3957133474 948265107 4276241762 3820497155 1393672736 1933165211 3787024653 475701029 353938057 47260051 1324524010 1399801327 4049352774 2642564480 3254930818 2303220752 1248151500 4130674112 1878581779 1794896286 955453479 632528807 1470339973 3752917152 3865149201 3422951123 2696464793 3599090497 1154787465 2755337676 562942038 2856296086 3116732765 1740369268 913781267 1116455878 2047014570 1872273967 3536589277 2450298616 4044146669 1518364177 3306581071 255 362436" option to reproduce the execution
0.00/0.01	c #vars 169
0.00/0.01	c #constraints 101
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       90      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      141 |      100 |       90      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      413 |      250 |      100      1 |        0 |        0
0.00/0.07	c  0.1s |       3 |      756 |      475 |      111      3 |        0 |        0
0.08/0.11	c  0.1s |       4 |     1266 |      813 |      123      7 |        0 |        0
0.08/0.17	c  0.2s |       5 |     2054 |     1320 |      136     12 |        0 |        0
0.19/0.26	c  0.2s |       6 |     3226 |     2081 |      165     18 |        0 |        0
0.39/0.40	c  0.4s |       7 |     4886 |     3223 |      182     27 |        0 |        0
0.59/0.61	c  0.6s |       8 |     7499 |     4936 |      201     39 |        1 |        0
0.89/0.93	c  0.9s |       9 |    11458 |     7506 |      222     56 |        2 |        0
1.39/1.42	c  1.4s |      10 |    17095 |    11361 |      245     80 |        3 |        0
1.99/2.00	c  2.0s |      11 |    25161 |    17144 |      270    112 |        5 |        0
2.69/2.77	c  2.8s |      12 |    37538 |    25819 |      297    154 |       10 |        0
3.89/3.94	c  3.9s |      13 |    54925 |    38832 |      327    215 |       15 |        0
5.09/5.10	c  5.1s |      13 |    72520 |    51668 |      327    257 |      166 |       49
5.09/5.10	c #cpu_time = 5.069s
5.09/5.10	c #wall_clock_time = 5.083s
5.09/5.10	c #decision = 72520
5.09/5.10	c #random_decision = 169
5.09/5.10	c #conflict = 51668
5.09/5.10	c #restart = 13
5.09/5.10	s UNSATISFIABLE
5.09/5.10	c total CPU time = 5.088s
5.09/5.10	c total wall clock time = 5.102s

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

pid=26406
running on 8 cores: 0-3,8-11

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.22 2.13 2.10 3/261 26409
/proc/meminfo: memFree=30991152/32872528 swapFree=9196/9196
[pid=26409] ppid=26406 vsize=1062332 CPUtime=0 cores=0-3,8-11
/proc/26409/stat : 26409 (toysat) R 26406 26409 25889 0 -1 4202496 4021 0 0 0 0 0 0 0 20 0 4 0 103744074 1087827968 4381 33554432000 4194304 16246674 140735450092944 140735450092368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26409/statm: 265839 4387 441 2943 0 262733 0
[pid=26409/tid=26410] ppid=26406 vsize=1081788 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26410/stat : 26410 (toysat) S 26406 26409 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103744074 1107750912 4461 33554432000 4194304 16246674 140735450092944 139649972415728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26409/tid=26411] ppid=26406 vsize=1087932 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26411/stat : 26411 (toysat) S 26406 26409 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103744074 1114042368 4483 33554432000 4194304 16246674 140735450092944 139649961925872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26409/tid=26412] ppid=26406 vsize=1092028 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26412/stat : 26412 (toysat) S 26406 26409 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103744074 1118236672 4501 33554432000 4194304 16246674 140735450092944 139649951452336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.22 2.13 2.10 3/261 26409
/proc/meminfo: memFree=30991152/32872528 swapFree=9196/9196
[pid=26409] ppid=26406 vsize=1218116 CPUtime=0.08 cores=0-3,8-11
/proc/26409/stat : 26409 (toysat) R 26406 26409 25889 0 -1 4202496 18480 0 0 0 5 3 0 0 20 0 4 0 103744074 1247350784 18829 33554432000 4194304 16246674 140735450092944 140735450092368 5516226 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26409/statm: 304529 18836 733 2943 0 301423 0
[pid=26409/tid=26410] ppid=26406 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26410/stat : 26410 (toysat) S 26406 26409 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103744074 1247350784 18840 33554432000 4194304 16246674 140735450092944 139649972415728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26409/tid=26411] ppid=26406 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26411/stat : 26411 (toysat) S 26406 26409 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103744074 1247350784 18846 33554432000 4194304 16246674 140735450092944 139649961925872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26409/tid=26412] ppid=26406 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26412/stat : 26412 (toysat) S 26406 26409 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103744074 1247350784 18852 33554432000 4194304 16246674 140735450092944 139649951452336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200559 s]
/proc/loadavg: 2.22 2.13 2.10 3/261 26409
/proc/meminfo: memFree=30991152/32872528 swapFree=9196/9196
[pid=26409] ppid=26406 vsize=1218116 CPUtime=0.19 cores=0-3,8-11
/proc/26409/stat : 26409 (toysat) R 26406 26409 25889 0 -1 4202496 32837 0 0 0 13 6 0 0 20 0 4 0 103744074 1247350784 33186 33554432000 4194304 16246674 140735450092944 140735450092368 5662075 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26409/statm: 304529 33192 733 2943 0 301423 0
[pid=26409/tid=26410] ppid=26406 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26410/stat : 26410 (toysat) S 26406 26409 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103744074 1247350784 33197 33554432000 4194304 16246674 140735450092944 139649972415728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26409/tid=26411] ppid=26406 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26411/stat : 26411 (toysat) S 26406 26409 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103744074 1247350784 33202 33554432000 4194304 16246674 140735450092944 139649961925872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26409/tid=26412] ppid=26406 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26412/stat : 26412 (toysat) S 26406 26409 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103744074 1247350784 33207 33554432000 4194304 16246674 140735450092944 139649951452336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300501 s]
/proc/loadavg: 2.22 2.13 2.10 3/261 26409
/proc/meminfo: memFree=30991152/32872528 swapFree=9196/9196
[pid=26409] ppid=26406 vsize=1218116 CPUtime=0.29 cores=0-3,8-11
/proc/26409/stat : 26409 (toysat) R 26406 26409 25889 0 -1 4202496 47323 0 0 0 21 8 0 0 20 0 4 0 103744074 1247350784 47673 33554432000 4194304 16246674 140735450092944 140735450092368 5546181 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26409/statm: 304529 47675 733 2943 0 301423 0
[pid=26409/tid=26410] ppid=26406 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26410/stat : 26410 (toysat) S 26406 26409 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103744074 1247350784 47681 33554432000 4194304 16246674 140735450092944 139649972415728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26409/tid=26411] ppid=26406 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26411/stat : 26411 (toysat) S 26406 26409 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103744074 1247350784 47686 33554432000 4194304 16246674 140735450092944 139649961925872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26409/tid=26412] ppid=26406 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26412/stat : 26412 (toysat) S 26406 26409 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103744074 1247350784 47691 33554432000 4194304 16246674 140735450092944 139649951452336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70041 s]
/proc/loadavg: 2.22 2.13 2.10 3/261 26409
/proc/meminfo: memFree=30991152/32872528 swapFree=9196/9196
[pid=26409] ppid=26406 vsize=1218116 CPUtime=0.68 cores=0-3,8-11
/proc/26409/stat : 26409 (toysat) R 26406 26409 25889 0 -1 4202496 103633 0 0 0 53 15 0 0 20 0 4 0 103744074 1247350784 103982 33554432000 4194304 16246674 140735450092944 140735450092368 5664948 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26409/statm: 304529 103990 734 2943 0 301423 0
[pid=26409/tid=26410] ppid=26406 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26410/stat : 26410 (toysat) S 26406 26409 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103744074 1247350784 103995 33554432000 4194304 16246674 140735450092944 139649972415728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26409/tid=26411] ppid=26406 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26411/stat : 26411 (toysat) S 26406 26409 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103744074 1247350784 103999 33554432000 4194304 16246674 140735450092944 139649961925872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26409/tid=26412] ppid=26406 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26412/stat : 26412 (toysat) S 26406 26409 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103744074 1247350784 104004 33554432000 4194304 16246674 140735450092944 139649951452336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.22 2.13 2.10 3/265 26413
/proc/meminfo: memFree=30350796/32872528 swapFree=9196/9196
[pid=26409] ppid=26406 vsize=1218116 CPUtime=1.49 cores=0-3,8-11
/proc/26409/stat : 26409 (toysat) R 26406 26409 25889 0 -1 4202496 216581 0 0 0 118 31 0 0 20 0 4 0 103744074 1247350784 216930 33554432000 4194304 16246674 140735450092944 140735450075944 5546181 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26409/statm: 304529 216938 735 2943 0 301423 0
[pid=26409/tid=26410] ppid=26406 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26410/stat : 26410 (toysat) S 26406 26409 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103744074 1247350784 216942 33554432000 4194304 16246674 140735450092944 139649972415728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26409/tid=26411] ppid=26406 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26411/stat : 26411 (toysat) S 26406 26409 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103744074 1247350784 216950 33554432000 4194304 16246674 140735450092944 139649961925872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26409/tid=26412] ppid=26406 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26412/stat : 26412 (toysat) S 26406 26409 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103744074 1247350784 216957 33554432000 4194304 16246674 140735450092944 139649951452336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10042 s]
/proc/loadavg: 2.20 2.13 2.10 3/265 26413
/proc/meminfo: memFree=30007564/32872528 swapFree=9196/9196
[pid=26409] ppid=26406 vsize=1305156 CPUtime=3.09 cores=0-3,8-11
/proc/26409/stat : 26409 (toysat) R 26406 26409 25889 0 -1 4202496 267299 0 0 0 270 39 0 0 20 0 4 0 103744074 1336479744 267628 33554432000 4194304 16246674 140735450092944 140735450075944 5723096 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26409/statm: 326289 267628 800 2943 0 323183 0
[pid=26409/tid=26410] ppid=26406 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26410/stat : 26410 (toysat) S 26406 26409 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103744074 1336479744 267628 33554432000 4194304 16246674 140735450092944 139649972415728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26409/tid=26411] ppid=26406 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26411/stat : 26411 (toysat) S 26406 26409 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103744074 1336479744 267628 33554432000 4194304 16246674 140735450092944 139649961925872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26409/tid=26412] ppid=26406 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26412/stat : 26412 (toysat) S 26406 26409 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103744074 1336479744 267628 33554432000 4194304 16246674 140735450092944 139649951452336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1305156

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

[startup+3.20046 s]
/proc/loadavg: 2.20 2.13 2.10 3/265 26413
/proc/meminfo: memFree=30007564/32872528 swapFree=9196/9196
[pid=26409] ppid=26406 vsize=1305156 CPUtime=3.19 cores=0-3,8-11
/proc/26409/stat : 26409 (toysat) R 26406 26409 25889 0 -1 4202496 267299 0 0 0 280 39 0 0 20 0 4 0 103744074 1336479744 267628 33554432000 4194304 16246674 140735450092944 140735450075944 6837232 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26409/statm: 326289 267628 800 2943 0 323183 0
[pid=26409/tid=26410] ppid=26406 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26410/stat : 26410 (toysat) S 26406 26409 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103744074 1336479744 267628 33554432000 4194304 16246674 140735450092944 139649972415728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26409/tid=26411] ppid=26406 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26411/stat : 26411 (toysat) S 26406 26409 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103744074 1336479744 267628 33554432000 4194304 16246674 140735450092944 139649961925872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26409/tid=26412] ppid=26406 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26412/stat : 26412 (toysat) S 26406 26409 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103744074 1336479744 267628 33554432000 4194304 16246674 140735450092944 139649951452336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 1305156

[startup+4.00041 s]
/proc/loadavg: 2.20 2.13 2.10 3/265 26413
/proc/meminfo: memFree=29920392/32872528 swapFree=9196/9196
[pid=26409] ppid=26406 vsize=1305156 CPUtime=3.99 cores=0-3,8-11
/proc/26409/stat : 26409 (toysat) R 26406 26409 25889 0 -1 4202496 267299 0 0 0 360 39 0 0 20 0 4 0 103744074 1336479744 267628 33554432000 4194304 16246674 140735450092944 140735450075944 13808416 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26409/statm: 326289 267628 800 2943 0 323183 0
[pid=26409/tid=26410] ppid=26406 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26410/stat : 26410 (toysat) S 26406 26409 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103744074 1336479744 267628 33554432000 4194304 16246674 140735450092944 139649972415728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26409/tid=26411] ppid=26406 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26411/stat : 26411 (toysat) S 26406 26409 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103744074 1336479744 267628 33554432000 4194304 16246674 140735450092944 139649961925872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26409/tid=26412] ppid=26406 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26412/stat : 26412 (toysat) S 26406 26409 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103744074 1336479744 267628 33554432000 4194304 16246674 140735450092944 139649951452336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 1305156

[startup+4.80044 s]
/proc/loadavg: 2.20 2.13 2.10 3/265 26413
/proc/meminfo: memFree=29920268/32872528 swapFree=9196/9196
[pid=26409] ppid=26406 vsize=1306180 CPUtime=4.79 cores=0-3,8-11
/proc/26409/stat : 26409 (toysat) R 26406 26409 25889 0 -1 4202496 267421 0 0 0 440 39 0 0 20 0 4 0 103744074 1337528320 267750 33554432000 4194304 16246674 140735450092944 140735450075944 5667620 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26409/statm: 326545 267750 800 2943 0 323439 0
[pid=26409/tid=26410] ppid=26406 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26410/stat : 26410 (toysat) S 26406 26409 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103744074 1337528320 267750 33554432000 4194304 16246674 140735450092944 139649972415728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26409/tid=26411] ppid=26406 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26411/stat : 26411 (toysat) S 26406 26409 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103744074 1337528320 267750 33554432000 4194304 16246674 140735450092944 139649961925872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26409/tid=26412] ppid=26406 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26412/stat : 26412 (toysat) S 26406 26409 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103744074 1337528320 267750 33554432000 4194304 16246674 140735450092944 139649951452336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 1306180

[startup+5.00043 s]
/proc/loadavg: 2.20 2.13 2.10 3/265 26413
/proc/meminfo: memFree=29920268/32872528 swapFree=9196/9196
[pid=26409] ppid=26406 vsize=1306180 CPUtime=4.99 cores=0-3,8-11
/proc/26409/stat : 26409 (toysat) R 26406 26409 25889 0 -1 4202496 267421 0 0 0 460 39 0 0 20 0 4 0 103744074 1337528320 267750 33554432000 4194304 16246674 140735450092944 140735450075944 5667639 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26409/statm: 326545 267750 800 2943 0 323439 0
[pid=26409/tid=26410] ppid=26406 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26410/stat : 26410 (toysat) S 26406 26409 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103744074 1337528320 267750 33554432000 4194304 16246674 140735450092944 139649972415728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26409/tid=26411] ppid=26406 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26411/stat : 26411 (toysat) S 26406 26409 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103744074 1337528320 267750 33554432000 4194304 16246674 140735450092944 139649961925872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26409/tid=26412] ppid=26406 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26412/stat : 26412 (toysat) S 26406 26409 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103744074 1337528320 267750 33554432000 4194304 16246674 140735450092944 139649951452336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 1306180

[startup+5.10042 s]
/proc/loadavg: 2.20 2.13 2.10 3/265 26413
/proc/meminfo: memFree=29920268/32872528 swapFree=9196/9196
[pid=26409] ppid=26406 vsize=1306180 CPUtime=5.09 cores=0-3,8-11
/proc/26409/stat : 26409 (toysat) R 26406 26409 25889 0 -1 4202496 267421 0 0 0 470 39 0 0 20 0 4 0 103744074 1337528320 267750 33554432000 4194304 16246674 140735450092944 140735450075944 15015658 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26409/statm: 326545 267750 800 2943 0 323439 0
[pid=26409/tid=26410] ppid=26406 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26410/stat : 26410 (toysat) S 26406 26409 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103744074 1337528320 267750 33554432000 4194304 16246674 140735450092944 139649972415728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26409/tid=26411] ppid=26406 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26411/stat : 26411 (toysat) S 26406 26409 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103744074 1337528320 267750 33554432000 4194304 16246674 140735450092944 139649961925872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26409/tid=26412] ppid=26406 vsize=1306180 CPUtime=0 cores=0-3,8-11
/proc/26409/task/26412/stat : 26412 (toysat) S 26406 26409 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103744074 1337528320 267750 33554432000 4194304 16246674 140735450092944 139649951452336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 5.16365
CPU time (s): 5.16221
CPU user time (s): 4.71028
CPU system time (s): 0.451931
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.71028
system time used= 0.451931
maximum resident set size= 1071024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267429
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= 20
involuntary context switches= 6

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

The end

Launcher Data 

Begin job on node132 at 2016-06-06 15:17:01
IDJOB=4078701
IDBENCH=1181
IDSOLVER=2542
FILE ID=node132/4078701-1465219020
RUNJOBID= node132-1465216787-25905
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223220.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078701-1465219020/watcher-4078701-1465219020 -o /tmp/evaluation-result-4078701-1465219020/solver-4078701-1465219020 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078701-1465219020.opb

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

MD5SUM BENCH= c0dca940756ea4be5f7b1224240a8526
RANDOM SEED=1589573286

node132.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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.41
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30991384 kB
Buffers:            5260 kB
Cached:            70536 kB
SwapCached:         3236 kB
Active:          1141560 kB
Inactive:          19852 kB
Active(anon):    1084964 kB
Inactive(anon):     3236 kB
Active(file):      56596 kB
Inactive(file):    16616 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             16656 kB
Writeback:             0 kB
AnonPages:       1092784 kB
Mapped:            10772 kB
Shmem:                 0 kB
Slab:             572632 kB
SReclaimable:      12188 kB
SUnreclaim:       560444 kB
KernelStack:        2184 kB
PageTables:         6312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1236912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1079296 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= 71716 MiB
End job on node132 at 2016-06-06 15:17:06