Trace number 4093663

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 66.006 66.0214

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo
MD5SUM6afd7eef78419a10c166bbe4bb320384
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark13.093
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 135280
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135279
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 711
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-16T18:26:33+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-4093663-1466094393.wbo"]
0.00/0.01	c use --random-gen="152392102 1346334899 1351229752 2776825108 1253666212 1141927324 2449551477 1959899228 1459853801 3392534895 3039971713 3722005416 2617423001 3892784735 4063434094 4153338127 2625098399 1654909929 1079442761 2727536878 967098887 3494076771 2107125784 3909733022 545737859 1902802392 3954036522 3310393381 1547148908 2840102849 1809628236 2520616815 2440673966 893405420 3686564915 1073708726 2479631657 2257103068 1637763817 912517929 2084031906 3651639776 3562633971 3246529757 2343670963 728115503 538643683 712894481 334125859 149334509 801003945 1412655452 2340351410 1218536223 4002233246 1229598191 2169073946 177350388 1562576460 1036518316 138527309 1408427606 81059151 671924006 583480985 3144314631 2255229767 2767615427 4201080654 4181255752 4290164558 649653279 2335668095 2402031504 202981075 3049564936 841105193 1932607475 4132497309 3301272697 3139215751 796095179 2764503833 2046500728 714046636 1973694857 2849260274 3056229327 2531907509 4261830669 4066273844 3985347591 1429350987 926967742 2393483324 1741884230 2436263516 3851582990 3040350841 1190846711 1367646506 3266727839 2934587543 2558454377 1278427179 3549241706 3417656226 2202423388 2671834254 2019033433 691862510 689457027 3245231439 3154884165 2516058917 675356290 969908198 2191129176 2507323398 2231850452 1685099169 3085187783 4218763315 437436234 2438987661 1350308889 807894467 4025776323 773357720 2166002103 3761360477 3468717097 1137774971 36970540 3778376275 1688109576 3174770773 680433431 3547434790 1633509588 3041650703 412270094 3757449690 1251091464 1635166826 3261788301 2067133331 4086450521 605236910 3519075990 3047585112 700340051 1940773251 335148512 2656098582 1218914800 162958914 263702145 2776053230 1918586129 3304581681 3582053007 1376775566 634361430 1243806742 2244128459 1639543802 854231224 3707750810 1950292123 4245524529 859838341 3193616543 2946555963 2084972086 4108023644 1563925777 3097119733 365308349 511906827 2171759239 1178867813 3664427483 1636596355 841267301 2831030420 2856453140 200801990 1433430997 3081408151 2970630670 1301173510 925445149 3847417768 2095147479 1777507136 3891525322 2617019792 3205588561 675112897 4289309951 1021798461 1417535589 2674659246 360272667 3649217880 2582099827 3912259568 1056293543 2056534842 735320319 2144221854 2198217833 658762853 2629996432 601938226 4071825489 1541228173 1309528872 1013882639 2177483881 1914733679 3008890489 1003767648 893526383 2527605358 1858517648 1067204910 4072443416 2960973199 2389894157 3265020324 2558969093 4118698177 1206013088 2380293448 1209366907 2937496472 2507798011 3248160687 2849316725 2716859650 2615728776 3853624346 877206529 3782499122 3986127447 3464715361 149487289 2824268665 24148560 47415009 455093259 1955204749 2259913014 2835833389 255 362436" option to reproduce the execution
0.09/0.17	c #vars 231
0.09/0.17	c #constraints 2707
0.19/0.22	c BCD2: Hardening is enabled.
0.19/0.22	c BCD2: BiasedSearch is enabled.
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.19/0.24	c  0.0s |       0 |     2717 |        0 |     1881      0 |        0 |        0
0.19/0.24	c #cpu_time = 0.018s
0.19/0.24	c #wall_clock_time = 0.018s
0.19/0.24	c #decision = 2717
0.19/0.24	c #random_decision = 12
0.19/0.24	c #conflict = 0
0.19/0.24	c #restart = 0
0.19/0.24	o 527
0.19/0.24	c BCD2: updating upper bound: 135279 -> 526
0.19/0.26	c BCD2: 0 <= obj <= 526
0.19/0.26	c BCD2: #cores=0, #unrelaxed=2707, #relaxed=0, #hardened=0
0.19/0.26	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.19/0.28	c  0.0s |       1 |     2897 |      100 |     1881      0 |        0 |        0
0.29/0.33	c  0.1s |       2 |     5831 |      250 |     2070      0 |        0 |        0
0.29/0.39	c  0.1s |       3 |     8857 |      475 |     2277      0 |        0 |        0
0.49/0.50	c  0.2s |       4 |    12102 |      813 |     2505      0 |        0 |        0
0.69/0.70	c  0.4s |       5 |    15506 |     1320 |     2756      0 |        0 |        0
0.99/1.09	c  0.8s |       6 |    19258 |     2081 |     3336      0 |        0 |        0
1.49/1.55	c  1.3s |       7 |    23654 |     3223 |     3670      0 |        0 |        0
2.49/2.56	c  2.3s |       8 |    28633 |     4936 |     4038      0 |        0 |        0
4.08/4.16	c  3.9s |       9 |    35219 |     7506 |     4442      1 |        0 |        0
6.18/6.22	c  6.0s |       9 |    44729 |    11206 |     4442      2 |        0 |        0
6.29/6.31	c  6.1s |      10 |    44978 |    11361 |     4887      2 |        0 |        0
8.29/8.33	c  8.1s |      10 |    51608 |    13761 |     4887      3 |        0 |        0
10.39/10.43	c 10.2s |      10 |    55508 |    15861 |     4887      4 |        0 |        0
11.38/11.46	c 11.2s |      11 |    58073 |    17144 |     5376      4 |        0 |        0
13.48/13.56	c 13.3s |      11 |    64309 |    19344 |     5376      4 |        0 |        0
15.59/15.63	c 15.4s |      11 |    68070 |    21444 |     5376      5 |        0 |        0
17.69/17.73	c 17.5s |      11 |    71382 |    23344 |     5376      5 |        0 |        0
19.68/19.79	c 19.5s |      11 |    74564 |    24944 |     5376      6 |        0 |        0
21.08/21.14	c 20.9s |      12 |    76698 |    25819 |     5914      6 |        0 |        0
22.49/22.52	c 22.3s |      12 |    81417 |    26609 |     5914      6 |        0 |        0
22.49/22.52	c #cpu_time = 22.259s
22.49/22.52	c #wall_clock_time = 22.258s
22.49/22.52	c #decision = 81417
22.49/22.52	c #random_decision = 32
22.49/22.52	c #conflict = 26609
22.49/22.52	c #restart = 12
22.49/22.52	c BCD2: found a new core of size 2512: cost of the new core is >=1
22.49/22.52	c lower bound updated to 1
22.49/22.52	c BCD2: 1 <= obj <= 526
22.49/22.52	c BCD2: #cores=1, #unrelaxed=195, #relaxed=2512, #hardened=0
22.49/22.52	c BCD2: #sat=1 #unsat=2 bias=2/3
22.49/22.53	c Solving starts ...
22.49/22.53	c ============================[ Search Statistics ]============================
22.49/22.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.49/22.53	c       |         |          |          |    Limit     GC | Var      | Constra 
22.49/22.53	c =============================================================================
22.49/22.53	c  0.0s |       0 |        0 |        0 |     5914      0 |        0 |        0
22.69/22.79	c  0.3s |       0 |     3525 |       51 |     5914      1 |        0 |        0
22.69/22.79	c #cpu_time = 0.259s
22.69/22.79	c #wall_clock_time = 0.259s
22.69/22.79	c #decision = 3525
22.69/22.79	c #random_decision = 16
22.69/22.79	c #conflict = 51
22.69/22.79	c #restart = 0
22.69/22.80	o 92
22.78/22.80	c BCD2: hardening fixes 243 literals
22.78/22.80	c BCD2: updating upper bound: 526 -> 91
22.78/22.81	c BCD2: 1 <= obj <= 91
22.78/22.81	c BCD2: #cores=1, #unrelaxed=180, #relaxed=2284, #hardened=243
22.78/22.81	c BCD2: #sat=2 #unsat=2 bias=2/4
22.78/22.82	c Solving starts ...
22.78/22.82	c ============================[ Search Statistics ]============================
22.78/22.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.78/22.82	c       |         |          |          |    Limit     GC | Var      | Constra 
22.78/22.82	c =============================================================================
22.78/22.82	c  0.0s |       0 |        0 |        0 |     5914      0 |      243 |        1
22.89/22.97	c  0.1s |       1 |      564 |      100 |     5914      0 |      243 |        1
23.19/23.27	c  0.4s |       2 |     1030 |      250 |     5914      0 |      243 |        1
23.28/23.36	c  0.5s |       2 |     1373 |      277 |     5914      0 |      243 |        1
23.28/23.36	c #cpu_time = 0.534s
23.28/23.36	c #wall_clock_time = 0.534s
23.28/23.36	c #decision = 1373
23.28/23.36	c #random_decision = 1
23.28/23.36	c #conflict = 277
23.28/23.36	c #restart = 2
23.28/23.36	o 34
23.28/23.36	c BCD2: hardening fixes 1562 literals
23.28/23.36	c BCD2: updating upper bound: 91 -> 33
23.28/23.37	c BCD2: 1 <= obj <= 33
23.28/23.37	c BCD2: #cores=1, #unrelaxed=62, #relaxed=840, #hardened=1805
23.28/23.37	c BCD2: #sat=3 #unsat=2 bias=2/5
23.28/23.37	c Solving starts ...
23.28/23.37	c ============================[ Search Statistics ]============================
23.28/23.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
23.28/23.37	c       |         |          |          |    Limit     GC | Var      | Constra 
23.28/23.37	c =============================================================================
23.28/23.37	c  0.0s |       0 |        0 |        0 |     5914      0 |     1805 |        2
23.38/23.48	c  0.1s |       1 |      226 |      100 |     5914      0 |     1805 |        2
23.58/23.61	c  0.2s |       2 |      570 |      250 |     5914      0 |     1805 |        2
23.78/23.81	c  0.4s |       3 |     1045 |      475 |     5914      0 |     1805 |        2
23.98/24.05	c  0.7s |       4 |     1670 |      813 |     5914      0 |     1805 |        2
24.29/24.37	c  1.0s |       5 |     2605 |     1320 |     5914      0 |     1805 |        2
24.68/24.79	c  1.4s |       5 |     3787 |     1969 |     5914      0 |     1805 |        2
24.68/24.79	c #cpu_time = 1.421s
24.68/24.79	c #wall_clock_time = 1.421s
24.68/24.79	c #decision = 3787
24.68/24.79	c #random_decision = 4
24.68/24.79	c #conflict = 1969
24.68/24.79	c #restart = 5
24.68/24.79	o 14
24.68/24.79	c BCD2: hardening fixes 552 literals
24.68/24.79	c BCD2: updating upper bound: 33 -> 13
24.68/24.79	c BCD2: 1 <= obj <= 13
24.68/24.79	c BCD2: #cores=1, #unrelaxed=23, #relaxed=327, #hardened=2357
24.68/24.79	c BCD2: #sat=4 #unsat=2 bias=2/6
24.68/24.79	c Solving starts ...
24.68/24.79	c ============================[ Search Statistics ]============================
24.68/24.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.68/24.79	c       |         |          |          |    Limit     GC | Var      | Constra 
24.68/24.79	c =============================================================================
24.68/24.80	c  0.0s |       0 |        0 |        0 |     5914      0 |     2357 |        3
24.88/24.91	c  0.1s |       1 |      200 |      100 |     5914      0 |     2357 |        3
24.98/25.04	c  0.2s |       2 |      470 |      250 |     5914      0 |     2357 |        3
25.08/25.19	c  0.4s |       3 |      835 |      475 |     5914      0 |     2357 |        3
25.29/25.39	c  0.6s |       4 |     1432 |      813 |     5914      0 |     2357 |        3
25.58/25.66	c  0.9s |       5 |     2287 |     1320 |     5914      0 |     2357 |        3
25.98/26.04	c  1.2s |       5 |     3264 |     1899 |     5914      0 |     2357 |        3
25.98/26.04	c #cpu_time = 1.240s
25.98/26.04	c #wall_clock_time = 1.240s
25.98/26.04	c #decision = 3264
25.98/26.04	c #random_decision = 3
25.98/26.04	c #conflict = 1899
25.98/26.04	c #restart = 5
25.98/26.04	o 6
25.98/26.04	c BCD2: hardening fixes 209 literals
25.98/26.04	c BCD2: updating upper bound: 13 -> 5
25.98/26.04	c BCD2: 1 <= obj <= 5
25.98/26.04	c BCD2: #cores=1, #unrelaxed=10, #relaxed=131, #hardened=2566
25.98/26.04	c BCD2: #sat=5 #unsat=2 bias=2/7
25.98/26.04	c Solving starts ...
25.98/26.04	c ============================[ Search Statistics ]============================
25.98/26.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
25.98/26.04	c       |         |          |          |    Limit     GC | Var      | Constra 
25.98/26.04	c =============================================================================
25.98/26.04	c  0.0s |       0 |        0 |        0 |     5914      0 |     2566 |        4
26.09/26.16	c  0.1s |       1 |      164 |      100 |     5914      0 |     2566 |        5
26.19/26.29	c  0.3s |       2 |      414 |      250 |     5914      0 |     2566 |        5
26.39/26.47	c  0.4s |       3 |      755 |      475 |     5914      0 |     2566 |        5
26.59/26.69	c  0.7s |       4 |     1319 |      813 |     5914      0 |     2566 |        5
26.99/27.02	c  1.0s |       5 |     2015 |     1320 |     5914      0 |     2566 |        5
27.49/27.50	c  1.5s |       6 |     3200 |     2081 |     5914      1 |     2566 |        5
27.89/27.98	c  1.9s |       7 |     4928 |     3223 |     5914      1 |     2566 |        5
28.78/28.81	c  2.8s |       8 |     7447 |     4936 |     5914      1 |     2566 |        5
29.99/30.03	c  4.0s |       9 |    11543 |     7506 |     5914      2 |     2566 |        5
31.99/32.07	c  6.0s |       9 |    17032 |    11206 |     6506      3 |     2566 |        5
32.09/32.14	c  6.1s |      10 |    17262 |    11361 |     6506      3 |     2566 |        5
34.09/34.19	c  8.1s |      10 |    23390 |    15361 |     6506      3 |     2566 |        5
35.08/35.15	c  9.1s |      11 |    25962 |    17144 |     6506      4 |     2566 |        5
37.18/37.20	c 11.2s |      11 |    30632 |    20444 |     6506      5 |     2566 |        5
39.18/39.21	c 13.2s |      11 |    35633 |    23944 |     6506      5 |     2566 |        5
40.28/40.31	c 14.3s |      12 |    38285 |    25819 |     6506      6 |     2566 |        5
42.28/42.37	c 16.3s |      12 |    43368 |    29319 |     7157      6 |     2566 |        5
44.38/44.42	c 18.4s |      12 |    48534 |    33019 |     7157      7 |     2566 |        5
46.38/46.46	c 20.4s |      12 |    53271 |    36419 |     7157      8 |     2566 |        5
47.88/47.93	c 21.9s |      13 |    56826 |    38832 |     7157      8 |     2566 |        5
49.88/49.98	c 23.9s |      13 |    62607 |    42732 |     7157      9 |     2566 |        5
51.98/52.01	c 26.0s |      13 |    67919 |    46232 |     7157     10 |     2566 |        5
53.98/54.03	c 28.0s |      13 |    74483 |    50432 |     7157     11 |     2566 |        5
55.78/55.83	c 29.8s |      13 |    79110 |    53707 |     7157     11 |     2566 |        5
55.78/55.83	c #cpu_time = 29.788s
55.78/55.83	c #wall_clock_time = 29.787s
55.78/55.83	c #decision = 79110
55.78/55.83	c #random_decision = 132
55.78/55.83	c #conflict = 53707
55.78/55.83	c #restart = 13
55.78/55.83	o 2
55.78/55.83	c BCD2: hardening fixes 111 literals
55.78/55.83	c BCD2: updating upper bound: 5 -> 1
55.78/55.83	c BCD2: 1 <= obj <= 1
55.78/55.83	c BCD2: #cores=1, #unrelaxed=0, #relaxed=30, #hardened=2677
55.78/55.83	c BCD2: #sat=6 #unsat=2 bias=2/8
55.78/55.84	c Solving starts ...
55.78/55.84	c ============================[ Search Statistics ]============================
55.78/55.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
55.78/55.84	c       |         |          |          |    Limit     GC | Var      | Constra 
55.78/55.84	c =============================================================================
55.78/55.84	c  0.0s |       0 |        0 |        0 |     7157      0 |     2677 |       10
55.87/55.93	c  0.1s |       1 |      199 |      100 |     7157      0 |     2677 |       10
55.97/56.04	c  0.2s |       2 |      448 |      250 |     7157      0 |     2677 |       10
56.08/56.19	c  0.4s |       3 |      849 |      475 |     7157      0 |     2677 |       10
56.38/56.43	c  0.6s |       4 |     1324 |      813 |     7157      0 |     2677 |       10
56.68/56.72	c  0.9s |       5 |     2072 |     1320 |     7157      1 |     2677 |       10
57.07/57.17	c  1.3s |       6 |     3412 |     2081 |     7157      1 |     2677 |       10
57.58/57.60	c  1.8s |       7 |     5595 |     3223 |     7873      1 |     2677 |       10
58.28/58.32	c  2.5s |       8 |     8484 |     4936 |     7873      1 |     2677 |       10
59.67/59.70	c  3.9s |       9 |    12461 |     7506 |     7873      2 |     2677 |       10
61.58/61.70	c  5.9s |      10 |    18207 |    11361 |     7873      2 |     2677 |       10
63.67/63.74	c  7.9s |      10 |    25418 |    16061 |     7873      3 |     2677 |       10
64.27/64.32	c  8.5s |      11 |    27033 |    17144 |     7873      4 |     2677 |       10
65.87/65.94	c 10.1s |      11 |    32414 |    20658 |     7873      4 |     2677 |       10
65.87/65.94	c #cpu_time = 10.108s
65.87/65.94	c #wall_clock_time = 10.107s
65.87/65.94	c #decision = 32414
65.87/65.94	c #random_decision = 69
65.87/65.94	c #conflict = 20658
65.87/65.94	c #restart = 11
65.87/65.94	o 1
65.87/65.94	s OPTIMUM FOUND
65.87/65.94	v -x1 x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
65.87/65.94	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
65.87/65.94	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
65.87/65.94	v -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
65.87/65.94	v x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50
65.87/65.94	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
65.87/65.94	v x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
65.87/65.94	v -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
65.87/65.94	v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90
65.87/65.94	v -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
65.87/65.94	v -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110
65.87/65.94	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120
65.87/65.94	v -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
65.87/65.94	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140
65.87/65.94	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
65.87/65.94	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160
65.87/65.94	v -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170
65.87/65.94	v -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180
65.87/65.94	v -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190
65.87/65.94	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
65.87/65.94	v x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210
65.87/65.94	v -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220
65.87/65.94	v -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
65.87/65.94	v -x231
65.87/65.94	c total CPU time = 65.948s
65.87/65.94	c total wall clock time = 65.945s

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093663-1466094393/watcher-4093663-1466094393 -o /tmp/evaluation-result-4093663-1466094393/solver-4093663-1466094393 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21602 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093663-1466094393.wbo 

pid=24169
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.22 2.27 2.27 3/179 24172
/proc/meminfo: memFree=29228188/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=471484 CPUtime=0 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 1712 0 0 0 0 0 0 0 20 0 4 0 11485034 482799616 2074 33554432000 4194304 16246674 140736118049968 140736118049392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 118383 2084 441 2943 0 115277 0
[pid=24172/tid=24173] ppid=24169 vsize=488892 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 500625408 2141 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=492988 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 504819712 2158 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=497084 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11485035 509014016 2176 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.22 2.27 2.27 3/179 24172
/proc/meminfo: memFree=29228188/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 24790 0 0 0 5 4 0 0 20 0 4 0 11485034 1247350784 25144 33554432000 4194304 16246674 140736118049968 140736118049392 6142781 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 304529 25152 616 2943 0 301423 0
[pid=24172/tid=24173] ppid=24169 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 1247350784 25155 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 1247350784 25158 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11485035 1247350784 25161 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200558 s]
/proc/loadavg: 2.22 2.27 2.27 3/179 24172
/proc/meminfo: memFree=29228188/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=1223236 CPUtime=0.19 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 35803 0 0 0 14 5 0 0 20 0 4 0 11485034 1252593664 36111 33554432000 4194304 16246674 140736118049968 140736118049280 13808416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 305809 36111 861 2943 0 302703 0
[pid=24172/tid=24173] ppid=24169 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 1252593664 36111 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 1252593664 36111 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11485035 1252593664 36111 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1223236

[startup+0.300491 s]
/proc/loadavg: 2.22 2.27 2.27 3/179 24172
/proc/meminfo: memFree=29228188/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=1307204 CPUtime=0.29 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 46739 0 0 0 22 7 0 0 20 0 4 0 11485034 1338576896 47047 33554432000 4194304 16246674 140736118049968 140736118049280 12477891 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 326801 47054 918 2943 0 323695 0
[pid=24172/tid=24173] ppid=24169 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 1338576896 47061 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 1338576896 47067 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11485035 1338576896 47073 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204

[startup+0.700407 s]
/proc/loadavg: 2.22 2.27 2.27 3/179 24172
/proc/meminfo: memFree=29228188/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 57051 0 0 0 60 9 0 0 20 0 4 0 11485034 1338576896 57359 33554432000 4194304 16246674 140736118049968 140736118031872 5545752 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 326801 57359 920 2943 0 323695 0
[pid=24172/tid=24173] ppid=24169 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 1338576896 57359 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 1338576896 57359 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11485035 1338576896 57359 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50043 s]
/proc/loadavg: 2.22 2.27 2.27 3/183 24176
/proc/meminfo: memFree=29000308/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 80786 0 0 0 137 12 0 0 20 0 4 0 11485034 1338576896 81095 33554432000 4194304 16246674 140736118049968 140736118031872 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 326801 81122 924 2943 0 323695 0
[pid=24172/tid=24173] ppid=24169 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 1338576896 81134 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 1338576896 81143 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11485035 1338576896 81158 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10042 s]
/proc/loadavg: 2.22 2.27 2.27 3/183 24176
/proc/meminfo: memFree=28789112/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 109717 0 0 0 293 16 0 0 20 0 4 0 11485034 1339625472 110025 33554432000 4194304 16246674 140736118049968 140736118031872 5674844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 327057 110025 931 2943 0 323951 0
[pid=24172/tid=24173] ppid=24169 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 1339625472 110025 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 1339625472 110025 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11485035 1339625472 110025 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30043 s]
/proc/loadavg: 2.28 2.29 2.27 3/183 24176
/proc/meminfo: memFree=28787524/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 109864 0 0 0 612 17 0 0 20 0 4 0 11485034 1339625472 110172 33554432000 4194304 16246674 140736118049968 140736118049144 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 327057 110172 931 2943 0 323951 0
[pid=24172/tid=24173] ppid=24169 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 1339625472 110172 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 1339625472 110172 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11485035 1339625472 110172 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.26 2.28 2.27 4/183 24176
/proc/meminfo: memFree=28785948/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=1310276 CPUtime=12.68 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 110376 0 0 0 1251 17 0 0 20 0 4 0 11485034 1341722624 110684 33554432000 4194304 16246674 140736118049968 140736118049144 6023323 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 327569 110684 931 2943 0 324463 0
[pid=24172/tid=24173] ppid=24169 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 1341722624 110684 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 1341722624 110684 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11485035 1341722624 110684 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.27 2.28 2.27 3/183 24176
/proc/meminfo: memFree=28785200/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=1311300 CPUtime=25.48 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 110396 0 0 0 2529 19 0 0 20 0 4 0 11485034 1342771200 110704 33554432000 4194304 16246674 140736118049968 140736118031872 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 327825 110704 941 2943 0 324719 0
[pid=24172/tid=24173] ppid=24169 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 1342771200 110704 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 1342771200 110704 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11485035 1342771200 110704 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.18 2.26 2.26 3/183 24176
/proc/meminfo: memFree=28137164/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=1325636 CPUtime=51.08 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 272628 0 0 0 5067 41 0 0 20 0 4 0 11485034 1357451264 272936 33554432000 4194304 16246674 140736118049968 140736118031872 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 331409 272936 941 2943 0 328303 0
[pid=24172/tid=24173] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272936 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272936 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272936 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1325636

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

[startup+51.2005 s]
/proc/loadavg: 2.18 2.26 2.26 3/183 24176
/proc/meminfo: memFree=28137164/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=1325636 CPUtime=51.18 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 272628 0 0 0 5077 41 0 0 20 0 4 0 11485034 1357451264 272936 33554432000 4194304 16246674 140736118049968 140736118031872 5861812 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 331409 272936 941 2943 0 328303 0
[pid=24172/tid=24173] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272936 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272936 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272936 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1325636

[startup+57.6004 s]
/proc/loadavg: 2.24 2.27 2.27 4/183 24176
/proc/meminfo: memFree=28137024/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=1325636 CPUtime=57.58 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 272629 0 0 0 5717 41 0 0 20 0 4 0 11485034 1357451264 272937 33554432000 4194304 16246674 140736118049968 140736118031872 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 331409 272937 942 2943 0 328303 0
[pid=24172/tid=24173] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272937 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272937 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272937 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 57.58
Current children cumulated vsize (KiB) 1325636

[startup+60.8004 s]
/proc/loadavg: 2.38 2.30 2.28 4/183 24177
/proc/meminfo: memFree=28136768/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=1325636 CPUtime=60.77 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 272629 0 0 0 6036 41 0 0 20 0 4 0 11485034 1357451264 272937 33554432000 4194304 16246674 140736118049968 140736118031872 5754969 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 331409 272937 942 2943 0 328303 0
[pid=24172/tid=24173] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272937 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272937 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272937 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 60.77
Current children cumulated vsize (KiB) 1325636

[startup+64.0004 s]
/proc/loadavg: 2.43 2.31 2.28 3/183 24177
/proc/meminfo: memFree=28136140/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=1325636 CPUtime=63.97 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 272629 0 0 0 6356 41 0 0 20 0 4 0 11485034 1357451264 272937 33554432000 4194304 16246674 140736118049968 140736118031872 5677164 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 331409 272937 942 2943 0 328303 0
[pid=24172/tid=24173] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272937 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272937 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272937 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 63.97
Current children cumulated vsize (KiB) 1325636

[startup+64.8004 s]
/proc/loadavg: 2.43 2.31 2.28 3/183 24177
/proc/meminfo: memFree=28136140/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=1325636 CPUtime=64.77 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 272629 0 0 0 6436 41 0 0 20 0 4 0 11485034 1357451264 272937 33554432000 4194304 16246674 140736118049968 140736118031872 5675913 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 331409 272937 942 2943 0 328303 0
[pid=24172/tid=24173] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272937 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272937 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272937 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 64.77
Current children cumulated vsize (KiB) 1325636

[startup+65.6004 s]
/proc/loadavg: 2.43 2.31 2.28 3/183 24177
/proc/meminfo: memFree=28136264/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=1325636 CPUtime=65.57 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) R 24169 24172 17390 0 -1 4202496 272629 0 0 0 6516 41 0 0 20 0 4 0 11485034 1357451264 272937 33554432000 4194304 16246674 140736118049968 140736118031872 5823242 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 331409 272937 942 2943 0 328303 0
[pid=24172/tid=24173] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24173/stat : 24173 (toysat) S 24169 24172 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272937 33554432000 4194304 16246674 140736118049968 140224046804208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24172/tid=24174] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24174/stat : 24174 (toysat) S 24169 24172 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272937 33554432000 4194304 16246674 140736118049968 140224036314352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) S 24169 24172 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11485035 1357451264 272937 33554432000 4194304 16246674 140736118049968 140224025840816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 65.57
Current children cumulated vsize (KiB) 1325636

[startup+66.0004 s]
/proc/loadavg: 2.43 2.31 2.28 3/181 24177
/proc/meminfo: memFree=28927384/32872528 swapFree=1499116/1695340
[pid=24172] ppid=24169 vsize=0 CPUtime=65.98 cores=0,2,4,6
/proc/24172/stat : 24172 (toysat) Z 24169 24172 17390 0 -1 4202508 272631 0 0 0 6551 47 0 0 20 0 2 0 11485034 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24172/tid=24175] ppid=24169 vsize=0 CPUtime=0.04 cores=0,2,4,6
/proc/24172/task/24175/stat : 24175 (toysat) R 24169 24172 17390 0 -1 4202564 2 0 0 0 0 4 0 0 20 0 2 0 11485035 0 0 33554432000 0 0 0 0 0 256 0 33554432 0 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 65.98
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 66.0214
CPU time (s): 66.006
CPU user time (s): 65.517
CPU system time (s): 0.488925
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 1325636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.517
system time used= 0.488925
maximum resident set size= 1091756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272631
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= 72

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.38994 second user time and 0.6569 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-16 18:26:33
IDJOB=4093663
IDBENCH=79263
IDSOLVER=2553
FILE ID=node137/4093663-1466094393
RUNJOBID= node137-1466075286-21602
PBS_JOBID= 19904003
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093663-1466094393/watcher-4093663-1466094393 -o /tmp/evaluation-result-4093663-1466094393/solver-4093663-1466094393 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21602 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093663-1466094393.wbo

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

MD5SUM BENCH= 6afd7eef78419a10c166bbe4bb320384
RANDOM SEED=1352854109

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29228476 kB
Buffers:           48288 kB
Cached:           108640 kB
SwapCached:         2452 kB
Active:          1166956 kB
Inactive:          77884 kB
Active(anon):    1088128 kB
Inactive(anon):     1780 kB
Active(file):      78828 kB
Inactive(file):    76104 kB
Unevictable:     1695340 kB
Mlocked:         1499116 kB
SwapTotal:      67108856 kB
SwapFree:       67099388 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       2781480 kB
Mapped:            10452 kB
Shmem:                 0 kB
Slab:             568836 kB
SReclaimable:      13136 kB
SUnreclaim:       555700 kB
KernelStack:        1520 kB
PageTables:         9140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2925352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    991232 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 node137 at 2016-06-16 18:27:39