Trace number 4093344

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 43.9593 43.9666

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo
MD5SUM32795eb517f73910564f73a4c3c20f9d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark16.0246
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 constraints904
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 44120
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44119
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 761
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-16T16:19:30+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-4093344-1466086770.wbo"]
0.00/0.01	c use --random-gen="722730412 2962878860 1398296359 1981206442 3978358592 844108739 3591822532 3852896457 2905744596 3668688629 3240898427 2056118580 1743882094 3634126405 2965490085 1837077402 1355315144 4074668721 2137478994 3571455261 1518259687 396008926 2219473938 157845244 227388847 4202297482 79287006 2967733745 1677997974 1900865581 2931492635 3123448974 2230398372 141156945 3773986657 308358831 3399404592 3717294437 1019349442 1452735393 3971774615 1142537463 1304578212 96608292 235788149 495054587 484767519 2527809584 2370501470 4042383997 2255641836 3573905303 2941476827 113547825 349169891 3185964349 2114078460 4146302438 3351487307 3720823848 1775205826 1244329162 2158440311 2947107304 4221966682 58997851 2411771185 662142663 1577981299 606004399 1372552122 995816197 420559269 183891424 3777697565 4049588066 914472296 3150556308 3195110747 649897600 3980039358 4285765489 984953857 1080688062 2295970559 3286815847 1571474329 2711803966 1631347509 1025711901 2984014419 3977499027 1405655576 384765860 2538995625 4159240913 1438028791 716724947 622048965 2540835581 3802173350 1120898866 718751165 2003511535 3979554620 2534925992 3167531044 1294969303 429091926 264206013 114416296 2848967910 1155221900 1202745485 2002195185 3897418653 788438061 1406756099 3368090321 481339670 157766575 3199205002 1499161170 3880724114 3068198032 2502547157 1289183539 8712824 994679416 869866568 2001896107 1104692702 3916304119 2219032939 415032849 1632640255 3480840255 2955965203 1653802501 3890458495 345414242 778450397 465415941 3598101209 2966494282 2233818644 3590947983 1537099166 4221911662 1065182873 1352188896 411642381 1596833656 3283726548 3612008938 111169009 2960330588 1063543872 256873377 814248902 2480778257 681751866 2488935930 268146417 621426392 2406107296 2402974252 3760208648 2972474515 499360968 2891401309 337758941 1840920962 486139441 2071334819 1768158241 2860806482 2105195325 746732028 4124199214 1260032194 1515707060 3658941851 1350613837 51036400 2992394435 3807948054 3408864823 972036111 2341657219 1082733077 4151973492 3783581123 43968234 4024364510 234473293 3023702265 3311171214 2457095180 1324687180 3783854034 3195362399 4237627573 3034293911 3463599916 2128169552 3441315241 932707888 3040696293 2332329120 4076875158 3327739457 4287161622 2267068646 415309054 492610541 1227266431 2202471101 3581627607 2435681039 1290787303 1889583116 1613148165 2581970980 474371620 998175296 3602917379 1316858319 3440219609 4120418333 1306028903 2144765172 3677271262 3234125715 3800959849 2684440077 2687762231 4240662732 2272581344 3386238030 163830400 2784241238 2105911160 514913350 3667668151 3712801363 3665132161 4040702296 698604413 1842054958 1721929624 1182376615 2077545178 3516932916 3312414313 2886913492 255 362436" option to reproduce the execution
0.09/0.12	c #vars 231
0.09/0.12	c #constraints 2707
0.09/0.18	c BCD2: Hardening is enabled.
0.09/0.18	c BCD2: BiasedSearch is enabled.
0.09/0.18	c Solving starts ...
0.09/0.18	c ============================[ Search Statistics ]============================
0.09/0.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.18	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.18	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     1280      0 |        0 |        0
0.19/0.20	c  0.0s |       1 |     1088 |      100 |     1280      0 |        0 |        0
0.19/0.21	c  0.0s |       1 |     2015 |      106 |     1408      0 |        0 |        0
0.19/0.21	c #cpu_time = 0.030s
0.19/0.21	c #wall_clock_time = 0.030s
0.19/0.21	c #decision = 2015
0.19/0.21	c #random_decision = 12
0.19/0.21	c #conflict = 106
0.19/0.21	c #restart = 1
0.19/0.21	o 233
0.19/0.21	c BCD2: updating upper bound: 44119 -> 232
0.19/0.21	c BCD2: 0 <= obj <= 232
0.19/0.21	c BCD2: #cores=0, #unrelaxed=904, #relaxed=0, #hardened=0
0.19/0.21	c BCD2: #sat=1 #unsat=1 bias=1/2
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 |     1408      0 |        0 |        0
0.19/0.23	c  0.0s |       1 |     1098 |      100 |     1408      0 |        0 |        0
0.19/0.26	c  0.0s |       2 |     2286 |      250 |     1549      0 |        0 |        0
0.19/0.29	c  0.1s |       3 |     3630 |      475 |     1704      0 |        0 |        0
0.29/0.36	c  0.1s |       4 |     5282 |      813 |     1875      0 |        0 |        0
0.39/0.49	c  0.3s |       5 |     7049 |     1320 |     2063      0 |        0 |        0
0.69/0.78	c  0.6s |       6 |     9146 |     2081 |     2270      0 |        0 |        0
1.20/1.25	c  1.0s |       7 |    11823 |     3223 |     2497      0 |        0 |        0
1.69/1.73	c  1.5s |       8 |    15355 |     4936 |     2747      1 |        0 |        0
2.79/2.87	c  2.7s |       9 |    20021 |     7506 |     3022      3 |        0 |        0
4.78/4.89	c  4.7s |      10 |    26926 |    11361 |     3325      5 |        0 |        0
6.89/6.93	c  6.7s |      10 |    33864 |    15461 |     3325      6 |        0 |        0
7.59/7.68	c  7.5s |      11 |    36633 |    17144 |     3658      7 |        0 |        0
9.59/9.69	c  9.5s |      11 |    46132 |    22044 |     3658      9 |        0 |        0
10.89/10.92	c 10.7s |      12 |    53065 |    25819 |     4024     11 |        0 |        0
12.89/12.94	c 12.7s |      12 |    63115 |    30819 |     4024     13 |        0 |        0
14.89/14.95	c 14.7s |      12 |    72242 |    35819 |     4024     15 |        0 |        0
15.69/15.77	c 15.6s |      12 |    75981 |    37846 |     4024     16 |        0 |        0
15.69/15.77	c #cpu_time = 15.522s
15.69/15.77	c #wall_clock_time = 15.562s
15.69/15.77	c #decision = 75981
15.69/15.77	c #random_decision = 72
15.69/15.77	c #conflict = 37846
15.69/15.77	c #restart = 12
15.69/15.78	c BCD2: found a new core of size 851: cost of the new core is >=1
15.69/15.78	c lower bound updated to 1
15.69/15.78	c BCD2: 1 <= obj <= 232
15.69/15.78	c BCD2: #cores=1, #unrelaxed=53, #relaxed=851, #hardened=0
15.69/15.78	c BCD2: #sat=1 #unsat=2 bias=2/3
15.69/15.78	c Solving starts ...
15.69/15.78	c ============================[ Search Statistics ]============================
15.69/15.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.69/15.78	c       |         |          |          |    Limit     GC | Var      | Constra 
15.69/15.78	c =============================================================================
15.69/15.78	c  0.0s |       0 |        0 |        0 |     4024      0 |        0 |        0
15.79/15.83	c  0.1s |       1 |      516 |      100 |     4024      0 |        0 |        0
15.89/15.95	c  0.2s |       2 |      815 |      250 |     4024      0 |        0 |        0
15.99/16.07	c  0.3s |       3 |     1280 |      475 |     4024      0 |        0 |        0
16.09/16.16	c  0.4s |       3 |     1625 |      629 |     4024      0 |        0 |        0
16.09/16.16	c #cpu_time = 0.377s
16.09/16.16	c #wall_clock_time = 0.378s
16.09/16.16	c #decision = 1625
16.09/16.16	c #random_decision = 5
16.09/16.16	c #conflict = 629
16.09/16.16	c #restart = 3
16.09/16.16	o 156
16.09/16.16	c BCD2: updating upper bound: 232 -> 155
16.09/16.17	c BCD2: 1 <= obj <= 155
16.09/16.17	c BCD2: #cores=1, #unrelaxed=53, #relaxed=851, #hardened=0
16.09/16.17	c BCD2: #sat=2 #unsat=2 bias=2/4
16.09/16.18	c Solving starts ...
16.09/16.18	c ============================[ Search Statistics ]============================
16.09/16.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
16.09/16.18	c       |         |          |          |    Limit     GC | Var      | Constra 
16.09/16.18	c =============================================================================
16.09/16.18	c  0.0s |       0 |        0 |        0 |     4024      0 |        0 |        1
16.19/16.25	c  0.1s |       0 |      307 |       97 |     4427      0 |        0 |        1
16.19/16.25	c #cpu_time = 0.073s
16.19/16.25	c #wall_clock_time = 0.073s
16.19/16.25	c #decision = 307
16.19/16.25	c #random_decision = 0
16.19/16.25	c #conflict = 97
16.19/16.25	c #restart = 0
16.19/16.25	o 93
16.19/16.25	c BCD2: hardening fixes 58 literals
16.19/16.25	c BCD2: updating upper bound: 155 -> 92
16.19/16.25	c BCD2: 1 <= obj <= 92
16.19/16.25	c BCD2: #cores=1, #unrelaxed=49, #relaxed=797, #hardened=58
16.19/16.25	c BCD2: #sat=3 #unsat=2 bias=2/5
16.19/16.26	c Solving starts ...
16.19/16.26	c ============================[ Search Statistics ]============================
16.19/16.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
16.19/16.26	c       |         |          |          |    Limit     GC | Var      | Constra 
16.19/16.26	c =============================================================================
16.19/16.26	c  0.0s |       0 |        0 |        0 |     4427      0 |       58 |        2
16.29/16.32	c  0.1s |       1 |      184 |      100 |     4427      0 |       58 |        2
16.29/16.37	c  0.1s |       1 |      372 |      185 |     4427      0 |       58 |        2
16.29/16.37	c #cpu_time = 0.115s
16.29/16.37	c #wall_clock_time = 0.116s
16.29/16.37	c #decision = 372
16.29/16.37	c #random_decision = 0
16.29/16.37	c #conflict = 185
16.29/16.37	c #restart = 1
16.29/16.37	o 42
16.29/16.37	c BCD2: hardening fixes 451 literals
16.29/16.37	c BCD2: updating upper bound: 92 -> 41
16.29/16.38	c BCD2: 1 <= obj <= 41
16.29/16.38	c BCD2: #cores=1, #unrelaxed=21, #relaxed=374, #hardened=509
16.29/16.38	c BCD2: #sat=4 #unsat=2 bias=2/6
16.29/16.38	c Solving starts ...
16.29/16.38	c ============================[ Search Statistics ]============================
16.29/16.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
16.29/16.38	c       |         |          |          |    Limit     GC | Var      | Constra 
16.29/16.38	c =============================================================================
16.29/16.38	c  0.0s |       0 |        0 |        0 |     4427      0 |      509 |        3
16.39/16.43	c  0.1s |       1 |      212 |      100 |     4427      0 |      509 |        3
16.39/16.50	c  0.1s |       2 |      472 |      250 |     4427      0 |      509 |        3
16.49/16.60	c  0.2s |       3 |      846 |      475 |     4427      0 |      509 |        3
16.69/16.74	c  0.4s |       4 |     1419 |      813 |     4427      0 |      509 |        3
16.89/16.91	c  0.5s |       5 |     2362 |     1320 |     4427      0 |      509 |        3
17.19/17.22	c  0.8s |       6 |     3628 |     2081 |     4427      1 |      509 |        3
17.59/17.60	c  1.2s |       7 |     5355 |     3223 |     4427      1 |      509 |        3
18.19/18.21	c  1.8s |       8 |     8211 |     4936 |     4427      2 |      509 |        3
19.09/19.13	c  2.8s |       9 |    12446 |     7506 |     4427      3 |      509 |        3
20.49/20.57	c  4.2s |      10 |    18525 |    11361 |     4427      4 |      509 |        3
22.59/22.60	c  6.2s |      10 |    25984 |    16461 |     4427      6 |      509 |        3
22.79/22.87	c  6.5s |      11 |    27079 |    17144 |     4427      6 |      509 |        3
24.78/24.89	c  8.5s |      11 |    33885 |    21844 |     4870      8 |      509 |        3
26.78/26.86	c 10.5s |      12 |    39765 |    25819 |     4870      9 |      509 |        3
28.78/28.88	c 12.5s |      12 |    45740 |    29919 |     4870     11 |      509 |        3
30.90/30.91	c 14.5s |      12 |    52685 |    34519 |     4870     13 |      509 |        3
32.79/32.81	c 16.4s |      13 |    58816 |    38832 |     4870     14 |      509 |        3
34.79/34.84	c 18.5s |      13 |    66542 |    43432 |     4870     16 |      509 |        3
36.59/36.66	c 20.3s |      13 |    72896 |    47520 |     4870     17 |      509 |        3
36.59/36.66	c #cpu_time = 20.228s
36.59/36.66	c #wall_clock_time = 20.280s
36.59/36.66	c #decision = 72896
36.59/36.66	c #random_decision = 103
36.59/36.66	c #conflict = 47520
36.59/36.66	c #restart = 13
36.59/36.66	o 8
36.59/36.66	c BCD2: hardening fixes 323 literals
36.59/36.66	c BCD2: updating upper bound: 41 -> 7
36.59/36.66	c BCD2: 1 <= obj <= 7
36.59/36.66	c BCD2: #cores=1, #unrelaxed=1, #relaxed=71, #hardened=832
36.59/36.66	c BCD2: #sat=5 #unsat=2 bias=2/7
36.59/36.66	c Solving starts ...
36.59/36.66	c ============================[ Search Statistics ]============================
36.59/36.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
36.59/36.66	c       |         |          |          |    Limit     GC | Var      | Constra 
36.59/36.66	c =============================================================================
36.59/36.66	c  0.0s |       0 |        0 |        0 |     4870      0 |      832 |        4
36.69/36.72	c  0.1s |       1 |      140 |      100 |     4870      0 |      832 |        5
36.79/36.81	c  0.2s |       2 |      387 |      250 |     4870      0 |      832 |        5
36.89/36.90	c  0.2s |       3 |      841 |      475 |     4870      0 |      832 |        5
36.99/37.04	c  0.4s |       4 |     1388 |      813 |     5357      0 |      832 |        5
37.19/37.24	c  0.6s |       5 |     2290 |     1320 |     5357      0 |      832 |        5
37.49/37.58	c  0.9s |       6 |     3580 |     2081 |     5357      1 |      832 |        5
37.89/37.94	c  1.3s |       7 |     5396 |     3223 |     5357      1 |      832 |        5
38.59/38.69	c  2.0s |       8 |     7983 |     4936 |     5357      2 |      832 |        5
39.29/39.32	c  2.7s |       8 |    11299 |     6767 |     5357      2 |      832 |        5
39.29/39.32	c #cpu_time = 2.650s
39.29/39.32	c #wall_clock_time = 2.657s
39.29/39.32	c #decision = 11299
39.29/39.32	c #random_decision = 14
39.29/39.32	c #conflict = 6767
39.29/39.32	c #restart = 8
39.29/39.32	o 2
39.29/39.32	c BCD2: hardening fixes 64 literals
39.29/39.32	c BCD2: updating upper bound: 7 -> 1
39.29/39.32	c BCD2: 1 <= obj <= 1
39.29/39.32	c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=896
39.29/39.32	c BCD2: #sat=6 #unsat=2 bias=2/8
39.29/39.32	c Solving starts ...
39.29/39.32	c ============================[ Search Statistics ]============================
39.29/39.32	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
39.29/39.32	c       |         |          |          |    Limit     GC | Var      | Constra 
39.29/39.32	c =============================================================================
39.29/39.32	c  0.0s |       0 |        0 |        0 |     5357      0 |      896 |       10
39.29/39.36	c  0.0s |       1 |      146 |      100 |     5357      0 |      896 |       10
39.39/39.41	c  0.1s |       2 |      405 |      250 |     5357      0 |      896 |       10
39.39/39.47	c  0.2s |       3 |      749 |      475 |     5357      0 |      896 |       10
39.49/39.57	c  0.2s |       4 |     1382 |      813 |     5357      0 |      896 |       10
39.69/39.75	c  0.4s |       5 |     2301 |     1320 |     5357      1 |      896 |       10
39.88/39.98	c  0.7s |       6 |     3813 |     2081 |     5357      1 |      896 |       10
40.18/40.28	c  1.0s |       7 |     5786 |     3223 |     5357      1 |      896 |       10
40.79/40.81	c  1.5s |       8 |     8923 |     4936 |     5357      2 |      896 |       10
41.38/41.44	c  2.1s |       9 |    13781 |     7506 |     5357      2 |      896 |       10
42.28/42.36	c  3.0s |      10 |    20661 |    11361 |     5357      4 |      896 |       10
43.48/43.55	c  4.2s |      11 |    31616 |    17144 |     5357      6 |      896 |       10
43.88/43.90	c  4.6s |      11 |    34908 |    18955 |     5357      6 |      897 |       12
43.88/43.90	c #cpu_time = 4.569s
43.88/43.90	c #wall_clock_time = 4.581s
43.88/43.90	c #decision = 34908
43.88/43.90	c #random_decision = 114
43.88/43.90	c #conflict = 18955
43.88/43.90	c #restart = 11
43.88/43.90	c BCD2: updating lower bound of a core
43.88/43.90	c lower bound updated to 2
43.88/43.90	s OPTIMUM FOUND
43.88/43.90	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
43.88/43.90	v -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 x20
43.88/43.90	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30
43.88/43.90	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40
43.88/43.90	v -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50
43.88/43.90	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60
43.88/43.90	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70
43.88/43.90	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
43.88/43.90	v -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
43.88/43.90	v x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
43.88/43.90	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110
43.88/43.90	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
43.88/43.90	v x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130
43.88/43.90	v -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140
43.88/43.90	v -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150
43.88/43.90	v -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
43.88/43.90	v -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
43.88/43.90	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180
43.88/43.90	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
43.88/43.90	v x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200
43.88/43.90	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
43.88/43.90	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220
43.88/43.90	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230
43.88/43.90	v -x231
43.88/43.90	c total CPU time = 43.792s
43.88/43.90	c total wall clock time = 43.904s

Verifier Data 

OK	2

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

pid=15422
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.20 2.23 2.19 3/179 15425
/proc/meminfo: memFree=29988384/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 2670 0 0 0 0 0 0 0 20 0 4 0 10725925 734457856 3542 33554432000 4194304 16246674 140737347668880 140737347668304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 179823 3552 441 2943 0 176717 0
[pid=15425/tid=15426] ppid=15422 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 752283648 3613 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 757526528 3630 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10725926 761720832 3646 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.20 2.23 2.19 3/179 15425
/proc/meminfo: memFree=29988384/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 24617 0 0 0 6 3 0 0 20 0 4 0 10725925 1247350784 25482 33554432000 4194304 16246674 140737347668880 140737347668304 6197796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 304529 25490 621 2943 0 301423 0
[pid=15425/tid=15426] ppid=15422 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1247350784 25493 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1247350784 25496 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10725926 1247350784 25501 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200548 s]
/proc/loadavg: 2.20 2.23 2.19 3/179 15425
/proc/meminfo: memFree=29988384/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1222212 CPUtime=0.19 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 39985 0 0 0 13 6 0 0 20 0 4 0 10725925 1251545088 40821 33554432000 4194304 16246674 140737347668880 140737347668192 13781188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 305553 40821 861 2943 0 302447 0
[pid=15425/tid=15426] ppid=15422 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1251545088 40821 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1251545088 40821 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10725926 1251545088 40821 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1222212

[startup+0.300448 s]
/proc/loadavg: 2.20 2.23 2.19 3/179 15425
/proc/meminfo: memFree=29988384/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1222212 CPUtime=0.29 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 39999 0 0 0 23 6 0 0 20 0 4 0 10725925 1251545088 40835 33554432000 4194304 16246674 140737347668880 140737347668192 5823647 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 305553 40835 870 2943 0 302447 0
[pid=15425/tid=15426] ppid=15422 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1251545088 40835 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1251545088 40835 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10725926 1251545088 40835 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1222212

[startup+0.700426 s]
/proc/loadavg: 2.20 2.23 2.19 3/179 15425
/proc/meminfo: memFree=29988384/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 127299 0 0 0 52 17 0 0 20 0 4 0 10725925 1251545088 128136 33554432000 4194304 16246674 140737347668880 140737347650752 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 305553 128163 870 2943 0 302447 0
[pid=15425/tid=15426] ppid=15422 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1251545088 128179 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1251545088 128194 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10725926 1251545088 128209 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50042 s]
/proc/loadavg: 2.20 2.23 2.19 3/183 15429
/proc/meminfo: memFree=29034020/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 266328 0 0 0 113 36 0 0 20 0 4 0 10725925 1332285440 267164 33554432000 4194304 16246674 140737347668880 140737347650752 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 325265 267164 873 2943 0 322159 0
[pid=15425/tid=15426] ppid=15422 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1332285440 267164 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1332285440 267164 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10725926 1332285440 267164 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10038 s]
/proc/loadavg: 2.27 2.24 2.19 4/183 15429
/proc/meminfo: memFree=28914484/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 267921 0 0 0 273 36 0 0 20 0 4 0 10725925 1338576896 268757 33554432000 4194304 16246674 140737347668880 140737347668056 5523192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 326801 268757 876 2943 0 323695 0
[pid=15425/tid=15426] ppid=15422 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1338576896 268757 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1338576896 268757 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10725926 1338576896 268757 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 15429
/proc/meminfo: memFree=28912420/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 268177 0 0 0 592 37 0 0 20 0 4 0 10725925 1339625472 269013 33554432000 4194304 16246674 140737347668880 140737347650752 5545796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 327057 269013 876 2943 0 323951 0
[pid=15425/tid=15426] ppid=15422 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1339625472 269013 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1339625472 269013 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10725926 1339625472 269013 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.25 2.24 2.19 4/183 15429
/proc/meminfo: memFree=28906836/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 269457 0 0 0 1232 37 0 0 20 0 4 0 10725925 1344868352 270293 33554432000 4194304 16246674 140737347668880 140737347650752 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 328337 270293 876 2943 0 325231 0
[pid=15425/tid=15426] ppid=15422 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1344868352 270293 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1344868352 270293 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10725926 1344868352 270293 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 15429
/proc/meminfo: memFree=28905996/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1314372 CPUtime=25.48 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 269724 0 0 0 2511 37 0 0 20 0 4 0 10725925 1345916928 270560 33554432000 4194304 16246674 140737347668880 140737347650752 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 328593 270560 887 2943 0 325487 0
[pid=15425/tid=15426] ppid=15422 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1345916928 270560 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1345916928 270560 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10725926 1345916928 270560 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

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

[startup+25.6005 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 15429
/proc/meminfo: memFree=28905996/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1314372 CPUtime=25.58 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 269724 0 0 0 2521 37 0 0 20 0 4 0 10725925 1345916928 270560 33554432000 4194304 16246674 140737347668880 140737347650752 13943729 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 328593 270560 887 2943 0 325487 0
[pid=15425/tid=15426] ppid=15422 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1345916928 270560 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1345916928 270560 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10725926 1345916928 270560 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 1314372

[startup+32.0074 s]
/proc/loadavg: 2.25 2.24 2.19 3/184 15432
/proc/meminfo: memFree=28905708/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1314372 CPUtime=32 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 269724 0 0 0 3162 38 0 0 20 0 4 0 10725925 1345916928 270560 33554432000 4194304 16246674 140737347668880 140737347650752 5823116 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 328593 270560 887 2943 0 325487 0
[pid=15425/tid=15426] ppid=15422 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1345916928 270560 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1345916928 270560 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10725926 1345916928 270560 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 32
Current children cumulated vsize (KiB) 1314372

[startup+38.4004 s]
/proc/loadavg: 2.21 2.23 2.19 3/184 15432
/proc/meminfo: memFree=28901092/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1319492 CPUtime=38.39 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 270910 0 0 0 3801 38 0 0 20 0 4 0 10725925 1351159808 271746 33554432000 4194304 16246674 140737347668880 140737347651880 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 329873 271746 887 2943 0 326767 0
[pid=15425/tid=15426] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 38.39
Current children cumulated vsize (KiB) 1319492

[startup+41.6004 s]
/proc/loadavg: 2.21 2.23 2.19 4/184 15432
/proc/meminfo: memFree=28901124/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1319492 CPUtime=41.58 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 270910 0 0 0 4120 38 0 0 20 0 4 0 10725925 1351159808 271746 33554432000 4194304 16246674 140737347668880 140737347651880 6075837 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 329873 271746 887 2943 0 326767 0
[pid=15425/tid=15426] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 41.58
Current children cumulated vsize (KiB) 1319492

[startup+43.2004 s]
/proc/loadavg: 2.19 2.22 2.18 4/184 15432
/proc/meminfo: memFree=28901132/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1319492 CPUtime=43.18 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 270910 0 0 0 4280 38 0 0 20 0 4 0 10725925 1351159808 271746 33554432000 4194304 16246674 140737347668880 140737347651880 5672213 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 329873 271746 887 2943 0 326767 0
[pid=15425/tid=15426] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 43.18
Current children cumulated vsize (KiB) 1319492

[startup+43.6004 s]
/proc/loadavg: 2.19 2.22 2.18 4/184 15432
/proc/meminfo: memFree=28901132/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1319492 CPUtime=43.58 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 270910 0 0 0 4320 38 0 0 20 0 4 0 10725925 1351159808 271746 33554432000 4194304 16246674 140737347668880 140737347650752 5673657 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 329873 271746 887 2943 0 326767 0
[pid=15425/tid=15426] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 43.58
Current children cumulated vsize (KiB) 1319492

[startup+43.8004 s]
/proc/loadavg: 2.19 2.22 2.18 4/184 15432
/proc/meminfo: memFree=28901132/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1319492 CPUtime=43.78 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 270910 0 0 0 4340 38 0 0 20 0 4 0 10725925 1351159808 271746 33554432000 4194304 16246674 140737347668880 140737347650752 5722002 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 329873 271746 887 2943 0 326767 0
[pid=15425/tid=15426] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 43.78
Current children cumulated vsize (KiB) 1319492

[startup+43.9004 s]
/proc/loadavg: 2.19 2.22 2.18 4/184 15432
/proc/meminfo: memFree=28901132/32872528 swapFree=876280/941688
[pid=15425] ppid=15422 vsize=1319492 CPUtime=43.88 cores=1,3,5,7
/proc/15425/stat : 15425 (toysat) R 15422 15425 7213 0 -1 4202496 270910 0 0 0 4350 38 0 0 20 0 4 0 10725925 1351159808 271746 33554432000 4194304 16246674 140737347668880 140737347650752 5530736 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15425/statm: 329873 271746 887 2943 0 326767 0
[pid=15425/tid=15426] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15426/stat : 15426 (toysat) S 15422 15425 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825965411568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15425/tid=15427] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15427/stat : 15427 (toysat) S 15422 15425 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825881525488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15425/tid=15428] ppid=15422 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/15425/task/15428/stat : 15428 (toysat) S 15422 15425 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10725926 1351159808 271746 33554432000 4194304 16246674 140737347668880 139825871051952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 43.88
Current children cumulated vsize (KiB) 1319492

Child status: 0
Real time (s): 43.9666
CPU time (s): 43.9593
CPU user time (s): 43.5144
CPU system time (s): 0.444932
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.5144
system time used= 0.444932
maximum resident set size= 1086992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270914
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= 52

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.115982 second user time and 0.176973 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-16 16:19:30
IDJOB=4093344
IDBENCH=78900
IDSOLVER=2553
FILE ID=node113/4093344-1466086770
RUNJOBID= node113-1466075295-13239
PBS_JOBID= 19904023
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567135--soft-66-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-4093344-1466086770/watcher-4093344-1466086770 -o /tmp/evaluation-result-4093344-1466086770/solver-4093344-1466086770 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466075295-13239 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093344-1466086770.wbo

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

MD5SUM BENCH= 32795eb517f73910564f73a4c3c20f9d
RANDOM SEED=824860354

node113.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.799
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.59
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.799
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.799
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.56
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.799
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		: 2666.799
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.799
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.54
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.799
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.54
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.799
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29987912 kB
Buffers:           39740 kB
Cached:           110188 kB
SwapCached:         2160 kB
Active:          1170184 kB
Inactive:          68552 kB
Active(anon):    1089192 kB
Inactive(anon):     1612 kB
Active(file):      80992 kB
Inactive(file):    66940 kB
Unevictable:      941688 kB
Mlocked:          876280 kB
SwapTotal:      67108856 kB
SwapFree:       67098740 kB
Dirty:             16204 kB
Writeback:             0 kB
AnonPages:       2031032 kB
Mapped:            10468 kB
Shmem:                 0 kB
Slab:             567876 kB
SReclaimable:      11964 kB
SUnreclaim:       555912 kB
KernelStack:        1520 kB
PageTables:         8020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2175268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1007616 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= 71708 MiB
End job on node113 at 2016-06-16 16:20:14