Trace number 4078680

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 3.48047 3.48169

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970631.opb
MD5SUM0cb3829d9e744bc52975d342468bb866
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 benchmark1.9467
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 1320
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:16:54+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-4078680-1465219014.opb"]
0.00/0.01	c use --random-gen="3349712048 2440635583 38676050 231923738 915970476 3956056145 3128921930 3213948018 3245103108 171675303 2332045593 1009110295 689459724 1430209928 1257005423 3171004412 1301089437 1829030040 2884374092 3746239039 3209327992 2701783249 2216042074 2227557945 2042937810 1300499303 1947036144 1257980259 1996129630 4176464156 2223205986 3353737815 2326191394 816175273 2023431355 2655475973 271364287 83171094 48251389 694300422 1045359899 163759768 2923392224 3998090032 1526086816 3300720419 2227421397 464764355 4047702691 382496914 2658830776 1522571386 3633477568 1754296853 3406172859 936692057 941871047 455676312 451448561 3731231269 290652862 1591192608 1465590440 3996298457 3117170467 1554658615 3908818717 2769801157 430973124 24742728 165387154 3040885690 2083326476 3068005461 268683384 467396415 3022741849 1874482410 1160169982 2011168788 3481601458 3460495371 77911703 1897957782 1517444099 3574498719 1247438199 2964468635 3767393846 1279996070 2859923250 3575649097 2056758682 3994017435 1191223428 1313141337 1339913 3013487178 451426545 1418573750 2722751515 976354912 3659475615 1708819320 2711430394 1320315363 3685826961 1587398154 3778610854 957937159 2212098001 1624397562 386061311 872865777 4203389027 1976035551 130241900 2579156611 2155908492 1252758083 2069982739 808635324 2725676545 4280350630 3896281413 2109309932 2830436560 539364564 4065447618 1619595161 1713863158 929013527 1240098263 4173324165 3948182075 2426723165 1625628965 282126436 1771255717 1959828648 1559192593 640575624 3601305249 6807671 1673103638 3517617052 2675022702 2402148963 2953205308 3693728687 2801094706 1279915911 4003529800 629065410 2924234804 184578715 3050241005 3438399793 724134385 3528424578 2916860835 2696470405 760570125 1888404062 3671218309 2462537471 2241660547 484194879 2232990391 701698086 2653959982 3837609836 914052750 1693054604 633299765 1930143178 2415033412 1539986356 3390677759 1477704138 198588330 243880512 385709419 2484907301 623717307 3307507334 1095454169 4274014102 3671950535 3488184130 3811738868 2260779032 3155299304 1796756652 4239931416 3279163358 771700374 1828558986 4220574062 157384504 695340521 2432903943 4066542025 1087273307 3767796174 508132041 4070865697 3443193935 633174442 1098362854 1443589256 266034198 1222622456 722878178 3359689062 4209497154 2052553131 2669912746 1144672914 1711442895 3983370652 2172771353 2070448344 732292889 442536937 2220914080 3301238455 3784522224 4143420900 75204980 2314167873 1039645910 709889330 1916333802 3711790077 337647509 590250584 4192785890 1997724959 2419777477 2967170807 3667062400 452211225 2739802910 2043994197 1006162868 4084210283 3325132085 684164974 1436057740 625212858 2186743483 2931104312 1076193144 2289946818 49845304 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 |      167 |      100 |       90      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      435 |      250 |      100      2 |        0 |        0
0.00/0.08	c  0.1s |       3 |      806 |      475 |      111      5 |        0 |        0
0.09/0.12	c  0.1s |       4 |     1404 |      813 |      123      8 |        0 |        0
0.09/0.18	c  0.2s |       5 |     2182 |     1320 |      136     13 |        0 |        0
0.19/0.27	c  0.3s |       6 |     3358 |     2081 |      165     18 |        1 |        1
0.38/0.41	c  0.4s |       7 |     5058 |     3223 |      182     27 |        1 |        1
0.59/0.61	c  0.6s |       8 |     7733 |     4936 |      201     38 |        2 |        1
0.89/0.92	c  0.9s |       9 |    11469 |     7506 |      222     56 |        2 |        1
1.39/1.41	c  1.4s |      10 |    17111 |    11361 |      245     80 |        3 |        1
1.89/1.99	c  2.0s |      11 |    26107 |    17144 |      270    110 |        6 |        1
2.69/2.74	c  2.7s |      12 |    39052 |    25819 |      297    148 |       15 |        1
3.40/3.42	c  3.4s |      12 |    49329 |    33006 |      297    170 |      157 |       30
3.40/3.42	c #cpu_time = 3.393s
3.40/3.42	c #wall_clock_time = 3.402s
3.40/3.42	c #decision = 49329
3.40/3.42	c #random_decision = 119
3.40/3.42	c #conflict = 33006
3.40/3.42	c #restart = 12
3.40/3.42	s UNSATISFIABLE
3.40/3.42	c total CPU time = 3.412s
3.40/3.42	c total wall clock time = 3.421s

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

pid=26308
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.24 2.13 2.10 3/261 26311
/proc/meminfo: memFree=30991128/32872528 swapFree=9196/9196
[pid=26311] ppid=26308 vsize=1060284 CPUtime=0 cores=0-3,8-11
/proc/26311/stat : 26311 (toysat) R 26308 26311 25889 0 -1 4202496 4017 0 0 0 0 0 0 0 20 0 4 0 103743394 1085730816 3866 33554432000 4194304 16246674 140735450376960 140735450376384 15002730 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26311/statm: 265839 3876 441 2943 0 262733 0
[pid=26311/tid=26312] ppid=26308 vsize=1082812 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26312/stat : 26312 (toysat) S 26308 26311 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103743394 1108799488 3952 33554432000 4194304 16246674 140735450376960 140510766279920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26311/tid=26313] ppid=26308 vsize=1085884 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26313/stat : 26313 (toysat) S 26308 26311 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103743394 1111945216 3964 33554432000 4194304 16246674 140735450376960 140510755790064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26311/tid=26314] ppid=26308 vsize=1091004 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26314/stat : 26314 (toysat) S 26308 26311 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103743394 1117188096 3984 33554432000 4194304 16246674 140735450376960 140510745316528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.24 2.13 2.10 3/261 26311
/proc/meminfo: memFree=30991128/32872528 swapFree=9196/9196
[pid=26311] ppid=26308 vsize=1218116 CPUtime=0.09 cores=0-3,8-11
/proc/26311/stat : 26311 (toysat) R 26308 26311 25889 0 -1 4202496 17700 0 0 0 7 2 0 0 20 0 4 0 103743394 1247350784 17538 33554432000 4194304 16246674 140735450376960 140735450376384 5546181 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26311/statm: 304529 17546 728 2943 0 301423 0
[pid=26311/tid=26312] ppid=26308 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26312/stat : 26312 (toysat) S 26308 26311 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103743394 1247350784 17550 33554432000 4194304 16246674 140735450376960 140510766279920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26311/tid=26313] ppid=26308 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26313/stat : 26313 (toysat) S 26308 26311 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103743394 1247350784 17552 33554432000 4194304 16246674 140735450376960 140510755790064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26311/tid=26314] ppid=26308 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26314/stat : 26314 (toysat) S 26308 26311 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103743394 1247350784 17558 33554432000 4194304 16246674 140735450376960 140510745316528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200522 s]
/proc/loadavg: 2.24 2.13 2.10 3/261 26311
/proc/meminfo: memFree=30991128/32872528 swapFree=9196/9196
[pid=26311] ppid=26308 vsize=1218116 CPUtime=0.19 cores=0-3,8-11
/proc/26311/stat : 26311 (toysat) R 26308 26311 25889 0 -1 4202496 31292 0 0 0 15 4 0 0 20 0 4 0 103743394 1247350784 31130 33554432000 4194304 16246674 140735450376960 140735450376384 5726713 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26311/statm: 304529 31138 728 2943 0 301423 0
[pid=26311/tid=26312] ppid=26308 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26312/stat : 26312 (toysat) S 26308 26311 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103743394 1247350784 31141 33554432000 4194304 16246674 140735450376960 140510766279920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26311/tid=26313] ppid=26308 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26313/stat : 26313 (toysat) S 26308 26311 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103743394 1247350784 31145 33554432000 4194304 16246674 140735450376960 140510755790064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26311/tid=26314] ppid=26308 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26314/stat : 26314 (toysat) S 26308 26311 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103743394 1247350784 31148 33554432000 4194304 16246674 140735450376960 140510745316528 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.300444 s]
/proc/loadavg: 2.24 2.13 2.10 3/261 26311
/proc/meminfo: memFree=30991128/32872528 swapFree=9196/9196
[pid=26311] ppid=26308 vsize=1218116 CPUtime=0.29 cores=0-3,8-11
/proc/26311/stat : 26311 (toysat) R 26308 26311 25889 0 -1 4202496 45519 0 0 0 23 6 0 0 20 0 4 0 103743394 1247350784 45357 33554432000 4194304 16246674 140735450376960 140735450376384 5600539 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26311/statm: 304529 45366 729 2943 0 301423 0
[pid=26311/tid=26312] ppid=26308 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26312/stat : 26312 (toysat) S 26308 26311 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103743394 1247350784 45370 33554432000 4194304 16246674 140735450376960 140510766279920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26311/tid=26313] ppid=26308 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26313/stat : 26313 (toysat) S 26308 26311 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103743394 1247350784 45371 33554432000 4194304 16246674 140735450376960 140510755790064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26311/tid=26314] ppid=26308 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26314/stat : 26314 (toysat) S 26308 26311 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103743394 1247350784 45377 33554432000 4194304 16246674 140735450376960 140510745316528 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.700367 s]
/proc/loadavg: 2.24 2.13 2.10 3/261 26311
/proc/meminfo: memFree=30991128/32872528 swapFree=9196/9196
[pid=26311] ppid=26308 vsize=1218116 CPUtime=0.69 cores=0-3,8-11
/proc/26311/stat : 26311 (toysat) R 26308 26311 25889 0 -1 4202496 102174 0 0 0 54 15 0 0 20 0 4 0 103743394 1247350784 102012 33554432000 4194304 16246674 140735450376960 140735450376384 13195901 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26311/statm: 304529 102021 729 2943 0 301423 0
[pid=26311/tid=26312] ppid=26308 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26312/stat : 26312 (toysat) S 26308 26311 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103743394 1247350784 102023 33554432000 4194304 16246674 140735450376960 140510766279920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26311/tid=26313] ppid=26308 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26313/stat : 26313 (toysat) S 26308 26311 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103743394 1247350784 102028 33554432000 4194304 16246674 140735450376960 140510755790064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26311/tid=26314] ppid=26308 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26314/stat : 26314 (toysat) S 26308 26311 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103743394 1247350784 102034 33554432000 4194304 16246674 140735450376960 140510745316528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 2.24 2.13 2.10 3/265 26315
/proc/meminfo: memFree=30351204/32872528 swapFree=9196/9196
[pid=26311] ppid=26308 vsize=1218116 CPUtime=1.49 cores=0-3,8-11
/proc/26311/stat : 26311 (toysat) R 26308 26311 25889 0 -1 4202496 216971 0 0 0 119 30 0 0 20 0 4 0 103743394 1247350784 216811 33554432000 4194304 16246674 140735450376960 140735450358848 5677541 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26311/statm: 304529 216818 730 2943 0 301423 0
[pid=26311/tid=26312] ppid=26308 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26312/stat : 26312 (toysat) S 26308 26311 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103743394 1247350784 216822 33554432000 4194304 16246674 140735450376960 140510766279920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26311/tid=26313] ppid=26308 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26313/stat : 26313 (toysat) S 26308 26311 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103743394 1247350784 216823 33554432000 4194304 16246674 140735450376960 140510755790064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26311/tid=26314] ppid=26308 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26314/stat : 26314 (toysat) S 26308 26311 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103743394 1247350784 216827 33554432000 4194304 16246674 140735450376960 140510745316528 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.1004 s]
/proc/loadavg: 2.24 2.13 2.10 3/265 26315
/proc/meminfo: memFree=30009840/32872528 swapFree=9196/9196
[pid=26311] ppid=26308 vsize=1305156 CPUtime=3.09 cores=0-3,8-11
/proc/26311/stat : 26311 (toysat) R 26308 26311 25889 0 -1 4202496 267258 0 0 0 272 37 0 0 20 0 4 0 103743394 1336479744 267076 33554432000 4194304 16246674 140735450376960 140735450359960 13923712 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26311/statm: 326289 267076 796 2943 0 323183 0
[pid=26311/tid=26312] ppid=26308 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26312/stat : 26312 (toysat) S 26308 26311 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103743394 1336479744 267076 33554432000 4194304 16246674 140735450376960 140510766279920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26311/tid=26313] ppid=26308 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26313/stat : 26313 (toysat) S 26308 26311 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103743394 1336479744 267076 33554432000 4194304 16246674 140735450376960 140510755790064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26311/tid=26314] ppid=26308 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26314/stat : 26314 (toysat) S 26308 26311 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103743394 1336479744 267076 33554432000 4194304 16246674 140735450376960 140510745316528 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 26311 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20046 s]
/proc/loadavg: 2.24 2.13 2.10 3/265 26315
/proc/meminfo: memFree=30009840/32872528 swapFree=9196/9196
[pid=26311] ppid=26308 vsize=1305156 CPUtime=3.19 cores=0-3,8-11
/proc/26311/stat : 26311 (toysat) R 26308 26311 25889 0 -1 4202496 267258 0 0 0 282 37 0 0 20 0 4 0 103743394 1336479744 267076 33554432000 4194304 16246674 140735450376960 140735450359960 5667484 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26311/statm: 326289 267076 796 2943 0 323183 0
[pid=26311/tid=26312] ppid=26308 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26312/stat : 26312 (toysat) S 26308 26311 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103743394 1336479744 267076 33554432000 4194304 16246674 140735450376960 140510766279920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26311/tid=26313] ppid=26308 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26313/stat : 26313 (toysat) S 26308 26311 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103743394 1336479744 267076 33554432000 4194304 16246674 140735450376960 140510755790064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26311/tid=26314] ppid=26308 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26314/stat : 26314 (toysat) S 26308 26311 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103743394 1336479744 267076 33554432000 4194304 16246674 140735450376960 140510745316528 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+3.41073 s]
/proc/loadavg: 2.24 2.13 2.10 3/265 26315
/proc/meminfo: memFree=29923040/32872528 swapFree=9196/9196
[pid=26311] ppid=26308 vsize=1305156 CPUtime=3.4 cores=0-3,8-11
/proc/26311/stat : 26311 (toysat) R 26308 26311 25889 0 -1 4202496 267258 0 0 0 303 37 0 0 20 0 4 0 103743394 1336479744 267076 33554432000 4194304 16246674 140735450376960 140735450359960 5711636 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26311/statm: 326289 267076 796 2943 0 323183 0
[pid=26311/tid=26312] ppid=26308 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26312/stat : 26312 (toysat) S 26308 26311 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103743394 1336479744 267076 33554432000 4194304 16246674 140735450376960 140510766279920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=26311/tid=26313] ppid=26308 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26313/stat : 26313 (toysat) S 26308 26311 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103743394 1336479744 267076 33554432000 4194304 16246674 140735450376960 140510755790064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=26311/tid=26314] ppid=26308 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/26311/task/26314/stat : 26314 (toysat) S 26308 26311 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103743394 1336479744 267076 33554432000 4194304 16246674 140735450376960 140510745316528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 1305156

Child status: 0
Real time (s): 3.48169
CPU time (s): 3.48047
CPU user time (s): 3.04954
CPU system time (s): 0.430934
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 1305156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.04954
system time used= 0.430934
maximum resident set size= 1068364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267274
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= 4

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

The end

Launcher Data 

Begin job on node132 at 2016-06-06 15:16:54
IDJOB=4078680
IDBENCH=1176
IDSOLVER=2542
FILE ID=node132/4078680-1465219014
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.1110970631.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078680-1465219014/watcher-4078680-1465219014 -o /tmp/evaluation-result-4078680-1465219014/solver-4078680-1465219014 -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-4078680-1465219014.opb

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

MD5SUM BENCH= 0cb3829d9e744bc52975d342468bb866
RANDOM SEED=416727471

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:        30991508 kB
Buffers:            5132 kB
Cached:            70524 kB
SwapCached:         3236 kB
Active:          1141052 kB
Inactive:          19940 kB
Active(anon):    1084524 kB
Inactive(anon):     3236 kB
Active(file):      56528 kB
Inactive(file):    16704 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094516 kB
Dirty:             16676 kB
Writeback:             0 kB
AnonPages:       1092256 kB
Mapped:            10212 kB
Shmem:                 0 kB
Slab:             572680 kB
SReclaimable:      12424 kB
SUnreclaim:       560256 kB
KernelStack:        2288 kB
PageTables:         6244 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:16:57