Trace number 4110318

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-02OPTIMUM 20.5829 20.5873

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo
MD5SUMb990c74120468e1d0b7525d3b3f74b05
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark7.8688
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft 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
Top cost 5180
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5179
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1202
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-19T16:01:21+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","--wbo","--search=bcd2","HOME/instance-4110318-1466344881.wbo"]
0.00/0.01	c use --random-gen="3346668479 2707262606 312044016 2870953429 1480049300 3798066678 3018994832 3681899160 575979138 3400411314 3584828446 2925425401 3666811260 230061589 1428255998 1117177201 1075778441 1481250452 3013944846 2560793690 2358710312 1456725821 3275700010 3656952146 1332138301 486958133 3786873460 916435054 45365145 1919195137 3621481688 1822706282 2433962907 1608577616 498517787 581927907 1269966092 3154772172 2946138534 272739389 1977622786 70834023 1675020915 3401650570 3322117211 1318339152 3024880263 1630505210 1873180019 454545277 2729963000 2530866796 357116260 3516199597 763031778 2866785581 935594248 2674761113 1482309936 468077706 2604580682 2875623040 2288118249 3685488177 3049072849 2086371189 938175881 319625083 852649669 1634360501 878039139 3774412034 4234585082 3755812579 455096346 424482822 3946376669 2314945985 605518715 1267515880 3610109829 1690037350 4244477096 2655567073 11121161 3412492840 1155626071 1596733130 2153006782 456041184 2031152141 1479927904 167924340 1411191813 2575664744 1806681915 1341663054 3861146819 3083550756 4137769566 388583516 1094333284 312250172 850229757 866151088 3930889711 1928204292 3001679799 936091199 2419427087 3846444963 3439584457 3484214724 2908601714 14998259 2697921974 3676799604 866888429 3089344854 717656482 683996529 2621080599 1265217766 428646746 2153733000 3839934382 43266337 676418431 2221008593 2352730766 3469529931 3644300276 509547985 1473790079 1328538098 2796909069 29764724 303155625 447650832 2229137858 2432167936 3978428201 75775055 2046784666 2037742858 3249569047 1504836283 3996228114 1154016574 788087703 1317509950 3179052715 3288202313 52556798 2928315171 2890196185 4000243002 2856432448 4156176446 3990076090 2514317358 3459768812 3532093728 1864458580 43048773 698808044 2964934646 504449439 3128290393 3033196502 1999741538 1073256184 4142271254 183942140 551230292 720814677 2338955255 891932633 1233490235 1266513884 3204785473 889868133 1617095692 1332478455 119232236 742802463 4184597002 416810306 3313928108 629790021 3449503874 2781058382 961864977 391809706 3123171529 2470395925 28207557 1456155579 1151694879 364921665 1148955981 256605536 1002096322 1185804380 226125771 2388047676 2129541272 3246593758 1677134287 4285322840 2494511932 149306855 3951283276 1814624758 1079995393 967750062 1286764120 23059471 857079300 3441029191 3530650616 4232009344 1071756788 2476180716 2521159075 2246599392 2139291422 571981786 3285113070 4242894055 3005499897 681341808 698768634 1360025797 2071422141 773632526 3208229113 2106400590 3208214701 2349448599 1057856717 3516198075 1665623328 3320123478 2647699338 2038720800 3934749008 865830803 528583400 2159176082 85832025 2009096301 24382660 1619212089 626442798 642945775 255 362436" option to reproduce the execution
0.19/0.26	c #vars 169
0.19/0.26	c #constraints 101
0.19/0.27	c BCD2: Hardening is enabled.
0.19/0.27	c BCD2: BiasedSearch is enabled.
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |      123      0 |        0 |        0
0.19/0.27	c  0.0s |       0 |      107 |        0 |      123      0 |        0 |        0
0.19/0.27	c #cpu_time = 0.001s
0.19/0.27	c #wall_clock_time = 0.001s
0.19/0.27	c #decision = 107
0.19/0.27	c #random_decision = 1
0.19/0.27	c #conflict = 0
0.19/0.27	c #restart = 0
0.19/0.27	o 627
0.19/0.27	c BCD2: updating upper bound: 5179 -> 626
0.19/0.27	c BCD2: 0 <= obj <= 626
0.19/0.27	c BCD2: #cores=0, #unrelaxed=101, #relaxed=0, #hardened=0
0.19/0.27	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |      123      0 |        0 |        0
0.19/0.28	c  0.0s |       1 |      288 |      100 |      123      0 |        0 |        0
0.29/0.31	c  0.0s |       2 |      656 |      250 |      136      0 |        0 |        0
0.29/0.35	c  0.1s |       3 |     1139 |      475 |      150      2 |        0 |        0
0.39/0.42	c  0.1s |       4 |     1747 |      813 |      165      4 |        0 |        0
0.48/0.51	c  0.2s |       5 |     2660 |     1320 |      182      7 |        0 |        0
0.59/0.66	c  0.4s |       6 |     3918 |     2081 |      222     11 |        0 |        0
0.88/0.91	c  0.6s |       7 |     5724 |     3223 |      245     17 |        0 |        0
1.20/1.28	c  1.0s |       8 |     8385 |     4936 |      270     25 |        0 |        0
1.59/1.68	c  1.4s |       9 |    12004 |     7506 |      297     36 |        0 |        0
2.20/2.29	c  2.0s |      10 |    17493 |    11361 |      327     52 |        0 |        0
2.99/3.09	c  2.8s |      11 |    25897 |    17144 |      360     75 |        0 |        0
4.29/4.35	c  4.1s |      12 |    38289 |    25819 |      397    108 |        0 |        0
6.29/6.36	c  6.1s |      12 |    55513 |    38319 |      397    152 |        0 |        0
6.39/6.44	c  6.2s |      13 |    56288 |    38832 |      437    154 |        0 |        0
8.29/8.39	c  8.1s |      13 |    69800 |    48538 |      437    187 |        0 |        0
8.29/8.39	c #cpu_time = 8.097s
8.29/8.39	c #wall_clock_time = 8.118s
8.29/8.39	c #decision = 69800
8.29/8.39	c #random_decision = 163
8.29/8.39	c #conflict = 48538
8.29/8.39	c #restart = 13
8.29/8.39	c BCD2: found a new core of size 100: cost of the new core is >=1
8.29/8.39	c lower bound updated to 1
8.29/8.39	c BCD2: 1 <= obj <= 626
8.29/8.39	c BCD2: #cores=1, #unrelaxed=1, #relaxed=100, #hardened=0
8.29/8.39	c BCD2: #sat=1 #unsat=2 bias=2/3
8.29/8.39	c Solving starts ...
8.29/8.39	c ============================[ Search Statistics ]============================
8.29/8.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.29/8.39	c       |         |          |          |    Limit     GC | Var      | Constra 
8.29/8.39	c =============================================================================
8.29/8.39	c  0.0s |       0 |        0 |        0 |      437      0 |        0 |        0
8.29/8.39	c  0.0s |       0 |      134 |        1 |      437      1 |        0 |        0
8.29/8.39	c #cpu_time = 0.004s
8.29/8.39	c #wall_clock_time = 0.004s
8.29/8.39	c #decision = 134
8.29/8.39	c #random_decision = 0
8.29/8.39	c #conflict = 1
8.29/8.39	c #restart = 0
8.29/8.39	o 49
8.29/8.39	c BCD2: hardening fixes 55 literals
8.29/8.39	c BCD2: updating upper bound: 626 -> 48
8.29/8.39	c BCD2: 1 <= obj <= 48
8.29/8.39	c BCD2: #cores=1, #unrelaxed=0, #relaxed=46, #hardened=55
8.29/8.39	c BCD2: #sat=2 #unsat=2 bias=2/4
8.29/8.39	c Solving starts ...
8.29/8.39	c ============================[ Search Statistics ]============================
8.29/8.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.29/8.39	c       |         |          |          |    Limit     GC | Var      | Constra 
8.29/8.39	c =============================================================================
8.29/8.39	c  0.0s |       0 |        0 |        0 |      437      0 |       55 |        2
8.39/8.41	c  0.0s |       1 |      197 |      100 |      437      0 |       55 |        2
8.39/8.43	c  0.0s |       2 |      507 |      250 |      437      0 |       55 |        2
8.39/8.46	c  0.1s |       3 |      935 |      475 |      437      1 |       55 |        2
8.49/8.50	c  0.1s |       4 |     1554 |      813 |      437      2 |       55 |        2
8.49/8.56	c  0.2s |       5 |     2428 |     1320 |      437      4 |       55 |        2
8.59/8.66	c  0.3s |       6 |     3665 |     2081 |      437      6 |       55 |        2
8.69/8.80	c  0.4s |       7 |     5620 |     3223 |      437     10 |       55 |        2
8.99/9.02	c  0.6s |       8 |     8328 |     4936 |      437     16 |       55 |        2
9.29/9.33	c  0.9s |       9 |    12534 |     7506 |      437     25 |       55 |        2
9.79/9.80	c  1.4s |      10 |    18787 |    11361 |      481     37 |       55 |        2
10.49/10.50	c  2.1s |      11 |    28124 |    17144 |      481     56 |       55 |        2
11.10/11.19	c  2.8s |      11 |    37347 |    22693 |      481     73 |       55 |        2
11.10/11.19	c #cpu_time = 2.794s
11.10/11.19	c #wall_clock_time = 2.801s
11.10/11.19	c #decision = 37347
11.10/11.19	c #random_decision = 120
11.10/11.19	c #conflict = 22693
11.10/11.19	c #restart = 11
11.10/11.19	o 22
11.10/11.19	c BCD2: hardening fixes 28 literals
11.10/11.19	c BCD2: updating upper bound: 48 -> 21
11.10/11.19	c BCD2: 1 <= obj <= 21
11.10/11.19	c BCD2: #cores=1, #unrelaxed=0, #relaxed=18, #hardened=83
11.10/11.19	c BCD2: #sat=3 #unsat=2 bias=2/5
11.10/11.19	c Solving starts ...
11.10/11.19	c ============================[ Search Statistics ]============================
11.10/11.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.10/11.19	c       |         |          |          |    Limit     GC | Var      | Constra 
11.10/11.19	c =============================================================================
11.10/11.20	c  0.0s |       0 |        0 |        0 |      481      0 |       83 |        4
11.19/11.21	c  0.0s |       1 |      148 |      100 |      481      1 |       83 |        4
11.19/11.22	c  0.0s |       2 |      361 |      250 |      481      1 |       83 |        4
11.19/11.25	c  0.1s |       3 |      695 |      475 |      481      2 |       83 |        4
11.29/11.30	c  0.1s |       4 |     1140 |      813 |      481      3 |       83 |        4
11.29/11.36	c  0.2s |       5 |     1854 |     1320 |      481      4 |       83 |        4
11.39/11.45	c  0.3s |       6 |     2933 |     2081 |      481      7 |       83 |        4
11.49/11.58	c  0.4s |       7 |     4542 |     3223 |      481     10 |       83 |        4
11.69/11.77	c  0.6s |       8 |     7112 |     4936 |      481     16 |       83 |        4
11.99/12.04	c  0.8s |       9 |    10910 |     7506 |      481     23 |       83 |        4
12.39/12.48	c  1.3s |      10 |    16421 |    11361 |      481     35 |       83 |        4
13.09/13.13	c  1.9s |      11 |    24556 |    17144 |      530     52 |       83 |        4
13.49/13.54	c  2.3s |      11 |    29528 |    20681 |      530     62 |       83 |        4
13.49/13.54	c #cpu_time = 2.339s
13.49/13.54	c #wall_clock_time = 2.345s
13.49/13.54	c #decision = 29528
13.49/13.54	c #random_decision = 84
13.49/13.54	c #conflict = 20681
13.49/13.54	c #restart = 11
13.49/13.54	o 9
13.49/13.54	c BCD2: hardening fixes 13 literals
13.49/13.54	c BCD2: updating upper bound: 21 -> 8
13.49/13.54	c BCD2: 1 <= obj <= 8
13.49/13.54	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=96
13.49/13.54	c BCD2: #sat=4 #unsat=2 bias=2/6
13.49/13.54	c Solving starts ...
13.49/13.54	c ============================[ Search Statistics ]============================
13.49/13.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.49/13.54	c       |         |          |          |    Limit     GC | Var      | Constra 
13.49/13.54	c =============================================================================
13.49/13.54	c  0.0s |       0 |        0 |        0 |      530      0 |       96 |        6
13.49/13.55	c  0.0s |       1 |      154 |      100 |      530      1 |       96 |        6
13.49/13.57	c  0.0s |       2 |      356 |      250 |      530      1 |       96 |        6
13.59/13.60	c  0.1s |       3 |      673 |      475 |      530      2 |       96 |        6
13.59/13.64	c  0.1s |       4 |     1181 |      813 |      530      3 |       96 |        6
13.69/13.70	c  0.2s |       5 |     1877 |     1320 |      530      4 |       96 |        6
13.69/13.78	c  0.2s |       6 |     2985 |     2081 |      530      6 |       96 |        6
13.89/13.91	c  0.4s |       7 |     4554 |     3223 |      530      9 |       96 |        6
14.09/14.11	c  0.6s |       8 |     6969 |     4936 |      530     14 |       96 |        6
14.40/14.41	c  0.9s |       9 |    10483 |     7506 |      530     22 |       96 |        6
14.79/14.85	c  1.3s |      10 |    15956 |    11361 |      530     32 |       96 |        6
15.50/15.55	c  2.0s |      11 |    23779 |    17144 |      530     49 |       96 |        6
15.69/15.78	c  2.2s |      11 |    26182 |    18950 |      530     54 |       97 |        8
15.69/15.78	c #cpu_time = 2.238s
15.69/15.78	c #wall_clock_time = 2.244s
15.69/15.78	c #decision = 26182
15.69/15.78	c #random_decision = 67
15.69/15.78	c #conflict = 18950
15.69/15.78	c #restart = 11
15.69/15.78	c BCD2: updating lower bound of a core
15.69/15.78	c lower bound updated to 5
15.69/15.79	c BCD2: 5 <= obj <= 8
15.69/15.79	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=96
15.69/15.79	c BCD2: #sat=4 #unsat=3 bias=3/7
15.69/15.79	c Solving starts ...
15.69/15.79	c ============================[ Search Statistics ]============================
15.69/15.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.69/15.79	c       |         |          |          |    Limit     GC | Var      | Constra 
15.69/15.79	c =============================================================================
15.69/15.79	c  0.0s |       0 |        0 |        0 |      530      0 |       97 |        8
15.79/15.80	c  0.0s |       1 |      158 |      100 |      530      1 |       97 |        8
15.79/15.82	c  0.0s |       2 |      390 |      250 |      530      1 |       97 |        8
15.79/15.85	c  0.1s |       3 |      688 |      475 |      530      2 |       97 |        8
15.79/15.88	c  0.1s |       4 |     1115 |      813 |      530      3 |       97 |        8
15.89/15.94	c  0.2s |       5 |     1817 |     1320 |      530      4 |       97 |        8
15.99/16.02	c  0.2s |       6 |     2809 |     2081 |      530      6 |       97 |        8
16.09/16.15	c  0.4s |       7 |     4353 |     3223 |      530      9 |       97 |        8
16.29/16.35	c  0.6s |       8 |     6694 |     4936 |      530     14 |       97 |        8
16.59/16.64	c  0.9s |       9 |    10281 |     7506 |      530     21 |       97 |        8
16.99/17.09	c  1.3s |      10 |    15474 |    11361 |      530     32 |       97 |        8
17.69/17.76	c  2.0s |      11 |    23328 |    17144 |      530     49 |       97 |        8
18.49/18.55	c  2.8s |      11 |    32652 |    23953 |      583     67 |       98 |       10
18.49/18.55	c #cpu_time = 2.760s
18.49/18.55	c #wall_clock_time = 2.767s
18.49/18.55	c #decision = 32652
18.49/18.55	c #random_decision = 65
18.49/18.55	c #conflict = 23953
18.49/18.55	c #restart = 11
18.49/18.55	c BCD2: updating lower bound of a core
18.49/18.55	c lower bound updated to 8
18.49/18.55	c BCD2: 8 <= obj <= 8
18.49/18.55	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=96
18.49/18.55	c BCD2: #sat=4 #unsat=4 bias=4/8
18.49/18.55	c Solving starts ...
18.49/18.55	c ============================[ Search Statistics ]============================
18.49/18.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
18.49/18.55	c       |         |          |          |    Limit     GC | Var      | Constra 
18.49/18.55	c =============================================================================
18.49/18.55	c  0.0s |       0 |        0 |        0 |      583      0 |       98 |       10
18.49/18.57	c  0.0s |       1 |      132 |      100 |      583      0 |       98 |       10
18.49/18.59	c  0.0s |       2 |      331 |      250 |      583      1 |       98 |       10
18.59/18.61	c  0.1s |       3 |      657 |      475 |      583      1 |       98 |       10
18.59/18.66	c  0.1s |       4 |     1139 |      813 |      583      2 |       98 |       10
18.69/18.71	c  0.2s |       5 |     1784 |     1320 |      583      3 |       98 |       10
18.79/18.80	c  0.2s |       6 |     2845 |     2081 |      583      5 |       98 |       10
18.89/18.94	c  0.4s |       7 |     4374 |     3223 |      583      8 |       98 |       10
19.09/19.14	c  0.6s |       8 |     6726 |     4936 |      583     13 |       98 |       10
19.39/19.45	c  0.9s |       9 |    10163 |     7506 |      583     20 |       98 |       10
19.89/19.91	c  1.4s |      10 |    15432 |    11361 |      583     30 |       98 |       10
20.49/20.52	c  2.0s |      10 |    22028 |    16274 |      583     43 |      100 |       13
20.49/20.52	c #cpu_time = 1.961s
20.49/20.52	c #wall_clock_time = 1.966s
20.49/20.52	c #decision = 22028
20.49/20.52	c #random_decision = 50
20.49/20.52	c #conflict = 16274
20.49/20.52	c #restart = 10
20.49/20.52	c BCD2: updating lower bound of a core
20.49/20.52	c lower bound updated to 10
20.49/20.52	s OPTIMUM FOUND
20.49/20.52	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
20.49/20.52	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20
20.49/20.52	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
20.49/20.52	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40
20.49/20.52	v -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
20.49/20.52	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60
20.49/20.52	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
20.49/20.52	v -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80
20.49/20.52	v -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90
20.49/20.52	v -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100
20.49/20.52	v -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110
20.49/20.52	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
20.49/20.52	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130
20.49/20.52	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140
20.49/20.52	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
20.49/20.52	v -x151 -x152 x153 -x154 -x155 -x156 -x157 x158 -x159 -x160
20.49/20.52	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
20.49/20.52	c total CPU time = 20.469s
20.49/20.52	c total wall clock time = 20.523s

Verifier Data 

OK	9

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-4110318-1466344881/watcher-4110318-1466344881 -o /tmp/evaluation-result-4110318-1466344881/solver-4110318-1466344881 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466341817-6063 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110318-1466344881.wbo 

pid=8137
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.35 2.34 2.19 3/180 8140
/proc/meminfo: memFree=28802672/32872528 swapFree=1542984/1696284
[pid=8140] ppid=8137 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/8140/stat : 8140 (toysat) R 8137 8140 6047 0 -1 4202496 2736 0 0 0 0 0 0 0 20 0 4 0 36534698 750186496 2585 33554432000 4194304 16246674 140733689399600 140733689399024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8140/statm: 183663 2593 441 2943 0 180557 0
[pid=8140/tid=8141] ppid=8137 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36534698 773255168 2674 33554432000 4194304 16246674 140733689399600 140463534222576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36534698 778498048 2692 33554432000 4194304 16246674 140733689399600 140463523732720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36534698 782692352 2707 33554432000 4194304 16246674 140733689399600 140463513259184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.35 2.34 2.19 3/180 8140
/proc/meminfo: memFree=28802672/32872528 swapFree=1542984/1696284
[pid=8140] ppid=8137 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8140/stat : 8140 (toysat) R 8137 8140 6047 0 -1 4202496 18504 0 0 0 6 3 0 0 20 0 4 0 36534698 1247350784 18347 33554432000 4194304 16246674 140733689399600 140733689399024 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8140/statm: 304529 18348 615 2943 0 301423 0
[pid=8140/tid=8141] ppid=8137 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36534698 1247350784 18351 33554432000 4194304 16246674 140733689399600 140463534222576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36534698 1247350784 18353 33554432000 4194304 16246674 140733689399600 140463523732720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36534698 1247350784 18356 33554432000 4194304 16246674 140733689399600 140463513259184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200481 s]
/proc/loadavg: 2.35 2.34 2.19 3/180 8140
/proc/meminfo: memFree=28802672/32872528 swapFree=1542984/1696284
[pid=8140] ppid=8137 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8140/stat : 8140 (toysat) R 8137 8140 6047 0 -1 4202496 26369 0 0 0 15 4 0 0 20 0 4 0 36534698 1247350784 26211 33554432000 4194304 16246674 140733689399600 140733689399024 6144396 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8140/statm: 304529 26211 615 2943 0 301423 0
[pid=8140/tid=8141] ppid=8137 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36534698 1247350784 26211 33554432000 4194304 16246674 140733689399600 140463534222576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36534698 1247350784 26212 33554432000 4194304 16246674 140733689399600 140463523732720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36534698 1247350784 26212 33554432000 4194304 16246674 140733689399600 140463513259184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300445 s]
/proc/loadavg: 2.35 2.34 2.19 3/180 8140
/proc/meminfo: memFree=28802672/32872528 swapFree=1542984/1696284
[pid=8140] ppid=8137 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/8140/stat : 8140 (toysat) R 8137 8140 6047 0 -1 4202496 36825 0 0 0 23 6 0 0 20 0 4 0 36534698 1247350784 36661 33554432000 4194304 16246674 140733689399600 140733689399024 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8140/statm: 304529 36666 808 2943 0 301423 0
[pid=8140/tid=8141] ppid=8137 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36534698 1247350784 36668 33554432000 4194304 16246674 140733689399600 140463534222576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36534698 1247350784 36679 33554432000 4194304 16246674 140733689399600 140463523732720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36534698 1247350784 36686 33554432000 4194304 16246674 140733689399600 140463513259184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700384 s]
/proc/loadavg: 2.35 2.34 2.19 3/180 8140
/proc/meminfo: memFree=28802672/32872528 swapFree=1542984/1696284
[pid=8140] ppid=8137 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/8140/stat : 8140 (toysat) R 8137 8140 6047 0 -1 4202496 112501 0 0 0 54 15 0 0 20 0 4 0 36534698 1247350784 112336 33554432000 4194304 16246674 140733689399600 140733689399024 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8140/statm: 304529 112344 815 2943 0 301423 0
[pid=8140/tid=8141] ppid=8137 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36534698 1247350784 112347 33554432000 4194304 16246674 140733689399600 140463534222576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36534698 1247350784 112356 33554432000 4194304 16246674 140733689399600 140463523732720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36534698 1247350784 112366 33554432000 4194304 16246674 140733689399600 140463513259184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.33 2.33 2.19 3/184 8144
/proc/meminfo: memFree=28022688/32872528 swapFree=1542984/1696284
[pid=8140] ppid=8137 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/8140/stat : 8140 (toysat) R 8137 8140 6047 0 -1 4202496 245857 0 0 0 116 33 0 0 20 0 4 0 36534698 1248399360 245670 33554432000 4194304 16246674 140733689399600 140733689398912 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8140/statm: 304785 245670 873 2943 0 301679 0
[pid=8140/tid=8141] ppid=8137 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36534698 1248399360 245670 33554432000 4194304 16246674 140733689399600 140463534222576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36534698 1248399360 245670 33554432000 4194304 16246674 140733689399600 140463523732720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36534698 1248399360 245670 33554432000 4194304 16246674 140733689399600 140463513259184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.1004 s]
/proc/loadavg: 2.33 2.33 2.19 3/184 8144
/proc/meminfo: memFree=27734380/32872528 swapFree=1542984/1696284
[pid=8140] ppid=8137 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/8140/stat : 8140 (toysat) R 8137 8140 6047 0 -1 4202496 267624 0 0 0 272 37 0 0 20 0 4 0 36534698 1337528320 267437 33554432000 4194304 16246674 140733689399600 140733689381504 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8140/statm: 326545 267437 873 2943 0 323439 0
[pid=8140/tid=8141] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267437 33554432000 4194304 16246674 140733689399600 140463534222576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267437 33554432000 4194304 16246674 140733689399600 140463523732720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267437 33554432000 4194304 16246674 140733689399600 140463513259184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.33 2.33 2.19 4/184 8144
/proc/meminfo: memFree=27732892/32872528 swapFree=1542984/1696284
[pid=8140] ppid=8137 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/8140/stat : 8140 (toysat) R 8137 8140 6047 0 -1 4202496 267626 0 0 0 592 37 0 0 20 0 4 0 36534698 1337528320 267439 33554432000 4194304 16246674 140733689399600 140733689381504 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8140/statm: 326545 267439 873 2943 0 323439 0
[pid=8140/tid=8141] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267439 33554432000 4194304 16246674 140733689399600 140463534222576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267439 33554432000 4194304 16246674 140733689399600 140463523732720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267439 33554432000 4194304 16246674 140733689399600 140463513259184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.28 2.32 2.19 3/184 8144
/proc/meminfo: memFree=27732876/32872528 swapFree=1542984/1696284
[pid=8140] ppid=8137 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/8140/stat : 8140 (toysat) R 8137 8140 6047 0 -1 4202496 267636 0 0 0 1232 37 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140733689381504 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8140/statm: 326545 267449 882 2943 0 323439 0
[pid=8140/tid=8141] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463534222576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463523732720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463513259184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

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

[startup+12.8004 s]
/proc/loadavg: 2.28 2.32 2.19 3/184 8144
/proc/meminfo: memFree=27732876/32872528 swapFree=1542984/1696284
[pid=8140] ppid=8137 vsize=1306180 CPUtime=12.79 cores=0,2,4,6
/proc/8140/stat : 8140 (toysat) R 8137 8140 6047 0 -1 4202496 267636 0 0 0 1242 37 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140733689381504 5724160 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8140/statm: 326545 267449 882 2943 0 323439 0
[pid=8140/tid=8141] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463534222576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463523732720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463513259184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 1306180

[startup+16.0004 s]
/proc/loadavg: 2.28 2.32 2.19 3/184 8144
/proc/meminfo: memFree=27733136/32872528 swapFree=1542984/1696284
[pid=8140] ppid=8137 vsize=1306180 CPUtime=15.99 cores=0,2,4,6
/proc/8140/stat : 8140 (toysat) R 8137 8140 6047 0 -1 4202496 267636 0 0 0 1562 37 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140733689381504 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8140/statm: 326545 267449 882 2943 0 323439 0
[pid=8140/tid=8141] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463534222576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463523732720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463513259184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 1306180

[startup+17.6003 s]
/proc/loadavg: 2.33 2.33 2.19 3/184 8144
/proc/meminfo: memFree=27733012/32872528 swapFree=1542984/1696284
[pid=8140] ppid=8137 vsize=1306180 CPUtime=17.59 cores=0,2,4,6
/proc/8140/stat : 8140 (toysat) R 8137 8140 6047 0 -1 4202496 267636 0 0 0 1722 37 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140733689381504 6049921 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8140/statm: 326545 267449 882 2943 0 323439 0
[pid=8140/tid=8141] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463534222576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463523732720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463513259184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 17.59
Current children cumulated vsize (KiB) 1306180

[startup+19.2003 s]
/proc/loadavg: 2.33 2.33 2.19 3/184 8144
/proc/meminfo: memFree=27733012/32872528 swapFree=1542984/1696284
[pid=8140] ppid=8137 vsize=1306180 CPUtime=19.19 cores=0,2,4,6
/proc/8140/stat : 8140 (toysat) R 8137 8140 6047 0 -1 4202496 267636 0 0 0 1882 37 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140733689381504 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8140/statm: 326545 267449 882 2943 0 323439 0
[pid=8140/tid=8141] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463534222576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463523732720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463513259184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 1306180

[startup+20.0004 s]
/proc/loadavg: 2.33 2.33 2.19 3/184 8144
/proc/meminfo: memFree=27732888/32872528 swapFree=1542984/1696284
[pid=8140] ppid=8137 vsize=1306180 CPUtime=19.99 cores=0,2,4,6
/proc/8140/stat : 8140 (toysat) R 8137 8140 6047 0 -1 4202496 267636 0 0 0 1962 37 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140733689382600 5546252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8140/statm: 326545 267449 882 2943 0 323439 0
[pid=8140/tid=8141] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463534222576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463523732720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463513259184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (KiB) 1306180

[startup+20.4004 s]
/proc/loadavg: 2.33 2.33 2.19 3/184 8144
/proc/meminfo: memFree=27732888/32872528 swapFree=1542984/1696284
[pid=8140] ppid=8137 vsize=1306180 CPUtime=20.39 cores=0,2,4,6
/proc/8140/stat : 8140 (toysat) R 8137 8140 6047 0 -1 4202496 267636 0 0 0 2002 37 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140733689382600 5711245 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8140/statm: 326545 267449 882 2943 0 323439 0
[pid=8140/tid=8141] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463534222576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463523732720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463513259184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 20.39
Current children cumulated vsize (KiB) 1306180

[startup+20.5003 s]
/proc/loadavg: 2.33 2.33 2.19 3/184 8144
/proc/meminfo: memFree=27732888/32872528 swapFree=1542984/1696284
[pid=8140] ppid=8137 vsize=1306180 CPUtime=20.49 cores=0,2,4,6
/proc/8140/stat : 8140 (toysat) R 8137 8140 6047 0 -1 4202496 267636 0 0 0 2012 37 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140733689382600 5676224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8140/statm: 326545 267449 882 2943 0 323439 0
[pid=8140/tid=8141] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463534222576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8140/tid=8142] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463523732720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8140/tid=8143] ppid=8137 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36534698 1337528320 267449 33554432000 4194304 16246674 140733689399600 140463513259184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 20.49
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 20.5873
CPU time (s): 20.5829
CPU user time (s): 20.1469
CPU system time (s): 0.435933
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.1469
system time used= 0.435933
maximum resident set size= 1069808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267640
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 21

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051992 second user time and 0.082987 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-19 16:01:21
IDJOB=4110318
IDBENCH=79254
IDSOLVER=2553
FILE ID=node125/4110318-1466344881
RUNJOBID= node125-1466341817-6063
PBS_JOBID= 19922028
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110318-1466344881/watcher-4110318-1466344881 -o /tmp/evaluation-result-4110318-1466344881/solver-4110318-1466344881 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466341817-6063 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110318-1466344881.wbo

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

MD5SUM BENCH= b990c74120468e1d0b7525d3b3f74b05
RANDOM SEED=1888110616

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:        28803456 kB
Buffers:          182140 kB
Cached:           352880 kB
SwapCached:          764 kB
Active:          1253192 kB
Inactive:         372284 kB
Active(anon):    1091616 kB
Inactive(anon):     1188 kB
Active(file):     161576 kB
Inactive(file):   371096 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098312 kB
Dirty:             16724 kB
Writeback:             0 kB
AnonPages:       2787852 kB
Mapped:            10744 kB
Shmem:                 0 kB
Slab:             611676 kB
SReclaimable:      55220 kB
SUnreclaim:       556456 kB
KernelStack:        1488 kB
PageTables:         9256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2932424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    702464 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-19 16:01:41