Trace number 4106016

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02OPT3 90.7542 90.7698

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=73-P1=113-P2=59-P3=53-P4=29-B.opb
MD5SUM25501d4a2c2486afc31eecdd3e3f0e09
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.051991
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables84
Total number of constraints9
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints9
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)196
Sum of products size (including duplicates)392
Number of different products196
Sum of products size392

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-18T17: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","--pb","--search=bcd2","HOME/instance-4106016-1466262222.opb"]
0.00/0.01	c use --random-gen="2508673801 3144365623 639088831 309411494 904137580 2073930419 1281865141 2501945981 2741380747 3174839866 1393243932 512083378 3478850565 2647261998 3820232232 2949012412 2364950640 1824998594 1794071163 3302357380 2339381563 3434350742 2320527598 2085379046 1848825836 3095989119 3858728154 2465306775 108794957 3233551730 1621988033 1406678947 52700397 40227150 1278205174 3041274927 1734824137 3522592940 120065513 179965241 3916719295 3430395117 821908469 1631871087 37776158 1582969317 1459478847 3145020690 587309696 1696103323 2460192906 779320045 645054634 3856110298 1256710459 3210552690 3797710440 1689456518 1138729626 2623340276 925365111 4107583122 2977446027 3997657444 1675188374 2910830879 2172356365 2541042204 1114986107 478451703 1960024811 952187008 3091810192 1549091372 3081415948 2599919346 3014802825 3852876661 3464566088 2107427074 1147708374 2206634522 928643496 1081378093 1160343271 2934103420 982003282 1928702773 1476085584 2786115487 4216560002 1404511102 3259440363 3445997621 3176283728 2848250493 620558008 2715945203 3514372671 980777650 2467658553 3254425030 1326570993 708269479 462366871 2962668338 1926457612 3041611899 1945150286 1232920060 254925524 3560917063 1369489871 2885685474 3762862284 203508356 4213200205 4185113002 1355155707 4009050244 2390440200 1523618063 2918304910 3907544857 690165777 3610759087 4287681475 417070986 2119496160 4261291581 2662015264 914775689 4252387100 2838861215 1440969923 1970343639 239719244 2844610268 740007495 1976391951 3066981853 2906249325 2864015622 2922289671 3608357066 745119603 354876319 1496904612 2859194388 2945153518 1753647620 2810614572 671273703 479541159 3190143908 2692067031 3746105847 1786357806 3684312185 1861599110 66744240 1446423006 2328166211 2791411990 3432073242 3731546960 2230630018 3911730972 165681110 3083788842 303717417 432726829 1776917141 958840772 4049773137 3415325287 597485550 954048772 3138634061 3105925560 1994110237 2354781149 1057655271 300345503 3680749836 530011590 1232584614 1311508882 2566275309 606235434 1164584483 3656589846 3139846354 3902894204 3542054950 823369140 15723265 1304630970 574291086 419446264 4070801976 1104434968 3896750142 3701385539 3264668066 2091667189 1170226437 1229636139 3780399686 2700839930 1533965880 975230523 3960222978 3059044108 3826538997 3890768004 3595314906 274690433 3555184586 111832528 467251662 4159698866 15401698 3556961263 176376651 4126551313 926156606 4136476265 271874208 2030016732 2382732405 4185771805 370144353 1967198116 2917452719 1587739419 2107335781 2256095240 2189189668 3371386403 2502845319 755395174 3170485564 281596775 597785784 1706639520 666947625 2595928124 699565847 1876140926 2018370409 2412694190 282521460 3145109838 3342141472 3880540388 255 362436" option to reproduce the execution
0.00/0.01	c #vars 84
0.00/0.01	c #constraints 9
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      293      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      132 |      100 |      293      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      312 |      250 |      323      0 |        0 |        0
0.09/0.12	c  0.1s |       3 |      581 |      475 |      356      0 |        0 |        0
0.19/0.26	c  0.2s |       4 |      989 |      813 |      392      1 |        0 |        0
0.28/0.32	c  0.3s |       4 |     1371 |     1129 |      432      2 |        0 |        0
0.28/0.32	c #cpu_time = 0.306s
0.28/0.32	c #wall_clock_time = 0.306s
0.28/0.32	c #decision = 1371
0.28/0.32	c #random_decision = 2
0.28/0.32	c #conflict = 1129
0.28/0.32	c #restart = 4
0.28/0.32	o 83
0.28/0.32	c BCD2: updating upper bound: 127 -> 82
0.28/0.32	c BCD2: 0 <= obj <= 82
0.28/0.32	c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=0
0.28/0.32	c BCD2: #sat=1 #unsat=1 bias=1/2
0.28/0.32	c Solving starts ...
0.28/0.32	c ============================[ Search Statistics ]============================
0.28/0.32	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.28/0.32	c       |         |          |          |    Limit     GC | Var      | Constra 
0.28/0.32	c =============================================================================
0.28/0.32	c  0.0s |       0 |        0 |        0 |      432      0 |        0 |        0
0.28/0.33	c  0.0s |       0 |        5 |        0 |      432      1 |        0 |        0
0.28/0.33	c #cpu_time = 0.004s
0.28/0.33	c #wall_clock_time = 0.004s
0.28/0.33	c #decision = 5
0.28/0.33	c #random_decision = 0
0.28/0.33	c #conflict = 0
0.28/0.33	c #restart = 0
0.28/0.33	c BCD2: found a new core of size 6: cost of the new core is >=2
0.28/0.33	c lower bound updated to 2
0.28/0.33	c BCD2: 2 <= obj <= 82
0.28/0.33	c BCD2: #cores=1, #unrelaxed=1, #relaxed=6, #hardened=0
0.28/0.33	c BCD2: #sat=1 #unsat=2 bias=2/3
0.28/0.33	c Solving starts ...
0.28/0.33	c ============================[ Search Statistics ]============================
0.28/0.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.28/0.33	c       |         |          |          |    Limit     GC | Var      | Constra 
0.28/0.33	c =============================================================================
0.28/0.33	c  0.0s |       0 |        0 |        0 |      432      0 |        0 |        0
0.28/0.39	c  0.1s |       1 |      144 |      100 |      432      0 |        0 |        0
0.39/0.42	c  0.1s |       2 |      310 |      250 |      476      1 |        0 |        0
0.39/0.46	c  0.1s |       3 |      551 |      475 |      476      2 |        0 |        0
0.48/0.53	c  0.2s |       4 |      972 |      813 |      476      2 |        0 |        0
0.59/0.68	c  0.4s |       5 |     1548 |     1320 |      524      4 |        0 |        0
0.79/0.83	c  0.5s |       6 |     2374 |     2081 |      524      6 |        0 |        0
1.09/1.14	c  0.8s |       7 |     3642 |     3223 |      577      9 |        0 |        0
1.39/1.45	c  1.1s |       8 |     5417 |     4936 |      635     13 |        0 |        0
1.89/1.90	c  1.6s |       9 |     8225 |     7506 |      699     19 |        0 |        0
2.49/2.60	c  2.3s |      10 |    12303 |    11361 |      769     28 |        0 |        0
3.59/3.64	c  3.3s |      11 |    18498 |    17144 |      846     39 |        0 |        0
5.09/5.10	c  4.8s |      12 |    27451 |    25819 |      931     56 |        0 |        0
7.09/7.10	c  6.8s |      12 |    37762 |    35319 |      931     72 |        0 |        0
7.89/7.92	c  7.6s |      13 |    41644 |    38832 |     1025     78 |        0 |        0
9.89/9.93	c  9.6s |      13 |    52399 |    49232 |     1025     95 |        0 |        0
11.69/11.76	c 11.4s |      14 |    61969 |    58352 |     1128    110 |        0 |        0
13.69/13.78	c 13.5s |      14 |    70569 |    66352 |     1128    122 |        0 |        0
15.69/15.79	c 15.5s |      14 |    81843 |    76852 |     1128    138 |        0 |        0
17.69/17.76	c 17.4s |      15 |    93267 |    87632 |     1241    154 |        0 |        0
19.68/19.76	c 19.4s |      15 |   104342 |    98432 |     1241    169 |        0 |        0
21.68/21.78	c 21.4s |      15 |   114429 |   107632 |     1241    182 |        0 |        0
23.68/23.79	c 23.5s |      15 |   126034 |   118632 |     1241    197 |        0 |        0
25.79/25.80	c 25.5s |      15 |   138153 |   130132 |     1366    213 |        0 |        0
25.99/26.08	c 25.8s |      16 |   139690 |   131552 |     1366    215 |        0 |        0
27.99/28.08	c 27.8s |      16 |   151105 |   142652 |     1366    229 |        0 |        0
29.99/30.08	c 29.8s |      16 |   161258 |   152452 |     1366    242 |        0 |        0
32.09/32.10	c 31.8s |      16 |   172161 |   163052 |     1366    256 |        0 |        0
34.09/34.11	c 33.8s |      16 |   182642 |   173252 |     1366    269 |        0 |        0
36.09/36.12	c 35.8s |      16 |   192250 |   182552 |     1366    282 |        0 |        0
38.08/38.13	c 37.8s |      16 |   202478 |   192552 |     1366    295 |        0 |        0
38.98/39.08	c 38.8s |      17 |   207516 |   197432 |     1503    301 |        0 |        0
41.08/41.11	c 40.8s |      17 |   216764 |   206232 |     1503    312 |        0 |        0
43.08/43.12	c 42.8s |      17 |   225851 |   214432 |     1503    321 |        0 |        0
45.09/45.13	c 44.8s |      17 |   236450 |   223832 |     1503    333 |        0 |        0
47.08/47.14	c 46.8s |      17 |   245876 |   232632 |     1503    344 |        0 |        0
49.08/49.15	c 48.8s |      17 |   254455 |   240532 |     1503    353 |        0 |        0
51.08/51.18	c 50.9s |      17 |   264291 |   249532 |     1503    364 |        0 |        0
53.08/53.18	c 52.9s |      17 |   274646 |   259332 |     1503    376 |        0 |        0
55.08/55.19	c 54.9s |      17 |   284576 |   268632 |     1503    387 |        0 |        0
57.08/57.20	c 56.9s |      17 |   294772 |   278032 |     1503    399 |        0 |        0
59.18/59.21	c 58.9s |      17 |   305657 |   288132 |     1503    411 |        0 |        0
60.78/60.82	c 60.5s |      18 |   314502 |   296252 |     1654    421 |        0 |        0
62.78/62.82	c 62.5s |      18 |   324639 |   306052 |     1654    432 |        0 |        0
64.78/64.84	c 64.5s |      18 |   333557 |   314752 |     1654    441 |        0 |        0
66.77/66.86	c 66.5s |      18 |   343127 |   324052 |     1654    451 |        0 |        0
68.77/68.87	c 68.5s |      18 |   352390 |   333152 |     1654    461 |        0 |        0
70.77/70.88	c 70.6s |      18 |   361723 |   342152 |     1654    471 |        0 |        0
72.77/72.89	c 72.6s |      18 |   370220 |   350452 |     1654    481 |        0 |        0
74.78/74.89	c 74.6s |      18 |   380001 |   360052 |     1654    491 |        0 |        0
76.87/76.91	c 76.6s |      18 |   388690 |   368552 |     1654    501 |        0 |        0
78.88/78.92	c 78.6s |      18 |   398566 |   378252 |     1654    511 |        0 |        0
80.88/80.92	c 80.6s |      18 |   409622 |   388652 |     1654    523 |        0 |        0
82.88/82.93	c 82.6s |      18 |   419492 |   397252 |     1654    533 |        0 |        0
84.88/84.94	c 84.6s |      18 |   430281 |   407152 |     1654    544 |        0 |        0
86.89/86.95	c 86.6s |      18 |   441503 |   418052 |     1654    556 |        1 |        7
88.88/88.96	c 88.6s |      18 |   452108 |   428452 |     1654    568 |        1 |        7
90.58/90.61	c 90.3s |      18 |   460780 |   436976 |     1654    578 |        3 |       21
90.58/90.61	c #cpu_time = 90.291s
90.58/90.61	c #wall_clock_time = 90.285s
90.58/90.61	c #decision = 460780
90.58/90.61	c #random_decision = 1557
90.58/90.61	c #conflict = 436976
90.58/90.61	c #restart = 18
90.58/90.61	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 7: cost of the new core is >=3
90.58/90.61	c lower bound updated to 3
90.58/90.61	c BCD2: 3 <= obj <= 82
90.58/90.61	c BCD2: #cores=1, #unrelaxed=0, #relaxed=7, #hardened=0
90.58/90.61	c BCD2: #sat=1 #unsat=3 bias=3/4
90.58/90.61	c Solving starts ...
90.58/90.61	c ============================[ Search Statistics ]============================
90.58/90.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
90.58/90.61	c       |         |          |          |    Limit     GC | Var      | Constra 
90.58/90.61	c =============================================================================
90.58/90.61	c  0.0s |       0 |        0 |        0 |     1654      0 |        4 |       21
90.58/90.63	c  0.0s |       1 |      135 |      100 |     1654      0 |        4 |       22
90.58/90.66	c  0.0s |       1 |      234 |      164 |     1654      0 |        4 |       22
90.58/90.66	c #cpu_time = 0.046s
90.58/90.66	c #wall_clock_time = 0.046s
90.58/90.66	c #decision = 234
90.58/90.66	c #random_decision = 1
90.58/90.66	c #conflict = 164
90.58/90.66	c #restart = 1
90.58/90.66	o 51
90.58/90.66	c BCD2: hardening fixes 1 literals
90.58/90.66	c BCD2: updating upper bound: 82 -> 50
90.58/90.66	c BCD2: 3 <= obj <= 50
90.58/90.66	c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=1
90.58/90.66	c BCD2: #sat=2 #unsat=3 bias=3/5
90.58/90.66	c Solving starts ...
90.58/90.66	c ============================[ Search Statistics ]============================
90.58/90.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
90.58/90.66	c       |         |          |          |    Limit     GC | Var      | Constra 
90.58/90.66	c =============================================================================
90.58/90.66	c  0.0s |       0 |        0 |        0 |     1654      0 |       13 |       24
90.58/90.66	c  0.0s |       0 |       71 |       20 |     1654      0 |       13 |       45
90.58/90.66	c #cpu_time = 0.005s
90.58/90.66	c #wall_clock_time = 0.005s
90.58/90.66	c #decision = 71
90.58/90.66	c #random_decision = 1
90.58/90.66	c #conflict = 20
90.58/90.66	c #restart = 0
90.58/90.66	o 29
90.58/90.66	c BCD2: hardening fixes 1 literals
90.58/90.66	c BCD2: updating upper bound: 50 -> 28
90.58/90.66	c BCD2: 3 <= obj <= 28
90.58/90.66	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=2
90.58/90.66	c BCD2: #sat=3 #unsat=3 bias=3/6
90.58/90.66	c Solving starts ...
90.58/90.66	c ============================[ Search Statistics ]============================
90.58/90.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
90.58/90.66	c       |         |          |          |    Limit     GC | Var      | Constra 
90.58/90.66	c =============================================================================
90.58/90.67	c  0.0s |       0 |        0 |        0 |     1654      0 |       22 |       47
90.58/90.69	c  0.0s |       1 |      147 |      100 |     1654      0 |       22 |       68
90.68/90.71	c  0.0s |       1 |      274 |      163 |     1654      0 |       22 |       68
90.68/90.71	c #cpu_time = 0.040s
90.68/90.71	c #wall_clock_time = 0.040s
90.68/90.71	c #decision = 274
90.68/90.71	c #random_decision = 2
90.68/90.71	c #conflict = 163
90.68/90.71	c #restart = 1
90.68/90.71	o 3
90.68/90.71	s OPTIMUM FOUND
90.68/90.71	v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 x10
90.68/90.71	v -x11 -x12 x13 -x14 x15 -x16 x17 -x18 -x19 -x20
90.68/90.71	v -x21 x22 x23 x24 x25 x26 -x27 x28 x29 x30
90.68/90.71	v x31 -x32 x33 x34 -x35 x36 x37 x38 x39 -x40
90.68/90.71	v x41 x42 x43 x44 -x45 x46 -x47 x48 -x49 x50
90.68/90.71	v -x51 x52 -x53 x54 x55 x56 -x57 -x58 -x59 -x60
90.68/90.71	v -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70
90.68/90.71	v x71 x72 x73 x74 x75 -x76 -x77 -x78 x79 -x80
90.68/90.71	v -x81 x82 x83 -x84
90.68/90.71	c total CPU time = 90.713s
90.68/90.71	c total wall clock time = 90.708s

Verifier Data 

OK	3

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

pid=26279
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.14 2.08 2.04 3/179 26282
/proc/meminfo: memFree=30587544/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=702908 CPUtime=0 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 2620 0 0 0 0 0 0 0 20 0 4 0 28272108 719777792 2981 33554432000 4194304 16246674 140733635117120 140733635116544 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 176495 2990 441 2943 0 173389 0
[pid=26282/tid=26283] ppid=26279 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 737603584 3049 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 741797888 3065 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 747040768 3082 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.14 2.08 2.04 3/179 26282
/proc/meminfo: memFree=30587544/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 20958 0 0 0 6 3 0 0 20 0 4 0 28272108 1247350784 21307 33554432000 4194304 16246674 140733635117120 140733635116544 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 304529 21316 758 2943 0 301423 0
[pid=26282/tid=26283] ppid=26279 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1247350784 21320 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1247350784 21324 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1247350784 21330 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200429 s]
/proc/loadavg: 2.14 2.08 2.04 3/179 26282
/proc/meminfo: memFree=30587544/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 36962 0 0 0 13 6 0 0 20 0 4 0 28272108 1247350784 37311 33554432000 4194304 16246674 140733635117120 140733635116544 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 304529 37317 765 2943 0 301423 0
[pid=26282/tid=26283] ppid=26279 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1247350784 37321 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1247350784 37326 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1247350784 37330 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30047 s]
/proc/loadavg: 2.14 2.08 2.04 3/179 26282
/proc/meminfo: memFree=30587544/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 57202 0 0 0 20 8 0 0 20 0 4 0 28272108 1247350784 57550 33554432000 4194304 16246674 140733635117120 140733635116544 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 304529 57561 765 2943 0 301423 0
[pid=26282/tid=26283] ppid=26279 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1247350784 57566 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1247350784 57572 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1247350784 57577 33554432000 4194304 16246674 140733635117120 139814674361520 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) 1218116

[startup+0.700389 s]
/proc/loadavg: 2.14 2.08 2.04 3/179 26282
/proc/meminfo: memFree=30587544/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 129557 0 0 0 52 17 0 0 20 0 4 0 28272108 1247350784 129905 33554432000 4194304 16246674 140733635117120 140733635099008 5523634 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 304529 129912 793 2943 0 301423 0
[pid=26282/tid=26283] ppid=26279 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1247350784 129917 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1247350784 129922 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1247350784 129930 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.21 2.10 2.04 3/183 26286
/proc/meminfo: memFree=29757640/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 245856 0 0 0 116 33 0 0 20 0 4 0 28272108 1248399360 246181 33554432000 4194304 16246674 140733635117120 140733635116432 6022016 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 304785 246181 850 2943 0 301679 0
[pid=26282/tid=26283] ppid=26279 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1248399360 246181 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1248399360 246181 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1248399360 246181 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.1004 s]
/proc/loadavg: 2.21 2.10 2.04 3/183 26286
/proc/meminfo: memFree=29572500/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 267544 0 0 0 273 36 0 0 20 0 4 0 28272108 1337528320 267869 33554432000 4194304 16246674 140733635117120 140733635099008 5545752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 326545 267869 850 2943 0 323439 0
[pid=26282/tid=26283] ppid=26279 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1337528320 267869 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1337528320 267869 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1337528320 267869 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.19 2.09 2.04 3/183 26286
/proc/meminfo: memFree=29515524/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 267745 0 0 0 593 36 0 0 20 0 4 0 28272108 1338576896 268070 33554432000 4194304 16246674 140733635117120 140733635100120 6836352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 326801 268070 850 2943 0 323695 0
[pid=26282/tid=26283] ppid=26279 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1338576896 268070 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1338576896 268070 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1338576896 268070 33554432000 4194304 16246674 140733635117120 139814674361520 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) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.18 2.09 2.04 3/183 26286
/proc/meminfo: memFree=29513952/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 268046 0 0 0 1233 36 0 0 20 0 4 0 28272108 1339625472 268371 33554432000 4194304 16246674 140733635117120 140733635099008 5823779 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 327057 268371 851 2943 0 323951 0
[pid=26282/tid=26283] ppid=26279 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1339625472 268371 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1339625472 268371 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1339625472 268371 33554432000 4194304 16246674 140733635117120 139814674361520 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) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.15 2.09 2.04 3/183 26286
/proc/meminfo: memFree=29514048/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 268097 0 0 0 2512 36 0 0 20 0 4 0 28272108 1339625472 268422 33554432000 4194304 16246674 140733635117120 140733635100120 6836120 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 327057 268422 853 2943 0 323951 0
[pid=26282/tid=26283] ppid=26279 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1339625472 268422 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1339625472 268422 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1339625472 268422 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.16 2.10 2.04 3/183 26286
/proc/meminfo: memFree=29511912/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 268668 0 0 0 5071 37 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 140733635099008 6020879 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 327569 268993 853 2943 0 324463 0
[pid=26282/tid=26283] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

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

[startup+51.2005 s]
/proc/loadavg: 2.16 2.10 2.04 3/183 26286
/proc/meminfo: memFree=29511912/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1310276 CPUtime=51.18 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 268668 0 0 0 5081 37 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 140733635099008 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 327569 268993 853 2943 0 324463 0
[pid=26282/tid=26283] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1310276

[startup+76.8004 s]
/proc/loadavg: 2.11 2.09 2.04 3/183 26287
/proc/meminfo: memFree=29511440/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1310276 CPUtime=76.77 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 268668 0 0 0 7640 37 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 140733635100120 6021664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 327569 268993 853 2943 0 324463 0
[pid=26282/tid=26283] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 76.77
Current children cumulated vsize (KiB) 1310276

[startup+83.2004 s]
/proc/loadavg: 2.10 2.08 2.04 3/183 26287
/proc/meminfo: memFree=29511316/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1310276 CPUtime=83.18 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 268668 0 0 0 8280 38 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 140733635116296 5721388 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 327569 268993 853 2943 0 324463 0
[pid=26282/tid=26283] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 83.18
Current children cumulated vsize (KiB) 1310276

[startup+86.4004 s]
/proc/loadavg: 2.09 2.08 2.04 3/183 26287
/proc/meminfo: memFree=29511300/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1310276 CPUtime=86.38 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 268668 0 0 0 8600 38 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 140733635099008 13962576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 327569 268993 853 2943 0 324463 0
[pid=26282/tid=26283] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 86.38
Current children cumulated vsize (KiB) 1310276

[startup+88.0004 s]
/proc/loadavg: 2.09 2.08 2.04 3/183 26287
/proc/meminfo: memFree=29511428/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1310276 CPUtime=87.99 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 268668 0 0 0 8761 38 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 140733635099008 13781202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 327569 268993 853 2943 0 324463 0
[pid=26282/tid=26283] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 87.99
Current children cumulated vsize (KiB) 1310276

[startup+89.6004 s]
/proc/loadavg: 2.09 2.08 2.04 3/183 26287
/proc/meminfo: memFree=29511552/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1310276 CPUtime=89.58 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 268668 0 0 0 8920 38 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 140733635100120 12415676 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 327569 268993 853 2943 0 324463 0
[pid=26282/tid=26283] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 89.58
Current children cumulated vsize (KiB) 1310276

[startup+90.4004 s]
/proc/loadavg: 2.09 2.08 2.04 3/183 26287
/proc/meminfo: memFree=29511552/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1310276 CPUtime=90.38 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 268668 0 0 0 9000 38 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 140733635100120 13950218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 327569 268993 853 2943 0 324463 0
[pid=26282/tid=26283] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 90.38
Current children cumulated vsize (KiB) 1310276

[startup+90.6004 s]
/proc/loadavg: 2.09 2.08 2.04 3/183 26287
/proc/meminfo: memFree=29511552/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1310276 CPUtime=90.58 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 268668 0 0 0 9020 38 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 140733635100120 12468292 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 327569 268993 853 2943 0 324463 0
[pid=26282/tid=26283] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268993 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 90.58
Current children cumulated vsize (KiB) 1310276

[startup+90.7004 s]
/proc/loadavg: 2.09 2.08 2.04 3/183 26287
/proc/meminfo: memFree=29511552/32872528 swapFree=163656/177964
[pid=26282] ppid=26279 vsize=1310276 CPUtime=90.68 cores=0,2,4,6
/proc/26282/stat : 26282 (toysat) R 26279 26282 20760 0 -1 4202496 268669 0 0 0 9030 38 0 0 20 0 4 0 28272108 1341722624 268994 33554432000 4194304 16246674 140733635117120 140733635100112 6011700 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26282/statm: 327569 268994 854 2943 0 324463 0
[pid=26282/tid=26283] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26283/stat : 26283 (toysat) S 26279 26282 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268994 33554432000 4194304 16246674 140733635117120 139814807514352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=26282/tid=26284] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26284/stat : 26284 (toysat) S 26279 26282 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268994 33554432000 4194304 16246674 140733635117120 139814797024496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=26282/tid=26285] ppid=26279 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/26282/task/26285/stat : 26285 (toysat) S 26279 26282 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28272108 1341722624 268994 33554432000 4194304 16246674 140733635117120 139814674361520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 90.68
Current children cumulated vsize (KiB) 1310276

Child status: 0
Real time (s): 90.7698
CPU time (s): 90.7542
CPU user time (s): 90.3123
CPU system time (s): 0.441932
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.3123
system time used= 0.441932
maximum resident set size= 1075984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268673
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= 21
involuntary context switches= 100

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.213967 second user time and 0.369943 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 17:03:42
IDJOB=4106016
IDBENCH=47893
IDSOLVER=2542
FILE ID=node105/4106016-1466262222
RUNJOBID= node105-1466229502-20776
PBS_JOBID= 19918174
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=73-P1=113-P2=59-P3=53-P4=29-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106016-1466262222/watcher-4106016-1466262222 -o /tmp/evaluation-result-4106016-1466262222/solver-4106016-1466262222 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20776 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106016-1466262222.opb

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

MD5SUM BENCH= 25501d4a2c2486afc31eecdd3e3f0e09
RANDOM SEED=1891066459

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30588172 kB
Buffers:           79884 kB
Cached:           203524 kB
SwapCached:         1684 kB
Active:          1181068 kB
Inactive:         187952 kB
Active(anon):    1083032 kB
Inactive(anon):     4944 kB
Active(file):      98036 kB
Inactive(file):   183008 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       1263048 kB
Mapped:            10556 kB
Shmem:                 0 kB
Slab:             604756 kB
SReclaimable:      48480 kB
SUnreclaim:       556276 kB
KernelStack:        1512 kB
PageTables:         6932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1407516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    382976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node105 at 2016-06-18 17:05:13