Trace number 4093658

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 34.3778 34.3841

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo
MD5SUM504847a4e43d2b055735d72ea944fa39
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark25.82
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 135865
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135864
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 705
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:37:30+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093658-1466095050.wbo"]
0.00/0.01	c use --random-gen="2511264991 67941076 4266086302 2714061579 227177870 3462167179 2895162493 1259568009 2937742231 664785528 696199378 284452973 161410014 523244130 3357731178 4092407813 3577524228 258514935 3241262558 1742126935 3660575093 1663336116 3153360140 1706959756 2092558747 894010300 1840492236 1221059525 4062148377 311089166 2132178472 3264259884 1279343373 4043689702 2027642388 3932914355 2798082388 1548989099 1489733480 760679194 3160507196 4252601571 444258447 4041802896 2397798513 3715123531 3927603934 468336185 762359171 499037098 3947262469 1776521143 4058218276 1495877593 3723766387 3508149255 3725753005 16396402 1690847412 2273625923 2422875766 4021370362 3885454918 3310318619 1518662925 1523596031 2943597852 2373741436 3931266983 2206492333 1007159771 808833214 862749268 3184592818 264811851 705861956 3796872315 4178341316 2993980528 3242619446 2649430039 3764622046 2824396663 3185302597 2067171964 4061488746 732642944 2660096834 517731505 1845223090 2031631321 3912986899 922790830 2891909914 2464529415 3115641955 1126032387 838937195 2174680121 1614908327 3478207702 1411283248 3229516935 2049530677 2333724475 3801437742 150969153 1536328435 2406742429 1335590707 990632967 1674521454 573703139 2832799476 3211785808 901711846 2633623953 2347889157 337051588 3860732673 2882548220 3942362562 3927225421 2329606994 1078245925 505455093 1626840295 4133246869 3915368489 3301571504 2565979787 2256401553 1411504564 3878403891 3642622157 4262422200 3052530768 187801646 3169893145 3882749225 1881094987 1334404642 2442759414 2307615194 2426691635 4012163547 1994199254 2295494373 2323505110 2980153842 4088789640 1393933281 3590239714 266354560 3662142645 700583174 2253036322 1732560626 2586646896 562682910 1764518941 3462781596 1395712832 70275538 336033948 1070677021 3549081575 281782059 317475758 920520608 3172602072 465086218 3227478766 785030160 2960693316 2138116940 2693961194 256518210 342707355 780640755 3015184954 1141926778 2383652562 3266477799 619907272 3637249075 85873695 215402162 470092381 3884764559 3107210781 133361511 4143167848 3913859465 2298780282 3171074863 3364731718 3796354640 2732356374 4025351643 518777538 2771472507 4149842150 4268261649 3874969789 3640014713 1474882790 3591960447 1507136313 1863501208 853343195 1629245047 2921224080 3403728935 4075007959 3094028756 1880562032 649547742 2645983312 2933566773 3085943155 2869794832 3866335772 1550584896 4154538003 3519290576 3143929403 3651105051 3425819469 3580986870 1265050190 1711344391 1864433938 1805624052 974549427 3346251206 2784785740 1381282644 3531592975 1557225475 3469051145 3527725176 4052688535 2145594632 2893153533 1485466258 1851351743 265494494 3760809295 1778534013 959341175 2121306020 2604226582 881881090 27012124 3049785092 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.23	c  0.0s |       0 |     2716 |        0 |     1881      0 |        0 |        0
0.19/0.23	c #cpu_time = 0.017s
0.19/0.23	c #wall_clock_time = 0.017s
0.19/0.23	c #decision = 2716
0.19/0.23	c #random_decision = 7
0.19/0.23	c #conflict = 0
0.19/0.23	c #restart = 0
0.19/0.24	o 411
0.19/0.24	c BCD2: updating upper bound: 135864 -> 410
0.19/0.25	c BCD2: 0 <= obj <= 410
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 |     2951 |      100 |     1881      0 |        0 |        0
0.28/0.33	c  0.1s |       2 |     5951 |      250 |     2070      0 |        0 |        0
0.28/0.38	c  0.1s |       3 |     9145 |      475 |     2277      0 |        0 |        0
0.39/0.47	c  0.2s |       4 |    12508 |      813 |     2505      0 |        0 |        0
0.59/0.68	c  0.4s |       5 |    16032 |     1320 |     2756      0 |        0 |        0
0.89/0.97	c  0.7s |       6 |    20022 |     2081 |     3336      0 |        0 |        0
1.39/1.41	c  1.1s |       7 |    24687 |     3223 |     3670      0 |        0 |        0
2.29/2.38	c  2.1s |       8 |    29914 |     4936 |     4038      0 |        0 |        0
4.09/4.19	c  3.9s |       9 |    36690 |     7506 |     4442      1 |        0 |        0
6.19/6.20	c  5.9s |       9 |    44795 |    10506 |     4442      2 |        0 |        0
6.88/6.94	c  6.7s |      10 |    46308 |    11361 |     4887      2 |        0 |        0
8.99/9.03	c  8.8s |      10 |    53309 |    13861 |     4887      3 |        0 |        0
10.99/11.08	c 10.8s |      10 |    58114 |    16561 |     4887      4 |        0 |        0
11.49/11.52	c 11.3s |      11 |    59265 |    17144 |     5376      4 |        0 |        0
13.48/13.53	c 13.3s |      11 |    65481 |    19144 |     5376      4 |        0 |        0
15.50/15.57	c 15.3s |      11 |    68237 |    20744 |     5376      5 |        0 |        0
17.60/17.61	c 17.4s |      11 |    71192 |    22444 |     5376      5 |        0 |        0
19.59/19.67	c 19.4s |      11 |    73858 |    23944 |     5376      5 |        0 |        0
20.38/20.49	c 20.2s |      11 |    74571 |    24352 |     5376      6 |        0 |        0
20.38/20.49	c #cpu_time = 20.184s
20.38/20.49	c #wall_clock_time = 20.237s
20.38/20.49	c #decision = 74571
20.38/20.49	c #random_decision = 26
20.38/20.49	c #conflict = 24352
20.38/20.49	c #restart = 11
20.38/20.50	c BCD2: found a new core of size 2394: cost of the new core is >=1
20.38/20.50	c lower bound updated to 1
20.48/20.50	c BCD2: 1 <= obj <= 410
20.48/20.50	c BCD2: #cores=1, #unrelaxed=313, #relaxed=2394, #hardened=0
20.48/20.50	c BCD2: #sat=1 #unsat=2 bias=2/3
20.48/20.51	c Solving starts ...
20.48/20.51	c ============================[ Search Statistics ]============================
20.48/20.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.48/20.51	c       |         |          |          |    Limit     GC | Var      | Constra 
20.48/20.51	c =============================================================================
20.48/20.51	c  0.0s |       0 |        0 |        0 |     5376      0 |        0 |        0
20.48/20.59	c  0.1s |       0 |     2769 |        0 |     5376      0 |        0 |        0
20.48/20.59	c #cpu_time = 0.083s
20.48/20.59	c #wall_clock_time = 0.083s
20.48/20.59	c #decision = 2769
20.48/20.59	c #random_decision = 9
20.48/20.59	c #conflict = 0
20.48/20.59	c #restart = 0
20.48/20.59	o 61
20.48/20.59	c BCD2: hardening fixes 1087 literals
20.48/20.60	c BCD2: updating upper bound: 410 -> 60
20.58/20.60	c BCD2: 1 <= obj <= 60
20.58/20.60	c BCD2: #cores=1, #unrelaxed=179, #relaxed=1441, #hardened=1087
20.58/20.60	c BCD2: #sat=2 #unsat=2 bias=2/4
20.58/20.61	c Solving starts ...
20.58/20.61	c ============================[ Search Statistics ]============================
20.58/20.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.58/20.61	c       |         |          |          |    Limit     GC | Var      | Constra 
20.58/20.61	c =============================================================================
20.58/20.61	c  0.0s |       0 |        0 |        0 |     5376      0 |     1087 |        1
20.68/20.78	c  0.2s |       1 |      539 |      100 |     5376      0 |     1087 |        1
20.99/21.02	c  0.4s |       2 |     1065 |      250 |     5376      0 |     1087 |        1
21.18/21.27	c  0.7s |       2 |     1840 |      416 |     5376      0 |     1087 |        1
21.18/21.27	c #cpu_time = 0.656s
21.18/21.27	c #wall_clock_time = 0.657s
21.18/21.27	c #decision = 1840
21.18/21.27	c #random_decision = 3
21.18/21.27	c #conflict = 416
21.18/21.27	c #restart = 2
21.18/21.27	o 18
21.18/21.28	c BCD2: hardening fixes 1160 literals
21.18/21.28	c BCD2: updating upper bound: 60 -> 17
21.18/21.28	c BCD2: 1 <= obj <= 17
21.18/21.28	c BCD2: #cores=1, #unrelaxed=57, #relaxed=403, #hardened=2247
21.18/21.28	c BCD2: #sat=3 #unsat=2 bias=2/5
21.18/21.28	c Solving starts ...
21.18/21.28	c ============================[ Search Statistics ]============================
21.18/21.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
21.18/21.28	c       |         |          |          |    Limit     GC | Var      | Constra 
21.18/21.28	c =============================================================================
21.18/21.28	c  0.0s |       0 |        0 |        0 |     5376      0 |     2247 |        2
21.38/21.40	c  0.1s |       1 |      224 |      100 |     5376      0 |     2247 |        2
21.48/21.53	c  0.2s |       2 |      600 |      250 |     5376      0 |     2247 |        2
21.58/21.69	c  0.4s |       3 |     1034 |      475 |     5376      0 |     2247 |        2
21.88/21.91	c  0.6s |       4 |     1597 |      813 |     5376      0 |     2247 |        2
22.09/22.16	c  0.9s |       5 |     2554 |     1320 |     5914      0 |     2247 |        2
22.48/22.57	c  1.3s |       6 |     3922 |     2081 |     5914      0 |     2247 |        2
23.19/23.21	c  1.9s |       7 |     5656 |     3223 |     5914      0 |     2247 |        2
24.09/24.13	c  2.8s |       7 |     7966 |     4693 |     5914      1 |     2247 |        2
24.09/24.13	c #cpu_time = 2.841s
24.09/24.13	c #wall_clock_time = 2.849s
24.09/24.13	c #decision = 7966
24.09/24.13	c #random_decision = 6
24.09/24.13	c #conflict = 4693
24.09/24.13	c #restart = 7
24.09/24.13	o 8
24.09/24.13	c BCD2: hardening fixes 279 literals
24.09/24.13	c BCD2: updating upper bound: 17 -> 7
24.09/24.14	c BCD2: 1 <= obj <= 7
24.09/24.14	c BCD2: #cores=1, #unrelaxed=20, #relaxed=161, #hardened=2526
24.09/24.14	c BCD2: #sat=4 #unsat=2 bias=2/6
24.09/24.14	c Solving starts ...
24.09/24.14	c ============================[ Search Statistics ]============================
24.09/24.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.09/24.14	c       |         |          |          |    Limit     GC | Var      | Constra 
24.09/24.14	c =============================================================================
24.09/24.14	c  0.0s |       0 |        0 |        0 |     5914      0 |     2526 |        3
24.19/24.22	c  0.1s |       1 |      178 |      100 |     5914      0 |     2526 |        4
24.19/24.30	c  0.2s |       2 |      408 |      250 |     5914      0 |     2526 |        4
24.39/24.44	c  0.3s |       3 |      758 |      475 |     5914      0 |     2526 |        4
24.59/24.60	c  0.5s |       4 |     1322 |      813 |     5914      0 |     2526 |        4
24.79/24.85	c  0.7s |       5 |     2105 |     1320 |     5914      0 |     2526 |        4
25.19/25.23	c  1.1s |       6 |     3319 |     2081 |     5914      0 |     2526 |        4
25.49/25.55	c  1.4s |       6 |     4518 |     2737 |     5914      0 |     2526 |        4
25.49/25.55	c #cpu_time = 1.413s
25.49/25.55	c #wall_clock_time = 1.417s
25.49/25.55	c #decision = 4518
25.49/25.55	c #random_decision = 7
25.49/25.55	c #conflict = 2737
25.49/25.55	c #restart = 6
25.49/25.55	o 2
25.49/25.55	c BCD2: hardening fixes 152 literals
25.49/25.56	c BCD2: updating upper bound: 7 -> 1
25.49/25.56	c BCD2: 1 <= obj <= 1
25.49/25.56	c BCD2: #cores=1, #unrelaxed=0, #relaxed=29, #hardened=2678
25.49/25.56	c BCD2: #sat=5 #unsat=2 bias=2/7
25.49/25.56	c Solving starts ...
25.49/25.56	c ============================[ Search Statistics ]============================
25.49/25.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
25.49/25.56	c       |         |          |          |    Limit     GC | Var      | Constra 
25.49/25.56	c =============================================================================
25.49/25.56	c  0.0s |       0 |        0 |        0 |     5914      0 |     2678 |        8
25.59/25.65	c  0.1s |       1 |      123 |      100 |     5914      0 |     2678 |        8
25.69/25.75	c  0.2s |       2 |      340 |      250 |     5914      0 |     2678 |        8
25.78/25.87	c  0.3s |       3 |      798 |      475 |     5914      0 |     2678 |        8
25.98/26.09	c  0.5s |       4 |     1363 |      813 |     5914      0 |     2678 |        8
26.28/26.36	c  0.8s |       5 |     2234 |     1320 |     5914      1 |     2678 |        8
26.58/26.63	c  1.1s |       6 |     3446 |     2081 |     5914      1 |     2678 |        8
26.98/27.03	c  1.5s |       7 |     5319 |     3223 |     5914      1 |     2678 |        8
27.69/27.74	c  2.2s |       8 |     8183 |     4936 |     5914      1 |     2678 |        8
28.59/28.63	c  3.1s |       9 |    12286 |     7506 |     6506      2 |     2678 |        8
30.09/30.18	c  4.6s |      10 |    18815 |    11361 |     6506      3 |     2678 |        8
32.09/32.18	c  6.6s |      11 |    28268 |    17144 |     6506      4 |     2678 |        8
34.09/34.20	c  8.6s |      11 |    37772 |    23044 |     6506      5 |     2678 |        8
34.29/34.31	c  8.8s |      11 |    38124 |    23300 |     6506      5 |     2679 |       10
34.29/34.31	c #cpu_time = 8.734s
34.29/34.31	c #wall_clock_time = 8.756s
34.29/34.31	c #decision = 38124
34.29/34.31	c #random_decision = 100
34.29/34.31	c #conflict = 23300
34.29/34.31	c #restart = 11
34.29/34.31	c BCD2: updating lower bound of a core
34.29/34.32	c lower bound updated to 2
34.29/34.32	s OPTIMUM FOUND
34.29/34.32	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
34.29/34.32	v -x11 -x12 -x13 x14 -x15 -x16 x17 -x18 -x19 -x20
34.29/34.32	v -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30
34.29/34.32	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
34.29/34.32	v -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 -x50
34.29/34.32	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
34.29/34.32	v x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
34.29/34.32	v -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80
34.29/34.32	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 x89 -x90
34.29/34.32	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
34.29/34.32	v -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110
34.29/34.32	v -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
34.29/34.32	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
34.29/34.32	v x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140
34.29/34.32	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
34.29/34.32	v -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160
34.29/34.32	v -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
34.29/34.32	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
34.29/34.32	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190
34.29/34.32	v -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200
34.29/34.32	v -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
34.29/34.32	v -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220
34.29/34.32	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230
34.29/34.32	v -x231
34.29/34.32	c total CPU time = 34.232s
34.29/34.32	c total wall clock time = 34.321s

Verifier Data 

OK	2

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093658-1466095050/watcher-4093658-1466095050 -o /tmp/evaluation-result-4093658-1466095050/solver-4093658-1466095050 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9714 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093658-1466095050.wbo 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.10 2.08 3/179 12827
/proc/meminfo: memFree=30648716/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 2863 0 0 0 0 0 0 0 20 0 4 0 11555030 783740928 2714 33554432000 4194304 16246674 140733674109088 140733674108512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 191855 2723 441 2943 0 188749 0
[pid=12827/tid=12828] ppid=12824 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 802615296 2787 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 806809600 2803 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=793020 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11555031 812052480 2820 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.08 2.10 2.08 3/179 12827
/proc/meminfo: memFree=30648716/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 25040 0 0 0 6 3 0 0 20 0 4 0 11555030 1247350784 24883 33554432000 4194304 16246674 140733674109088 140733674108512 12459048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 304529 24891 616 2943 0 301423 0
[pid=12827/tid=12828] ppid=12824 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 1247350784 24891 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 1247350784 24897 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11555031 1247350784 24899 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200545 s]
/proc/loadavg: 2.08 2.10 2.08 3/179 12827
/proc/meminfo: memFree=30648716/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=1223236 CPUtime=0.19 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 35864 0 0 0 14 5 0 0 20 0 4 0 11555030 1252593664 35661 33554432000 4194304 16246674 140733674109088 140733674108400 6756432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 305809 35661 861 2943 0 302703 0
[pid=12827/tid=12828] ppid=12824 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 1252593664 35661 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 1252593664 35661 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11555031 1252593664 35661 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1223236

[startup+0.300503 s]
/proc/loadavg: 2.08 2.10 2.08 3/179 12827
/proc/meminfo: memFree=30648716/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=1307204 CPUtime=0.28 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 47454 0 0 0 22 6 0 0 20 0 4 0 11555030 1338576896 47251 33554432000 4194304 16246674 140733674109088 140733674108400 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 326801 47260 918 2943 0 323695 0
[pid=12827/tid=12828] ppid=12824 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 1338576896 47265 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 1338576896 47273 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11555031 1338576896 47283 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1307204

[startup+0.700426 s]
/proc/loadavg: 2.08 2.10 2.08 3/179 12827
/proc/meminfo: memFree=30648716/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=1308228 CPUtime=0.69 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 83469 0 0 0 59 10 0 0 20 0 4 0 11555030 1339625472 83266 33554432000 4194304 16246674 140733674109088 140733674092080 5677572 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 327057 83266 920 2943 0 323951 0
[pid=12827/tid=12828] ppid=12824 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 1339625472 83266 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 1339625472 83266 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11555031 1339625472 83266 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1308228

[startup+1.50041 s]
/proc/loadavg: 2.08 2.10 2.08 3/183 12831
/proc/meminfo: memFree=30312612/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=1308228 CPUtime=1.49 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 83704 0 0 0 139 10 0 0 20 0 4 0 11555030 1339625472 83501 33554432000 4194304 16246674 140733674109088 140733674091008 13780660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 327057 83501 924 2943 0 323951 0
[pid=12827/tid=12828] ppid=12824 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 1339625472 83501 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 1339625472 83501 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11555031 1339625472 83501 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.10043 s]
/proc/loadavg: 2.08 2.10 2.08 4/183 12831
/proc/meminfo: memFree=30311992/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 83711 0 0 0 298 11 0 0 20 0 4 0 11555030 1339625472 83508 33554432000 4194304 16246674 140733674109088 140733674091008 5754961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 327057 83508 931 2943 0 323951 0
[pid=12827/tid=12828] ppid=12824 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 1339625472 83508 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 1339625472 83508 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11555031 1339625472 83508 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30042 s]
/proc/loadavg: 2.07 2.10 2.08 3/183 12831
/proc/meminfo: memFree=30310524/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 83828 0 0 0 618 11 0 0 20 0 4 0 11555030 1340674048 83625 33554432000 4194304 16246674 140733674109088 140733674108184 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 327313 83625 931 2943 0 324207 0
[pid=12827/tid=12828] ppid=12824 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 1340674048 83625 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 1340674048 83625 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11555031 1340674048 83625 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.06 2.10 2.08 3/183 12831
/proc/meminfo: memFree=30307932/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 84479 0 0 0 1257 12 0 0 20 0 4 0 11555030 1342771200 84276 33554432000 4194304 16246674 140733674109088 140733674108264 6010356 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 327825 84276 931 2943 0 324719 0
[pid=12827/tid=12828] ppid=12824 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 1342771200 84276 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 1342771200 84276 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11555031 1342771200 84276 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.05 2.09 2.08 3/183 12831
/proc/meminfo: memFree=30127276/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=1318468 CPUtime=25.49 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 127372 0 0 0 2528 21 0 0 20 0 4 0 11555030 1350111232 127169 33554432000 4194304 16246674 140733674109088 140733674091008 5676365 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 329617 127175 941 2943 0 326511 0
[pid=12827/tid=12828] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 127178 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 127180 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 127181 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1318468

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

[startup+25.6005 s]
/proc/loadavg: 2.05 2.09 2.08 3/183 12831
/proc/meminfo: memFree=30127276/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=1318468 CPUtime=25.59 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 145218 0 0 0 2536 23 0 0 20 0 4 0 11555030 1350111232 145016 33554432000 4194304 16246674 140733674109088 140733674091008 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 329617 145021 942 2943 0 326511 0
[pid=12827/tid=12828] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 145023 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 145025 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 145028 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 1318468

[startup+28.8004 s]
/proc/loadavg: 2.04 2.09 2.08 3/183 12831
/proc/meminfo: memFree=29547328/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=1318468 CPUtime=28.79 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 270839 0 0 0 2838 41 0 0 20 0 4 0 11555030 1350111232 270636 33554432000 4194304 16246674 140733674109088 140733674092088 6057614 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 329617 270636 942 2943 0 326511 0
[pid=12827/tid=12828] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 28.79
Current children cumulated vsize (KiB) 1318468

[startup+32.0074 s]
/proc/loadavg: 2.04 2.09 2.08 3/183 12831
/proc/meminfo: memFree=29546704/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=1318468 CPUtime=31.99 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 270839 0 0 0 3158 41 0 0 20 0 4 0 11555030 1350111232 270636 33554432000 4194304 16246674 140733674109088 140733674091008 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 329617 270636 942 2943 0 326511 0
[pid=12827/tid=12828] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (KiB) 1318468

[startup+33.6004 s]
/proc/loadavg: 2.04 2.09 2.08 3/183 12831
/proc/meminfo: memFree=29546704/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=1318468 CPUtime=33.59 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 270839 0 0 0 3318 41 0 0 20 0 4 0 11555030 1350111232 270636 33554432000 4194304 16246674 140733674109088 140733674091008 5674080 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 329617 270636 942 2943 0 326511 0
[pid=12827/tid=12828] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 33.59
Current children cumulated vsize (KiB) 1318468

[startup+34.0004 s]
/proc/loadavg: 2.04 2.09 2.08 3/183 12831
/proc/meminfo: memFree=29546704/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=1318468 CPUtime=33.99 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 270839 0 0 0 3358 41 0 0 20 0 4 0 11555030 1350111232 270636 33554432000 4194304 16246674 140733674109088 140733674091008 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 329617 270636 942 2943 0 326511 0
[pid=12827/tid=12828] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 33.99
Current children cumulated vsize (KiB) 1318468

[startup+34.2074 s]
/proc/loadavg: 2.04 2.09 2.08 3/183 12831
/proc/meminfo: memFree=29546828/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=1318468 CPUtime=34.19 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 270839 0 0 0 3378 41 0 0 20 0 4 0 11555030 1350111232 270636 33554432000 4194304 16246674 140733674109088 140733674091008 13962096 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 329617 270636 942 2943 0 326511 0
[pid=12827/tid=12828] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 34.19
Current children cumulated vsize (KiB) 1318468

[startup+34.3005 s]
/proc/loadavg: 2.04 2.09 2.08 3/183 12831
/proc/meminfo: memFree=29546828/32872528 swapFree=240572/273276
[pid=12827] ppid=12824 vsize=1318468 CPUtime=34.29 cores=1,3,5,7
/proc/12827/stat : 12827 (toysat) R 12824 12827 7549 0 -1 4202496 270839 0 0 0 3388 41 0 0 20 0 4 0 11555030 1350111232 270636 33554432000 4194304 16246674 140733674109088 140733674091008 5823086 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12827/statm: 329617 270636 942 2943 0 326511 0
[pid=12827/tid=12828] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12828/stat : 12828 (toysat) S 12824 12827 7549 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816558636272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12827/tid=12829] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12829/stat : 12829 (toysat) S 12824 12827 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816548146416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12827/tid=12830] ppid=12824 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12827/task/12830/stat : 12830 (toysat) S 12824 12827 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11555031 1350111232 270636 33554432000 4194304 16246674 140733674109088 139816537672880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 34.29
Current children cumulated vsize (KiB) 1318468

Child status: 0
Real time (s): 34.3841
CPU time (s): 34.3778
CPU user time (s): 33.9038
CPU system time (s): 0.473927
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.9038
system time used= 0.473927
maximum resident set size= 1082552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270841
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= 19
involuntary context switches= 39

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.094985 second user time and 0.134979 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-16 18:37:30
IDJOB=4093658
IDBENCH=79313
IDSOLVER=2553
FILE ID=node107/4093658-1466095050
RUNJOBID= node107-1466074715-9714
PBS_JOBID= 19904025
Free space on /tmp= 71696 MiB

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

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

MD5SUM BENCH= 504847a4e43d2b055735d72ea944fa39
RANDOM SEED=433934928

node107.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.953
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.90
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.953
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.953
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.953
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.56
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.953
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.953
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.56
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.953
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.953
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30648724 kB
Buffers:           49612 kB
Cached:           118128 kB
SwapCached:         2508 kB
Active:          1161260 kB
Inactive:          88904 kB
Active(anon):    1082236 kB
Inactive(anon):     2156 kB
Active(file):      79024 kB
Inactive(file):    86748 kB
Unevictable:      273276 kB
Mlocked:          240572 kB
SwapTotal:      67108856 kB
SwapFree:       67099244 kB
Dirty:             32928 kB
Writeback:             0 kB
AnonPages:       1359820 kB
Mapped:            10720 kB
Shmem:                 0 kB
Slab:             568008 kB
SReclaimable:      11684 kB
SUnreclaim:       556324 kB
KernelStack:        1520 kB
PageTables:         6304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1497824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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= 71680 MiB
End job on node107 at 2016-06-16 18:38:05