Trace number 4097268

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 25.0682 25.073

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-4_5_24.opb
MD5SUM6920a04cd92b252a5fb2fa0fad0bac95
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 benchmark1.63375
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables812
Total number of constraints3813
Number of constraints which are clauses3808
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint28
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 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
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-17T00:43:07+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-4097268-1466116987.opb"]
0.00/0.01	c use --random-gen="2310892663 971512920 1424327789 961706992 2329226367 4292434100 832136762 3069589579 2743426845 2825833547 13223686 1675578333 4257832493 2528039509 953581292 2733835672 1406487232 1179949168 474419770 2911691009 2745391066 457377892 3300197202 3072977375 4181217498 2531073939 1893532148 3008057711 3333006064 1052752892 217049070 1376711553 2874955283 2148709716 2372821020 155788800 2662945662 379299657 3062647734 1503266764 2873886385 989581614 262740350 904226148 246451290 1596657550 514090343 4004157790 2482799671 3518567215 1947562546 3814200163 2314939571 727062559 2190307109 485614504 1565381083 17110618 510536221 3065038503 3885524485 2165002967 151657793 3885972961 231602887 3485561829 469840430 2943281851 705679243 1351616571 634656993 2090644672 1422039805 2036159331 2984776267 2502912436 4136168831 2351246105 253856854 1965681954 4293322178 575875146 2928384745 1334054308 201006259 3775258205 2905258339 3927126958 1315485765 651035881 716106915 695923365 2315313990 991912711 3434726688 1350002182 1487339024 1059082840 1256237722 4129310567 3209010879 3750581648 3434318571 3261217824 2558451266 2609981591 656844600 309161635 2457566799 79241589 2419934447 2311519660 729367420 1175640594 1270311357 664626086 2732030071 1894294835 4238950872 536875477 2003751371 3250298505 2010477113 2000493463 657403106 3062931377 945576206 208065305 3576238278 2756905479 2084720024 700745067 2820569685 3176612326 880726025 3602173712 1333790896 3985752847 2962329673 3923831968 85582855 517184527 3795068638 2489038005 3473379227 1744158065 3840912371 2243506770 318185163 3830668582 2032132369 2808833626 2263315977 1158786526 3463086527 675020474 1511474323 152117234 2494601723 4275997296 203876449 2187508776 3152930786 186449383 386430994 4010429791 3769181461 884975586 3497109050 1945731440 3470114352 2735263389 2628830544 237804506 3070541268 1449397019 2965287663 2537989611 2074280221 107008288 2426920514 3987413328 4144317747 1117020992 1704479748 3958296686 3923463900 423248400 3185145815 2038105481 2685557247 1124807456 616469067 80444164 875230849 3199750112 406021060 2040106144 3909899719 1164620843 2797010923 2300254718 3882737821 2852492398 3065830748 692092348 3492465476 1927076187 2305798467 1458329708 1190990469 515689013 3393432453 1616337203 1961978533 3722770609 1493218014 495054978 4206737187 4126653944 1427789463 2626922907 2477865353 1164939800 3367143701 1855774187 862986849 3350689792 231760559 3395351744 209180882 2703046909 3946109648 186862615 420364129 1846919780 2920014544 1901939991 509571526 3480849597 102919190 2930489684 3247351734 4242795906 62105623 1566669335 2522460230 1926786245 3973243661 3897991223 1553470063 451045121 2148984571 1047976699 4190229624 3608287711 255 362436" option to reproduce the execution
0.00/0.04	c #vars 812
0.00/0.04	c #constraints 3813
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |     1540      0 |        5 |        0
0.09/0.13	c  0.0s |       1 |      148 |      100 |     1540      0 |        5 |      221
0.09/0.18	c  0.1s |       2 |      360 |      250 |     1695      0 |        5 |      221
0.19/0.27	c  0.2s |       3 |      708 |      475 |     1865      0 |        5 |      221
0.39/0.40	c  0.3s |       4 |     1089 |      813 |     2052      0 |        5 |      221
0.58/0.60	c  0.5s |       5 |     1653 |     1320 |     2258      0 |        5 |      221
0.88/0.93	c  0.8s |       6 |     2481 |     2081 |     2733      0 |        5 |      221
1.39/1.45	c  1.4s |       7 |     3730 |     3223 |     3007      1 |        5 |      221
1.99/2.04	c  1.9s |       8 |     5577 |     4936 |     3308      2 |        5 |      221
2.88/2.99	c  2.9s |       9 |     8334 |     7506 |     3639      3 |        5 |      221
4.29/4.37	c  4.3s |      10 |    12455 |    11361 |     4003      5 |        5 |      221
6.29/6.39	c  6.3s |      10 |    17755 |    16361 |     4003      7 |        5 |      221
6.70/6.71	c  6.6s |      11 |    18576 |    17144 |     4404      8 |        5 |      221
8.69/8.71	c  8.6s |      11 |    23772 |    22044 |     4404     10 |        5 |      221
10.09/10.11	c 10.0s |      12 |    27819 |    25819 |     4845     11 |        5 |      221
12.10/12.14	c 12.0s |      12 |    32690 |    30419 |     4845     13 |        5 |      221
14.09/14.16	c 14.1s |      12 |    37419 |    34919 |     4845     15 |        5 |      221
15.79/15.85	c 15.7s |      13 |    41538 |    38832 |     5330     16 |        5 |      221
17.79/17.87	c 17.8s |      13 |    46326 |    43332 |     5330     18 |        5 |      221
19.79/19.89	c 19.8s |      13 |    50845 |    47632 |     5330     20 |        5 |      221
21.89/21.91	c 21.8s |      13 |    55468 |    52032 |     5330     20 |        8 |      278
23.89/23.97	c 23.9s |      13 |    59956 |    56332 |     5330     21 |       17 |      448
24.69/24.79	c 24.7s |      14 |    62061 |    58352 |     5864     21 |       24 |      513
24.99/25.00	c 24.9s |      14 |    62541 |    58811 |     5864     21 |      444 |     2553
24.99/25.00	c #cpu_time = 24.841s
24.99/25.00	c #wall_clock_time = 24.905s
24.99/25.00	c #decision = 62541
24.99/25.00	c #random_decision = 233
24.99/25.00	c #conflict = 58811
24.99/25.00	c #restart = 14
24.99/25.00	s UNSATISFIABLE
24.99/25.00	c total CPU time = 24.943s
24.99/25.00	c total wall clock time = 25.007s

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

pid=2594
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.21 2.21 2.18 3/179 2597
/proc/meminfo: memFree=29090476/32872528 swapFree=1541688/1694988
[pid=2597] ppid=2594 vsize=638396 CPUtime=0 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 31715 0 -1 4202496 2362 0 0 0 0 0 0 0 20 0 4 0 13745286 653717504 3233 33554432000 4194304 16246674 140734638440048 140734638439472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2597/statm: 160111 3244 441 2943 0 157005 0
[pid=2597/tid=2598] ppid=2594 vsize=671164 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13745287 687271936 3363 33554432000 4194304 16246674 140734638440048 139880321494256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=675260 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13745287 691466240 3380 33554432000 4194304 16246674 140734638440048 139880239705328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=680380 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13745287 696709120 3398 33554432000 4194304 16246674 140734638440048 139880229231792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100157 s]
/proc/loadavg: 2.21 2.21 2.18 3/179 2597
/proc/meminfo: memFree=29090476/32872528 swapFree=1541688/1694988
[pid=2597] ppid=2594 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 31715 0 -1 4202496 27124 0 0 0 5 4 0 0 20 0 4 0 13745286 1247350784 27986 33554432000 4194304 16246674 140734638440048 140734638439472 6165910 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2597/statm: 304529 27993 632 2943 0 301423 0
[pid=2597/tid=2598] ppid=2594 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13745287 1247350784 27998 33554432000 4194304 16246674 140734638440048 139880321494256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13745287 1247350784 28003 33554432000 4194304 16246674 140734638440048 139880239705328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13745287 1247350784 28009 33554432000 4194304 16246674 140734638440048 139880229231792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200466 s]
/proc/loadavg: 2.21 2.21 2.18 3/179 2597
/proc/meminfo: memFree=29090476/32872528 swapFree=1541688/1694988
[pid=2597] ppid=2594 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 31715 0 -1 4202496 47578 0 0 0 13 6 0 0 20 0 4 0 13745286 1247350784 48439 33554432000 4194304 16246674 140734638440048 140734638439472 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2597/statm: 304529 48449 718 2943 0 301423 0
[pid=2597/tid=2598] ppid=2594 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13745287 1247350784 48455 33554432000 4194304 16246674 140734638440048 139880321494256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13745287 1247350784 48460 33554432000 4194304 16246674 140734638440048 139880239705328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13745287 1247350784 48466 33554432000 4194304 16246674 140734638440048 139880229231792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300471 s]
/proc/loadavg: 2.21 2.21 2.18 3/179 2597
/proc/meminfo: memFree=29090476/32872528 swapFree=1541688/1694988
[pid=2597] ppid=2594 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 31715 0 -1 4202496 67964 0 0 0 20 9 0 0 20 0 4 0 13745286 1247350784 68825 33554432000 4194304 16246674 140734638440048 140734638439472 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2597/statm: 304529 68834 718 2943 0 301423 0
[pid=2597/tid=2598] ppid=2594 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13745287 1247350784 68841 33554432000 4194304 16246674 140734638440048 139880321494256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13745287 1247350784 68847 33554432000 4194304 16246674 140734638440048 139880239705328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13745287 1247350784 68852 33554432000 4194304 16246674 140734638440048 139880229231792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700398 s]
/proc/loadavg: 2.21 2.21 2.18 3/179 2597
/proc/meminfo: memFree=29090476/32872528 swapFree=1541688/1694988
[pid=2597] ppid=2594 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 31715 0 -1 4202496 148052 0 0 0 50 19 0 0 20 0 4 0 13745286 1247350784 148912 33554432000 4194304 16246674 140734638440048 140734638439472 5661217 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2597/statm: 304529 148924 718 2943 0 301423 0
[pid=2597/tid=2598] ppid=2594 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13745287 1247350784 148928 33554432000 4194304 16246674 140734638440048 139880321494256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13745287 1247350784 148938 33554432000 4194304 16246674 140734638440048 139880239705328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13745287 1247350784 148945 33554432000 4194304 16246674 140734638440048 139880229231792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 2601
/proc/meminfo: memFree=28190192/32872528 swapFree=1541688/1694988
[pid=2597] ppid=2594 vsize=1222212 CPUtime=1.49 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 31715 0 -1 4202496 246324 0 0 0 118 31 0 0 20 0 4 0 13745286 1251545088 247164 33554432000 4194304 16246674 140734638440048 140734638439360 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2597/statm: 305553 247164 792 2943 0 302447 0
[pid=2597/tid=2598] ppid=2594 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13745287 1251545088 247164 33554432000 4194304 16246674 140734638440048 139880321494256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13745287 1251545088 247164 33554432000 4194304 16246674 140734638440048 139880239705328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13745287 1251545088 247164 33554432000 4194304 16246674 140734638440048 139880229231792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1222212

[startup+3.10041 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 2601
/proc/meminfo: memFree=28042260/32872528 swapFree=1541688/1694988
[pid=2597] ppid=2594 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 31715 0 -1 4202496 267640 0 0 0 275 33 0 0 20 0 4 0 13745286 1338576896 268480 33554432000 4194304 16246674 140734638440048 140734638421952 5754767 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2597/statm: 326801 268480 793 2943 0 323695 0
[pid=2597/tid=2598] ppid=2594 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13745287 1338576896 268480 33554432000 4194304 16246674 140734638440048 139880321494256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13745287 1338576896 268480 33554432000 4194304 16246674 140734638440048 139880239705328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13745287 1338576896 268480 33554432000 4194304 16246674 140734638440048 139880229231792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 2601
/proc/meminfo: memFree=28013900/32872528 swapFree=1541688/1694988
[pid=2597] ppid=2594 vsize=1309252 CPUtime=6.29 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 31715 0 -1 4202496 268342 0 0 0 595 34 0 0 20 0 4 0 13745286 1340674048 269182 33554432000 4194304 16246674 140734638440048 140734638421952 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2597/statm: 327313 269182 795 2943 0 324207 0
[pid=2597/tid=2598] ppid=2594 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13745287 1340674048 269182 33554432000 4194304 16246674 140734638440048 139880321494256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13745287 1340674048 269182 33554432000 4194304 16246674 140734638440048 139880239705328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13745287 1340674048 269182 33554432000 4194304 16246674 140734638440048 139880229231792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 2601
/proc/meminfo: memFree=28012084/32872528 swapFree=1541688/1694988
[pid=2597] ppid=2594 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 31715 0 -1 4202496 269002 0 0 0 1235 34 0 0 20 0 4 0 13745286 1343819776 269842 33554432000 4194304 16246674 140734638440048 140734638421952 5661476 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2597/statm: 328081 269842 796 2943 0 324975 0
[pid=2597/tid=2598] ppid=2594 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13745287 1343819776 269842 33554432000 4194304 16246674 140734638440048 139880321494256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13745287 1343819776 269842 33554432000 4194304 16246674 140734638440048 139880239705328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13745287 1343819776 269842 33554432000 4194304 16246674 140734638440048 139880229231792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

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

[startup+12.8005 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 2601
/proc/meminfo: memFree=28012084/32872528 swapFree=1541688/1694988
[pid=2597] ppid=2594 vsize=1312324 CPUtime=12.79 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 31715 0 -1 4202496 269002 0 0 0 1245 34 0 0 20 0 4 0 13745286 1343819776 269842 33554432000 4194304 16246674 140734638440048 140734638421952 5677888 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2597/statm: 328081 269842 796 2943 0 324975 0
[pid=2597/tid=2598] ppid=2594 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13745287 1343819776 269842 33554432000 4194304 16246674 140734638440048 139880321494256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13745287 1343819776 269842 33554432000 4194304 16246674 140734638440048 139880239705328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13745287 1343819776 269842 33554432000 4194304 16246674 140734638440048 139880229231792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 1312324

[startup+19.2004 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 2601
/proc/meminfo: memFree=28004400/32872528 swapFree=1541688/1694988
[pid=2597] ppid=2594 vsize=1319492 CPUtime=19.19 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 31715 0 -1 4202496 270871 0 0 0 1885 34 0 0 20 0 4 0 13745286 1351159808 271711 33554432000 4194304 16246674 140734638440048 140734638421952 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2597/statm: 329873 271711 796 2943 0 326767 0
[pid=2597/tid=2598] ppid=2594 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13745287 1351159808 271711 33554432000 4194304 16246674 140734638440048 139880321494256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13745287 1351159808 271711 33554432000 4194304 16246674 140734638440048 139880239705328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13745287 1351159808 271711 33554432000 4194304 16246674 140734638440048 139880229231792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 1319492

[startup+22.4004 s]
/proc/loadavg: 2.23 2.21 2.18 3/183 2601
/proc/meminfo: memFree=28004012/32872528 swapFree=1541688/1694988
[pid=2597] ppid=2594 vsize=1319492 CPUtime=22.39 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 31715 0 -1 4202496 270903 0 0 0 2205 34 0 0 20 0 4 0 13745286 1351159808 271743 33554432000 4194304 16246674 140734638440048 140734638421952 5675333 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2597/statm: 329873 271743 796 2943 0 326767 0
[pid=2597/tid=2598] ppid=2594 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13745287 1351159808 271743 33554432000 4194304 16246674 140734638440048 139880321494256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13745287 1351159808 271743 33554432000 4194304 16246674 140734638440048 139880239705328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13745287 1351159808 271743 33554432000 4194304 16246674 140734638440048 139880229231792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 22.39
Current children cumulated vsize (KiB) 1319492

[startup+24.0004 s]
/proc/loadavg: 2.23 2.21 2.18 3/183 2601
/proc/meminfo: memFree=28004136/32872528 swapFree=1541688/1694988
[pid=2597] ppid=2594 vsize=1319492 CPUtime=23.99 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 31715 0 -1 4202496 270903 0 0 0 2365 34 0 0 20 0 4 0 13745286 1351159808 271743 33554432000 4194304 16246674 140734638440048 140734638421952 5823496 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2597/statm: 329873 271743 796 2943 0 326767 0
[pid=2597/tid=2598] ppid=2594 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13745287 1351159808 271743 33554432000 4194304 16246674 140734638440048 139880321494256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13745287 1351159808 271743 33554432000 4194304 16246674 140734638440048 139880239705328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13745287 1351159808 271743 33554432000 4194304 16246674 140734638440048 139880229231792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 23.99
Current children cumulated vsize (KiB) 1319492

[startup+24.8004 s]
/proc/loadavg: 2.23 2.21 2.18 3/183 2601
/proc/meminfo: memFree=28004012/32872528 swapFree=1541688/1694988
[pid=2597] ppid=2594 vsize=1319492 CPUtime=24.79 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 31715 0 -1 4202496 270903 0 0 0 2445 34 0 0 20 0 4 0 13745286 1351159808 271743 33554432000 4194304 16246674 140734638440048 140734638421952 5841170 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2597/statm: 329873 271743 796 2943 0 326767 0
[pid=2597/tid=2598] ppid=2594 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13745287 1351159808 271743 33554432000 4194304 16246674 140734638440048 139880321494256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13745287 1351159808 271743 33554432000 4194304 16246674 140734638440048 139880239705328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13745287 1351159808 271743 33554432000 4194304 16246674 140734638440048 139880229231792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 24.79
Current children cumulated vsize (KiB) 1319492

[startup+25.0004 s]
/proc/loadavg: 2.23 2.21 2.18 3/183 2601
/proc/meminfo: memFree=28004012/32872528 swapFree=1541688/1694988
[pid=2597] ppid=2594 vsize=1319492 CPUtime=24.99 cores=0,2,4,6
/proc/2597/stat : 2597 (toysat) R 2594 2597 31715 0 -1 4202496 270903 0 0 0 2465 34 0 0 20 0 4 0 13745286 1351159808 271743 33554432000 4194304 16246674 140734638440048 140734638421952 5523188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2597/statm: 329873 271743 796 2943 0 326767 0
[pid=2597/tid=2598] ppid=2594 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2598/stat : 2598 (toysat) S 2594 2597 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13745287 1351159808 271743 33554432000 4194304 16246674 140734638440048 139880321494256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2597/tid=2599] ppid=2594 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2599/stat : 2599 (toysat) S 2594 2597 31715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13745287 1351159808 271743 33554432000 4194304 16246674 140734638440048 139880239705328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2597/tid=2600] ppid=2594 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2597/task/2600/stat : 2600 (toysat) S 2594 2597 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13745287 1351159808 271743 33554432000 4194304 16246674 140734638440048 139880229231792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 1319492

Child status: 0
Real time (s): 25.073
CPU time (s): 25.0682
CPU user time (s): 24.6603
CPU system time (s): 0.407937
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.6603
system time used= 0.407937
maximum resident set size= 1086984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270908
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= 18
involuntary context switches= 27

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.141978 second user time and 0.251961 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-17 00:43:07
IDJOB=4097268
IDBENCH=107733
IDSOLVER=2542
FILE ID=node125/4097268-1466116987
RUNJOBID= node125-1466112694-1100
PBS_JOBID= 19904034
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_24.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097268-1466116987/watcher-4097268-1466116987 -o /tmp/evaluation-result-4097268-1466116987/solver-4097268-1466116987 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466112694-1100 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097268-1466116987.opb

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

MD5SUM BENCH= 6920a04cd92b252a5fb2fa0fad0bac95
RANDOM SEED=16278473

node125.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.683
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.36
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.683
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.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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.54
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.683
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.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		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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.55
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.683
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:        29091004 kB
Buffers:           66424 kB
Cached:           162348 kB
SwapCached:         2680 kB
Active:          1263720 kB
Inactive:         112400 kB
Active(anon):    1147400 kB
Inactive(anon):     2308 kB
Active(file):     116320 kB
Inactive(file):   110092 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67097016 kB
Dirty:             16524 kB
Writeback:             4 kB
AnonPages:       2842476 kB
Mapped:            10644 kB
Shmem:                 0 kB
Slab:             572044 kB
SReclaimable:      15672 kB
SUnreclaim:       556372 kB
KernelStack:        1488 kB
PageTables:         9392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2984028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    751616 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= 71712 MiB
End job on node125 at 2016-06-17 00:43:32