Trace number 4093652

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 45.2101 45.2307

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo
MD5SUMa56ccccf952bf820f5367d29dba24868
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark12.2311
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 135715
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135714
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 695
Number of bits of the biggest sum of numbers10
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-16T18:32:08+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-4093652-1466094728.wbo"]
0.00/0.01	c use --random-gen="281919378 2313563593 3014308112 4109981747 39409917 3099924257 3563162555 168871037 3963022157 3193919376 1715810190 1100736975 2614423485 1766608208 3144049802 2240167177 2933193486 1542998455 571958458 4086663946 3019521033 1133334141 3774032682 919335997 3554885085 3562302483 893418174 149306414 1183619740 1384263426 3103067684 129021217 2476038474 3179653156 353761082 1897549428 4272998635 1375523874 1065756338 4206952978 2455395012 2686561523 1986108095 68504402 1155502636 944184193 2842062718 3445416700 139348982 132515868 3847506804 2578705270 1133499479 2970828930 4149444898 2672645914 1288801053 3609722557 3384014659 3084594867 1896942235 1209154608 3573099902 3470234231 2313110898 2342391145 728239590 767337492 1740588612 4037341908 304020423 4195828074 3639552228 1345841061 1411066718 3688385652 3821820978 41215199 3588431989 687885475 2410325969 1086564134 2729160580 861479240 1713049658 3403483948 2278588220 4253582568 1588667308 568087941 596162958 2120385492 468761359 3106574770 362211878 690836063 1786402633 754004519 3086887462 4022717146 3136728253 1793378003 2703833120 3234389366 4250424022 3814189686 4249383893 586811861 3296597900 2586766723 2747433748 111254734 3532242833 3380924960 3107026117 2915185618 944476583 190428476 30970368 1850623327 3723626322 4047470463 3041406834 529070860 2863341160 200552222 1006755292 4043754058 469450758 2127988296 1277733259 4116251530 332016036 2955060529 3680854215 83353474 2619144872 3372474577 1447244602 1067771531 2089832191 412445776 2641505481 3556026431 3266970547 1342826989 1162993535 3364437263 1934674260 448361618 3363848799 3367596720 1937422843 3123344370 3665358884 4021206319 1681891800 3065418757 3050886239 935398419 2069591234 179864586 3417920089 4024631016 105313620 3708919410 4014212233 4083594901 3580785787 2810945944 1276993673 3939889757 3318115121 3887283025 952257723 906039675 1226584953 2894225104 3398989233 2541450535 2777239350 2111197057 4194762990 3494047406 1186433629 2218926817 681757096 432655205 3950758148 2850843834 2663440757 2252670246 1260879766 3905468184 79603891 3922364027 3643066156 2187276554 2230618978 10457215 3228733431 1505514668 189916049 1907307666 161693677 1054136322 2468082476 1635691083 3921869272 3197712685 695097119 189885566 344711014 4100977638 2801209689 2941808797 492665901 1218178794 2882223281 3873019606 1942333170 772817310 1483465567 516256647 1298560091 1020191283 1099078008 1368865979 978549479 696273625 2512962379 4159202487 145151112 1125631577 1070590298 1243154747 2493804160 2451149521 1215693095 272443466 3570330658 195001402 1862412965 1326800908 2635796073 3101778131 4112540221 2744456534 1258725777 3170418576 4108529390 2594918482 2787369887 3995917844 1394912468 2295025563 255 362436" option to reproduce the execution
0.09/0.17	c #vars 231
0.09/0.17	c #constraints 2707
0.19/0.21	c BCD2: Hardening is enabled.
0.19/0.21	c BCD2: BiasedSearch is enabled.
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.19/0.23	c  0.0s |       0 |     2717 |        0 |     1881      0 |        0 |        0
0.19/0.23	c #cpu_time = 0.017s
0.19/0.23	c #wall_clock_time = 0.017s
0.19/0.23	c #decision = 2717
0.19/0.23	c #random_decision = 20
0.19/0.23	c #conflict = 0
0.19/0.23	c #restart = 0
0.19/0.23	o 443
0.19/0.24	c BCD2: updating upper bound: 135714 -> 442
0.19/0.25	c BCD2: 0 <= obj <= 442
0.19/0.25	c BCD2: #cores=0, #unrelaxed=2707, #relaxed=0, #hardened=0
0.19/0.25	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.19/0.28	c  0.0s |       1 |     2947 |      100 |     1881      0 |        0 |        0
0.29/0.32	c  0.1s |       2 |     5857 |      250 |     2070      0 |        0 |        0
0.29/0.38	c  0.1s |       3 |     8974 |      475 |     2277      0 |        0 |        0
0.39/0.46	c  0.2s |       4 |    12255 |      813 |     2505      0 |        0 |        0
0.59/0.62	c  0.4s |       5 |    15903 |     1320 |     2756      0 |        0 |        0
0.89/0.93	c  0.7s |       6 |    19764 |     2081 |     3336      0 |        0 |        0
1.49/1.51	c  1.3s |       7 |    24441 |     3223 |     3670      0 |        0 |        0
2.29/2.35	c  2.1s |       8 |    30143 |     4936 |     4038      0 |        0 |        0
4.18/4.25	c  4.0s |       9 |    37134 |     7506 |     4442      1 |        0 |        0
6.28/6.34	c  6.1s |       9 |    43624 |     9806 |     4442      2 |        0 |        0
7.38/7.49	c  7.2s |      10 |    46133 |    11361 |     4887      2 |        0 |        0
9.48/9.51	c  9.3s |      10 |    53226 |    13861 |     4887      3 |        0 |        0
11.59/11.60	c 11.4s |      10 |    56691 |    15861 |     4887      4 |        0 |        0
12.68/12.79	c 12.5s |      11 |    58811 |    17144 |     5376      4 |        0 |        0
14.79/14.86	c 14.6s |      11 |    64540 |    18944 |     5376      4 |        0 |        0
16.88/16.91	c 16.7s |      11 |    67819 |    20944 |     5376      5 |        0 |        0
18.88/18.96	c 18.7s |      11 |    70805 |    22644 |     5376      5 |        0 |        0
20.89/20.97	c 20.7s |      11 |    73515 |    24144 |     5376      5 |        0 |        0
22.89/22.94	c 22.7s |      11 |    75352 |    25294 |     5376      6 |        0 |        0
22.89/22.94	c #cpu_time = 22.617s
22.89/22.94	c #wall_clock_time = 22.683s
22.89/22.94	c #decision = 75352
22.89/22.94	c #random_decision = 33
22.89/22.94	c #conflict = 25294
22.89/22.94	c #restart = 11
22.89/22.94	c BCD2: found a new core of size 2445: cost of the new core is >=1
22.89/22.94	c lower bound updated to 1
22.89/22.94	c BCD2: 1 <= obj <= 442
22.89/22.94	c BCD2: #cores=1, #unrelaxed=262, #relaxed=2445, #hardened=0
22.89/22.94	c BCD2: #sat=1 #unsat=2 bias=2/3
22.89/22.95	c Solving starts ...
22.89/22.95	c ============================[ Search Statistics ]============================
22.89/22.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.89/22.95	c       |         |          |          |    Limit     GC | Var      | Constra 
22.89/22.95	c =============================================================================
22.89/22.95	c  0.0s |       0 |        0 |        0 |     5376      0 |        0 |        0
22.99/23.05	c  0.1s |       0 |     2963 |       38 |     5376      0 |        0 |        0
22.99/23.05	c #cpu_time = 0.099s
22.99/23.05	c #wall_clock_time = 0.099s
22.99/23.05	c #decision = 2963
22.99/23.05	c #random_decision = 9
22.99/23.05	c #conflict = 38
22.99/23.05	c #restart = 0
22.99/23.05	o 307
22.99/23.05	c BCD2: updating upper bound: 442 -> 306
22.99/23.07	c BCD2: 1 <= obj <= 306
22.99/23.07	c BCD2: #cores=1, #unrelaxed=262, #relaxed=2445, #hardened=0
22.99/23.07	c BCD2: #sat=2 #unsat=2 bias=2/4
22.99/23.08	c Solving starts ...
22.99/23.08	c ============================[ Search Statistics ]============================
22.99/23.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.99/23.08	c       |         |          |          |    Limit     GC | Var      | Constra 
22.99/23.08	c =============================================================================
22.99/23.08	c  0.0s |       0 |        0 |        0 |     5376      0 |        0 |        1
23.09/23.16	c  0.1s |       0 |      506 |        0 |     5376      0 |        0 |        1
23.09/23.16	c #cpu_time = 0.083s
23.09/23.16	c #wall_clock_time = 0.083s
23.09/23.16	c #decision = 506
23.09/23.16	c #random_decision = 0
23.09/23.16	c #conflict = 0
23.09/23.16	c #restart = 0
23.09/23.16	o 110
23.09/23.17	c BCD2: updating upper bound: 306 -> 109
23.09/23.17	c BCD2: 1 <= obj <= 109
23.09/23.17	c BCD2: #cores=1, #unrelaxed=262, #relaxed=2445, #hardened=0
23.09/23.17	c BCD2: #sat=3 #unsat=2 bias=2/5
23.09/23.19	c Solving starts ...
23.09/23.19	c ============================[ Search Statistics ]============================
23.09/23.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
23.09/23.19	c       |         |          |          |    Limit     GC | Var      | Constra 
23.09/23.19	c =============================================================================
23.09/23.19	c  0.0s |       0 |        0 |        0 |     5376      0 |        0 |        2
23.39/23.40	c  0.2s |       1 |      727 |      100 |     5376      0 |        0 |        2
23.48/23.53	c  0.3s |       1 |     1084 |      115 |     5376      0 |        0 |        2
23.48/23.53	c #cpu_time = 0.341s
23.48/23.53	c #wall_clock_time = 0.342s
23.48/23.53	c #decision = 1084
23.48/23.53	c #random_decision = 0
23.48/23.53	c #conflict = 115
23.48/23.53	c #restart = 1
23.48/23.53	o 81
23.48/23.53	c BCD2: hardening fixes 533 literals
23.48/23.53	c BCD2: updating upper bound: 109 -> 80
23.48/23.54	c BCD2: 1 <= obj <= 80
23.48/23.54	c BCD2: #cores=1, #unrelaxed=207, #relaxed=1967, #hardened=533
23.48/23.54	c BCD2: #sat=4 #unsat=2 bias=2/6
23.48/23.55	c Solving starts ...
23.48/23.55	c ============================[ Search Statistics ]============================
23.48/23.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
23.48/23.55	c       |         |          |          |    Limit     GC | Var      | Constra 
23.48/23.55	c =============================================================================
23.48/23.55	c  0.0s |       0 |        0 |        0 |     5376      0 |      533 |        3
23.68/23.77	c  0.2s |       1 |      388 |      100 |     5376      0 |      533 |        3
23.98/24.06	c  0.5s |       2 |      853 |      250 |     5914      0 |      533 |        3
24.38/24.40	c  0.9s |       3 |     1464 |      475 |     5914      0 |      533 |        3
24.78/24.81	c  1.3s |       4 |     2227 |      813 |     5914      0 |      533 |        3
25.48/25.52	c  2.0s |       5 |     3301 |     1320 |     5914      0 |      533 |        3
26.39/26.41	c  2.9s |       5 |     4646 |     2051 |     5914      1 |      533 |        3
26.39/26.41	c #cpu_time = 2.849s
26.39/26.41	c #wall_clock_time = 2.856s
26.39/26.41	c #decision = 4646
26.39/26.41	c #random_decision = 5
26.39/26.41	c #conflict = 2051
26.39/26.41	c #restart = 5
26.39/26.41	o 18
26.39/26.41	c BCD2: hardening fixes 1712 literals
26.39/26.41	c BCD2: updating upper bound: 80 -> 17
26.39/26.42	c BCD2: 1 <= obj <= 17
26.39/26.42	c BCD2: #cores=1, #unrelaxed=38, #relaxed=424, #hardened=2245
26.39/26.42	c BCD2: #sat=5 #unsat=2 bias=2/7
26.39/26.42	c Solving starts ...
26.39/26.42	c ============================[ Search Statistics ]============================
26.39/26.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.39/26.42	c       |         |          |          |    Limit     GC | Var      | Constra 
26.39/26.42	c =============================================================================
26.39/26.42	c  0.0s |       0 |        0 |        0 |     5914      0 |     2245 |        4
26.49/26.51	c  0.1s |       1 |      210 |      100 |     5914      0 |     2245 |        4
26.58/26.61	c  0.2s |       2 |      497 |      250 |     5914      0 |     2245 |        4
26.68/26.75	c  0.3s |       3 |      886 |      475 |     5914      0 |     2245 |        4
26.88/26.96	c  0.5s |       4 |     1508 |      813 |     5914      0 |     2245 |        4
27.18/27.25	c  0.8s |       5 |     2406 |     1320 |     5914      0 |     2245 |        4
27.68/27.71	c  1.3s |       6 |     3726 |     2081 |     5914      0 |     2245 |        4
28.28/28.33	c  1.9s |       7 |     5432 |     3223 |     5914      0 |     2245 |        4
29.28/29.35	c  2.9s |       8 |     8020 |     4936 |     5914      1 |     2245 |        4
30.89/30.98	c  4.6s |       9 |    11867 |     7506 |     5914      1 |     2245 |        4
31.38/31.47	c  5.0s |       9 |    13352 |     8401 |     5914      1 |     2245 |        4
31.38/31.47	c #cpu_time = 5.036s
31.38/31.47	c #wall_clock_time = 5.049s
31.38/31.47	c #decision = 13352
31.38/31.47	c #random_decision = 3
31.38/31.47	c #conflict = 8401
31.38/31.47	c #restart = 9
31.38/31.47	o 6
31.38/31.47	c BCD2: hardening fixes 324 literals
31.38/31.47	c BCD2: updating upper bound: 17 -> 5
31.38/31.48	c BCD2: 1 <= obj <= 5
31.38/31.48	c BCD2: #cores=1, #unrelaxed=11, #relaxed=127, #hardened=2569
31.38/31.48	c BCD2: #sat=6 #unsat=2 bias=2/8
31.38/31.48	c Solving starts ...
31.38/31.48	c ============================[ Search Statistics ]============================
31.38/31.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
31.38/31.48	c       |         |          |          |    Limit     GC | Var      | Constra 
31.38/31.48	c =============================================================================
31.38/31.48	c  0.0s |       0 |        0 |        0 |     5914      0 |     2569 |        5
31.47/31.56	c  0.1s |       1 |      181 |      100 |     5914      0 |     2569 |        6
31.57/31.64	c  0.2s |       2 |      442 |      250 |     5914      0 |     2569 |        6
31.67/31.76	c  0.3s |       3 |      838 |      475 |     5914      0 |     2569 |        6
31.88/31.96	c  0.5s |       4 |     1412 |      813 |     5914      0 |     2569 |        6
32.17/32.24	c  0.8s |       5 |     2220 |     1320 |     5914      1 |     2569 |        6
32.57/32.60	c  1.1s |       6 |     3544 |     2081 |     5914      1 |     2569 |        6
33.08/33.11	c  1.6s |       7 |     5432 |     3223 |     6506      1 |     2569 |        6
33.87/33.93	c  2.5s |       8 |     7952 |     4936 |     6506      1 |     2569 |        6
35.07/35.14	c  3.7s |       9 |    12112 |     7506 |     6506      2 |     2569 |        6
36.87/36.94	c  5.5s |      10 |    18421 |    11361 |     6506      3 |     2569 |        6
38.87/38.97	c  7.5s |      10 |    24717 |    15461 |     6506      4 |     2569 |        6
39.58/39.67	c  8.2s |      11 |    27080 |    17144 |     6506      4 |     2569 |        6
39.88/39.98	c  8.5s |      11 |    27847 |    17606 |     6506      4 |     2569 |        6
39.88/39.98	c #cpu_time = 8.468s
39.88/39.98	c #wall_clock_time = 8.498s
39.88/39.98	c #decision = 27847
39.88/39.98	c #random_decision = 40
39.88/39.98	c #conflict = 17606
39.88/39.98	c #restart = 11
39.88/39.98	o 2
39.88/39.98	c BCD2: hardening fixes 110 literals
39.88/39.98	c BCD2: updating upper bound: 5 -> 1
39.88/39.98	c BCD2: 1 <= obj <= 1
39.88/39.98	c BCD2: #cores=1, #unrelaxed=0, #relaxed=28, #hardened=2679
39.88/39.98	c BCD2: #sat=7 #unsat=2 bias=2/9
39.88/39.98	c Solving starts ...
39.88/39.98	c ============================[ Search Statistics ]============================
39.88/39.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
39.88/39.98	c       |         |          |          |    Limit     GC | Var      | Constra 
39.88/39.98	c =============================================================================
39.88/39.98	c  0.0s |       0 |        0 |        0 |     6506      0 |     2679 |       12
39.97/40.04	c  0.1s |       1 |      170 |      100 |     6506      0 |     2679 |       12
40.07/40.11	c  0.1s |       2 |      446 |      250 |     6506      0 |     2679 |       12
40.17/40.23	c  0.2s |       3 |      825 |      475 |     6506      0 |     2679 |       12
40.27/40.38	c  0.4s |       4 |     1415 |      813 |     6506      0 |     2679 |       12
40.57/40.61	c  0.6s |       5 |     2187 |     1320 |     6506      0 |     2679 |       12
40.87/40.98	c  1.0s |       6 |     3405 |     2081 |     6506      0 |     2679 |       12
41.37/41.45	c  1.5s |       7 |     5326 |     3223 |     6506      1 |     2679 |       12
41.97/42.09	c  2.1s |       8 |     8116 |     4936 |     7157      1 |     2679 |       12
43.07/43.18	c  3.2s |       9 |    12438 |     7506 |     7157      2 |     2679 |       12
44.57/44.65	c  4.7s |      10 |    18854 |    11361 |     7157      2 |     2679 |       12
45.08/45.17	c  5.2s |      10 |    21121 |    12679 |     7157      3 |     2679 |       12
45.08/45.17	c #cpu_time = 5.172s
45.08/45.17	c #wall_clock_time = 5.185s
45.08/45.17	c #decision = 21121
45.08/45.17	c #random_decision = 45
45.08/45.17	c #conflict = 12679
45.08/45.17	c #restart = 10
45.08/45.17	o 1
45.08/45.17	s OPTIMUM FOUND
45.08/45.17	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10
45.08/45.17	v x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
45.08/45.17	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30
45.08/45.17	v -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40
45.08/45.17	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
45.08/45.17	v -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
45.08/45.17	v -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 x70
45.08/45.17	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80
45.08/45.17	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
45.08/45.17	v -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100
45.08/45.17	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110
45.08/45.17	v -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120
45.08/45.17	v -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130
45.08/45.17	v -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140
45.08/45.17	v -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150
45.08/45.17	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160
45.08/45.17	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
45.08/45.17	v x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
45.08/45.17	v -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
45.18/45.31	v -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200
45.18/45.31	v -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
45.18/45.31	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220
45.18/45.31	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230
45.18/45.31	v -x231
45.18/45.31	c total CPU time = 45.040s
45.18/45.31	c total wall clock time = 45.171s

Verifier Data 

OK	1

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

pid=28785
running on 4 cores: 1,3,5,7

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.00 2.01 2.08 3/170 28788
/proc/meminfo: memFree=31932672/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=798140 CPUtime=0 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202496 2992 0 0 0 0 0 0 0 20 0 4 0 11517581 817295360 2842 33554432000 4194304 16246674 140733355036144 140733355035568 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28788/statm: 200047 2851 441 2943 0 196941 0
[pid=28788/tid=28790] ppid=28785 vsize=815548 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28790/stat : 28790 (toysat) S 28785 28788 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11517581 835121152 2908 33554432000 4194304 16246674 140733355036144 140188608081136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28788/tid=28791] ppid=28785 vsize=819644 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28791/stat : 28791 (toysat) S 28785 28788 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11517581 839315456 2927 33554432000 4194304 16246674 140733355036144 140188597591280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28788/tid=28792] ppid=28785 vsize=824764 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28792/stat : 28792 (toysat) S 28785 28788 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11517581 844558336 2945 33554432000 4194304 16246674 140733355036144 140188587117744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100155 s]
/proc/loadavg: 2.00 2.01 2.08 3/170 28788
/proc/meminfo: memFree=31932672/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202496 25095 0 0 0 5 4 0 0 20 0 4 0 11517581 1247350784 24937 33554432000 4194304 16246674 140733355036144 140733355035568 12459048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28788/statm: 304529 24942 603 2943 0 301423 0
[pid=28788/tid=28790] ppid=28785 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28790/stat : 28790 (toysat) S 28785 28788 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11517581 1247350784 24947 33554432000 4194304 16246674 140733355036144 140188608081136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28788/tid=28791] ppid=28785 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28791/stat : 28791 (toysat) S 28785 28788 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11517581 1247350784 24950 33554432000 4194304 16246674 140733355036144 140188597591280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28788/tid=28792] ppid=28785 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28792/stat : 28792 (toysat) S 28785 28788 9094 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11517581 1247350784 24952 33554432000 4194304 16246674 140733355036144 140188587117744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200525 s]
/proc/loadavg: 2.00 2.01 2.08 3/170 28788
/proc/meminfo: memFree=31932672/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=1223236 CPUtime=0.19 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202496 35856 0 0 0 13 6 0 0 20 0 4 0 11517581 1252593664 35652 33554432000 4194304 16246674 140733355036144 140733355035456 4569345 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28788/statm: 305809 35652 855 2943 0 302703 0
[pid=28788/tid=28790] ppid=28785 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28790/stat : 28790 (toysat) S 28785 28788 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11517581 1252593664 35652 33554432000 4194304 16246674 140733355036144 140188608081136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28788/tid=28791] ppid=28785 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28791/stat : 28791 (toysat) S 28785 28788 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11517581 1252593664 35652 33554432000 4194304 16246674 140733355036144 140188597591280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28788/tid=28792] ppid=28785 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28792/stat : 28792 (toysat) S 28785 28788 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11517581 1252593664 35652 33554432000 4194304 16246674 140733355036144 140188587117744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1223236

[startup+0.300487 s]
/proc/loadavg: 2.00 2.01 2.08 3/170 28788
/proc/meminfo: memFree=31932672/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=1307204 CPUtime=0.29 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202496 48049 0 0 0 21 8 0 0 20 0 4 0 11517581 1338576896 47845 33554432000 4194304 16246674 140733355036144 140733355035456 6011022 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28788/statm: 326801 47856 918 2943 0 323695 0
[pid=28788/tid=28790] ppid=28785 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28790/stat : 28790 (toysat) S 28785 28788 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11517581 1338576896 47861 33554432000 4194304 16246674 140733355036144 140188608081136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28788/tid=28791] ppid=28785 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28791/stat : 28791 (toysat) S 28785 28788 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11517581 1338576896 47865 33554432000 4194304 16246674 140733355036144 140188597591280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28788/tid=28792] ppid=28785 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28792/stat : 28792 (toysat) S 28785 28788 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11517581 1338576896 47868 33554432000 4194304 16246674 140733355036144 140188587117744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204

[startup+0.700416 s]
/proc/loadavg: 2.00 2.01 2.08 3/170 28788
/proc/meminfo: memFree=31932672/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=1308228 CPUtime=0.69 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202496 81234 0 0 0 57 12 0 0 20 0 4 0 11517581 1339625472 81030 33554432000 4194304 16246674 140733355036144 140733355035456 6021684 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28788/statm: 327057 81030 920 2943 0 323951 0
[pid=28788/tid=28790] ppid=28785 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28790/stat : 28790 (toysat) S 28785 28788 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11517581 1339625472 81030 33554432000 4194304 16246674 140733355036144 140188608081136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28788/tid=28791] ppid=28785 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28791/stat : 28791 (toysat) S 28785 28788 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11517581 1339625472 81030 33554432000 4194304 16246674 140733355036144 140188597591280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28788/tid=28792] ppid=28785 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28792/stat : 28792 (toysat) S 28785 28788 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11517581 1339625472 81030 33554432000 4194304 16246674 140733355036144 140188587117744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1308228

[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.08 3/183 28805
/proc/meminfo: memFree=31381316/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=1308228 CPUtime=1.49 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202496 81461 0 0 0 137 12 0 0 20 0 4 0 11517581 1339625472 81257 33554432000 4194304 16246674 140733355036144 140733355018048 5545916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28788/statm: 327057 81257 923 2943 0 323951 0
[pid=28788/tid=28790] ppid=28785 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28790/stat : 28790 (toysat) S 28785 28788 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11517581 1339625472 81257 33554432000 4194304 16246674 140733355036144 140188608081136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28788/tid=28791] ppid=28785 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28791/stat : 28791 (toysat) S 28785 28788 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11517581 1339625472 81257 33554432000 4194304 16246674 140733355036144 140188597591280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28788/tid=28792] ppid=28785 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28792/stat : 28792 (toysat) S 28785 28788 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11517581 1339625472 81257 33554432000 4194304 16246674 140733355036144 140188587117744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.10043 s]
/proc/loadavg: 2.00 2.01 2.08 3/183 28805
/proc/meminfo: memFree=31351912/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202496 81469 0 0 0 297 12 0 0 20 0 4 0 11517581 1339625472 81265 33554432000 4194304 16246674 140733355036144 140733355035320 5724574 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28788/statm: 327057 81265 931 2943 0 323951 0
[pid=28788/tid=28790] ppid=28785 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28790/stat : 28790 (toysat) S 28785 28788 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11517581 1339625472 81265 33554432000 4194304 16246674 140733355036144 140188608081136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28788/tid=28791] ppid=28785 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28791/stat : 28791 (toysat) S 28785 28788 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11517581 1339625472 81265 33554432000 4194304 16246674 140733355036144 140188597591280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28788/tid=28792] ppid=28785 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28792/stat : 28792 (toysat) S 28785 28788 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11517581 1339625472 81265 33554432000 4194304 16246674 140733355036144 140188587117744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30042 s]
/proc/loadavg: 2.08 2.03 2.09 3/183 28805
/proc/meminfo: memFree=31340116/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=1308228 CPUtime=6.28 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202496 81470 0 0 0 614 14 0 0 20 0 4 0 11517581 1339625472 81266 33554432000 4194304 16246674 140733355036144 140733355035320 6013036 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28788/statm: 327057 81266 932 2943 0 323951 0
[pid=28788/tid=28790] ppid=28785 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28790/stat : 28790 (toysat) S 28785 28788 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11517581 1339625472 81266 33554432000 4194304 16246674 140733355036144 140188608081136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28788/tid=28791] ppid=28785 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28791/stat : 28791 (toysat) S 28785 28788 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11517581 1339625472 81266 33554432000 4194304 16246674 140733355036144 140188597591280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28788/tid=28792] ppid=28785 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28792/stat : 28792 (toysat) S 28785 28788 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11517581 1339625472 81266 33554432000 4194304 16246674 140733355036144 140188587117744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.07 2.03 2.09 3/183 28805
/proc/meminfo: memFree=31311932/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=1311300 CPUtime=12.68 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202496 82238 0 0 0 1253 15 0 0 20 0 4 0 11517581 1342771200 82034 33554432000 4194304 16246674 140733355036144 140733355035320 5822428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28788/statm: 327825 82034 932 2943 0 324719 0
[pid=28788/tid=28790] ppid=28785 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28790/stat : 28790 (toysat) S 28785 28788 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11517581 1342771200 82034 33554432000 4194304 16246674 140733355036144 140188608081136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28788/tid=28791] ppid=28785 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28791/stat : 28791 (toysat) S 28785 28788 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11517581 1342771200 82034 33554432000 4194304 16246674 140733355036144 140188597591280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28788/tid=28792] ppid=28785 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28792/stat : 28792 (toysat) S 28785 28788 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11517581 1342771200 82034 33554432000 4194304 16246674 140733355036144 140188587117744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.06 2.03 2.09 3/183 28805
/proc/meminfo: memFree=31223992/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=1316420 CPUtime=25.48 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202496 101730 0 0 0 2529 19 0 0 20 0 4 0 11517581 1348014080 101526 33554432000 4194304 16246674 140733355036144 140733355018048 5712760 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28788/statm: 329105 101526 942 2943 0 325999 0
[pid=28788/tid=28790] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28790/stat : 28790 (toysat) S 28785 28788 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 101526 33554432000 4194304 16246674 140733355036144 140188608081136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28788/tid=28791] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28791/stat : 28791 (toysat) S 28785 28788 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 101526 33554432000 4194304 16246674 140733355036144 140188597591280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28788/tid=28792] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28792/stat : 28792 (toysat) S 28785 28788 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 101526 33554432000 4194304 16246674 140733355036144 140188587117744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1316420

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

[startup+25.6005 s]
/proc/loadavg: 2.06 2.03 2.09 3/183 28805
/proc/meminfo: memFree=31223992/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=1316420 CPUtime=25.58 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202496 127463 0 0 0 2536 22 0 0 20 0 4 0 11517581 1348014080 127259 33554432000 4194304 16246674 140733355036144 140733355018048 5530837 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28788/statm: 329105 127278 942 2943 0 325999 0
[pid=28788/tid=28790] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28790/stat : 28790 (toysat) S 28785 28788 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 127288 33554432000 4194304 16246674 140733355036144 140188608081136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28788/tid=28791] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28791/stat : 28791 (toysat) S 28785 28788 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 127300 33554432000 4194304 16246674 140733355036144 140188597591280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28788/tid=28792] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28792/stat : 28792 (toysat) S 28785 28788 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 127306 33554432000 4194304 16246674 140733355036144 140188587117744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 1316420

[startup+38.4004 s]
/proc/loadavg: 2.04 2.02 2.09 3/183 28806
/proc/meminfo: memFree=29767920/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=1316420 CPUtime=38.37 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202496 268818 0 0 0 3796 41 0 0 20 0 4 0 11517581 1348014080 270126 33554432000 4194304 16246674 140733355036144 140733355018048 5711552 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28788/statm: 329105 270126 942 2943 0 325999 0
[pid=28788/tid=28790] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28790/stat : 28790 (toysat) S 28785 28788 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 270126 33554432000 4194304 16246674 140733355036144 140188608081136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28788/tid=28791] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28791/stat : 28791 (toysat) S 28785 28788 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 270126 33554432000 4194304 16246674 140733355036144 140188597591280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28788/tid=28792] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28792/stat : 28792 (toysat) S 28785 28788 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 270126 33554432000 4194304 16246674 140733355036144 140188587117744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 38.37
Current children cumulated vsize (KiB) 1316420

[startup+41.6004 s]
/proc/loadavg: 2.04 2.02 2.09 3/183 28855
/proc/meminfo: memFree=30592908/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=1316420 CPUtime=41.57 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202496 268819 0 0 0 4115 42 0 0 20 0 4 0 11517581 1348014080 270127 33554432000 4194304 16246674 140733355036144 140733355018048 5822484 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28788/statm: 329105 270127 943 2943 0 325999 0
[pid=28788/tid=28790] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28790/stat : 28790 (toysat) S 28785 28788 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 270127 33554432000 4194304 16246674 140733355036144 140188608081136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28788/tid=28791] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28791/stat : 28791 (toysat) S 28785 28788 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 270127 33554432000 4194304 16246674 140733355036144 140188597591280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28788/tid=28792] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28792/stat : 28792 (toysat) S 28785 28788 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 270127 33554432000 4194304 16246674 140733355036144 140188587117744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 41.57
Current children cumulated vsize (KiB) 1316420

[startup+43.2004 s]
/proc/loadavg: 2.04 2.02 2.08 3/183 28855
/proc/meminfo: memFree=30347008/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=1316420 CPUtime=43.17 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202496 268819 0 0 0 4275 42 0 0 20 0 4 0 11517581 1348014080 270127 33554432000 4194304 16246674 140733355036144 140733355018048 5808428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28788/statm: 329105 270127 943 2943 0 325999 0
[pid=28788/tid=28790] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28790/stat : 28790 (toysat) S 28785 28788 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 270127 33554432000 4194304 16246674 140733355036144 140188608081136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28788/tid=28791] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28791/stat : 28791 (toysat) S 28785 28788 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 270127 33554432000 4194304 16246674 140733355036144 140188597591280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28788/tid=28792] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28792/stat : 28792 (toysat) S 28785 28788 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 270127 33554432000 4194304 16246674 140733355036144 140188587117744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 43.17
Current children cumulated vsize (KiB) 1316420

[startup+44.0004 s]
/proc/loadavg: 2.04 2.02 2.08 3/183 28855
/proc/meminfo: memFree=30346924/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=1316420 CPUtime=43.98 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202496 268819 0 0 0 4356 42 0 0 20 0 4 0 11517581 1348014080 270127 33554432000 4194304 16246674 140733355036144 140733355018048 5722656 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28788/statm: 329105 270127 943 2943 0 325999 0
[pid=28788/tid=28790] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28790/stat : 28790 (toysat) S 28785 28788 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 270127 33554432000 4194304 16246674 140733355036144 140188608081136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28788/tid=28791] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28791/stat : 28791 (toysat) S 28785 28788 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 270127 33554432000 4194304 16246674 140733355036144 140188597591280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28788/tid=28792] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28792/stat : 28792 (toysat) S 28785 28788 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 270127 33554432000 4194304 16246674 140733355036144 140188587117744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 43.98
Current children cumulated vsize (KiB) 1316420

[startup+44.8004 s]
/proc/loadavg: 2.04 2.02 2.08 3/183 28855
/proc/meminfo: memFree=30346924/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=1316420 CPUtime=44.77 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202496 268819 0 0 0 4435 42 0 0 20 0 4 0 11517581 1348014080 270127 33554432000 4194304 16246674 140733355036144 140733355018048 5824073 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28788/statm: 329105 270127 943 2943 0 325999 0
[pid=28788/tid=28790] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28790/stat : 28790 (toysat) S 28785 28788 9094 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 270127 33554432000 4194304 16246674 140733355036144 140188608081136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28788/tid=28791] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28791/stat : 28791 (toysat) S 28785 28788 9094 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 270127 33554432000 4194304 16246674 140733355036144 140188597591280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28788/tid=28792] ppid=28785 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28788/task/28792/stat : 28792 (toysat) S 28785 28788 9094 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11517581 1348014080 270127 33554432000 4194304 16246674 140733355036144 140188587117744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 44.77
Current children cumulated vsize (KiB) 1316420

[startup+45.2075 s]
/proc/loadavg: 2.04 2.02 2.08 3/183 28855
/proc/meminfo: memFree=30346180/32872528 swapFree=7268/7268
[pid=28788] ppid=28785 vsize=0 CPUtime=45.18 cores=1,3,5,7
/proc/28788/stat : 28788 (toysat) R 28785 28788 9094 0 -1 4202500 268821 0 0 0 4473 45 0 0 20 0 1 0 11517581 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28788/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 45.18
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 45.2307
CPU time (s): 45.2101
CPU user time (s): 44.7312
CPU system time (s): 0.478927
CPU usage (%): 99.9545
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.7312
system time used= 0.478927
maximum resident set size= 1080516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268821
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= 121

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.144977 second user time and 0.284956 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-16 18:32:08
IDJOB=4093652
IDBENCH=79270
IDSOLVER=2553
FILE ID=node151/4093652-1466094728
RUNJOBID= node151-1466092926-28627
PBS_JOBID= 19903998
Free space on /tmp= 71748 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554072--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-4093652-1466094728/watcher-4093652-1466094728 -o /tmp/evaluation-result-4093652-1466094728/solver-4093652-1466094728 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466092926-28627 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093652-1466094728.wbo

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

MD5SUM BENCH= a56ccccf952bf820f5367d29dba24868
RANDOM SEED=569111195

node151.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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	: 5334.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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		: 2667.103
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		: 2667.103
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        31932680 kB
Buffers:           42200 kB
Cached:           124520 kB
SwapCached:        61592 kB
Active:            79216 kB
Inactive:         150924 kB
Active(anon):       4304 kB
Inactive(anon):    61036 kB
Active(file):      74912 kB
Inactive(file):    89888 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038988 kB
Dirty:             32580 kB
Writeback:            52 kB
AnonPages:          9512 kB
Mapped:             6860 kB
Shmem:                 0 kB
Slab:             570384 kB
SReclaimable:      13848 kB
SUnreclaim:       556536 kB
KernelStack:        1408 kB
PageTables:         3928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     104004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node151 at 2016-06-16 18:32:53