Trace number 4110406

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 40.1609 40.1679

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900575442--soft-0-100-0.wbo
MD5SUMf554cc9691e9826ab6aa59c7fc9c497b
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 benchmark15.5716
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 136180
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136179
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 667
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-19T16:03:42+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-4110406-1466345022.wbo"]
0.00/0.01	c use --random-gen="4292892008 2550808272 953929828 3693177700 2877879559 1228585837 2598044789 1344936987 1231995012 2773295996 885272532 811765451 1382915281 3657481780 3383098209 349886496 1064289637 2513694382 2789480486 1844711226 3199703274 2484877818 2473432138 3595576454 854509202 600787687 1274690883 580231252 1182820264 501969898 1359579466 2911642332 1494932548 621685180 3603867141 1395337321 1963072008 3159715699 2120299350 3388613771 2066337092 1501786730 3231528753 3848788749 1122110636 3322033609 2663164672 2388043417 465891271 1389013052 334972609 2486978861 3148875084 3442368577 2157695569 3624683639 3457349288 2229240456 264878100 2904635812 2457876551 3800331081 3875187490 1997537149 3858406230 2129945927 2719233264 2131973953 2807322862 1989651094 1789529170 2030878146 793808842 4132573716 3853232224 2167918929 2021613279 2323922959 2380283398 476639317 2383268510 2710623734 2857281913 2027765912 3608341789 3990789774 52711803 284109939 3114499441 2744483665 3260144408 3825278436 1661662585 396754623 1058238105 4241209244 242580829 4024627228 3186159827 557167352 2882895079 3750619492 117796640 331956490 4264791899 3090561784 732550662 1610808622 1632651396 1621004188 2309198971 1539497069 383555493 3002880358 1880812767 49218710 2804942114 2488141683 4111823591 1507585671 870911446 1297485113 4027637710 2624087399 767176795 2861055361 2666166918 4018868468 3752534713 1118971503 1961284 2078527745 1521629438 1157045378 2172422780 3728267964 2395911437 4242754471 705149099 2620916509 4002296761 4293372958 2096545460 1888254632 3782886549 2789268381 55029367 1954322590 3918536780 1488083723 1476689390 537047311 3862452758 572717639 993290629 2053491238 2309598632 1960780723 3190400626 408190278 18938547 3107914416 4226721399 1478291559 1146304190 1068134382 62799367 2079400585 205171535 557028902 3384301217 1919218737 1239567215 2370869068 136683048 1173444165 4109660385 3318461689 2139965924 1505313618 1840967772 1473327278 3500958425 2628777756 2015756439 321261024 1113341504 4005345543 2326638894 2789838404 4044981813 67554746 3869595714 1716377961 3740118020 3761584681 3392078804 4061886702 3292240128 1934991082 2611413185 3798617776 2451672789 1987115092 510638063 1606158514 3146927705 3171665390 4082855673 3617429069 2013717887 3973638924 3018462226 3669081004 1568226808 3977424685 685609563 3748577336 2894960172 3659494993 1506109615 811522653 1898804745 913917610 772011483 2560621696 1726658224 846046240 111184897 343196320 40427140 4042440123 1158040771 2688574690 983418322 919975199 3063080213 48039045 1338983356 3768050263 2046648785 3753773936 372379755 3849948207 1503038362 607775168 1086395898 2344624154 3109453903 2691913041 2781924577 4063153606 2279117601 535742718 477258832 611595006 255 362436" option to reproduce the execution
0.08/0.17	c #vars 231
0.08/0.17	c #constraints 2707
0.19/0.22	c BCD2: Hardening is enabled.
0.19/0.22	c BCD2: BiasedSearch is enabled.
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.19/0.23	c  0.0s |       0 |     2718 |        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 = 2718
0.19/0.23	c #random_decision = 11
0.19/0.23	c #conflict = 0
0.19/0.23	c #restart = 0
0.19/0.24	o 386
0.19/0.24	c BCD2: updating upper bound: 136179 -> 385
0.19/0.26	c BCD2: 0 <= obj <= 385
0.19/0.26	c BCD2: #cores=0, #unrelaxed=2707, #relaxed=0, #hardened=0
0.19/0.26	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.19/0.29	c  0.0s |       1 |     2915 |      100 |     1881      0 |        0 |        0
0.28/0.34	c  0.1s |       2 |     5890 |      250 |     2070      0 |        0 |        0
0.39/0.40	c  0.1s |       3 |     8995 |      475 |     2277      0 |        0 |        0
0.49/0.50	c  0.2s |       4 |    12180 |      813 |     2505      0 |        0 |        0
0.69/0.72	c  0.5s |       5 |    15553 |     1320 |     2756      0 |        0 |        0
0.89/0.96	c  0.7s |       6 |    19344 |     2081 |     3336      0 |        0 |        0
1.38/1.47	c  1.2s |       7 |    23579 |     3223 |     3670      0 |        0 |        0
2.30/2.37	c  2.1s |       8 |    28592 |     4936 |     4038      0 |        0 |        0
4.19/4.28	c  4.0s |       9 |    34699 |     7506 |     4442      1 |        0 |        0
6.39/6.40	c  6.1s |       9 |    39748 |     9406 |     4442      2 |        0 |        0
7.48/7.57	c  7.3s |      10 |    42475 |    11361 |     4887      2 |        0 |        0
9.59/9.60	c  9.3s |      10 |    48992 |    13961 |     4887      3 |        0 |        0
11.59/11.62	c 11.4s |      10 |    52691 |    16261 |     4887      4 |        0 |        0
12.29/12.34	c 12.1s |      11 |    54181 |    17144 |     5376      4 |        0 |        0
14.39/14.47	c 14.2s |      11 |    59950 |    19144 |     5376      4 |        0 |        0
16.50/16.52	c 16.3s |      11 |    62785 |    21044 |     5376      5 |        0 |        0
18.49/18.58	c 18.3s |      11 |    66349 |    22944 |     5376      5 |        0 |        0
20.58/20.60	c 20.3s |      11 |    69275 |    24544 |     5376      6 |        0 |        0
21.58/21.61	c 21.3s |      12 |    71385 |    25819 |     5914      6 |        0 |        0
23.69/23.72	c 23.5s |      12 |    76778 |    27419 |     5914      6 |        0 |        0
25.69/25.79	c 25.5s |      12 |    79498 |    28719 |     5914      6 |        0 |        0
27.78/27.88	c 27.6s |      12 |    83268 |    30519 |     5914      7 |        0 |        0
29.89/29.90	c 29.6s |      12 |    85542 |    31919 |     5914      7 |        0 |        0
31.89/31.99	c 31.7s |      12 |    87495 |    33119 |     5914      7 |        0 |        0
33.98/34.02	c 33.8s |      12 |    90375 |    34719 |     5914      8 |        0 |        0
35.99/36.09	c 35.8s |      12 |    93411 |    36219 |     5914      8 |        0 |        0
37.19/37.22	c 37.0s |      12 |    94617 |    36870 |     5914      8 |        0 |        0
37.19/37.22	c #cpu_time = 36.860s
37.19/37.22	c #wall_clock_time = 36.957s
37.19/37.22	c #decision = 94617
37.19/37.22	c #random_decision = 33
37.19/37.22	c #conflict = 36870
37.19/37.22	c #restart = 12
37.19/37.22	c BCD2: found a new core of size 2572: cost of the new core is >=1
37.19/37.22	c lower bound updated to 1
37.19/37.22	c BCD2: 1 <= obj <= 385
37.19/37.22	c BCD2: #cores=1, #unrelaxed=135, #relaxed=2572, #hardened=0
37.19/37.22	c BCD2: #sat=1 #unsat=2 bias=2/3
37.19/37.23	c Solving starts ...
37.19/37.23	c ============================[ Search Statistics ]============================
37.19/37.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
37.19/37.23	c       |         |          |          |    Limit     GC | Var      | Constra 
37.19/37.23	c =============================================================================
37.19/37.23	c  0.0s |       0 |        0 |        0 |     5914      0 |        0 |        0
37.49/37.58	c  0.3s |       0 |     4242 |       55 |     5914      1 |        0 |        0
37.49/37.58	c #cpu_time = 0.342s
37.49/37.58	c #wall_clock_time = 0.343s
37.49/37.58	c #decision = 4242
37.49/37.58	c #random_decision = 17
37.49/37.58	c #conflict = 55
37.49/37.58	c #restart = 0
37.49/37.58	o 262
37.49/37.58	c BCD2: updating upper bound: 385 -> 261
37.49/37.59	c BCD2: 1 <= obj <= 261
37.49/37.59	c BCD2: #cores=1, #unrelaxed=135, #relaxed=2572, #hardened=0
37.49/37.59	c BCD2: #sat=2 #unsat=2 bias=2/4
37.59/37.60	c Solving starts ...
37.59/37.60	c ============================[ Search Statistics ]============================
37.59/37.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
37.59/37.60	c       |         |          |          |    Limit     GC | Var      | Constra 
37.59/37.60	c =============================================================================
37.59/37.60	c  0.0s |       0 |        0 |        0 |     5914      0 |        0 |        1
37.59/37.69	c  0.1s |       0 |      570 |        4 |     5914      0 |        0 |        1
37.59/37.69	c #cpu_time = 0.082s
37.59/37.69	c #wall_clock_time = 0.083s
37.59/37.69	c #decision = 570
37.59/37.69	c #random_decision = 0
37.59/37.69	c #conflict = 4
37.59/37.69	c #restart = 0
37.59/37.69	o 158
37.59/37.69	c BCD2: updating upper bound: 261 -> 157
37.69/37.70	c BCD2: 1 <= obj <= 157
37.69/37.70	c BCD2: #cores=1, #unrelaxed=135, #relaxed=2572, #hardened=0
37.69/37.70	c BCD2: #sat=3 #unsat=2 bias=2/5
37.69/37.72	c Solving starts ...
37.69/37.72	c ============================[ Search Statistics ]============================
37.69/37.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
37.69/37.72	c       |         |          |          |    Limit     GC | Var      | Constra 
37.69/37.72	c =============================================================================
37.69/37.72	c  0.0s |       0 |        0 |        0 |     5914      0 |        0 |        2
37.79/37.80	c  0.1s |       0 |      330 |        3 |     5914      0 |        0 |        2
37.79/37.80	c #cpu_time = 0.079s
37.79/37.80	c #wall_clock_time = 0.079s
37.79/37.80	c #decision = 330
37.79/37.80	c #random_decision = 0
37.79/37.80	c #conflict = 3
37.79/37.80	c #restart = 0
37.79/37.80	o 48
37.79/37.80	c BCD2: hardening fixes 1421 literals
37.79/37.80	c BCD2: updating upper bound: 157 -> 47
37.79/37.81	c BCD2: 1 <= obj <= 47
37.79/37.81	c BCD2: #cores=1, #unrelaxed=56, #relaxed=1230, #hardened=1421
37.79/37.81	c BCD2: #sat=4 #unsat=2 bias=2/6
37.79/37.81	c Solving starts ...
37.79/37.81	c ============================[ Search Statistics ]============================
37.79/37.81	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
37.79/37.81	c       |         |          |          |    Limit     GC | Var      | Constra 
37.79/37.81	c =============================================================================
37.79/37.81	c  0.0s |       0 |        0 |        0 |     5914      0 |     1421 |        3
37.79/37.90	c  0.1s |       0 |      127 |        0 |     5914      0 |     1421 |        3
37.79/37.90	c #cpu_time = 0.084s
37.79/37.90	c #wall_clock_time = 0.084s
37.79/37.90	c #decision = 127
37.79/37.90	c #random_decision = 0
37.79/37.90	c #conflict = 0
37.79/37.90	c #restart = 0
37.89/37.90	o 21
37.89/37.90	c BCD2: hardening fixes 726 literals
37.89/37.90	c BCD2: updating upper bound: 47 -> 20
37.89/37.90	c BCD2: 1 <= obj <= 20
37.89/37.90	c BCD2: #cores=1, #unrelaxed=23, #relaxed=537, #hardened=2147
37.89/37.90	c BCD2: #sat=5 #unsat=2 bias=2/7
37.89/37.90	c Solving starts ...
37.89/37.90	c ============================[ Search Statistics ]============================
37.89/37.90	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
37.89/37.90	c       |         |          |          |    Limit     GC | Var      | Constra 
37.89/37.90	c =============================================================================
37.89/37.90	c  0.0s |       0 |        0 |        0 |     5914      0 |     2147 |        4
37.99/38.05	c  0.1s |       1 |      218 |      100 |     5914      0 |     2147 |        4
38.19/38.25	c  0.4s |       2 |      523 |      250 |     5914      0 |     2147 |        4
38.39/38.42	c  0.5s |       3 |      992 |      475 |     5914      0 |     2147 |        4
38.59/38.63	c  0.7s |       4 |     1535 |      813 |     5914      0 |     2147 |        4
38.89/38.92	c  1.0s |       5 |     2366 |     1320 |     5914      0 |     2147 |        4
39.09/39.11	c  1.2s |       5 |     2958 |     1576 |     5914      0 |     2147 |        4
39.09/39.11	c #cpu_time = 1.204s
39.09/39.11	c #wall_clock_time = 1.207s
39.09/39.11	c #decision = 2958
39.09/39.11	c #random_decision = 1
39.09/39.11	c #conflict = 1576
39.09/39.11	c #restart = 5
39.09/39.11	o 4
39.09/39.11	c BCD2: hardening fixes 484 literals
39.09/39.11	c BCD2: updating upper bound: 20 -> 3
39.09/39.11	c BCD2: 1 <= obj <= 3
39.09/39.11	c BCD2: #cores=1, #unrelaxed=4, #relaxed=72, #hardened=2631
39.09/39.11	c BCD2: #sat=6 #unsat=2 bias=2/8
39.09/39.11	c Solving starts ...
39.09/39.11	c ============================[ Search Statistics ]============================
39.09/39.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
39.09/39.11	c       |         |          |          |    Limit     GC | Var      | Constra 
39.09/39.11	c =============================================================================
39.09/39.11	c  0.0s |       0 |        0 |        0 |     5914      0 |     2631 |        5
39.18/39.24	c  0.1s |       1 |      179 |      100 |     6506      0 |     2631 |        7
39.28/39.37	c  0.3s |       2 |      454 |      250 |     6506      0 |     2631 |        7
39.48/39.52	c  0.4s |       3 |      883 |      475 |     6506      0 |     2631 |        7
39.59/39.70	c  0.6s |       4 |     1455 |      813 |     6506      0 |     2631 |        7
39.88/39.96	c  0.8s |       5 |     2298 |     1320 |     6506      0 |     2631 |        7
40.08/40.13	c  1.0s |       5 |     2672 |     1555 |     6506      0 |     2631 |        7
40.08/40.13	c #cpu_time = 1.012s
40.08/40.13	c #wall_clock_time = 1.015s
40.08/40.13	c #decision = 2672
40.08/40.13	c #random_decision = 5
40.08/40.13	c #conflict = 1555
40.08/40.13	c #restart = 5
40.08/40.13	o 1
40.08/40.13	s OPTIMUM FOUND
40.08/40.13	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
40.08/40.13	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20
40.08/40.13	v x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30
40.08/40.13	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40
40.08/40.13	v -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50
40.08/40.13	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60
40.08/40.13	v -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70
40.08/40.13	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
40.08/40.13	v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90
40.08/40.13	v -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100
40.08/40.13	v -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
40.08/40.13	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120
40.08/40.13	v -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130
40.08/40.13	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
40.08/40.13	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150
40.08/40.13	v -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160
40.08/40.13	v -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
40.08/40.13	v -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180
40.08/40.13	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190
40.08/40.13	v -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200
40.08/40.13	v -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
40.08/40.13	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
40.08/40.13	v x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230
40.08/40.13	v -x231
40.08/40.13	c total CPU time = 40.030s
40.08/40.13	c total wall clock time = 40.135s

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-4110406-1466345022/watcher-4110406-1466345022 -o /tmp/evaluation-result-4110406-1466345022/solver-4110406-1466345022 -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-4110406-1466345022.wbo 

pid=8238
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.37 2.34 2.20 3/179 8241
/proc/meminfo: memFree=28801820/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=713148 CPUtime=0 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 2660 0 0 0 0 0 0 0 20 0 4 0 36548802 730263552 3020 33554432000 4194304 16246674 140736250278080 140736250277504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 179055 3028 441 2943 0 175949 0
[pid=8241/tid=8242] ppid=8238 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 748089344 3088 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 753332224 3106 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36548802 757526528 3122 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.37 2.34 2.20 3/179 8241
/proc/meminfo: memFree=28801820/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 25003 0 0 0 5 3 0 0 20 0 4 0 36548802 1247350784 25356 33554432000 4194304 16246674 140736250278080 140736250277504 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 304529 25360 611 2943 0 301423 0
[pid=8241/tid=8242] ppid=8238 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1247350784 25362 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1247350784 25367 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36548802 1247350784 25370 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200498 s]
/proc/loadavg: 2.37 2.34 2.20 3/179 8241
/proc/meminfo: memFree=28801820/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1223236 CPUtime=0.19 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 36011 0 0 0 14 5 0 0 20 0 4 0 36548802 1252593664 36318 33554432000 4194304 16246674 140736250278080 140736250277392 6757608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 305809 36318 860 2943 0 302703 0
[pid=8241/tid=8242] ppid=8238 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1252593664 36318 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1252593664 36318 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1252593664 36318 33554432000 4194304 16246674 140736250278080 140114774707376 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) 1223236

[startup+0.300482 s]
/proc/loadavg: 2.37 2.34 2.20 3/179 8241
/proc/meminfo: memFree=28801820/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1307204 CPUtime=0.28 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 48037 0 0 0 22 6 0 0 20 0 4 0 36548802 1338576896 48344 33554432000 4194304 16246674 140736250278080 140736250277392 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 326801 48355 918 2943 0 323695 0
[pid=8241/tid=8242] ppid=8238 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1338576896 48359 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1338576896 48363 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1338576896 48369 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1307204

[startup+0.700385 s]
/proc/loadavg: 2.37 2.34 2.20 3/179 8241
/proc/meminfo: memFree=28801820/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1308228 CPUtime=0.69 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 86072 0 0 0 57 12 0 0 20 0 4 0 36548802 1339625472 86379 33554432000 4194304 16246674 140736250278080 140736250259968 5546177 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 327057 86379 920 2943 0 323951 0
[pid=8241/tid=8242] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 86379 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 86379 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 86379 33554432000 4194304 16246674 140736250278080 140114774707376 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) 1308228

[startup+1.50041 s]
/proc/loadavg: 2.34 2.34 2.20 3/183 8245
/proc/meminfo: memFree=28358796/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 118656 0 0 0 133 16 0 0 20 0 4 0 36548802 1339625472 118963 33554432000 4194304 16246674 140736250278080 140736250259968 5823615 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 327057 118963 920 2943 0 323951 0
[pid=8241/tid=8242] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 118963 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 118963 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 118963 33554432000 4194304 16246674 140736250278080 140114774707376 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) 1308228

[startup+3.10031 s]
/proc/loadavg: 2.34 2.34 2.20 3/183 8245
/proc/meminfo: memFree=28325564/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 118876 0 0 0 293 16 0 0 20 0 4 0 36548802 1339625472 119183 33554432000 4194304 16246674 140736250278080 140736250277256 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 327057 119183 931 2943 0 323951 0
[pid=8241/tid=8242] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 119183 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 119183 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 119183 33554432000 4194304 16246674 140736250278080 140114774707376 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) 1308228

[startup+6.3004 s]
/proc/loadavg: 2.31 2.33 2.20 3/183 8245
/proc/meminfo: memFree=28325320/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 118877 0 0 0 613 16 0 0 20 0 4 0 36548802 1339625472 119184 33554432000 4194304 16246674 140736250278080 140736250277256 12477720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 327057 119184 932 2943 0 323951 0
[pid=8241/tid=8242] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 119184 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 119184 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1339625472 119184 33554432000 4194304 16246674 140736250278080 140114774707376 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) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.37 2.34 2.20 3/183 8245
/proc/meminfo: memFree=28322020/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 119833 0 0 0 1252 17 0 0 20 0 4 0 36548802 1343819776 120140 33554432000 4194304 16246674 140736250278080 140736250277256 5662116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 328081 120140 932 2943 0 324975 0
[pid=8241/tid=8242] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120140 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120140 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120140 33554432000 4194304 16246674 140736250278080 140114774707376 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) 1312324

[startup+25.5004 s]
/proc/loadavg: 2.37 2.34 2.21 3/183 8245
/proc/meminfo: memFree=28322280/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 119901 0 0 0 2530 19 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140736250277256 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 328081 120208 932 2943 0 324975 0
[pid=8241/tid=8242] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

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

[startup+25.6005 s]
/proc/loadavg: 2.37 2.34 2.21 3/183 8245
/proc/meminfo: memFree=28322280/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1312324 CPUtime=25.59 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 119901 0 0 0 2540 19 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140736250277256 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 328081 120208 932 2943 0 324975 0
[pid=8241/tid=8242] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 1312324

[startup+32.0073 s]
/proc/loadavg: 2.42 2.35 2.21 4/183 8245
/proc/meminfo: memFree=28322144/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1312324 CPUtime=31.99 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 119901 0 0 0 3179 20 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140736250277256 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 328081 120208 932 2943 0 324975 0
[pid=8241/tid=8242] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (KiB) 1312324

[startup+35.2004 s]
/proc/loadavg: 2.38 2.35 2.21 3/183 8245
/proc/meminfo: memFree=28322392/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1312324 CPUtime=35.19 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 119901 0 0 0 3499 20 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140736250277256 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 328081 120208 932 2943 0 324975 0
[pid=8241/tid=8242] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1343819776 120208 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 35.19
Current children cumulated vsize (KiB) 1312324

[startup+38.4004 s]
/proc/loadavg: 2.38 2.35 2.21 3/183 8245
/proc/meminfo: memFree=28322268/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1319492 CPUtime=38.39 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 121702 0 0 0 3818 21 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140736250259968 5661648 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 329873 122009 941 2943 0 326767 0
[pid=8241/tid=8242] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 38.39
Current children cumulated vsize (KiB) 1319492

[startup+39.2004 s]
/proc/loadavg: 2.38 2.35 2.21 3/183 8245
/proc/meminfo: memFree=28315200/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1319492 CPUtime=39.18 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 121702 0 0 0 3897 21 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140736250259968 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 329873 122009 941 2943 0 326767 0
[pid=8241/tid=8242] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 39.18
Current children cumulated vsize (KiB) 1319492

[startup+39.6004 s]
/proc/loadavg: 2.38 2.35 2.21 3/183 8245
/proc/meminfo: memFree=28315076/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1319492 CPUtime=39.59 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 121702 0 0 0 3938 21 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140736250259968 5722842 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 329873 122009 941 2943 0 326767 0
[pid=8241/tid=8242] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 39.59
Current children cumulated vsize (KiB) 1319492

[startup+40.0004 s]
/proc/loadavg: 2.38 2.35 2.21 3/183 8245
/proc/meminfo: memFree=28315076/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1319492 CPUtime=39.98 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 121702 0 0 0 3977 21 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140736250259968 5531428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 329873 122009 941 2943 0 326767 0
[pid=8241/tid=8242] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (KiB) 1319492

[startup+40.1004 s]
/proc/loadavg: 2.38 2.35 2.21 3/183 8245
/proc/meminfo: memFree=28315076/32872528 swapFree=1542984/1696284
[pid=8241] ppid=8238 vsize=1319492 CPUtime=40.08 cores=0,2,4,6
/proc/8241/stat : 8241 (toysat) R 8238 8241 6047 0 -1 4202496 121702 0 0 0 3987 21 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140736250259968 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8241/statm: 329873 122009 941 2943 0 326767 0
[pid=8241/tid=8242] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8242/stat : 8242 (toysat) S 8238 8241 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114795670768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8241/tid=8243] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8243/stat : 8243 (toysat) S 8238 8241 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114785180912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8241/tid=8244] ppid=8238 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/8241/task/8244/stat : 8244 (toysat) S 8238 8241 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36548802 1351159808 122009 33554432000 4194304 16246674 140736250278080 140114774707376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 40.08
Current children cumulated vsize (KiB) 1319492

Child status: 0
Real time (s): 40.1679
CPU time (s): 40.1609
CPU user time (s): 39.9169
CPU system time (s): 0.243962
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.9169
system time used= 0.243962
maximum resident set size= 488040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121704
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= 42

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.253961 second user time and 0.228965 second system time

The end

Launcher Data

Begin job on node125 at 2016-06-19 16:03:42
IDJOB=4110406
IDBENCH=79296
IDSOLVER=2553
FILE ID=node125/4110406-1466345022
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/tsp/normalized-t3002.11tsp11.1900575442--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-4110406-1466345022/watcher-4110406-1466345022 -o /tmp/evaluation-result-4110406-1466345022/solver-4110406-1466345022 -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-4110406-1466345022.wbo

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

MD5SUM BENCH= f554cc9691e9826ab6aa59c7fc9c497b
RANDOM SEED=1993303471

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:        28802240 kB
Buffers:          182372 kB
Cached:           352652 kB
SwapCached:          764 kB
Active:          1255900 kB
Inactive:         372428 kB
Active(anon):    1094056 kB
Inactive(anon):     1188 kB
Active(file):     161844 kB
Inactive(file):   371240 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098312 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       2788552 kB
Mapped:            10740 kB
Shmem:                 0 kB
Slab:             611516 kB
SReclaimable:      55152 kB
SUnreclaim:       556364 kB
KernelStack:        1496 kB
PageTables:         9760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2932360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    931840 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:04:22